【作者】

王浩（1921—1995）近代著名數理邏輯學傢。曾任教於牛津大學、哈佛大學等世界

名校。著有《邏輯之旅》《哥德爾》《超越分析哲學》。

【譯者】

高坤，北京大學哲學博士，現任教於山西大學科學技術哲學研究中心，主要從事邏輯與數學哲學方麵的研究。

邢滔滔，北京大學哲學係教授。著有《數理邏輯》等。

近代著名數理邏輯學傢王浩哲學代錶作，正麵集中闡釋其哲學思想，循著從柏拉圖到哥德爾的“數學-哲學傢”傳統，展開一場從數學到哲學的智慧之旅。

葉峰、郝兆寬、楊躍聯袂推薦！中譯本首次齣版，專業譯者精心翻譯！

【本書看點】

1.還原一個更真實、更全麵的華裔天纔哲學傢王浩。

王浩是近代著名數理邏輯學傢，早年就讀於西南聯大數學係，後在哈佛大學完成博士學位，又先後任教於哈佛大學、牛津大學。

他是“人工智能之父”明斯基崇拜的天纔、“圖靈奬”獲得者庫剋的導師、蒯因的得意門生、庫爾特•哥德爾的忘年摯友……

他在數學、邏輯學、計算機科學領域有著超高天賦和開拓性成果，是人工智能重要研究領域“機器定理證明”的奠基人，是“王浩機”模型、“王氏悖論”命題的提齣者。1952年他當選美國科學與藝術學院院士，1983年獲得國際人工智能聯閤會與美國數學會共同授予的“定理證明裏程碑奬”。

他一生都癡迷於哲學研究，是對世界哲學作齣過深刻貢獻的華裔學者，《從數學到哲學》循著從柏拉圖到哥德爾的“數學-哲學傢”傳統，是作為哲學傢的王浩留在世界的寶貴精神遺産。

2.王浩哲學代錶作，一部正麵集中闡釋其哲學思想的作品，囊括王浩思想的精華。

首次對實質事實主義一般立場進行長篇闡發；

廣泛、深入地討論數學哲學的諸議題；

探索心靈與機器、數學與計算機、知識與生活等話題；

考察邏輯和數學領域的一些基本概念，如自然數、連續統、機械程序、集閤和邏輯真等。

3.中譯本首次齣版，專業譯者精心翻譯，忠於原文，精準流暢。

本書的翻譯曆時數載，由山西大學科學技術哲學研究中心高坤、北京大學哲學係邢滔滔教授精心翻譯，斟字酌句，以助讀者更好地理解王浩的數學哲學思想。

4.葉峰、郝兆寬、楊躍聯袂推薦，一場從數學到哲學的智慧之旅。

權威深刻、富有啓發、精湛翻譯。這既是一本很權威的數理邏輯與數學基礎方麵的普及性讀物，又是分析哲學研究者的必讀專著，值得每一位想要深入理解王浩數學哲學思想的讀者閱讀。

5.裝幀精美，版式舒朗，便於閱讀。

封麵的“樓梯”元素代錶書名“從數學到哲學”的動態寓意；“王浩機”元素作為王浩的代錶性成果也被巧妙使用；局部燙銀、質感細膩、牢固耐翻、便於閱讀。

【內容簡介】

近代著名數理邏輯學傢王浩在數學、邏輯學、計算機科學領域有著超高天賦和開拓性成果，他一生癡迷於哲學研究，是對世界哲學作齣過深刻貢獻的華裔學者。

本書是王浩的代錶作，是其正麵集中闡釋自己哲學思想的作品。循著從柏拉圖到哥德爾的“數學-哲學傢”傳統，王浩在書中首次對實質事實主義一般立場進行瞭長篇闡發；廣泛、深入地討論瞭數學哲學的諸議題；探索瞭心靈與機器、數學與計算機、知識與生活等話題；還重點考察瞭邏輯和數學領域的一些基本概念。此次中譯本首次齣版，由專業譯者精心翻譯，以助讀者更好地理解王浩的數學哲學思想。

【名傢推薦】

王浩無疑是在國際哲學與邏輯學界最知名、最有成就的華裔學者。他在數理邏輯、數學基礎的技術領域有許多開創性的貢獻，同時他也在哲學方麵對分析哲學提齣瞭深刻的批評。他的這部著作，一邊深入淺齣地介紹數理邏輯與數學基礎的基本概念與成果，一邊藉此闡述他自己的哲學思想。因此，這既是一本很權威的，數理邏輯與數學基礎方麵的普及性讀物，又是分析哲學研究者的必讀專著。

——葉峰（首都師範大學政法學院哲學係教授）

王浩是哥德爾之後最能善待數學自主性的哲學傢，這使本書具有瞭超乎尋常的深刻性，這種深刻性如美酒般清澈而醇厚，在今天顯得尤為珍貴。

——郝兆寬（復旦大學哲學學院教授）

王浩先生的著作既深刻又富有啓發性，值得嚮每一位關心數學哲學的讀者推薦。

——楊躍（新加坡國立大學數學係教授）

我們的人生道路迥然不同，王浩是對我思想影響最大的一個人。

——何兆武（曆史學傢、翻譯傢、清華大學教授）

王浩在《從數學到哲學》第6章探討瞭關於集閤的直觀迭代概念，以及這種直觀概念如何啓發並核證瞭集閤論公理。所有尋求對於這個問題的成熟的哲學理解的人，都應該把這篇文字當作第一讀本。

——查爾斯•帕森斯（Charles Parsons，哈佛大學哲學傢）

【編輯推薦】

王浩是近代享譽國際的數學傢、哲學傢、邏輯學傢、計算機科學傢，是人工智能重要研究領域“機器定理證明”的奠基人，是“王浩瓷磚”模型、“王氏悖論”命題的提齣者，是“定理證明裏程碑奬”獲得者。

王浩早年就讀於西南聯大數學係，師從金嶽霖、瀋有鼎、王憲鈞、楊武之等明師，與楊振寜是室友，與汪曾祺、何兆武交好。後在哈佛大學哲學係完成博士學位，又先後任教於哈佛大學、牛津大學。他是“人工智能之父”明斯基崇拜的天纔、“圖靈奬”獲得者庫剋的導師、蒯因的得意門生、庫爾特•哥德爾的忘年摯友……天纔王浩輕鬆擁有在旁人看來“一路開掛”的人生。

盡管在數學、邏輯學、計算機科學領域有著開拓性成果和突齣貢獻，王浩卻癡迷於哲學，立誌成為哲學傢，他將自己的大部分精力投入數學哲學的研究和寫作，是對世界哲學作齣過深刻貢獻的華裔學者。《從數學到哲學》是王浩的首本“大部頭”，是一部循著從柏拉圖到哥德爾“數學-哲學傢”傳統不斷探索的哲學思想專著，是其代錶作，也是正麵集中闡釋自己哲學思想的作品。

《從數學到哲學》於1974年在美國齣版，是王浩的首部哲學著作，也是其重要代錶作，卻由於種種原因一直未有中譯本齣版。近年人工智能的飛速發展使學界對“機器定理證明”開山鼻祖王浩的懷念和研究的文章增多，學界對本書的齣版呼聲也日益增高。此次中譯本首次齣版，由專業譯者精心翻譯，斟字酌句，以助讀者更好地理解華裔學者王浩的數學哲學思想，瞭解他對世界的貢獻。