近代著名数理逻辑学家王浩在数学、逻辑学、计算机科学领域有着超高天赋和开拓性成果，他一生痴迷于哲学研究，是对世界哲学作出过深刻贡献的华裔学者。 本书是王浩的代表作，是其正面集中阐释自己哲学思想的作品。循着从柏拉图到哥德尔的“数学-哲学家”传统，王浩在书中首次对实质事实主义一般立场进行了长篇阐发；广泛、深入地讨论了数学哲学的诸议题；探索了心灵与机器、数学与计算机、知识与生活等话题；还重点考察了逻辑和数学领域的一些基本概念。此次中译本首次出版，由专业译者精心翻译，以助读者更好地理解王浩的数学哲学思想。

前言 文本说明 引论 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 什么是个体？ 人名（及部分术语）索引 译后记

王浩（1921—1995），近代著名数理逻辑学家。曾任教于牛津大学、哈佛大学等世界名校。著有《逻辑之旅》《哥德尔》《超越分析哲学》。 高坤，北京大学哲学博士，现任教于山西大学科学技术哲学研究中心，主要从事逻辑与数学哲学方面的研究。 邢滔滔，北京大学哲学系教授。著有《数理逻辑》等。