邏輯之旅：從哥德爾到哲學(xué)

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