普通逻辑教与学便览PDF电子书下载

第一部分　名词解释一至四画一次划分 1

二分法 1

二难推理 1

三段论 1

三段论规则 2

三段论的格 2

三段论的式 3

三段论省略式 3

三段论有效性的文恩图检验法 3

三段论有效性的欧拉图检验法 3

子集 3

子项相容 4

下反对称关系判断 4

大项扩张 4

小项扩张 4

无限集 5

元素 5

不相容关系 5

不定摹状词 5

不包含于关系 6

不相容选言推理 6

中项不周延 7

分子 7

反驳 7

反证法 10

反三段论 10

反变规律 11

反对关系 11

反传递关系 11

反对称关系 11

反对关系判断 12

允许否定判断 12

允许肯定判断 12

五画至六画 12

可能否定判断 12

可能肯定判断 12

可能模态三段论 13

功用定义 13

正概念 13

归谬法 13

归纳推理 14

归谬赋值法 14

划分 14

划分不全 14

机械类比 15

共变法 15

列举法 15

有限集 15

有定摹状词 15

同一律 16

同语反复 17

包含于关系 17

负概念 17

负判断 17

负联言判断等值推理 17

负相容选言判断等值推理 19

负不相容选言判断等值推理 19

负必要条件假言判断等值推理 19

负充分条件假言判断等值推理 19

负充分必要条件假言判断等值推理 20

多出子项 20

后退的连锁三段论 20

后退的复合三段论 21

全集 21

全同关系 21

全异关系 21

全称否定判断 21

全称肯定判断 22

传递关系 22

自相矛盾 22

自然语言逻辑 22

必然否定判断 23

必须否定判断 24

必然肯定判断 24

必须肯定判断 24

必要条件假言推理 24

必要条件假言判断 24

交集 24

交叉关系 25

充足理由律 25

充分条件假言推理 25

充分条件假言判断 26

充分必要条件假言推理 26

并集 26

关系判断 27

关系判断的结构 27

论证 27

论域 27

矛盾式 28

矛盾律 28

矛盾关系 29

矛盾关系判断 29

对称关系 30

对当关系直接推理 30

七画至八画 30

连续划分 30

连锁三段论 30

“两不可”的逻辑错误 31

规范判断 31

规定的语词定义 31

直接推理 32

直言判断 32

直言三段论 32

直言判断结构 32

直言判断变形推理 33

非模态判断 33

非集合概念 33

非传递关系 33

非对称关系 34

肢判断 34

周延性 34

命题 34

证明 35

证明过少 37

证明过多 37

诡辩 37

补集 38

判断 38

间接推理 38

完全归纳推理 38

单独概念 38

单称否定判断 39

单称肯定判断 39

空集 39

定义 39

定义过宽 39

定义过窄 40

定义结构 40

实体概念 40

纯粹假言推理 40

九画至十画 41

轻率概括 41

契合法 41

契合差异并用法 41

带证式三段论 42

相容关系 42

相容选言推理 42

换质位推理 43

换位推理 43

换质推理 44

真子集 44

真值形式 44

真包含关系 44

真包含于关系 45

根据规范逻辑方阵进行的推理 45

根据模态逻辑进行的模态推理 45

重言式 46

复合判断 46

复合三段论 46

选言推理 47

选言判断 47

科学归纳推理 47

特称否定判断 48

特称肯定判断 48

语境 48

说明的语词的定义 49

类比推理 50

类的本质属性 50

类的非本质属性 50

差集 51

差异法 51

差等关系判断 51

前进的连锁三段论 51

前进的复合三段论 52

预设 52

预期理由 53

十一画至十二画描述法 53

排中律 53

推理 54

推理形式 55

联结词 55

联言推理 56

联言判断 56

虚概念 56

虚假理由 57

逻辑形式 57

等值判断 58

偷换论题 58

循环定义 58

剩余法 58

集合 59

集合概念 59

集合运算 60

假说 61

假言推理 62

假言判断 62

假说的形成 63

假说的验证 63

假言连锁推理 63

假言直言推理 64

假言联言推理 64

假言易位推理 65

假言选言推理 65

普遍概念 66

普通逻辑基本规律 66

混淆根据 66

混淆概念 67

混合假言推理 67

属于关系 67

属性概念 67

属加种差定义 68

十三画至十四画概念 68

概念的概括 68

概念的内涵 69

概念的外延 69

概念的限制 69

概念间关系中的两个矛盾关系 69

模态判断 70

模态三段论 70

模态判断推理 71

模态判断的对当关系 71

禁止否定判断 71

禁止肯定判断 71

简单判断 72

简化真值表法 72

简单枚举归纳推理 72

演绎推理 72

演绎推理有效式 73

第二部分 疑难问题简析一、概念方面的疑难问题 74

（一）怎样判定一个词语是否表达概念？ 74

（二）怎样区分集合概念与普遍概念？ 75

（三）怎样明确否定概念的论域？ 77

（四）整体与部分的关系跟属种关系有什么不同？ 78

（五）怎样区分概念之间的矛盾关系和反对关系？ 79

（六）什么是欧拉图解？它有什么作用？ 80

（七）运用属加种差定义法应注意什么问题？ 81

（八）下定义时如何使定义项的外延与被定义项的外延相等？ 84

（九）怎样对负概念进行限制和概括？ 86

（十）概念的限制与语言中的修饰是什么关系？ 87

（十一）单独概念能不能限制？哲学范畴能不能概括？为什么？ 88

二、判断方面的疑难问题 90

（一）什么是判断的逻辑值？ 90

（二）直言判断的主项和谓项都表现为单句的主语和谓语吗？ 91

（三）为什么说在传统逻辑中是假定全称判断判定主项所反映的对象是存在的？为什么这种假定是不合乎逻辑的？ 92

（四）特称判断量项的逻辑含义是什么？ 93

（五）怎样理解素材相同的A、E、I、O之间的真假关系？ 94

（六）对当关系如何体现逻辑规律的作用？ 96

（七）为什么肯定判断的谓项是不周延的？ 98

（八）关系判断和直言判断有什么区别？ 99

（九）怎样区分复合判断与简单判断？ 100

（十）怎样理解复合判断联结词的涵义？ 101

（十一）什么是真值表和真值表法？ 103

（十二）真值表有哪些作用？如何用它来证明推理形式的的有效性？ 105

（十三）怎样判定一个语句表达何种假言判断？ 109

（十四）三种假言判断的区别是什么？ 111

（十五）“S不都是P”与“S都不是P”的区别何在？ 112

（十六）联言判断的语言形式有哪些？ 112

（十七）如何证明负判断同与之等值的判断等值？ 113

三、推理方面的疑难问题 114

（一）区分演绎推理与归纳推理的根据是什么？ 114

（二）什么是演绎推理的有效性和归纳推理的可靠性？ 115

（三）为什么直接推理是一种演绎推理？ 117

（四）完全归纳推理是哪种推理？ 118

（五）演绎推理的真实性和有效性之间的关系是怎样的？ 118

（六）为什么对SAP进行换位一定要限制？ 120

（七）怎样给三段论下定义？ 120

（八）三段论有哪些规则？ 121

（九）三段论格的特殊规则有什么缺陷？ 123

（十）怎样才能找出三段论省略式的省略部分及如何补充？ 123

（十一）怎样运用文恩图检验三段论的有效性？ 125

（十二）怎样运用欧拉图检验三段论的有效性？ 130

（十三）三段论的语言形式是怎样的？ 133

（十四）怎样把三段论的二、三、四格化归为第一格？ 135

（十五）联言推理有什么现实意义？ 136

（十六）为什么相容选言推理不能用肯定否定式？ 138

（十七）怎样运用简化真值表法证明复合判断推理形式的有效性？ 139

（十八）归纳推理与演绎推理的联系与区别是什么？ 140

（十九）归纳法与归纳推理有无区别？ 143

（二十）如何理解求同求异并用法的特点？ 144

（二十一）类比、类推和比喻的关系怎样？ 146

（二十二）类比推理与仿生学、模型实验的关系怎样？ 148

四、基本规律方面的疑难问题 150

（一）思维规律、逻辑规律、普遍逻辑规律和普遍逻辑基本规律之间的关系怎样？ 150

（二）如何理解同一律的“同一”？ 151

（三）逻辑矛盾与辩证矛盾有何区别？ 152

（四）矛盾律和排中律有何区别？ 154

（五）同一律、矛盾律和排中律三者之间关系怎样？ 155

五、论证方面的疑难问题 157

（一）论证与推理的关系怎样？ 157

（二）论证、证明与反驳三者之间的关系怎样？ 158

（三）论证的真实性与正确性之间的关系是怎样的？ 159

（四）什么是逻辑证明？它与实践证明的关系怎样？ 160

（五）归纳证明有什么局限性？为什么它必须与演绎证明相结合才能达到证明的目的？ 161

（六）为什么说论据必须是已知为真的判断？ 162

（七）什么是形式推不出错误和非形式推不出错误？ 163

（八）反证法与归谬法的联系与区别是什么？ 164

第三部分 主要争论问题的概述一、概念方面的主要争论问题 165

（一）关于概念的定义问题 165

（二）什么是属性、本质属性和特有属性？ 167

（三）概念与语词的关系 168

（四）概念的种类 170

（五）虚概念问题 171

（六）集合概念问题 174

（七）概念的限制与概括 176

（八）关于定义的规则 178

二、判断方面的主要争论问题 180

（一）判断的分类 180

（二）肯定判断的谓项是否周延 182

（三）关系判断的定义与组成 183

（四）假言判断中前件与后件的关系 184

（五）关于充分条件、必要条件、充分必要条件的解释 185

（六）充分必要条件是不是唯一条件 187

（七）关于三种条件关系的欧拉图解 188

（八）假言判断的语言表达方式 189

三、推理方面的主要争论问题 190

（一）推理的分类和演绎推理的特征 190

（二）演绎推理的真实性、有效性与正确性 192

（三）演绎推理能否获得新知识 195

（四）三段论的定义和公理 197

（五）三段论的规则 199

（六）关于充分条件假言推理的正确式问题 201

（七）归纳推理和归纳法的关系 203

（八）关于科学归纳法结论的性质问题 204

（九）关于“归纳强度”与“可靠性”问题 205

（十）怎样充实和扩展归纳逻辑的内容 207

（十一）关于现代归纳与概率逻辑 209

（十二）类比推理与归纳、演绎的关系 210

（十三）怎样认识假说 211

（十四）如何分析假说 212

四、基本规律方面的主要争论问题 215

（一）关于逻辑规律的客观性问题 215

（二）逻辑矛盾与辩证矛盾 217

（三）悖论问题 219

（四）关于充足理由律问题 221

五、论证方面的主要争论问题 223

（一）证明、反驳与论证之间的关系 223

（二）证明的种类 225

（三）逻辑证明与实践检验的关系 227

第四部分 逻辑病例分析一、概念方面的病例分析 231

（一）概念表述不清 231

（二）概念混淆 233

（三）误用集合概念 235

（四）外延表述错误 237

（五）并列错误 238

（六）定义错误 240

（七）划分错误 242

（八）限制错误 244

（九）概括错误 245

二、判断方面的病例分析 246

（一）判断歧义 246

（二）直言不当 248

（三）关系不当 252

（四）联言不当 254

（五）选言不当 256

（六）假言不当 257

（七）模态不当 259

三、推理方面的病例分析 260

（一）直言误推 260

（二）关系误推 268

（三）选言误推 269

（四）假言误推 270

（五）模态误推 274

（六）轻率概括 277

（七）机械类比 279

四、基本规律方面的病例分析（一）偷换概念 281

（二）转移论题 283

（三）自相矛盾 286

（四）两不可 289

五、论证方面的病例分析 291

（一）偷换论题 291

（二）循环论证 294

（三）虚假理由 295

（四）预期理由 297

（五）推不出 298

（六）无效反驳 302

第五部分 逻辑史资料选介一、中国逻辑史资料选介 305

（一）先秦的名辩逻辑 305

（二）唐代因明的传入及其发展 312

（三）明清以来西方逻辑的传入、普及和发展 317

二、西方逻辑史资料选介 322

（一）亚里士多德逻辑学说 322

（二）培根的归纳逻辑学说 337

（三）近代和现代的逻辑学说 340

第六部分 练习题与参考答案一、填空题 353

（一）题目 353

（二）参考答案 360

二、单项选择题 363

（一）题目 364

（二）参考答案 371

三、双项选择题 372

（一）题目 372

（二）参考答案 380

四、多项选择题 380

（一）题目 380

（二）参考答案 388

五、图解题 388

（一）题目 388

（二）参考答案 392

六、表解题 398

（一）题目 398

（二）参考答案 401

七、简答题 407

（一）题目 407

（一）参考答案 410

八、分析题 414

（一）题目 414

（二）参考答案 421

九、证明题 426

（一）题目 426

（二）参考答案 428

十、综合题 432

（一）题目 432

（二）参考答案 436

附录：《普遍逻辑》 444