书荐丨《从数学到哲学》：近代著名数理逻辑学家王浩哲学代表作，展开一场从数学到哲学的智慧之旅

《从数学到哲学》

[美]王浩 著

高坤 邢滔滔 译

广西师范大学出版社·大学问

☆内容简介：

近代著名数理逻辑学家王浩在数学、逻辑学、计算机科学领域有着超高天赋和开拓性成果，他一生痴迷于哲学研究，是对世界哲学作出过深刻贡献的华裔学者。

本书是王浩的代表作，是其正面集中阐释自己哲学思想的作品。循着从柏拉图到哥德尔的“数学-哲学家”传统，王浩在书中首次对实质事实主义一般立场进行了长篇阐发；广泛、深入地讨论了数学哲学的诸议题；探索了心灵与机器、数学与计算机、知识与生活等话题；还重点考察了逻辑和数学领域的一些基本概念。此次中译本首次出版，由专业译者精心翻译，以助读者更好地理解王浩的数学哲学思想。

☆本书亮点：

1.还原一个更真实、更全面的华裔天才哲学家王浩。

王浩是近代著名数理逻辑学家，早年就读于西南联大数学系，后在哈佛大学完成博士学位，又先后任教于哈佛大学、牛津大学。

他是“人工智能之父”明斯基崇拜的天才、“图灵奖”获得者库克的导师、蒯因的得意门生、库尔特·哥德尔的忘年挚友……

他在数学、逻辑学、计算机科学领域有着超高天赋和开拓性成果，是人工智能重要研究领域“机器定理证明”的奠基人，是“王浩机”模型、“王氏悖论”命题的提出者。1952年他当选美国科学与艺术学院院士，1983年获得国际人工智能联合会与美国数学会共同授予的“定理证明里程碑奖”。

他一生都痴迷于哲学研究，是对世界哲学作出过深刻贡献的华裔学者，《从数学到哲学》循着从柏拉图到哥德尔的“数学-哲学家”传统，是作为哲学家的王浩留在世界的宝贵精神遗产。

2.王浩哲学代表作，一部正面集中阐释其哲学思想的作品，囊括王浩思想的精华。

首次对实质事实主义一般立场进行长篇阐发；

广泛、深入地讨论数学哲学的诸议题；

探索心灵与机器、数学与计算机、知识与生活等话题；

考察逻辑和数学领域的一些基本概念，如自然数、连续统、机械程序、集合和逻辑真等。

3.中译本首次出版，专业译者精心翻译，忠于原文，精准流畅。

本书的翻译历时数载，由山西大学科学技术哲学研究中心高坤、北京大学哲学系邢滔滔教授精心翻译，斟字酌句，以助读者更好地理解王浩的数学哲学思想。

4.叶峰、郝兆宽、杨跃联袂推荐，一场从数学到哲学的智慧之旅。

权威深刻、富有启发、精湛翻译。这既是一本很权威的数理逻辑与数学基础方面的普及性读物，又是分析哲学研究者的必读专著，值得每一位想要深入理解王浩数学哲学思想的读者阅读。

5.装帧精美，版式舒朗，便于阅读。

封面的“楼梯”元素代表书名“从数学到哲学”的动态寓意；“王浩机”元素作为王浩的代表性成果也被巧妙使用；局部烫银、质感细腻、牢固耐翻、便于阅读。

☆编辑推荐：

王浩是近代享誉国际的数学家、哲学家、逻辑学家、计算机科学家，是人工智能重要研究领域“机器定理证明”的奠基人，是“王浩瓷砖”模型、“王氏悖论”命题的提出者，是“定理证明里程碑奖”获得者。

王浩早年就读于西南联大数学系，师从金岳霖、沈有鼎、王宪钧、杨武之等明师，与杨振宁是室友，与汪曾祺、何兆武交好。后在哈佛大学哲学系完成博士学位，又先后任教于哈佛大学、牛津大学。他是“人工智能之父”明斯基崇拜的天才、“图灵奖”获得者库克的导师、蒯因的得意门生、库尔特·哥德尔的忘年挚友……天才王浩轻松拥有在旁人看来“一路开挂”的人生。

尽管在数学、逻辑学、计算机科学领域有着开拓性成果和突出贡献，王浩却痴迷于哲学，立志成为哲学家，他将自己的大部分精力投入数学哲学的研究和写作，是对世界哲学作出过深刻贡献的华裔学者。《从数学到哲学》是王浩的首本“大部头”，是一部循着从柏拉图到哥德尔“数学-哲学家”传统不断探索的哲学思想专著，是其代表作，也是正面集中阐释自己哲学思想的作品。

《从数学到哲学》于1974年在美国出版，是王浩的首部哲学著作，也是其重要代表作，却由于种种原因一直未有中译本出版。近年人工智能的飞速发展使学界对“机器定理证明”开山鼻祖王浩的怀念和研究的文章增多，学界对本书的出版呼声也日益增高。此次中译本首次出版，由专业译者精心翻译，斟字酌句，以助读者更好地理解华裔学者王浩的数学哲学思想，了解他对世界的贡献。

☆作者简介：

王浩（1921—1995）

近代著名数理逻辑学家。曾任教于牛津大学、哈佛大学等世界名校。著有《逻辑之旅》《哥德尔》《超越分析哲学》。

译者：高坤，北京大学哲学博士，现任教于山西大学科学技术哲学研究中心，主要从事逻辑与数学哲学方面的研究。

邢滔滔，北京大学哲学系教授。著有《数理逻辑》等。

☆名家推荐：

王浩无疑是在国际哲学与逻辑学界最知名、最有成就的华裔学者。他在数理逻辑、数学基础的技术领域有许多开创性的贡献，同时他也在哲学方面对分析哲学提出了深刻的批评。他的这部著作，一边深入浅出地介绍数理逻辑与数学基础的基本概念与成果，一边借此阐述他自己的哲学思想。因此，这既是一本很权威的，数理逻辑与数学基础方面的普及性读物，又是分析哲学研究者的必读专著。

——叶峰（首都师范大学政法学院哲学系教授）

王浩是哥德尔之后最能善待数学自主性的哲学家，这使本书具有了超乎寻常的深刻性，这种深刻性如美酒般清澈而醇厚，在今天显得尤为珍贵。

——郝兆宽（复旦大学哲学学院教授）

王浩先生的著作既深刻又富有启发性，值得向每一位关心数学哲学的读者推荐。

——杨跃（新加坡国立大学数学系教授）

我们的人生道路迥然不同，王浩是对我思想影响最大的一个人。

——何兆武（历史学家、翻译家、清华大学教授）

王浩在《从数学到哲学》第6章探讨了关于集合的直观迭代概念，以及这种直观概念如何启发并核证了集合论公理。所有寻求对于这个问题的成熟的哲学理解的人，都应该把这篇文字当作第一读本。

——查尔斯·帕森斯（Charles Parsons，哈佛大学哲学家）

☆目录：

前言

文本说明

引论

1 作为一种方法和解毒剂的实质事实主义

2 反对实证主义

3 反对语言哲学

4 关于实质事实主义的一些说明

5 逻辑、数学及本书的范围

第1章 数理逻辑与数学哲学

1 数学哲学诸议题

2 公理方法与抽象结构

3 一致性问题

4 数理逻辑对哲学家的欺骗性吸引力

第2章 一般数学概念的刻画

1 自然数

2 连续统

3 机械程序

第3章 罗素的逻辑和几个一般问题

1 《数学的原则》（1903）

2 《数学原理》之序曲（1903—1910）

3 《数学原理》

4 维特根斯坦和拉姆齐

5 逻辑真理及其他哲学问题

6 直谓定义和恶性循环原则

第4章 逻辑真

1 亚里士多德逻辑的预设

2 逻辑常项和逻辑真理

第5章 元逻辑

1 形式语言和形式系统

2 元逻辑的起源和影响

3 关于形式数学系统的精确结果

4 关于逻辑演算的精确结果

第6章 集合的概念

1 集合的（最大化）迭代概念

2 破产（矛盾），还是误解（错误）？

3 集合论中的客观主义和形式主义

4 新公理和可接受性标准

5 与几何学和物理学的比较

6 关于无界量化的题外话

7 从康托的著作中提取集合论公理

8 康托和米利曼诺夫的层谱

第7章 数学的理论与实践

1 活动与可行性

2 数学还原为逻辑

3 什么是数学？

4 数学的实践方面

第8章 必然性、分析性和先天性

1 这三个概念的起源和同化

2 来自康德哲学的启示

3 从弗雷格到分析哲学

4 关于当代争论的几点注记

第9章 数学与计算机

1 计算机的新用途

2 数学对计算机发展的影响

3 逻辑数学

4 数学推理作为一种机械过程

5 有穷计算和无穷数学

6 逻辑与计算机

第10章 心灵与机器

1 机械论的诸方面

2 计算机与大脑

3 人工智能或机器智能

4 人类思维的计算机模拟

5 思维纪要和理论心理学

6 数学证明

7 哥德尔论心灵与机器

第11章 关于知识与生活的札记

1 内在目标和大问题

2 意义与生活形式

3 专业化与知识的统一

4 罗素作为一个例子

5 生活与对哲学的追求

第12章 风格与方法

1 关于物质、心灵和机器的科学研究

2 科学与哲学

3 关于当代哲学的一些评论

4 尊重原始事实

5 展望未来

附录：批评的尝试

1 关于归纳法合理性的评注

2 论关于归纳的怀疑论

3 物质对象的存在

4 一个关于知识的知识的疑问

5 什么是个体？

人名（及部分术语）索引

译后记