弗雷格逻辑主义研究PDF电子书下载

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