导言 1
第一章 从逻辑到算术 11
第一节 逻辑 11
二节 算术 19
第二章 《概念文字》中的形式证明 25
第一节 定理98（§§23-28） 25
第二节 定理133（§§29-31） 28
第三章 《算术基础》中的形式证明 33
第一节 等数关系（§§70-73） 33
第二节 零、后继关系和祖先关系（§§74-81） 36
第三节 在自然数序列中不存在最大数（§§82-83） 39
第四章 《算术基本规律》中的形式证明 43
第一节 符号（第一卷§§1-25） 44
第二节 公理和规则（第一卷§§47-48） 46
第三节 主要定义（第一卷§§34-46） 49
第四节 主要定理（第一卷§§54-179和第二卷§§1-54） 52
第五节 罗素悖论（第二卷后记） 55
第五章 改变抽象原则 58
第一节 修正的第五公理 58
第二节 休谟原则 62
第三节 新公理 65
第六章 区分抽象原则 69
第一节 保守性 69
第二节 稳定性 74
第三节 强保守性 78
第四节 良莠不齐问题的哲学意义 83
第七章 限制经典逻辑 88
第一节 二阶直谓逻辑 88
第二节 二阶正逻辑 97
第三节 二阶分层概括 104
第八章 修正经典逻辑 111
第一节 二阶多值逻辑 111
第二节 二阶模态逻辑 118
第九章 凯撒与数 125
第一节 数的定义 125
第二节 莱特和赫克的解决方案 128
第三节 新的解决方案 131
第四节 凯撒问题的扩展 135
第十章 凯撒与外延 149
第一节 公理和定义 149
第二节 从公理和定义的角度看凯撒问题 153
第三节 概念的来源与同一 158
第四节 自然语言的误导 164
第十一章 真值问题 168
第一节 弗雷格的概念文字有没有语义学 168
第二节 塔斯基的真定义是不是语义学 172
第三节 对当代多元真理论的批判 176
第四节 分层真理论 182
第十二章 涵义问题 188
第一节 克里普克之前的争论 188
第二节 克里普克的解决方案 192
第三节 语法涵义、认知涵义和逻辑涵义 199
第四节 不存在涵义无穷分层问题 205
参考文献 210
致谢 219