弗雷格的算术哲学PDF电子书下载

引言 1

第一章 弗雷格的基本哲学倾向 8

1.1算术哲学的基本问题 9

1.1.1本体论问题 9

1.1.2认识论问题 10

1.2弗雷格对语言的思考（Ⅰ）：弗雷格的语句分析理论 13

1.2.1表达式与表达式的所指的区分 14

1.2.2弗雷格对语句的分析：专名与函数表达式的区分 16

1.2.3表达式的指称与涵义的区分 21

1.3弗雷格对语言的思考（Ⅱ）：弗雷格的涵义与指称理论 24

1.3.1弗雷格对涵义与指称的说法 24

1.3.2为什么要引入涵义 27

1.3.3弗雷格涵义说的问题 32

1.4弗雷格的实在论立场 38

1.4.1概念实在论与思想实在论 38

1.4.2数学实在论 40

1.4.3对数的抽象形成说的反驳 43

1.4.4我们如何认识作为抽象对象的数 44

1.4.5小结 48

第二章 弗雷格的逻辑与算术的逻辑归约 53

2.1《概念文字》中的逻辑与数学归纳法 54

2.1.1《概念文字》中的逻辑 55

2.1.2祖先关系的定义与数学归纳法 61

2.2《算术基础》中的几个定义 64

2.2.1概念的数与休谟原则 64

2.2.2广义的数、0、后继关系与自然数的定义 66

2.3《算术的基本定律》中的逻辑 68

2.3.1弗雷格逻辑的本体论预设 69

2.3.2《算术的基本定律》中逻辑的一阶部分 71

2.3.3二阶理论FL 74

2.4在FL中发展算术 77

2.4.1概念间等数、概念的数的定义与休谟原理的证明 78

2.4.2广义的数、0、后继与自然数的形式定义 79

2.5罗素悖论、弗雷格的修改与蒯因的证明 80

2.5.1罗素悖论如何产生 80

2.5.2弗雷格的修改 81

2.5.3修改是不成功的 82

2.5.4小结 84

2.6弗雷格定理与新弗雷格主义 85

2.6.1弗雷格算术的语言L 86

2.6.2弗雷格算术FA 86

2.6.3休谟原则和公理Numbers分别与二阶逻辑一致且彼此等价 87

2.6.4戴德金一皮亚诺公理的证明 89

第三章 弗雷格的分析性概念与定义观 98

3.1康德的分析性概念 101

3.1.1康德的分析性概念 101

3.1.2康德定义的问题 106

问题一 概念间的“包含”关系是模糊的 106

问题二 求助于人们对概念“想到了什么”这一主观标准 107

问题三 康德只考察“可明显划分为主谓结构的语句” 107

问题四 标准不同 108

3.2弗雷格的分析性概念 109

3.2.1弗雷格的分析性概念 109

3.2.2弗雷格定义的问题 111

问题一 不一致问题 111

问题二 一致性要求太弱 112

问题三 保持指称要求依旧太弱 113

弗雷格晚年的标准：定义必须保持涵义 113

3.3弗雷格论形式定义与概念分析 114

3.3.1分析悖论 115

3.3.2弗雷格对形式定义的看法 116

定义只是缩写，对真正的定义来说并不存在分析悖论 116

弗雷格分析性与蒯因分析性本质上是相同的 117

3.3.3蒯因对分析性概念的批评 118

3.3.4弗雷格论概念分析与形式定义的关系 121

3.3.5概念分析的恰当性 126

参考文献 129