第1章 绪论 1
第1节 逻辑学的对象 1
1.1.1逻辑学的含义 1
1.1.2思维、语言与逻辑 1
1.1.3逻辑学的研究对象 3
第2节 逻辑学的性质与作用 7
1.2.1逻辑学的性质 7
1.2.2逻辑学的作用 9
第3节 逻辑学的发展 10
1.3.1逻辑学的早期状况 10
1.3.2逻辑学的现代概况 14
第4节 学习逻辑学的方法 16
1.4.1树立形式化观念，优化学习方法 16
1.4.2把握逻辑学脉络，突出学习重点 17
1.4.3认清逻辑学性质，理论与实际联系 17
思考与练习 18
第一部分 演绎逻辑 21
第2章 命题 21
第1节 命题的概述 21
2.1.1命题的含义 21
2.1.2命题与语句 21
2.1.3命题与判断 23
2.1.4命题的分类 23
第2节 复合命题 24
2.2.1复合命题的含义 24
2.2.2真值形式、真值联结词、真值表 25
第3节 复合命题的类型 27
2.3.1负命题 27
2.3.2联言命题 28
2.3.3选言命题 30
2.3.4假言命题 34
第4节 几种特别的复合命题 38
2.4.1以复合命题为支命题的负命题 38
2.4.2多重复合命题 41
第5节 复合命题之间的关系 42
2.5.1用～、→定义其他真值联结词 42
2.5.2用～、∧定义其他真值联结词 43
2.5.3用～、∨定义其他真值联结词 44
小结 44
思考与练习 45
第3章 复合命题推理 49
第1节 复合命题推理概述 49
3.1.1什么是推理 49
3.1.2推理的有效性 49
3.1.3推理的分类 50
第2节 复合命题等值推理 51
3.2.1复合命题的一般等值推理 51
3.2.2复合命题的负命题等值推理 54
第3节 联言推理 57
3.3.1分解式联言推理 57
3.3.2组合式联言推理 58
第4节 选言推理 58
3.4.1相容选言推理 59
3.4.2不相容选言推理 60
第5节 假言推理 61
3.5.1充分条件假言推理 61
3.5.2必要条件假言推理 63
3.5.3充要条件假言推理 65
第6节 几种常见的多重复合命题推理 67
3.6.1假言连锁推理（纯假言推理） 67
3.6.2二难推理（假言选言推理） 68
3.6.3反三段论 73
第7节 复合命题推理有效性的判定 73
3.7.1复合命题推理有效性判定概述 73
3.7.2真值表方法 74
小结 77
思考与练习 77
第4章 命题逻辑的自然演绎系统 83
第1节 什么是命题逻辑的自然演绎系统 83
第2节 整推规则 84
4.2.1整推规则概述 84
4.2.2整推规则的应用 89
第3节 置换规则 91
4.3.1置换规则概述 91
4.3.2置换规则的应用 94
第4节 条件证明规则 97
4.4.1条件证明规则概述 97
4.4.2条件证明规则的应用 100
第5节 间接证明规则 104
4.5.1间接证明规则概述 104
4.5.2间接证明规则的应用 106
小结 107
思考与练习 107
第5章 词项与简单命题 109
第1节 词项 109
5.1.1词项和语词 110
5.1.2词项和命题 112
5.1.3词项的逻辑特征——词项的内涵和外延 113
5.1.4词项的种类 113
5.1.5词项在外延间的关系 116
第2节 性质命题 120
5.2.1性质命题概述 120
5.2.2性质命题的种类 121
5.2.3性质命题词项的周延性 126
5.2.4A、E、I、O之间的真假关系 128
第3节 关系命题 131
5.3.1关系命题概述 131
5.3.2关系的对称性 133
5.3.3关系的传递性 134
5.3.4关系命题的量项 135
小结 135
思考与练习 135
第6章 简单命题推理 139
第1节 简单命题推理概述 139
6.1.1简单命题推理的含义 139
6.1.2简单命题推理的类型 139
第2节 性质命题直接推理 140
6.2.1对当关系推理 140
6.2.2命题变形推理 142
第3节 三段论 147
6.3.1三段论概述 147
6.3.2三段论的格与式 149
6.3.3三段论的规则 157
6.3.4三段论的省略式 164
第4节 关系命题推理 167
6.4.1纯粹关系命题推理 167
6.4.2混合关系三段论 169
小结 170
思考与练习 171
第7章 谓词逻辑 175
第1节 谓词逻辑概述 175
7.1.1简单命题的内部结构 175
7.1.2量化命题的形式化 180
7.1.3谓词逻辑的语言 182
7.1.4谓词逻辑的语义 188
第2节 谓词逻辑的自然演绎系统 194
7.2.1一些基本的逻辑等值式 194
7.2.2谓词逻辑的自然演绎系统概论 196
小结 207
思考与练习 208
第8章 模态逻辑 211
第1节 模态与模态命题 211
8.1.1模态和模态词 211
8.1.2模态逻辑分类 213
8.1.3模态命题 214
第2节 可能世界 216
8.2.1可能世界的概念 216
8.2.2可及性关系 218
第3节 真理模态逻辑 219
8.3.1模态三段论 219
8.3.2模态命题逻辑系统K 221
8.3.3模态命题逻辑系统T 223
8.3.4模态逻辑系统K和T的语义 223
第4节 道义逻辑 224
8.4.1道义词、道义命题与道义逻辑 224
8.4.2复合道义命题 228
8.4.3传统逻辑的道义三段论 230
8.4.4道义命题逻辑的系统D 231
小结 232
思考与练习 233
第二部分 归纳逻辑 237
第9章 归纳逻辑 237
第1节 归纳推理概述 237
9.1.1归纳推理的含义 237
9.1.2归纳推理与演绎推理 238
第2节 不完全归纳推理与类比推理 240
9.2.1不完全归纳推理 240
9.2.2类比推理 244
第3节 因果五法 248
9.3.1什么是因果五法 248
9.3.2求同法 251
9.3.3求异法 254
9.3.4求同求异并用法 256
9.3.5共变法 257
9.3.6剩余法 258
第4节 概率与统计 259
9.4.1基本概念 259
9.4.2概率的三种解释 260
9.4.3概率演算 262
9.4.4统计推理 264
第5节 归纳逻辑的综合应用 266
小结 269
思考与练习 270
第三部分 逻辑思维规律与方法 275
第10章 逻辑思维基本规律 275
第1节 逻辑思维基本规律概述 275
第2节 同一律 276
10.2.1同一律的基本内容 276
10.2.2同一律的作用 277
10.2.3违反同一律的逻辑错误 278
第3节 矛盾律 281
10.3.1矛盾律的基本内容 281
10.3.2矛盾律的作用 282
10.3.3违反矛盾律的逻辑错误 284
第4节 排中律 285
10.4.1排中律的基本内容 285
10.4.2排中律的作用 286
10.4.3违反排中律的逻辑错误 289
第5节 同一律、矛盾律、排中律的关系 290
10.5.1同一律、矛盾律、排中律的联系 290
10.5.2同一律、矛盾律、排中律的区别 290
小结 291
思考与练习 292
第11章 逻辑方法与科学解释 296
第1节 明确词项的逻辑方法 296
11.1.1定义 296
11.1.2划分 300
11.1.3限制与概括 302
第2节 科学解释 304
11.2.1科学解释的含义 304
11.2.2科学解释的组成和结构 306
第3节 假说 311
11.3.1假说的含义 311
11.3.2假说的类型 312
11.3.3假说与推理的关系 314
11.3.4假说的地位与作用 318
小结 319
思考与练习 319
第12章 论辩 322
第1节 论辩的概述 322
第2节 论证 323
12.2.1论证概述 323
12.2.2论证的种类 327
12.2.3论证的规则 330
第3节 反驳 334
12.3.1反驳概述 334
12.3.2反驳的方法与种类 335
第4节 论辩的原则与规则 341
12.4.1论辩的原则 341
12.4.2论辩的规则 343
第5节 辩谬 346
12.5.1辩谬概述 346
12.5.2谬误的类型 347
12.5.3破斥诡辩 352
小结 352
思考与练习 353
部分练习题参考答案 356
主要参考文献 366