目录

导言

第一章 西方数学哲学的早期研究

第一节古希腊的数学哲学思想

一、毕达哥拉斯学派的“唯数论”

二、柏拉图的数学哲学思想

三、亚里士多德的数学哲学思想

第二节　十六——十八世纪的数学哲学研究

一、莱布尼兹的数学哲学思想

二、休谟的数学哲学思想

三、康德的数学哲学思想

第三节　非欧几何的建立与关于数学绝对真理性的信念的崩溃

一、非欧几何的建立

二、数学哲学研究的新发展

第二章　数学基础问题

第一节　数学的“算术化”

第二节　逻辑主义

一、前期的逻辑主义

二、后期的逻辑主义

三、一般评论

第三节　直觉主义

一、直觉主义对古典数学的批判

二、直觉主义数学的构造

三、一般评论

第四节　希尔伯特的形式主义

一、形式的公理化研究方法

二、希尔伯特规划

三、一般评论

第五节　关于数学基础研究的一般评论

一、理性主义的立场和思想上的形而上学性

二、关于数学基础研究的一般评论

第三章　悖论及其分析

第一节　悖论和数学的“基础危机”

一、“毕达哥拉斯悖论”和数学的第一次“危机”

二、贝克莱悖论和数学的第二次“危机”

三、集合论悖论和数学的第三次“危机”

第二节　西方的悖论研究

一、罗素对悖论的一般分析

二、罗素的“量性限制理论”和公理化集合论的研究

三、罗素的“非集合理论”和分支类型论

四、兰姆赛的简单类型论

五、其他的方案

六、塔斯基的语义学研究

七、悖论和对角线方法

第三节　悖论的定义、实质和解决的前景

一、悖论的定义

二、悖论的实质

三、悖论的不可避免改革性和相对性

四、悖论研究的意义

第四章　数学的本体论问题

第一节　数学的本体论问题及其争论焦点

一、历史的渊源

二、问题的提出

三、数学本体论问题的争论焦点

第二节　现代数学中的实在论

一、康托的柏拉图主义观点

二、哥德尔的客观主义观点

三、普特南的实在论观点

四、实在论对数学研究的意义

第三节　现代数学中的概念论

一、罗素的概念论及其“非集合理论”

二、直觉主义的概念论及其“构造性”要求

第四节　形式主义

一、形式主义的数学观

二、形式主义的不同类型

三、形式主义对数学研究的意义

四、形式主义和实在论的争论

第五节　反本体论和实用主义的观点

一、反本体论

二、实用主义的观点

第六节　数学对象的客观性和抽象性在实践中的统一

一、数学对象的辩证性

二、关于实在论的分析和评论

三、关于形式主义的分析和评论

四、数学对象的客观性和抽象性在实践中的统一

第五章　数学的真理性问题

第一节　数学的真理性及真理性问题的意义

一、数学的真理性及其可认识性

二、数学真理性问题的意义

第二节　数学真理的客观性

一、彭加莱的数学真理观

二、直觉主义的真理观

三、逻辑主义的真理观以及维特根斯坦关于逻辑真理性的分析

四、分析真理论

五、数学真理的客观性

第三节　数学真理的经验性

一、狭隘经验论的真理观

二、现代数学哲学中的先验论观点

三、经验主义的“复兴”

结束语