逻辑之旅：从哥德尔到哲学

　　在本书中，我打算结合我自己对哲学大厦及其众多分殿的构想，来讨论库尔特·哥德尔的哲学观点。我从哥德尔和我之间的实际讨论人手，拓展了“对话”一词的意义，让它包含了两个方面的相互作用：一方面是我持续不断的反思，另一方面是现有的相关文献，有哥德尔自己写的，也有他人谈论哥德尔的。在我自己不断演进的思想框架中，我希望以这种方式达到对哥德尔的生活与思想的融贯一致的理解，同时重组并完成我们之间实际的讨论，引申出它的种种含义。因此，这个方案已明显地融入我自己的思想追求，我一直追索对事物有一种全面的看法。本书是我的《哥德尔》一书的续篇，那本书于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　呆供选择的哲学和作为元哲学的逻辑　
参考文献
索引
译后记