二十世纪数学哲学-GoogleSites.doc

二十世纪数学哲学 ——一个自然主义者的评述 （初稿，2009.4） 叶峰 北京大学外国哲学研究所 北京大学哲学系  本书得到教育部人文社会科学重点研究基地重大项目“20世纪西方逻辑哲学和数学哲学”的支助 简要目录 前言 13 第一章 数学哲学的基本问题 22 第二章 一种自然主义数学哲学 77 第三章 十九世纪的数学基础研究 142 第四章 弗雷格与逻辑主义 178 第五章 直觉主义 226 第六章 形式主义 263 第七章 卡尔纳普与逻辑实证主义 303 第八章 哥德尔的实在论 349 第九章 蒯因与不可或缺性论证 375 参考文献 437 名词索引 449 详细目录 前言 13 1. 当代数学哲学面临的问题 13 2. 本书的目的、内容、与写作策略 16 3. 致谢 20 第一章 数学哲学的基本问题 22 1.1 关于数学对象的本体论问题 23 1.1.1 朴素的数学实在论及其认识论难题 24 1.1.2 朴素的数学反实在论及其可应用性难题 27 1.1.3 二十世纪数学哲学对本体论问题的种种回答 28 1.2 关于数学语言的意义问题 35 1.2.1 数学实在论的意义理论及其难题 36 1.2.2 反实在论的意义理论及其难题 39 1.2.3 二十世纪各数学哲学流派对意义问题的回答 42 1.3 关于数学知识的认识论问题 43 1.3.1 实在论的认识论难题 43 1.3.2 反实在论的认识论任务 47 1.4 数学的分析性与先天性 49 1.4.1 什么是数学的分析性与先天性问题 49 1.4.2 传统哲学的回答 51 1.4.3 二十世纪数学哲学流派的各种回答 55 1.5 数学的客观性 56 1.5.1 数学的客观性与数学对象的客观存在性 56 1.5.2 数学的客观性问题 59 1.6 数学的可应用性 64 1.6.1 数学实在论并未清楚解释可应用性 64 1.6.2 什么是真正的可应用性问题？ 66 1.6.3对可应用性的完整解释可能支持反实在论 68 1.7 数学哲学研究的意义 70 1.7.1 二十世纪数学哲学的演变 70 1.7.2 数学哲学研究的意义 72 第二章 一种自然主义数学哲学 77 2.1 自然主义的基本信念 77 2.1.1 什么是自然主义的基本信念？ 79 2.1.2 自然主义的认识论 81 2.1.3 自然主义的指称理论 85 2.1.4 自然主义背景下的真理与逻辑 89 2.1.5 自然主义与抽象实体 91 2.2 自然主义数学哲学的任务 92 2.2.1 从虚构主义开始 92 2.2.2 虚构主义的不足 96 2.2.3 自然主义数学哲学的任务 98 2.3 数学语言的意义与数学知识 101 2.3.1 自然主义框架下的数学语言的意义 101 2.3.2 自然主义框架下的数学知识 106 2.4 数学的客观性 107 2.4.1 涉及思想与事物的联系的客观性 107 2.4.2 概念的客观性 110 2.4.3 规则的客观性 112 2.4.4 想象事物时的客观性 114 2.5 数学的分析性、先天性与必然性 116 2.5.1 自然主义框架下的先天性问题 116 2.5.2 概念框架与分析性 119 2.5.3 经验知识库与先天性的定义 122 2.5.4 内在知识 125 2.5.5 算术是分析的、先天的吗？ 127 2.5.6 逻辑与算术是必然的吗？ 129 2.6 数学的可应用性 132 2.6.1 数学的可应用性问题的自然化 132 2.6.2 解释可应用性的一个策略 136 第三章 十九世纪的数学基础研究 142 3.1 十九世纪的分析严格化运动 143 3.1.1 十七、十八世纪的微积分与数学分析中的问题 144 3.1.2 十九世纪的分析严格化运动 146 3.1.3 从自然主义的角度看分析严格化运动 147 3.2 康托尔与戴德金的实数理论 153 3.2.1 康托尔与戴德金的实数理论的要点 153 3.2.2 对实数理论的自然主义解读 157 3.3 戴德金的自然数理论 159 3.3.1 戴德金的自然数理论的要点 160 3.3.2 戴德金的自然数理论的难点 162 3.3.3 对戴德金的理论及其难点的自然主义分析 165 3.3.4 皮亚诺的自然数公理 167 3.4 悖论与数学基础的危机 167 3.4.1 康托尔的集合论 167 3.4.2 集合论的悖论与数学基础危机 170 3.4.3 从自然主义角度的分析 173 第四章 弗雷格与逻辑主义 178 4.1 弗雷格的概念文字 180 4.1.1 弗雷格的逻辑贡献 181 4.1.2 弗雷格果真将直观知识还原为逻辑了吗？ 184 4.2 弗雷格的概念实在论与反心理主义 188 4.2.1 弗雷