引论 1
逻辑家其人及其定理 2
哥德尔的哲学：规划与实行 9
哲学与数学和逻辑的关系 17
从哥德尔到作为元哲学的逻辑 24
第1章 哥德尔的生平 29
简历 31
健康和日常生活 40
他的若干总体性见解 52
婚姻 58
政治和他的个人处境 65
与爱因斯坦的交游 69
第2章 哥德尔的思想历程 77
他的生活及其与工作的关系 78
有意识的准备（1920—1929） 84
三阶段工作之首段 88
后两个阶段 94
哥德尔自况 101
他的自我总结 113
第3章 作为行动指导的宗教与哲学 126
哥德尔论来生 129
宗教和哥德尔的本体论证明 139
在哲学和意识形态之间的世界观 151
第4章 谈话及其背景 159
真实的和虚构的交谈 160
我同哥德尔及其工作的接触 163
年表及杂记：1971年到1972年 169
续篇：1975年到1977年 184
第5章 哲学与哲学家 192
哥德尔如何联结哲学与数学基础 194
几则总括的评论 202
论胡塞尔——插论康德 205
反对（逻辑）实证主义 216
哥德尔与维特根斯坦 224
第6章 心灵与机器：论可计算主义 231
心智可计算主义——哥德尔定理和其他的提示 232
心与物：论物理主义和平行论 241
图灵机器或哥德尔心灵？ 246
形式系统和可计算部分函数 258
神经的和物理的可计算主义 261
第7章 数学中的柏拉图主义或客观主义 267
直觉和理想化之间的辩证法 270
发现与创造：通过理想化而扩张 282
对概念的知觉 297
支持数学中客观主义的事实或论证 305
客观主义构想与公理方法 312
第8章 集合论与作为概念论的逻辑 318
康托尔的连续统问题和他的假说 320
集合论与集合概念 327
康托尔-诺伊曼公理：主观与客观 335
逻辑的范围和作用 342
悖论与概念论 350
集合与概念：探索概念论 356
引进集合的原则 366
第9章 哥德尔哲学之路 375
他的哲学：规划与实行 378
方法谈：如何研究哲学 388
关于哲学的一般见解 400
世界的意义：单子论与理性乐观主义 406
时间：经验的与表象的 420
第10章 结语：化冲突为互补 426
事实主义和历史上的哲学：一些选择 430
贝奈斯的意见 441
从罗尔斯的工作中得到的一些教益 450
哲学的位置与它的一些任务 463
可供选择的哲学和作为元哲学的逻辑 472
参考文献 488
索引 500
译后记 535