邏輯之旅：從哥德爾到哲學

引論
　0.1　邏輯家其人及其定理
　0.2　哥德爾的哲學：規(guī)劃與實行
　0.3　哲學與數(shù)學和邏輯的關系
　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　在哲學和意識形態(tài)之間的世界觀
第4章　談話及其背景
　4.1　真實的和虛構的交談
　4.2　我同哥德爾及其工作的接觸
　4.3　年表及雜記：1971年到1972年
　4.4　續(xù)篇：1975年到l977年
第5章　哲學與哲學家
　5.1　哥德爾如何聯(lián)結哲學與數(shù)學基礎
　5.2　幾則總括的評論
　5.3　論胡塞爾插論康德
　5.4　反對(邏輯)實證主義
　5.5　哥德爾與維特根斯坦
第6章　心靈與機器：論可計算主義
　6.1　心智可計算主義哥德爾定理和其他的提示
　6.2　心與物：論物理主義和平行論
　6.3　圖靈機器或哥德爾心靈？
　6.4　形式系統(tǒng)和可計算部分函數(shù)
　6.5　神經(jīng)的和物理的可計算主義
第7章　數(shù)學中的柏拉圖主義或客觀主義
　7.1　直覺和理想化之間的辯證法
　7.2　發(fā)現(xiàn)與創(chuàng)造：通過理想化而擴張
　7.3　對概念的知覺
　7.4　支持數(shù)學中客觀主義的事實或論證
　7.5　客觀主義構想與公理方法
第8章　集合論與作為概念論的邏輯
　8.1　康托爾的連續(xù)統(tǒng)問題和他的假說
　8.2　集合論與集合概念
　8.3　康托爾一諾伊曼公理：主觀與客觀
　8.4　邏輯的范圍和作用
　8.5　悖論與概念論
　8.6　集合與概念：探索概念論
　8.7　引進集合的原則
第9章　哥德爾哲學之路
　9.1　他的哲學：規(guī)劃與實行
　9.2　方法談：如何研究哲學
　9.3　關于哲學的一般見解
　9.4　世界的意義：單子論與理性樂觀主義
　9.5　時間：經(jīng)驗的與表象的
第10章　結語：化沖突為互補
　10.1　事實主義和歷史上的哲學：一些選擇
　10.2　貝奈斯的意見
　10.3　從羅爾斯的工作中得到一些教益　
　10.4　哲學的位置與它的一些任務
　10.5　呆供選擇的哲學和作為元哲學的邏輯　
參考文獻
索引
譯后記