第一章 导论 第一节 数理逻辑史的研究对象和分期 第二节 数理逻辑史研究中的几个方法论问题 一 数理逻辑理论的发生和发展同社会实践的辩证关系 二 观点和材料的统一 三 逻辑方法和历史方法的统一 四 严格区别哲学观点和逻辑学说 第一编 数理逻辑前史——古典形式逻辑时期 第二章 亚里士多德的三段论 第三章 斯多阿学派的命题逻辑 第四章 中世纪的形式逻辑 第二编 数理逻辑初创时期 第五章 数理逻辑产生的时代背景 第六章 莱布尼茨的数理逻辑思想 第一节 莱布尼茨的三段论系统 第二节 莱布尼茨创建数理逻辑的指导思想 一 理性演算 二 普遍语言 第三节 莱布尼茨具体构造的演算 第七章 逻辑代数 第一节 逻辑代数建立前的逻辑发展 第二节 布尔的逻辑代数 一 逻辑代数的基本原理及类的解释 二 布尔对古典形式逻辑的处理 三 逻辑函项及其运算 四 逻辑代数的命题解释和概率解释 第三节 逻辑代数的发展 一 耶芳斯和文恩 二 皮尔士 三 施罗德 四 麦柯尔 第八章 关系逻辑 第一节 德摩根的关系逻辑 一 德摩根对古典形式逻辑的改造 二 关系逻辑的创建 第二节 皮尔士对关系逻辑的发展 一 皮尔士关系逻辑的一些基本概念 二 基本运算 三 关系逻辑的主要原理 四 量词理论 第三编 数理逻辑奠基时期 第九章 逻辑演算的建立和发展 第一节 弗雷格的逻辑演算 一 逻辑演算建立的历史背景 二 逻辑演算系统 三 自然数的定义 四 涵义和所指 第二节 皮亚诺的符号体系 一 数理逻辑 二 数学基础 第三节 罗素的逻辑演算 一 命题演算和谓词演算 二 关系逻辑 三 摹状词理论 第四节 逻辑演算的发展 一 命题演算和谓词演算的不同系统 二 逻辑演算的元理论 第五节 非经典逻辑简述 第十章 从素扑集合论到公理集合论 第一节 无穷集合的怪论 第二节 康托尔的集合论 一 康托尔的指导思想——实无穷的理论 二 可数集和不可数集 三 超穷基数和超穷序数 四 连续统假设 第三节 集合论悖论的出现——第三次数学危机 一 布拉里-福蒂悖论 二 康托尔悖论 三 罗素悖论 四 关系悖论 五 与集合论悖论不同的一些语义悖论 第四节 公理集合论的建立 一 策梅罗—弗兰克尔的公理集合论 二 冯·诺意曼的公理集合论 三 贝尔纳斯对冯·诺意曼系统的改进 第十一章 逻辑主义论题和逻辑类型论 第一节 数学概念和数学定理的推导 第二节 逻辑类型论 第三节 蒯因的新系统NF 第四节 逻辑主义的历史地位 第十二章 直觉主义的数学基础和逻辑 第一节 直觉主义的数学哲学 第二节 直觉主义的数学基础 一 潜无穷论是直觉主义数学的出发点 二 在数学中不能普遍使用排中律 三 数学对象的可构造性 第三节 直觉主义逻辑 一 直觉主义的命题演算 二 直觉主义的一阶谓词演算 三 直觉主义逻辑与经典逻辑的关系 第十三章 形式公理学和证明论 第一节 从实质公理学到形式公理学 一 第一阶段——实质公理学：《几何原本》 二 第二阶段——从实质公理学向形式公理学的过渡（概括公理学）：非欧几何和射影几何 三 第三阶段——形式公理学：《几何基础》 第二节 证明论的建立 一 希尔伯特的元数学——证明论纲领 二 希尔伯特纲领的历史意义和哲学意义 第四编 数理逻辑发展初期 第十四章 哥德尔的伟大贡献 第一节 哥德尔完全性定理 第二节 模型论的两条基本定理——累文汉定理和紧致性定理 第三节 哥德尔不完全性定理 一 自然数算术的形式系统 二 哥德尔不完全性定理的直观说明 三 哥德尔配数法 四 形式算术系统元数学的算术化 五 原始递归函数和原始递归谓词 六 原始递归函数在系统中的数字可表示性 七 不可判定命题的形式结构 八 不可判定命题与说谎者悖论的关系 九 哥德尔不完全性定理的证明 十 哥德尔不完全性定理的哲学意义 第四节 选择公理和广义连续假设的一致性 第十五章 哥德尔不完全性定理带来的硕果 第一节 塔尔斯基论形式语言中的真值概念 一 在普遍的日常语言中不能定义真值概念 二 类演算的形式语言和元语言 三 在类演算的元语言中“真语句”的定义 四 关于“真语句”定义问题的一般结论 五 塔尔斯基定理及其与哥德尔不完全性定理的关系 六 塔尔斯基的成果的历史意义 第二节 艾尔伯朗——哥德尔——克林的一般递归函数定义 一 阿克曼函数 二 一般递归函数 第三节 λ转换演算和丘吉论题 一 λ转换演算 二 丘吉论题 三 丘吉不可判定性定理 第四节 图灵机和可机算函数 一 图灵机的基本概念 二 可机算函数与λ可定义函数的等价性 三 图灵论题 四 一阶谓词演算的判定问题不可解 五 图灵机理论的历史意义 第五节 波斯特的符号处理系统 一 波斯特机 二 波斯特的符号处理系统 第六节 塔尔斯基证明不可判定性的一般方法 一 若干基本概念 二 一些重要定理 三 不可判定性成果的哲学意义 人名译名对照表 主要参考文献

《关于数学基础的评论》的选文绝大部分是王宇光翻译的，《哲学语法》的选文绝大部分是刘畅翻译的。译文品质都很好，但我还是仔细做了修正。本选集中其他译文都是我自己的，除了极少数例外，例如选自马尔康姆《回忆维特根斯坦》的几段，是我直接从中译本抄下的。如前提示，这个选本中的有些段落由于脱离上下文较为费解，在翻译时做了少许通俗化的处理。有时我的译文主要根据卑尔根维特根斯坦文库的德文电子版全集The Bergen Electronic Edition ，参照以英文的电子版全集，Blackwell Publishers 出版的The Collected Works of Ludwig Wittgenstein 。我在翻译时经常参考已有的中文译文，在此对维特根斯坦的其他中译者表示感谢。　　我希望今后还有机会改善这个选本。为此，我希望同好从各个方面给予批评。（陈嘉映《维特根斯坦读本》选编说明）

本书记录了1930年至1935年维特根斯坦在剑桥所作的讲演，内容涉及语言、数学和逻辑问题。这些笔记原始地记录下了他在思想发展的重要转折时期思考的问题，以及他在向学生们作演讲时的思想发展轨迹。这些都是维特根斯坦的思想整体中的重要内容；同时，这些笔记真实反映了维特根斯坦的思考风格和讲演魅力，人们从中能够感受到他在讲演时的思路变化。

《逻辑哲学论》是路德维希·维特根斯坦的主要著作，也是逻辑实证主义的早期重要著作。作者在这本书中否定因果律，断言逻辑和数学的命题都是重言性质的，所有哲学史上争论的问题都是无意义的，哲学的任务只是对语言进行逻辑分析，即日常语言的明确化。这种思想对后来分析哲学的发展有巨大的影响。 本书是关于研究《逻辑哲学论》的专著。

唐纳德·戴维森（Donald Davidson，1917-2003） 20世纪下半叶最重要的分析哲学家之一。获哈佛大学哲学博士学位，曾先后任教于斯坦福大学、普林斯顿大学、洛克菲勒大学、芝加哥大学以及加州大学伯克利分校。戴维森在语言哲学、行动哲学、心灵哲学、认识论、形而上学以及合理性理论等哲学的众多基础领域都开展了独创性的工作，其成就主要体现为自20世纪60年代以来所发表的一系列论文，它们被收入《行动与事件论文集》（1980）、《对真理与解释的探究》（1984）、《主观的、主观际的、客观的》（2001）、《合理性的难题》（2004）和《真理、语言与历史》（2005）等论文集中。

19世纪末20世纪初，在现代数学产生初期，一些数学哲学的问题曾经困扰过当时最出色的数学家，如彭加勒、希尔伯特、布劳维尔、赫尔曼·威尔、冯·诺伊曼等。这些学者的思考与讨论为现代哲学奠定了基础。本书将介绍、分析、批评20世纪的几种主要的数学哲学思想。第一章是当代数学哲学的导论，在分析、评述各种数学哲学思想之前，都将简要地介绍那些思想的要点。第二章将介绍自然主义的基本观念及一种彻底的自然主义的数学哲学，是评述二十世纪主要数学哲学思想的哲学基础与出发点。从第三章开始，作者介绍了二十世纪几种主要的数学哲学思想，并从自然主义的角度对它们作出分析、批评。