弗雷格是数理逻辑的创始人和分析哲学的奠基人，他的大部分工作都致力于一种被称为逻辑主义的数学哲学，即把算术还原为逻辑。为了执行逻辑主义方案，弗雷格设计了一种新的逻辑系统，它在实质上是由二阶逻辑与第五公理构成的二阶理论。然而，罗素在弗雷格的逻辑系统中发现了悖论。长久以来，人们一直认为罗素发现的这个悖论彻底瓦解了弗雷格的逻辑主义。但是，20世纪80年代，人们重新发现了休谟原则，由此引发了新弗雷格主义的兴起。本书的目的是对弗雷格的逻辑主义进行系统性研究，以当代新弗雷格主义及相关争论为出发点，返璞归真，还原弗雷格本人的逻辑主义思想的面貌。

弗雷格著作缩写Ⅰ 导言001 **章 从逻辑到算术011 **节 逻辑011 第二节 算术019 第二章 《概念文字》中的形式证明025 **节 定理98（§§ 23-28）025 第二节 定理133（§§ 29-31）028 第三章 《算术基础》中的形式证明033 **节 等数关系（§§ 70-73）033 第二节 零、后继关系和祖先关系（§§ 74-81）036 第三节 在自然数序列中不存在*大数（§§ 82-83）039 第四章 《算术基本规律》中的形式证明043 **节 符号（**卷§§ 1-25）044 第二节 公理和规则（**卷§§ 47-48）046 第三节 主要定义（**卷§§ 34-46）049 第四节 主要定理（**卷§§ 54-179和第二卷§§1-54）052 第五节 罗素悖论（第二卷后记）055 第五章 改变抽象原则058 **节 修正的第五公理058 第二节 休谟原则062 第三节 新公理065 第六章 区分抽象原则069 **节 保守性069 第二节 稳定性074 第三节 强保守性078 第四节 良莠不齐问题的哲学意义083 第七章 限制经典逻辑088 **节 二阶直谓逻辑088 第二节 二阶正逻辑097 第三节 二阶分层概括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