第一章 基本概念 1
1.1 论证、前提与结论 1
逻辑史注记 6
习题1.1 8
1.2 识别论证 15
简单的非推理段落 17
说明性段落 19
例解 20
解说 21
条件陈述 23
小结 26
习题1.2 28
1.3 演绎与归纳 35
演绎论证形式 37
归纳论证形式 39
其他考虑因素 40
小结 42
习题1.3 43
1.4 有效性、真、可靠性、力度与信服力 47
演绎论证 48
归纳论证 51
小结 56
习题1.4 58
1.5 论证形式：证明无效性 62
反例法 65
习题1.5 68
本章总结 70
第二章 非形式谬误 73
2.1 谬误概论 73
习题2.1 76
2.2 相干性谬误 77
1.诉诸强力 77
2.诉诸怜悯 79
3.诉诸公众 80
4.人身攻击 84
5.偶例 87
6.稻草人 88
7.歪曲论题 89
8.转移话题 90
习题2.2 93
2.3 弱归纳谬误 97
9.诉诸无效权威 98
10.诉诸无知 99
11.轻率概括 101
12.虚假因果 103
13.滑坡谬误 106
14.不当类比 107
习题2.3 109
2.4 预设谬误、歧义谬误与不当转换谬误 114
15.乞题 115
16.复杂问语 118
17.假两难推理 120
18.遮盖论据 121
19.歧义 123
20.含糊 125
21.合成 127
22.分解 129
习题2.4 132
2.5 日常语言中的谬误 139
发现谬误 139
避免谬误 141
习题2.5 146
本章总结 150
第三章 直言命题 153
3.1 直言命题的构成 153
习题3.1 156
3.2 质、量与周延 157
习题3.2 161
3.3 文恩图与现代对当方阵 162
存在预设 162
文恩图 164
现代对当方阵 167
检验直接推理 167
习题3.3 171
3.4 换位、换质与换质位 172
换位 173
换质 174
换质位 177
习题3.4 180
3.5 传统对当方阵 182
检验直接推理 185
习题3.5 188
3.6 将日常语言陈述翻译为直言形式 193
1.无名词的词项 194
2.非标准动词 194
3.单称命题 194
4.副词与代词 196
5.未表达的量词 196
6.非标准量词 197
7.条件陈述 198
8.排他性命题 198
9.“仅有的” 199
10.除外命题 200
习题3.6 202
本章总结 205
第四章 直言三段论 209
4.1 标准形式、式与格 209
习题4.1 216
4.2文恩图 218
布尔式立场 220
亚里士多德式立场 224
习题4.2 228
4.3 规则与谬误 231
布尔式立场 231
亚里士多德式立场 235
习题4.3 237
4.4 减少词项的数量 239
习题4.4 242
4.5 日常语言中的论证 242
习题4.5 245
4.6 省略三段论 246
习题4.6 249
4.7 连锁推理 252
习题4.7 255
本章总结 260
第五章 命题逻辑 263
5.1 符号与翻译 263
习题5.1 274
5.2 真值函项 277
五个逻辑算子的定义 278
较长命题的真值的计算 282
真值函项与日常语言 284
习题5.2 285
5.3 命题的真值表 287
陈述的分类 290
陈述的比较 291
习题5.3 293
5.4 论证的真值表 295
习题5.4 298
5.5间接真值表 302
初步技巧 303
检验论证的有效性 304
检验陈述的一致性 307
习题5.5 309
5.6 论证形式与谬误 311
常见论证形式 311
反驳构造式两难与解构式两难 316
无效形式注意事项 318
总结与应用 319
习题5.6 323
本章总结 330
第六章 命题逻辑的自然演绎 333
6.1 蕴涵规则Ⅰ 333
习题6.1 341
6.2 蕴涵规则Ⅱ 345
习题6.2 351
6.3 置换规则Ⅰ 355
习题6.3 361
6.4 置换规则Ⅱ 366
习题64 371
6.5 条件证明 378
习题65 381
6.6 间接证明 383
习题66 387
6.7 逻辑真理的证明 389
习题6.7 390
本章总结 391
第七章 谓词逻辑 393
7.1 符号与翻译 393
习题7.1 401
7.2 推理规则的使用 403
习题7.2 412
7.3 量词否定规则 416
习题7.3 419
7.4 条件证明与间接证明 421
习题7.4 424
7.5 证明无效性 426
习题7.5 429
本章总结 429
习题答案 431
术语表 465