邏輯之旅：從哥德爾到哲學（簡體書）

在本書中，我打算結合我自己對哲學大廈及其眾多分殿的構想，來討論庫爾特·哥德爾的哲學觀點。我從哥德爾和我之間的實際討論人手，拓展了“對話”一詞的意義，讓它包含了兩個方面的相互作用：一方面是我持續不斷的反思，另一方面是現有的相關文獻，有哥德爾自己寫的，也有他人談論哥德爾的。在我自己不斷演進的思想框架中，我希望以這種方式達到對哥德爾的生活與思想的融貫一致的理解，同時重組并完成我們之間實際的討論，引申出它的種種含義。因此，這個方案已明顯地融入我自己的思想追求，我一直追索對事物有一種全面的看法。
本書是我的《哥德爾》一書的續篇，那本書于1986年6月完成，1987年出版。旁的內容且不談，本書的一個企圖是比先前那本更明白地展示哥德爾的生活和著作。我起初志在整理我們內容廣泛的對話，把我間斷混雜的記錄連綴成篇。但這比我原先料想的要艱難得多。隨著工作繼續、時間推移，我越來越感覺到我是在按照殘破扭曲的圖樣拼一個巨大的謎圖。為了弄明白問題，我查找哥德爾的原文，但他一大部分未發表的筆記隱藏在加貝爾斯貝格（Gabelsberger）速記體的后面，尚未面世。為理解他對萊布尼茨、康德、黑格爾、胡塞爾和愛因斯坦的評論，我也研究他們的有關著作。

王浩（1921—1995），美籍華裔數學家、邏輯學家、計算機科學家、哲學家。1921年生于山東濟南市。1943年畢業于西南聯合大學數學系。1945年于清華大學研究生院哲學系畢業。曾師從金岳霖、王憲鈞、沈有鼎等。1946年赴哈佛大學留學，師從蒯因（W．V．O．Quine），兩年時間即獲哈佛大學哲學博士學位。在哈佛短暫教學之后赴蘇黎世與貝奈斯（Pau1 Bernays）一起工作。1954--1956年，在牛津大學任第二屆約翰-洛克講座主講，又任邏輯及數理哲學高級教職，主持數學基礎討論班。1961—1967年，任哈佛大學教授。1967--1991年，任洛克菲勒大學邏輯學教授。20世紀50年代初被選為美國科學院院士，后又被選為不列顛科學院外國院士。1983年，被國際人工智能聯合會授予第一屆“數學定理機械證明里程碑獎”，以表彰他在數學定理機械證明研究領域中所作的開創性貢獻。著有《數理邏輯概論》、《從數學到哲學》、《哥德爾》、《超越分析哲學》等專著。

引論
　0.1　邏輯家其人及其定理
　0.2　哥德爾的哲學：規劃與實行
　0.3　哲學與數學和邏輯的關係
　0.4　從哥德爾到作為元哲學的邏輯
第1章　哥德爾的生平
　1.1　簡歷
　1.2　健康和日常生活
　1.3　他的若干總體性見解
　1.4　婚姻
　1.5　政治和他的個人處境
　1.6　與愛因斯坦的交游
第2章　哥德爾的思想歷程
　2.1　他的生活及其與工作的關係
　2.2　有意識的準備（19201929）
　2.3　三階段工作之首段
　2.4　后兩個階段
　2.5　哥德爾自況
　2.6　他的自我總結
第3章　作為行動指導的宗教與哲學
　3.1　哥德爾論來生
　3.2　宗教和哥德爾的本體論證明
　3.3　在哲學和意識形態之間的世界觀
第4章　談話及其背景
　4.1　真實的和虛構的交談
　4.2　我同哥德爾及其工作的接觸
　4.3　年表及雜記：1971年到1972年
　4.4　續篇：1975年到l977年
第5章　哲學與哲學家
　5.1　哥德爾如何聯結哲學與數學基礎
　5.2　幾則總括的評論
　5.3　論胡塞爾插論康德
　5.4　反對(邏輯)實證主義
　5.5　哥德爾與維特根斯坦
第6章　心靈與機器：論可計算主義
　6.1　心智可計算主義哥德爾定理和其他的提示
　6.2　心與物：論物理主義和平行論
　6.3　圖靈機器或哥德爾心靈？
　6.4　形式系統和可計算部分函數
　6.5　神經的和物理的可計算主義
第7章　數學中的柏拉圖主義或客觀主義
　7.1　直覺和理想化之間的辯證法
　7.2　發現與創造：通過理想化而擴張
　7.3　對概念的知覺
　7.4　支持數學中客觀主義的事實或論證
　7.5　客觀主義構想與公理方法
第8章　集合論與作為概念論的邏輯
　8.1　康托爾的連續統問題和他的假說
　8.2　集合論與集合概念
　8.3　康托爾一諾伊曼公理：主觀與客觀
　8.4　邏輯的范圍和作用
　8.5　悖論與概念論
　8.6　集合與概念：探索概念論
　8.7　引進集合的原則
第9章　哥德爾哲學之路
　9.1　他的哲學：規劃與實行
　9.2　方法談：如何研究哲學
　9.3　關於哲學的一般見解
　9.4　世界的意義：單子論與理性樂觀主義
　9.5　時間：經驗的與表象的
第10章　結語：化沖突為互補
　10.1　事實主義和歷史上的哲學：一些選擇
　10.2　貝奈斯的意見
　10.3　從羅爾斯的工作中得到一些教益　
　10.4　哲學的位置與它的一些任務
　10.5　呆供選擇的哲學和作為元哲學的邏輯　
參考文獻
索引
譯後記