近代著名数理逻辑学家王浩哲学代表作《从数学到哲学》近日由广西师范大学出版社出版。

王浩（1921—1995）是近代享誉国际的数学家、哲学家、逻辑学家、计算机科学家，是人工智能重要研究领域“机器定理证明”的奠基人，是“王浩瓷砖”模型、“王氏悖论”命题的提出者，是“定理证明里程碑奖”获得者。曾任教于牛津大学、哈佛大学等世界名校。著有《逻辑之旅》《哥德尔》《超越分析哲学》。

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

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

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

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

在该书“译后记”中，译者高坤这样写道：“《从数学到哲学》是王浩最为集中、正面阐述自己（数学）哲学思想的作品。在这一点上，它既与《哥德尔》和《逻辑之旅》（它们旨在报道和诠释哥德尔的思想，仅顺带发挥王浩自己的一些想法）不同，也与《超越分析哲学》（它主要是从实质事实主义的元哲学立场出发，对当时流行的各种分析哲学观点进行批评）有别。在该书中，王浩既首次对自己的实质事实主义一般立场进行了长篇阐发，又广泛、深入地讨论了数学哲学的诸议题，甚至还探索了心灵与机器、数学与计算机、知识与生活等话题，其涵盖范围之广、烛幽探微之深，令人叹为观止。”

记者:钱欢青 编辑:钱欢青 校对:汤琪