译　序　陈波　1
前　言　５

第一编　非形式逻辑

第1章　基本概念　3
1.1 论证、前提和结论　5
杰出的逻辑学家 亚里士多德　9
逻辑史注记　10
练习题1.1　12
1.2 论证之认证　13
简单的非推理的话语段落　15
说明性话语段落　17
例　解　18
解　说　19
条件陈述　20
小　结　23
练习题1.2　23
1.3 演绎与归纳　25
演绎论证形式　26
归纳论证形式　28
另外的考虑　29
小　结　30
练习题1.3　31
1.4 有效性、真实性、可靠性、力度、恰当性　32
演绎论证　32
归纳论证　35
杰出的逻辑学家 克吕西波　39
小　结　40
练习题1.4　40
1.5 论证形式：非有效性之证实　41
反例方法　44
练习题1.5　47
1.6 扩展的论证　48
练习题1.6　52

第2章　语言：意义与定义　55
2.1 意义的多样性　57
练习题2.1　61
2.2 词项的内涵与外延　63
练习题2.2　66
2.3 定义及其目的　66
约定定义　67
词典定义　68
限定定义　69
杰出的逻辑学家 彼得·阿伯拉尔　70
理论定义　71
诱导定义　71
练习题2.3　72
2.4 定义的技术　73
外延（指称）定义　73
内涵（涵义）定义　75
练习题2.4 　79
2.5 词典定义的准则　79
练习题2.5　83

第3章　非形式谬误　85
3.1 谬误概述　87
练习题3.1　 89
3.2 关联性谬误　89
1. 诉诸强力　90
2. 诉诸怜悯　91
3. 诉诸公众　92
4. 人身攻击　93
5. 偶性的谬误　96
6. 稻草人　97
7. 错失主旨　98
8. 熏　鲱　99
练习题3.2 　100
3.3 弱归纳谬误　101
9. 诉诸不胜任的权威　101
10. 诉诸无知　103
11. 轻率概括　105
12. 假因果　106
13. 滑坡的谬误　109
14. 弱类比　110
杰出的逻辑学家 奥康的威廉　111
练习题3.3 　112
3.4 预先假设、含糊不清和语法类比的谬误　113
15. 乞求论题　114
16. 复杂问语　117
17. 假二择一　119
18. 遮盖论据　120
19. 歧　义　121
20. 含　糊　122
21. 合　成　124
22. 分　解　126
练习题3.4 　129
3.5 日常语言中的谬误　131
谬误之洞察　131
谬误之避免　132
练习题3.5　137


第二编　形式逻辑

第4章　直言命题　143
4.1 直言命题的组成　145
练习题4.1　 147
4.2 质、量和周延　147
练习题4.2 　151
4.3 文恩图与现代的对当方阵　151
亚里士多德与布尔　151
杰出的逻辑学家 乔治·布尔　152
文恩图　154
现代的对当方阵　156
直接推理之检验　156
练习题4.3 　159
4.4 换位、换质和换质位　160
换　位　160
换　质　162
换质位　164
练习题4.4　167
4.5 传统的对当方阵　168
直接推理之检验　170
练习题4.5　173
4.6 文恩图与传统的观点　174
传统的对当方阵之证明　176
直接推理之检验　177
练习题4.6　180
4.7 把日常语言的陈述翻译成直言形式 180
1. 没有名词的词项　181
2. 非标准的动词　181
3. 单称命题　181
4. 副词和代词　183
5. 未表达的量词　183
6. 非标准的量词　184
7. 条件陈述　184
8. 区别命题　185
9. “那（些）仅有的”　186
10. 除外命题　187
练习题4.7 　188

第5章　直言三段论　189
5.1 标准形式、式和格　191
练习题5.1　195
5.2 文恩图　196
杰出的逻辑学家 约翰·文恩　198
布尔的观点　199
亚里士多德的观点　203
练习题5.2　206
5.3 规则和谬误　207
布尔的观点　207
亚里士多德的观点　210
规则之证明　211
练习题5.3　213
5.4 减少词项的数目　214
练习题5.4　215
5.5 日常语言的论证　216
练习题5.5　218
5.6 省略三段论　219
练习题5.6　221
5.7 连锁推理　221
练习题5.7　225

第6章　命题逻辑　227
6.1 符号和翻译　229
杰出的逻辑学家 哥特弗里德·
威廉·莱布尼茨　236
练习题6.1　237
6.2 真值函数　238
逻辑算子之定义　238
较长陈述的真值之计算　242
与日常语言的进一步比较　243
练习题6.2　247
6.3 陈述的真值表　247
陈述之分类　250
陈述之比较　251
练习题6.3　253
6.4 论证的真值表　254
练习题6.4　256
6.5 间接真值表　257
论证有效性之检验　257
陈述一致性之检验　260
杰出的逻辑学家 奥古斯特·德摩根 261
练习题6.5　262
6.6 论证形式和谬误　263
常见论证形式　263
构造式二难推理和破斥式二难推理之反驳　267
关于非有效形式的注记　268
小结和应用　269
练习题6.6　273

第7章　命题逻辑的自然推演　277
7.1 蕴涵规则（一）　279
练习题7.1　284
7.2 蕴涵规则（二）　286
练习题7.2　291
7.3 置换规则（一）　293
练习题7.3　298
7.4 置换规则（二）　299
练习题7.4　304
7.5 条件证明　306
杰出的逻辑学家 哥特洛布·
弗雷格　308
练习题7.5　309
7.6 间接证明　310
练习题7.6　313
7.7 逻辑真理之证明　314
练习题7.7　315

第8章　谓词逻辑　317
8.1 符号与翻译　319
练习题8.1　325
8.2 推理规则之运用　326
练习题8.2　334
8.3 量词转换规则　334
杰出的逻辑学家 阿尔弗雷德·诺思·怀特海　伯特兰·罗素　335
练习题8.3　337
8.4 条件证明和间接证明　338
练习题8.4　341
8.5 无效性之证明　342
反例法　342
有限域法　343
练习题8.5　346
8.6 关系谓词和重叠量词　347
关系陈述之翻译　347
推理规则之运用　350
练习题8.6　354
8.7 同一性　355
简单同一性陈述　355
杰出的逻辑学家 库尔特·哥德尔 356
“仅仅”、“唯一的”、“没有……除了”　357
“除了”　357
最高级　358
数值陈述　358
限定摹状词　359
推理规则之运用　360
练习题8.7　363


第三编　归纳逻辑


第9章　类比与法律推理和道德推理 369
9.1 类比推理　371
9.2 法律推理　374
9.3 道德推理　378
练习题9　382

第10章　因果性和密尔方法　385
10.1 “原因”、 必要条件和充分条件　387
10.2 密尔五法　388
契合法　389
差异法　390
杰出的逻辑学家 约翰·斯图亚特·密尔　391
契合差异并用法　393
剩余法　395
共变法　396
10.3 密尔方法和科学　397
练习题10　402

第11章　概　率　405
11.1 概率论　407
11.2 概率演算　410
1. 限制的合取规则　411
2. 一般的合取规则　411
3. 限制的析取规则　412
4. 一般的析取规则　413
5. 否定规则　415
6. 贝叶斯定理　416
练习题11　420

第12章　统计推理　421
12.1 评价统计学　423
12.2 样　本　423
12.3 “平均数”的含义　427
12.4 离散度　429
12.5 图表和象形统计图　434
12.6 百分比　436
练习题12　438

第13章　假说/科学推理　441
13.1 假说方法　443
13.2 假说推理：来自科学的四个例子 445
镭　445
海王星　446
大气压力　447
自然发生说　449
13.3 假说的证明　450
杰出的逻辑学家 查尔斯·桑德尔·皮尔士　451
13.4 假说的试验性接受　453
练习题13　455

第14章　科学与迷信　457
14.1 科学和迷信的区别　459
14.2 证据支持　460
14.3 客观性　464
14.4 完整性　468
14.5 结论性评述　473
参考文献　474

附录：逻辑学与研究生层次的入学考试
一、 有关省略结论的问题　476
二、 有关省略前提的问题　478
三、 有关加强的问题　479
四、 有关削弱的问题　481
五、有关谬误的问题　482
六、有关自然演绎的问题　483
七、有关类似推理的问题　484
八、 有关论证形式或推理方法的问题　486
答　案　487

练习题答案　491
重要词汇　549

出版后记　569