弗雷格逻辑主义研究

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

　　刘靖贤，中南大学公共管理学院哲学系特聘副教授，研究方向为现代逻辑与分析哲学，在《哲学动态》《自然辩证法研究》《世界哲学》《中国高校社会科学》等期刊发表学术论文和译文30多篇。作为主持人或负责人承担国家社科基金青年项目“弗雷格哲学著作编译研究”、教育部哲学社会科学研究后期资助项目“弗雷格逻辑主义研究”和国家社科基金重大项目“当代逻辑哲学重大前沿问题研究”之子课题“实质真理论研究”。

弗雷格著作缩写Ⅰ
导言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