19世纪末20世纪初，在现代数学产生初期，一些数学哲学的问题曾经困扰过当时最出色的数学家，如彭加勒、希尔伯特、布劳维尔、赫尔曼·威尔、冯·诺伊曼等。这些学者的思考与讨论为现代哲学奠定了基础。本书将介绍、分析、批评20世纪的几种主要的数学哲学思想。第一章是当代数学哲学的导论，在分析、评述各种数学哲学思想之前，都将简要地介绍那些思想的要点。第二章将介绍自然主义的基本观念及一种彻底的自然主义的数学哲学，是评述二十世纪主要数学哲学思想的哲学基础与出发点。从第三章开始，作者介绍了二十世纪几种主要的数学哲学思想，并从自然主义的角度对它们作出分析、批评。
目录：
前言13
第一章 数学哲学的基本问题22
第二章 一种自然主义数学哲学77
第三章 十九世纪的数学基础研究142
第四章 弗雷格与逻辑主义178
第五章 直觉主义226
第六章 形式主义263
第七章 卡尔纳普与逻辑实证主义303
第八章 哥德尔的实在论349
第九章 蒯因与不可或缺性论证375
参考文献437
名词索引449
|
