具体描述
19世纪末20世纪初，在现代数学产生初期，一些数学哲学的问题曾经困扰过当时最出色的数学家，如彭加勒、希尔伯特、布劳维尔、赫尔曼·威尔、冯·诺伊曼等。这些学者的思考与讨论为现代哲学奠定了基础。本书将介绍、分析、批评20世纪的几种主要的数学哲学思想。第一章是当代数学哲学的导论，在分析、评述各种数学哲学思想之前，都将简要地介绍那些思想的要点。第二章将介绍自然主义的基本观念及一种彻底的自然主义的数学哲学，是评述二十世纪主要数学哲学思想的哲学基础与出发点。从第三章开始，作者介绍了二十世纪几种主要的数学哲学思想，并从自然主义的角度对它们作出分析、批评。
作者简介
目录信息
第一章 数学哲学的基本问题 22
第二章 一种自然主义数学哲学 77
第三章 十九世纪的数学基础研究 142
第四章 弗雷格与逻辑主义 178
第五章 直觉主义 226
第六章 形式主义 263
第七章 卡尔纳普与逻辑实证主义 303
第八章 哥德尔的实在论 349
第九章 蒯因与不可或缺性论证 375
参考文献 437
名词索引 449
· · · · · · (收起)
读后感
今天晚上在单位值班，不开电脑，把这本书全部翻完了，确实同意这个观点，作者哲学确实差，对分析哲学以外的流派基本不懂，作者的本人的哲学观其实是一种很常识很零散不成章法的东西。至于教四论的人，除掉已经被边缘n久的证明论，其他三论能教的人实在太多了，当然作者的逻辑技...
在看叶峰的《二十世纪数学哲学——一个自然主义者的述评》，叶峰自称是一个自然主义者。在第二章“一种自然主义数学哲学”的76、77页，作者大致描述了自己的自然主义数学，看了之后大雷，现将相关内容摘要如下： “大脑中的概念可分两类，直接表具体事物的实际概念与不直接表...
骑完动感单车差不多看到一百多页，叶峰在里面说了就是他那种彻底的自然主义肯定是反实在论的，但是有别于达米特，不过后面还没看。 至少对于了解一些数学哲学主流争论的人来说，这本书应该是没问题的。 再说一下书评区说叶峰观点站不住的，我感觉你只是没有抓住要点，而只是抓...
骑完动感单车差不多看到一百多页，叶峰在里面说了就是他那种彻底的自然主义肯定是反实在论的，但是有别于达米特，不过后面还没看。 至少对于了解一些数学哲学主流争论的人来说，这本书应该是没问题的。 再说一下书评区说叶峰观点站不住的，我感觉你只是没有抓住要点，而只是抓...
今天晚上在单位值班，不开电脑，把这本书全部翻完了，确实同意这个观点，作者哲学确实差，对分析哲学以外的流派基本不懂，作者的本人的哲学观其实是一种很常识很零散不成章法的东西。至于教四论的人，除掉已经被边缘n久的证明论，其他三论能教的人实在太多了，当然作者的逻辑技...
用户评价
这本书的文字功底实在令人赞叹，它读起来完全不像是一本严肃的哲学专著，更像是一部精彩的智力小说。作者叙事的节奏感把握得极好，时而如大江奔流，将宏大的历史背景和哲学思潮一气呵成地铺陈开来；时而又像精妙的棋局对弈，细致入微地推敲着维特根斯坦与罗素之间那种微妙的学术张力。特别是关于形式主义在战后如何演化出各种变体的论述，简直是教科书级别的清晰。我必须承认，在阅读过程中，我常常停下来，不是因为理解困难，而是因为被作者的措辞所吸引——那些充满画面感的比喻和精准到位的总结，极大地提升了阅读的愉悦感。它成功地将那些原本冰冷、抽象的逻辑图景，赋予了鲜活的生命力和戏剧冲突。如果你想了解，数学家们是如何在二十世纪的废墟之上重建他们的信仰体系的，这本书提供了一个既富有学术严谨性又充满文学魅力的入口。
我是在一个略带功利性的目的下开始阅读的，期望能从中找到一些关于现代计算理论的哲学根源，结果却意外地收获了一场关于“确定性”的深度冥想。这本书的结构设计非常巧妙，它似乎没有一个固定的中心，而是以螺旋上升的方式，不断回到那些核心的、悬而未决的问题上，比如“数学是发现的还是发明的？”。作者在这方面展现了惊人的平衡术，他没有急于给出一个武断的结论，而是将各种相互矛盾的观点并置，让读者自己去感受那种思想交锋的火花。最让我印象深刻的是对布尔巴基学派兴起及其对数学“统一性”追求的批判性梳理。那段文字不仅是对历史的回顾，更像是对某种时代精神的精准刻画——一种对绝对秩序的集体渴望与随之而来的内在僵化。读罢此书，你会发现，原来所谓的数学确定性，从根本上说，不过是人类意志力的又一次伟大投射。
这本关于二十世纪数学哲学的作品，最成功之处在于它彻底打破了学科之间的壁垒。我原以为这是一部纯粹的哲学作品，但阅读过程中我发现，它同时也是一部关于认知科学、计算机科学早期思想的非正式史。作者对诸如图灵机、计算可能性这些概念的哲学意义的探讨，远比许多专门的计算机哲学书籍来得更加深刻和富有洞察力。那种对“可计算性”与“人类心智”之间界限的反复叩问，至今仍在我脑海中回响。作者以一种近乎怀旧的笔调，回顾了那些在纸和笔之间试图定义“无限”的先驱者的工作，这种情感上的共鸣是令人意外的。它不只是在讨论理论，更是在描绘一群试图用逻辑和符号来抵抗世界混沌的“战士”。总而言之，它提供了一种跨学科的、既有温度又不失锐度的思想盛宴，远超出了我对一本“哲学史”的初始期待。
说实话，这本书的阅读门槛比预期的要高一些，但一旦跨过去，回报是巨大的。它不是那种能让你在咖啡馆里轻松翻阅的读物，它需要你投入时间去消化那些关于集合论、模型论的哲学引申。然而，作者在处理历史脉络上的梳理能力堪称一绝。他没有将二十世纪的数学哲学视为一个孤立的场域，而是将其置于更宏大的科学史和社会思潮中进行审视。比如，作者如何将两次世界大战对欧洲知识分子心态的影响，巧妙地嵌入到对直觉主义哲学的复兴的分析中，这一点尤其精妙。这使得整本书的论述不再是枯燥的哲学辩论，而成为了一部关于人类理性在动荡时代如何自我调适的史诗。如果你对科学史、特别是那些“幕后英雄”——那些思想构建者——的内心世界感到好奇，这本书会给你提供一个充满细节和深度的观察窗口，展示了伟大思想诞生的不易与复杂性。
这部巨著一经捧读，便被其深邃的思辨力量所震撼。作者并非仅仅停留在对数学概念的表面罗列，而是以一种近乎解剖手术般的精准，剖析了二十世纪以来数学思想的演进轨迹。从逻辑主义的兴衰到直觉主义的坚守，再到哥德尔不完备性定理所带来的哲学震荡，每一个章节都像是一次思想的探险。我特别欣赏作者在处理那些晦涩难懂的数学哲学流派时所展现出的耐心和洞察力。他没有回避那些复杂的术语和论证，而是巧妙地将其转化为引人入胜的故事线，让即便是初涉此道的读者也能领略到其中精妙之处。读完后，我感觉自己对“真理”的理解都被重塑了，不再是那个简单、线性的概念，而是一个充满张力、不断被挑战和重建的动态过程。它迫使我重新审视我过去所接受的那些“不言自明”的数学基础，带来的启发是持久而深远的。这本书的价值，在于它提供了一种全新的视角去观察人类理性构建的最坚固的堡垒——数学。
第六章对希尔伯特纲领（的哲学部分）做了比较完整的介绍，这点在通常的中文书中是见不到的。后面几章对Carnap、quine等人的批评非常精彩。比较可惜的作者并没有详细的介绍他自己在（严格）有穷主义数学方面的工作。
优点是能结合数学细节来介绍和分析，而不只是总结各派观点泛泛而谈。缺点是作者的“严格自然主义”需要一些很强的假设以及技术说明（尤其是规范性的自然化解释），而本书只是简单地提及，这就使得后面的论证显得不那么有力了
联系到最近看的几本书，深感二十世纪真是一个断裂的时代。
各个流派的观点讲解得很清楚，相比之下给出的自然主义解释反而弱了些。
联系到最近看的几本书，深感二十世纪真是一个断裂的时代。
