前言
文本说明
引论
1 作为一种方法和解毒剂的实质事实主义
2 反对实证主义
3 反对语言哲学
4 关于实质事实主义的一些说明
5 逻辑、数学及本书的范围
第1章 数理逻辑与数学哲学
1 数学哲学诸议题
2 公理方法与抽象结构
3 一致性问题
4 数理逻辑对哲学家的欺骗性吸引力
第2章 一般数学概念的刻画
1 自然数
2 连续统
3 机械程序
第3章 罗素的逻辑和几个一般问题
1 《数学的原则》（1903）
2 《数学原理》之序曲（1903—1910）
3 《数学原理》
4 维特根斯坦和拉姆齐
5 逻辑真理及其他哲学问题
6 直谓定义和恶性循环原则
第4章 逻辑真
1 亚里士多德逻辑的预设
2 逻辑常项和逻辑真理
第5章 元逻辑
1 形式语言和形式系统
2 元逻辑的起源和影响
3 关于形式数学系统的精确结果
4 关于逻辑演算的精确结果
第6章 集合的概念
1 集合的（最大化）迭代概念
2 破产（矛盾），还是误解（错误）？
3 集合论中的客观主义和形式主义
4 新公理和可接受性标准
5 与几何学和物理学的比较
6 关于无界量化的题外话
7 从康托的著作中提取集合论公理
8 康托和米利曼诺夫的层谱
第7章 数学的理论与实践
1 活动与可行性
2 数学还原为逻辑
3 什么是数学？
4 数学的实践方面
第8章 必然性、分析性和先天性
1 这三个概念的起源和同化
2 来自康德哲学的启示
3 从弗雷格到分析哲学
4 关于当代争论的几点注记
第9章 数学与计算机
1 计算机的新用途
2 数学对计算机发展的影响
3 逻辑数学
4 数学推理作为一种机械过程
5 有穷计算和无穷数学
6 逻辑与计算机
第10章 心灵与机器
1 机械论的诸方面
2 计算机与大脑
3 人工智能或机器智能
4 人类思维的计算机模拟
5 思维纪要和理论心理学
6 数学证明
7 哥德尔论心灵与机器
第11章 关于知识与生活的札记
1 内在目标和大问题
2 意义与生活形式
3 专业化与知识的统一
4 罗素作为一个例子
5 生活与对哲学的追求
第12章 风格与方法
1 关于物质、心灵和机器的科学研究
2 科学与哲学
3 关于当代哲学的一些评论
4 尊重原始事实
5 展望未来
附录：批评的尝试
1 关于归纳法合理性的评注
2 论关于归纳的怀疑论
3 物质对象的存在
4 一个关于知识的知识的疑问
5 什么是个体？
人名（及部分术语）索引
译后记
展开
