逻辑之旅 /Luo ji zhi lü

封面
书名
版权
前言
目录
引论
逻辑家其人及其定理
哥德尔的哲学：规划与实行
哲学与数学和逻辑的关系
从哥德尔到作为元哲学的逻辑
第1章  哥德尔的生平
	简历
	健康和日常生活
	他的若干总体性见解
	婚姻
	政治和他的个人处境
	与爱因斯坦的交游
第2章  哥德尔的思想历程
	他的生活及其与工作的关系
	有意识的准备（1920—1929）
	三阶段工作之首段
	后两个阶段
	哥德尔自况
	他的自我总结
第3章  作为行动指导的宗教与哲学
	哥德尔论来生
	宗教和哥德尔的本体论证明
	在哲学和意识形态之间的世界观
第4章  谈话及其背景
	真实的和虚构的交谈
	我同哥德尔及其工作的接触
	年表及杂记：1971年到1972年
	续篇：1975年到1977年
第5章  哲学与哲学家
	哥德尔如何联结哲学与数学基础
	几则总括的评论
	论胡塞尔——插论康德
	反对（逻辑）实证主义
	哥德尔与维特根斯坦
第6章  心灵与机器：论可计算主义
	心智可计算主义——哥德尔定理和其他的提示
	心与物：论物理主义和平行论
	图灵机器或哥德尔心灵？
	形式系统和可计算部分函数
	神经的和物理的可计算主义
第7章  数学中的柏拉图主义或客观主义
	直觉和理想化之间的辩证法
	发现与创造：通过理想化而扩张
	对概念的知觉
	支持数学中客观主义的事实或论证
	客观主义构想与公理方法
第8章  集合论与作为概念论的逻辑
	康托尔的连续统问题和他的假说
	集合论与集合概念
	康托尔-诺伊曼公理：主观与客观
	逻辑的范围和作用
	悖论与概念论
	集合与概念：探索概念论
	引进集合的原则
第9章  哥德尔哲学之路
	他的哲学：规划与实行
	方法谈：如何研究哲学
	关于哲学的一般见解
	世界的意义：单子论与理性乐观主义
	时间：经验的与表象的
第10章  结语：化冲突为互补
	事实主义和历史上的哲学：一些选择
	贝奈斯的意见
	从罗尔斯的工作中得到的一些教益
	哲学的位置与它的一些任务
	可供选择的哲学和作为元哲学的逻辑
	参考文献
	索引
	译后记