书籍介绍
这本书最耐人寻味之处，在于它让康德的古老框架与现代数学的尖锐挑战正面相撞：非欧几何、高维几何、集合论、哥德尔不完备定理，无一不在追问——数学命题究竟是不是重言式？是否依赖经验？作者给出的答案颇具立场：数学是先验综合判断，建立在主体的「纯直观」之上，并辅以不同「注意力方向」的「理想化假定」。读者会看到，作者如何努力让几何学在摆脱空间直观之后依然保有先天必然性，又如何以测度论的困境反证「数学还原为集合论」之不可靠。然而本书也引发明显分歧：有人盛赞其哲学部分明白晓畅、立场鲜明，也有人批评它一旦进入数学便忽高忽低，尤其对维特根斯坦的处置令人遗憾。它适合那些不满足于「数学哲学只是流派罗列」、而想看清一位思想家如何为数学奠基的人。
作者简介
包向飞，男，1974年出生，河南信阳人，从1993年到2000年在武汉大学外语学院德语系读本科和硕士研究生，先后获得德语语言文学的学士和硕士学位，从2000年起，在武汉大学外语学院德语系任教。2005年考入武汉大学哲学系，师从国内著名的研究德国哲学的专家邓晓芒教授，主攻方向为康德哲学，2008年顺利完成学业，获得哲学博士学位。包向飞现为武汉大学外语学院德语系副教授、武汉大学编译中心秘书长、武汉大学70后学术团队成员。主要研究方向：德国哲学与文化、词源学以及数学哲学。曾在《哲学研究》、《现代哲学》、《求索》以及《解放军外语学院学报》等国内知名杂志上发表有关康德的数学哲学、文化以及德国文学的论文多篇，并且在《德语学习》和《数学学习和研究》上发表过有关语言和数学的论文多篇。
AI导读
编辑书评
- 本书的价值不在于它是一部完美的数学教科书，而在于它提供了一种极具张力的哲学辩护方案。包向飞敏锐地捕捉到逻辑实证主义在解释数学综合性时的乏力，转而挖掘康德“纯直观”概念的现代潜力。其最大亮点在于巧妙地将康德的时空观从欧几里得几何的束缚中解放出来，通过抽象出“连续与无限”这两个基本条件，为非欧几何留出了生存空间。这种理论重构展现了作者深厚的哲学功底和独特的解题思路，对于想要跳出分析哲学窠臼、从大陆哲学角度重新思考数学本质的读者而言，这是一次充满智识刺激的探险。
- 然而，必须诚实地指出，本书的短板同样明显：它在哲学思辨与数学技术之间出现了严重的失衡。当论述进入具体的数学领域时，语言的精确性和逻辑的严密性显著下降，甚至出现令人困惑的指代不清。更深层的局限在于，作者似乎陷入了一种预设结论的辩护模式，对维特根斯坦等对手的批评显得草率且带有偏见，未能充分吸收分析哲学在过去一个世纪里的精细成果。因此，这本书更适合被视为一部“康德主义的数学哲学宣言”，而非严谨的学术定论。建议在已有相当哲学储备的前提下，带着批判性眼光阅读，将其视为激发思考的引子，而非终极答案。
核心看点
- 本书核心在于为康德的“数学是先验综合判断”这一经典论断进行现代辩护。作者包向飞试图论证数学命题并非逻辑实证主义所主张的重言式分析命题，也不完全依赖经验，而是基于“纯直观”。通过引入“注意力方向”和“理想化假定”，作者重构了康德关于几何与算术的直观基础，旨在解决非欧几何出现后康德时空观面临的合法性危机。
- 针对现代数学背景下的几何学难题，书中提出了一种策略性退守：避免将康德的“纯直观空间”直接等同于欧几里得空间，而是将其定义为仅具备连续性与无限性的基本框架。在此前提下，作者论证各种现代几何学（包括非欧几何）均可在康德的纯直观上建立起来，从而化解了传统批评认为康德无法兼容高维或非欧几何的观点。
- 本书深入探讨了集合论作为数学基础的局限性，特别是测度论视角下连续性问题的未决状态。作者指出，既然数学还原为集合论存在诸多疑难，那么回归康德式的“纯直观”不仅是历史回顾，更是解决当代数学哲学困境的必要路径。第四章进一步阐述了这种建基在纯直观上的数学体系的可行性及其独特特征，强调直观在数学建构中的本体论地位。
读者共识
- 读者普遍认可该书在哲学阐述部分的清晰与独到，认为作者成功展示了康德数学哲学在面对19-20世纪挑战时的韧性，特别是在论证数学非重言式这一点上立场鲜明。然而，对于书中涉及具体数学内容的论述，共识是质量参差不齐，存在表述模糊、逻辑跳跃的问题，导致非专业读者难以从中真正掌握数学知识。
- 部分资深读者指出，作者深受邓晓芒等学者影响，倾向于一种具有强烈形而上学色彩的欧陆康德读法。这种立场虽然为康德辩护提供了新视角，但也导致了其对维特根斯坦等分析哲学家的解读被批评为“灾难性”的误读。争议焦点在于作者是否真正理解了其所批评对象的本质错误，还是仅仅停留在表面反驳。
- 尽管存在争议，仍有读者肯定作者的个人见解，认为其提出的“纯直观加上不同注意力方向的理想化假定”这一模型，能够较好地解释数字起源的生物本能以及非欧几何与康德时空观的兼容性。这表明该书在提供替代性数学哲学图景方面具有一定启发价值，即便其论证过程并非无懈可击。
精彩摘录
- "思想不是主體的東西，不是我們心靈活動的創造物；因為我們從畢達哥拉斯定理得到的思想對於所有人都是相同的，它的真完全不依賴于這個人或那個人考慮它還是不考慮它，不應該將思想行為看做創造思想，而應看做理解思想。 如果假定句子是被證明的東西，那麼定義可能至關重要，但是要將思想看做要被證明的東西，那麼定義就不重要。"
