《现代实用逻辑学》

一、绪论1

（一）逻辑学发展简史1

（二）逻辑学研究的对象7

（三）形式逻辑的作用11

二、概念与词项18

（一）概念的概述18

（二）概念的种类23

（三）概念之间的关系26

三、定义34

（一）什么是定义34

（二）定义的结构和特点35

（三）定义的语言表达形式36

（四）下定义的方法和步骤38

（五）定义的规则和违反规则的错误40

（六）实质定义和语词定义44

（七）定义的作用46

四、判断与命题53

（一）判断的概述53

（二）非判断语句57

（三）判断之间的关系62

五、形式逻辑基本规律72

（一）形式逻辑基本规律的概述72

（二）同一律73

（三）矛盾律81

（四）排中律88

六、推理概述92

（一）推理和论证92

（二）推理组成和推理形式94

（三）推理的类型96

（四）有效性、真实性、可靠性100

七、直言判断逻辑103

（一）直言判断的特征103

（二）四种主要的直言判断：A、E、I、O105

（三）非A、E、I、O直言判断110

（四）A、E、I、O之间的真假关系和逻辑方阵115

（五）A、E、I、O主项和谓项的周延性118

（六）对当推理120

（七）A、E、I、O变形推理122

八、三段论（上）126

（一）三段论概论126

（二）三段论规则128

（三）三段论有效性的直观检验133

（四）三段论的格与式139

（五）三段论各格的特殊规则和特殊作用142

（六）三段论的化归144

九、三段论（下）146

（一）省略三段论146

（二）三段论的复合形式149

（三）带证三段论151

（四）翻译成标准形式152

（五）AAA、EAE的作用154

十、复合判断及其推理（上）157

（一）复合判断的概述157

（二）负判断及其推理162

（三）联言判断及其推理165

（四）选言判断及其推理170

（五）不相容选言判断及其推理177

十一、复合判断及其推理（下）183

（一）充分条件假言判断及其推理183

（二）肯定式191

（三）否定式196

（四）充分条件假言判断连锁推理201

（五）归谬式202

（六）反三段论式204

（七）二难推理206

（八）假言联言推理211

（九）必要条件假言判断及其推理213

（十）充分必要条件假言判断及其推理219

十二、检验复合判断推理有效性的方法224

（一）真值重言式分析法224

（二）归谬赋值法230

（三）真值树检验法232

十三、自然推理236

（一）复合判断推理有效性的形式证明236

（二）推导规则239

（三）置换规则245

（四）条件证明规则250

（五）间接证明规则254

（六）策略原则260

（七）推演的例证264

十四、量化判断及其推理（上）276

（一）量化判断的结构成分276

（二）量化逻辑的判断形式282

（三）判断的符号化288

十五、量化判断及其推理（下）303

（一）量化推理有效性的归谬证明303

（二）量化推理有效性归谬证明的规则304

（三）归谬证明的策略、步骤和例证315

（一）任何科学都是应用逻辑331

十六、应用：证明与反驳331

（二）逻辑证明的定义和结构333

（三）逻辑证明的方式339

（四）逻辑证明的作用348

（五）逻辑反驳356

十七、谬误和诡辩369

（一）论题要明确370

（二）论题必须保持同一371

（三）论据必须确实可靠373

（四）论据的可靠性不能依赖论题来证明377

（五）论证要充分378

（六）证明必须在形式上有效385