求实逻辑九章 形式逻辑的最新发展PDF电子书下载

第一章 概念外延间的关系 6

第一节 什么是概念外延间的关系 6

第二节 全同关系及其种类 7

2.1 什么是全同关系 7

2.2 类同双合关系 7

2.3 体同双合关系 8

第三节 包含关系及其种类 9

3.1 什么是包含关系 9

3.2 种属包含关系 10

3.3 属种包含关系 10

3.4 体类包含关系 11

3.5 类体包含关系 12

第四节 交叉关系及其种类 13

4.1 什么是交叉关系 13

4.2 内交关系 13

4.3 双交关系 13

4.4 外交关系 14

第五节 全异关系及其种类 15

5.1 什么是全异关系 15

5.2 类内双离关系 16

5.3 类外双离关系 16

第二章 直言判断及其基本类型 20

第一节 什么是直言判断 20

第二节 全同概念构成的直言判断 21

2.1 类同双合判断（Llh） 22

2.2 体同双合判断（Tth） 22

第三节 包含概念构成的直言判断 23

3.1 种属包合判断（Zsb） 24

3.2 属种包合判断（Szb） 25

3.3 种属包离判断（Zse） 27

3.4 属种包离判断（Sze） 28

3.5 体类包合判断（Tlb） 29

3.6 类体包合判断（Ltb） 30

3.7 体类包离判断（Tle） 31

3.8 类体包离判断（Lte） 32

第四节 交叉概念构成的直言判断 34

4.1 内交交合判断（nJh） 34

4.2 内交交离判断（nJl） 35

4.3 外交交合判断（wJh） 36

4.4 外交交离判断（wJl） 37

第五节 全异概念构成的直言判断 38

5.1 类内双离判断（Lnu） 38

5.2 类外双离判断（Lwu） 39

第六节 依据质、量及其结合对直言判断的分类 41

6.1 依据质对直言判断的分类 41

6.1.1 肯定判断 41

6.1.2 否定判断 41

6.2 依据量对直言判断的分类 42

6.2.1 单称判断 42

6.2.2 全称判断 42

6.2.3 特称判断 43

6.3 依据质、量结合对直言判断的分类 43

6.3.1 单称肯定判断（a） 43

6.3.2 单称否定判断（e） 43

6.3.3 全称肯定判断（A） 43

6.3.4 全称否定判断（E） 44

6.3.5 特称肯定判断（I） 44

6.3.6 特称否定判断（O） 44

第三章 直言判断词项的周延性 46

第一节 什么是直言判断词项的周延性 46

第二节 全同判断词项的周延性 47

2.1 类同双合判断（Llh）词项的周延性 47

2.2 体同双合判断（Tth）词项的周延性 47

第三节 包含判断词项的周延性 48

3.1 种属包合判断（Zsb）词项的周延性 48

3.2 属种包合判断（Szb）词项的周延性 49

3.3 种属包离判断（Zse）词项的延周性 50

3.4 属种包离判断（Sze）词项的周延性 50

3.5 体类包合判断（Tlb）词项的周延性 51

3.6 类体包合判断（Ltb）词项的周延性 52

3.7 体类包离判断（Tle）词项的周延性 52

3.8 类体包离判断（Lte）词项的周延性 53

第四节 交叉判断词项的周延性 54

4.1 内交交合判断（nJh）词项的周延性 54

4.2 内交交离判断（nJl）词项的周延性 55

4.3 外交交合判断（wJh）词项的周延性 55

4.4 外交交离判断（wJl）词项的周延性 56

第五节 全异判断词项的周延性 57

5.1 类内双离判断（Lnu）词项的周延性 57

5.2 类外双离判断（Lwu）词项的周延性 58

第六节 五点结论 58

第四章 直言判断的换位推理 62

第一节 什么是直言判断的换位推理 62

第二节 全同判断的换位推理 63

2.1 类同双合判断（Llh）的换位推理 63

2.2 体同双合判断（Tth）的换位推理 64

第三节 包含判断的换位推理 65

3.1 种属包合判断（Zsb）的换位推理 65

3.2 属种包合判断（Szb）的换位推理 66

3.3 种属包离判断（Zse）的换位推理 67

3.4 属种包离判断（Sze）的换位推理 68

3.5 体类包合判断（Tlb）的换位推理 69

3.6 类体包合判断（Ltb）的换位推理 70

3.7 体类包离判断（Tle）的换位推理 71

3.8 类体包离判断（Lte）的换位推理 72

第四节 交叉判断的换位推理 73

4.1 内交交合判断（nJh）的换位推理 73

4.2 内交交离判断（nJl）的换位推理 74

4.3 外交交合判断（wJh）的换位推理 75

4.4 外交交离判断（wJl）的换位推理 76

第五节 全异判断的换位推理 77

5.1 类内双离判断（Lnu）的换位推理 77

5.2 类外双离判断（Lwu）的换位推理 78

第五章 直言判断的换质推理 82

第一节 什么是直言判断的换质推理 82

第二节 全同判断的换质推理 83

2.1 类同双合判断（Llh）的换质推理 84

2.2 体同双合判断（Tth）的换质推理 85

第三节 包含判断的换质推理 87

3.1 种属包合判断（Zsb）的换质推理 88

3.2 属种包合判断（Szb）的换质推理 89

3.3 种属包离判断（Zse）的换质推理 91

3.4 属种包离判断（Sze）的换质推理 92

3.5 体类包合判断（Tlb）的换质推理 93

3.6 类体包合判断（Ltb）的换质推理 95

3.7 体类包离判断（Tle）的换质推理 96

3.8 类体包离判断（Lte）的换质推理 97

第四节 交叉判断的换质推理 99

4.1 内交交合判断（nJh）的换质推理 99

4.2 内交交离判断（nJl）的换质推理 101

4.3 外交交合判断（wJh）的换质推理 102

4.4 外交交离判断（wJl）的换质推理 103

第五节 全异判断的换质推理 104

5.1 类内双离判断（Lnu）的换质推理 104

5.2 类外双离判断（Lwu）的换质推理 106

第六章 直言判断换质换位推理：八步还原法第一节 四区八步，回到原处 110

第二节 类同双合判断换质换位八步还原法 111

2.1 类同双合判断（Llh）的甲步换质 111

2.2 正负类同双离判断（L-lu）的乙步换位 112

2.3 负正类同双离判断（L-lu）的丙步换质 113

2.4 负负类同双合判断（-L-lh）的丁步换位 114

2.5 负负类同双合判断（-L-lh）的戊步换质 115

2.6 负正类同双离判断（-Llu）的己步换位 116

2.7 正负类同双离判断（L-lu）的庚步换质 117

2.8 类同双合判断（Llh）的辛步换位 117

第三节 种属包合判断换质换位八步还原法 118

3.1 种属包合判断（Zsb）的甲步换质 118

3.2 正种负属包离判断（Z-se）的乙步换位 119

3.3 负属正种包离判断（-Sze）的丙步换质 120

3.4 负属负种包合判断（-S-zb）的丁步换位 121

3.5 负种负属包合判断（-Z-sb）的戊步换质 122

3.6 负种正属包离判断（-Zse）的己步换位 123

3.7 正属负种包离判断（S-ze）的庚步换质 124

3.8 属种包合判断（Szb）的辛步换位 125

第四节 属种包离判断换质换位八步还原法 125

4.1 属种包离判断（Sze）的甲步换质 125

4.2 正属负种包合判断（S-zb）的乙步换位 126

4.3 负种正属包合判断（-Zsb）的丙步换质 127

4.4 负种负属包离判断（-Z-se）的丁步换位 128

4.5 负属负种包离判断（-S-ze）的戊步换质 129

4.6 负属正种包合判断（-Szb）的己步换位 130

4.7 正种负属包合判断（Z-sb）的庚步换质 130

4.8 种属包离判断（Zse）的辛步换位 131

第五节 外交交合判断换质换位八步还原法 132

5.1 外交交合判断（wJh）的甲步换质 132

5.2 正负外交交离判断（w-Jl）的乙步换位 133

5.3 负正外交交离判断（-wJl）的丙步换质 134

5.4 负负外交交合判断（-w-Jh）的丁步换位 135

5.5 负负外交交合判断（-w-Jh）的戊步换质 136

5.6 负正外交交离判断（-wJl）的己步换位 136

5.7 正负外交交离判断（w-Jl）的庚步换质 137

5.8 外交交合判断（wJh）的辛步换位 138

第六节 类外双离判断换质换位八步还原法 139

6.1 类外双离判断（Lwu）的甲步换质 139

6.2 正负类外双合判断（L-wh）的乙步换位 139

6.3 负正类外双合判断（-Lwh）的丙步换质 140

6.4 负负类外双离判断（-L-wu）的丁步换位 141

6.5 负负类外双离判断（-L-wu）的戊步换质 142

6.6 负正类外双合判断（-Lwh）的己步换位 143

6.7 正负类外双合判断（L-wh）的庚步换质 144

6.8 类外双离判断（Lwu）的辛步换位 145

第七章 直言三段论的单项关系式及其规则第一节 什么是直言三段论 148

第二节 全同关系式 150

2.1 全同关系式的种类 150

（一）体同双合式 150

（二）类同双合式 151

2.2 全同关系式的规则 151

第三节 包含关系式 153

3.1 包类关系式 153

（一）包类关系式的种类 153

（二）包类关系式的规则 155

3.2 包体关系式 157

（一）包体关系式的种类 157

（二）包体关系式的规则 158

第四节 交叉关系式 162

4.1 交叉关系式的种类 162

（一）外交内交外交式 162

（二）内交外交外交式 163

4.2 交叉关系式的规则 163

第五节 全异关系式 166

5.1 类外双离结论式的种类 166

（一）类外类内类外双离式 166

（二）类内类外类外双离式 167

5.2 类外双离结论式的规则 167

第八章 直言三段论的双项关系式及其规则第一节 合包易位式 170

1.1 合包易位包类式 170

（一）合包易位包类式的种类 170

（二）合包易位包类式的规则 173

1.2 合包易位包体式 175

（一）合包易位包体式的种类 175

（二）合包易位包体式的规则 178

第二节 合交易位式 181

2.1 合交易位式的种类 181

（一）类合内交内交式 182

（二）内交类合内交式 182

（三）类合外交外交式 183

（四）外交类合外交式 183

2.2 合交易位式的规则 184

第三节 合离易位式 186

3.1 合离易位式的种类 186

（一）类合类内类内双离式 186

（二）类内类合类内双离式 187

（三）类合类外类外双离式 187

（四）类外类合类外双离式 188

3.2 合离易位式的规则 188

第四节 包交易位式 189

4.1 包交易位式的种类 189

（一）包类内交种属包含式 190

（二）内交包类属种包含式 190

（三）包类外交外交式 191

（四）外交包类外交式 191

4.2 包交易位式的规则 191

第五节 包离易位式 195

5.1 包类类外易位式 195

（一）包类类外易位式的种类 195

（二）包类类外易位式的规则 196

5.2 包类类内易位式 198

（一）包类类内易位式的种类 198

（二）包类类内易位式的规则 200

第六节 交离易位式 202

6.1 内交类外易位式 203

（一）内交类外易位式的种类 203

（二）内交类外易位式的规则 204

6.2 外交类内易位式 205

（一）外交类内易位式的种类 205

（二）外交类内易位式的规则 206

第九章 直言三段论的格的相互推演及其意义第一节 直言三段论的四个格 208

第二节 四个格是能够相互推演的 210

第三节 四个格的相互推演的规律 213

第四节 研究直言三段论的格的相互推演的意义 220

结语 建立求实逻辑的意义 247

后记 247