第一章 绪论 1
第一节 逻辑学的对象 1
一、逻辑学是研究思维的形式结构及其规律的科学 1
二、思维形式结构的规律性 2
第二节 思维、语言和逻辑 3
一、思维、语言和逻辑 3
二、自然语言和符号语言 3
三、传统逻辑和现代逻辑 4
第三节 逻辑学的性质和作用 6
一、逻辑学的性质 6
二、逻辑学的作用 7
一、概念的定义 8
第一节 概念的概述 8
第二章 概念 8
二、概念和语词 10
第二节 概念的内涵和外延 11
第三节 概念的种类 12
一、单独概念与普遍概念 12
二、实体概念与属性概念 13
三、正概念与负概念 13
四、集合概念与非集合概念 14
第四节 概念间的关系 15
一、全同关系 16
二、真包含关系 17
三、真包含于关系 17
四、交叉关系 19
五、全异关系 20
第五节 限制与概括 22
一、概念的内涵与外延之间的反变关系 22
二、限制 23
三、概括 24
第六节 定义 26
一、定义及其结构和作用 26
二、定义的方法 27
三、语词定义 29
四、定义的规则 30
第七节 划分 33
一、划分及其结构 33
二、划分的种类 34
三、划分的规则 36
四、分类、列举与分解 38
练习题 40
第三章 命题逻辑 47
第一节 复合命题 47
一、判断、语句和命题 47
二、原子命题和复合命题 48
三、几种基本的复合命题 49
四、一般复合命题 真值形式 57
第二节 命题推理 61
一、推理概述 61
二、几种基本的命题推理 65
三、一般命题推理及其判定 75
练习题 90
第四章 词项逻辑 95
第一节 直言命题 96
一、直言命题的定义与结构 96
二、直言命题的种类 97
三、自然语言中直言命题的规范化 99
四、直言命题词项的周延性 101
五、同一素材直言命题间的真假关系 102
第二节 直接推理 107
一、对当关系直接推理 107
二、直言命题变形直接推理 110
一、直言三段论的定义和结构 114
第三节 直言三段论 114
二、直言三段论的公理 115
三、直言三段论的规则 116
四、直言三段论的格及其规则 121
五、直言三段论的式 123
六、直言三段论的非标准形式 125
七、直言三段论的省略式 128
第四节 文恩图对直言推理有效性的判定 131
一、文恩图概述 131
二、主恩图解对直言命题直接推理有效性的判定 133
二、文恩图解对直言三段论推理有效性的判定 134
练习题 139
一、谓词和个体词 150
第一节 原子命题的内部结构 150
第五章 谓词逻辑 150
二、量词 151
三、命题形式及其解释 153
第二节 自然语言的谓词表达式 155
一、直言命题的表达式 155
二、重叠量化式 157
三、量化式的复合 158
四、量化推理式 159
第三节 量化自然推理 160
一、量化自然推理概述 160
二、全称量词的规则 161
三、存在量词的规则 164
四、量词交换的规则 169
五、量词规则总结 170
六、量化推理式的无效性的判定 171
七、量化自然推理实例分析 172
第四节 逻辑定理 178
一、逻辑定理：普遍有效式 178
二、逻辑定理引入规则 178
三、若干重要逻辑定理 180
第五节 二元关系的若干性质 183
一、关系的性质：属性的属性 183
二、二元关系的若干性质 183
练习题 185
一、模态的种类 190
第六章 模态逻辑 190
第一节 模态逻辑的概述 190
二、模态逻辑的范围 194
第二节 模态命题及其推理 196
一、模态命题的符号化 196
二、模态命题的真值条件 199
三、模态命题的真假关系 202
四、模态命题推理 204
五、模态三段论 206
第三节 道义命题及其推理 209
一、道义命题的符号化 209
二、道义命题的真值条件 212
三、道义命题的真假关系 214
四、道义命题推理 216
第四节 时态命题及其推理 219
一、时态命题的符号化 219
二、时态命题的真值条件 221
三、时态命题的真假关系 224
四、时态命题推理 227
练习题 230
第七章 归纳逻辑 234
第一节 归纳逻辑的概述 234
一、归纳的定义 234
二、归纳与演绎的联系和区别 235
三、古典归纳逻辑 237
四、现代归纳逻辑 238
第二节 收集和整理经验材料的逻辑方法 239
一、收集经验材料的方法 239
二、整理经验材料的方法 243
第三节 归纳推理(一) 247
一、完全归纳推理 247
二、不完全归纳推理 249
第四节 求因果五法 253
一、求同法 256
二、求异法 257
三、求同求异并用法 258
四、共变法 260
五、剩余法 262
第五节 求概率的方法 264
一、求初始概率的方法 265
二、概率演算 267
第六节 归纳推理(二) 271
一、概率推理 271
二、统计推理 272
三、类比推理 275
四、溯因推理 277
五、假说演绎推理 279
练习题 282
第八章 逻辑基本规律 291
第一节 逻辑基本规律概述 291
二、同一律对正确思维的要求 292
一、同一律的内容和公式 292
第二节 同一律 292
三、违反同一律要求的逻辑错误 293
四、逻辑同一与形而上学同一的区别 296
第三节 矛盾律 297
一、矛盾律的内容和公式 297
二、违反矛盾律要求的逻辑错误 298
三、正确区分逻辑矛盾与辩证矛盾 299
四、关于悖论 301
第四节 排中律 303
一、排中律的内容和公式 303
二、违反排中律要求的逻辑错误 303
四、排中律的“中”与唯物辩证法的“中介” 305
三、排中律与矛盾律的区别 305
第五节 充足理由律 306
一、充足理由律的内容和公式 306
二、充足理由律对正确思维的要求 308
三、违反充足理由律要求的逻辑错误 308
第六节 逻辑基本规律之间的关系与意义 309
练习题 310
第九章 论证 317
第一节 论证的概述 317
一、论证的定义 317
二、论证的种类 318
三、论证的作用 319
四、逻辑论证与实践检验 320
一、证明的定义 321
第二节 证明 321
二、证明的结构 322
三、证明的方法 325
第三节 反驳 331
一、反驳的定义 331
二、反驳的结构 332
三、反驳的突破口 333
四、反驳的方法 334
第四节 论证的规则 339
第五节 形式化方法 343
一、公理化和形式化 343
二、形式化的基本概念 346
三、形式系统的一个实例：命题演算P 349
练习题 351
第十章 谬误 358
第一节 谬误的概述 358
一、什么是谬误 358
二、语形、语义与语用谬误 359
三、形式谬误与非形式谬误 360
第二节 几种主要的非形式谬误 360
一、相关谬误 360
二、歧义性谬误 367
三、论据不足的谬误 379
第三节 谬误的避免 387
练习题 388