逻辑主义
**逻辑主义**
逻辑主义是数学哲学中的一个核心流派,主张数学可以完全归结为逻辑。其核心论点是:数学概念(如数字、集合、函数)可以通过逻辑概念(如量词、命题联结词)来定义,数学定理则可以通过逻辑推理规则从逻辑公理中推导出来。下面我们分步骤展开这一思想。
### 1. 历史背景与基本目标
- **起源**:19世纪末,数学家如戈特洛布·弗雷格(Gott洛布·弗雷格)和伯特兰·罗素试图为数学建立严格的基础,以回应集合论悖论(如罗素悖论)和数学基础危机。
- **核心主张**:数学
2025-10-25 23:54:42
0