绪论 1
0.1 逻辑学的对象 1
0.2 传统逻辑 4
0.3 现代逻辑 6
0.4 两个元逻辑规律 9
0.5 掌握逻辑工具 13
概念逻辑 17
第一章 概念 17
1.1 概念概述 17
1.2 概念的种类 19
1.3 概念的外延关系 21
1.4 概念的限制和概括 25
1.5 定义 27
1.6 划分 32
1.7 概念的解释 36
第二章 集合 41
2.1 集合和元素 41
2.2 包含关系 43
2.3 全集和空集 44
2.4 集合运算 45
2.5 传统逻辑对概念处延关系的预设 48
2.6 集合运算的规律 48
2.7 逻辑代数 51
命题逻辑 53
第三章 复合命题 53
3.1 二值原子命题 53
3.2 复合命题及其真值 54
3.3 否定词和负命题 57
3.4 合取词和联言命题 59
3.5 析取词和相容选言命题 61
3.6 蕴涵词和充分条件命题、必要条件命题 62
3.7 互蕴词和充要条件命题、不相容选言命题 65
3.8 真值形式的计算——导出真值表 67
3.9 真值函项 72
第四章 复合命题推理 77
4.1 永真式，永真蕴涵式，联言推理 77
4.2 假言推理 79
4.3 选言推理 82
4.4 赋值归谬法和前提的协调性 84
4.5 二难推理和假言选言推理 88
4.6 推理模式和代入规则 89
4.7 等值推理和负言推理 90
4.8 反证法、归谬法及其他推理 95
第五章 命题演算 101
5.1 公理系统 101
5.2 命题演算自然推理系统的出发点 102
5.3 辅助的推理规则及其证明 106
5.4 定理的证明 109
5.5 引入前提的一般方法 121
5.6 永真式的证明 123
5.7 重言式系统简介 128
5.8 其他命题逻辑系统简介 131
第六章 命题逻辑的系统特征6.1 范式 135
6.2 不等价的真值函项的种数 140
6.3 语义的可靠性和完备性 143
6.4 语法的协调性和完全性 145
6.5 公理的独立性 147
6.6 可判定性 149
谓词逻辑 152
第七章 传统性质命题及其推理7.1 性质命题的形式结构 152
7.2 性质命题的对当关系 154
7.3 性质命题主谓项的周延性 156
7.4 性质命题的直接推理 158
7.5 三段论 160
7.6 判定三段论的一般步骤 165
7.7 三段论的格和式 166
7.8 单称三段论 167
第八章 关系逻辑 172
8.1 关系命题 172
8.2 自返性、对称性、传递性 173
8.3 相等关系（等词逻辑） 175
8.4 混合关系推理 177
8.5 完全归纳法 179
8.6 侔式推理（倚靠法） 180
8.7 量词换位法 180
第九章 谓词逻辑概述 183
9.1 个体词和谓词 183
9.2 量词和论域 185
9.3 自由变元和约束变元 187
9.4 谓词逻辑的命题形式和推理形式 189
9.5 谓词公式的解释 191
9.6 无效式的算术解释方法 192
9.7 谓词逻辑的判定问题 193
第十章 谓词演算 196
10.1 谓词演算自然推理系统的初始规则 196
10.2 定理及其证明 199
10.3 等词和摹状词 210
10.4 范式 212
10.5 可靠性，完备性，协调性 213
模态逻辑 216
第十一章 模态逻辑概述 216
11.1 模态命题 216
11.2 模态逻辑方阵 218
11.3 复合模态命题推理 220
11.4 模态A、E、I、O命题对当关系 222
11.5 模态三段论 223
第十二章 模态演算 227
12.1 模态命题演算的自然推理系统TN 227
12.2 自然推理系统S5N 230
12.3 模态谓词演算的自然推理系统QTBN 232
12.4 可靠性、完备性、协调性 233
应用逻辑 237
第十三章 多值逻辑 237
13.1 多值逻辑概述 237
13.2 卢卡西维茨的三值逻辑 238
13.3 卢卡西维茨的多值逻辑 240
13.4 卢氏多值逻辑与古典二值逻辑的关系 244
第十四章 规范逻辑 246
14.1 规范逻辑概述 246
14.2 简单规范命题 247
14.3 规范逻辑方阵 248
14.4 规范三段论 249
14.5 规范关系三段论 250
14.6 复合规范命题及其推理 251
14.7 规范逻辑与模态逻辑的关系 252
第十五章 时间逻辑 255
15.1 时间逻辑概述 255
15.2 时间命题 255
15.3 时间组合逻辑 256
15.4 时态逻辑 257
15.5 时相逻辑 259
第十六章 认知逻辑 262
16.1 认知逻辑概述 262
16.2 知道逻辑 262
16.3 知道命题 263
16.4 “知道”推理 265
16.5 相信逻辑 267
16.6 相信命题及其推理 268
16.7 断定逻辑 270
第十七章 优先逻辑 273
17.1 优先逻辑概述 273
17.2 优先命题 273
17.3 优先推理 276
17.4 优先逻辑系统简介 278
第十八章 多量逻辑 280
18.1 多量逻辑概述 280
18.2 多量命题逻辑方阵 281
18.3 多量命题的换质换位 281
18.4 多量三段论 282
18.5 多量词演算简介 283
18.6 有关“少数”的推理 284
第十九章 模糊逻辑 285
19.1 模糊逻辑概述 285
19.2 模糊集合 285
19.3 模糊命题及其真值 287
19.4 似然推理 290
19.5 模糊逻辑的应用 292
第二十章 次协调逻辑20.1 次协调逻辑概述 294
20.2 斯科塔的次协调逻辑系统 295
20.3 卢特雷和梅尔的次协调逻辑系统 297
20.4 次协调逻辑的哲学意义 299
第二十一章 自然语言逻辑21.1 自然语言逻辑概述 301
21.2 语句的语形分析 303
21.3 语句的语义分析 306
21.4 语境和语用学 309
21.5 预设 309
21.6 疑问句逻辑 311
21.7 命令句逻辑 313
21.8 感叹句逻辑 314
21.9 语用含义 315
归纳逻辑 318
第二十二章 经验归纳法 318
22.1 归纳逻辑概述 318
22.2 枚举归纳法 321
22.3 回溯法 322
22.4 求因果法之一：求同法 324
22.5 求因果法之二：求异法 325
22.6 求因果法之三：求同求异并用法 326
22.7 求因果法之四：共变法 327
22.8 求因果法之五：剩余法 328
第二十三章 类比法和模拟法23.1 类比法概述 331
23.2 功能类比 332
23.3 因果类比 332
23.4 对称类比 333
23.5 模拟法概述 334
23.6 几何模拟 336
23.7 物理模拟 337
23.8 数学模拟 338
23.9 功能模拟 338
23.10 智能模拟 339
第二十四章 概率法、统计法、预测法24.1 概率法概述 341
24.2 积事件概率，和事件概率 343
24.3 全概率，逆概率 344
24.4 二项概率 345
24.5 统计法概述 346
24.6 预测法概述 348
24.7 定性预测法 349
24.8 定量预测法 350
论证逻辑 354
第二十五章 论证 354
25.1 论证概述 354
25.2 演绎论证和归纳论证 357
25.3 直接论证和间接论证 358
25.4 辩护和反驳 359
25.5 论证的规则 361
25.6 谬误和诡辩 363
第二十六章 假说 368
26.1 假说概述 368
26.2 假说的形成 368
26.3 假说的检验 371
26.4 假说和决策 373
第二十七章 悖论和哥德尔不完全性定理27.1 悖论概述 375
27.2 解决悖论的尝试 377
27.3 哥德尔不完全性定理 378
附录：模拟试题 381
后记 387