逻辑之旅 从哥德尔到哲学PDF电子书下载

引论 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