前言 1
第一部分 3
第一章 引论：弗雷格逻辑哲学的语言哲学前提——语义理论概述 3
一 弗雷格生平 3
二 形式化与命名关系 6
三 小结 21
第二章 弗雷格的数学逻辑主义思想述评 23
一 历史背景 23
二 《概念文字》 25
三 算术逻辑化的具体工作 28
四 罗素悖论对弗雷格的影响 31
第三章 弗雷格的知识逻辑主义 36
一 逻辑而非心理学是知识的基础 37
二 知识性的思想 40
三 知识的形式推演系统 42
四 公理化思想与科学知识的增长 44
第四章 弗雷格的哲学逻辑主义研究 54
一 意义理论 55
二 思想的逻辑分析 59
三 思想的逻辑问题域 66
四 逻辑学研究的对象 75
第五章 弗雷格逻辑主义的理论反思 84
一 背景考察 84
二 构分关系 86
三 历史评析 88
第二部分 95
第六章 逻辑学与数学基础问题的历史联系 95
一 古希腊对数学基础问题的探讨 95
二 近代关于逻辑与数学基础问题的争议 102
三 现代数学基础研究与四大学派 108
一 数学基础研究的新进展 128
第七章 数学基础哲学问题研究 128
二 数理逻辑的发展与数学实在论和反实在论 145
三 对数学基础研究的哲学反思 160
四 实验数学对传统演绎数学的冲击 171
第八章 现代数理逻辑与哲学 192
一 集合论与无穷 192
二 模型论与语义 198
三 递归论与认知 207
四 构造主义数学与哲学 222
参考文献 237
附录 弗雷格与当代逻辑大事记（1848—2000） 242