弗雷格逻辑主义研究

弗雷格著作缩写Ⅰ

导言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