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