第一章 基本概念

1.1 论证、前提与结论

逻辑史注记

习题1.1

1.2 识别论证

简单的非推理段落

说明性段落

例解

解说

条件陈述

小结

习题1.2

1.3 演绎与归纳

演绎论证形式

归纳论证形式

其他考虑因素

小结

习题1.3

1.4 有效性、真、可靠性、力度与信服力

演绎论证

归纳论证

小结

习题1.4

1.5 论证形式：证明无效性

反例法

习题1.5

本章总结

第二章 非形式谬误

2.1 谬误概论

习题2.1

2.2 相干性谬误

1.诉诸强力

2.诉诸怜悯

3.诉诸公众

4.人身攻击

5.偶例

6.稻草人

7.歪曲论题

8.转移话题

习题2.2

2.3 弱归纳谬误

9.诉诸无效权威

10.诉诸无知

11.轻率概括

12.虚假因果

13.滑坡谬误

14.不当类比

习题2.3

2.4 预设谬误、歧义谬误与不当转换谬误

15.乞题

16.复杂问语

17.假两难推理

18.遮盖论据

19.歧义

20.含糊

21.合成

22.分解

习题2.4

2.5 日常语言中的谬误

发现谬误

避免谬误

习题2.5

本章总结

第三章 直言命题

3.1 直言命题的构成

习题3.1

3.2 质、量与周延

习题3.2

3.3 文恩图与现代对当方阵

存在预设

文恩图

现代对当方阵

检验直接推理

习题3.3

3.4 换位、换质与换质位

换位

换质

换质位

习题3.4

3.5 传统对当方阵

检验直接推理

习题3.5

3.6 将日常语言陈述翻译为直言形式

1.无名词的词项

2.非标准动词

3.单称命题

4.副词与代词

5.未表达的量词

6.非标准量词

7.条件陈述

8.排他性命题

9.“仅有的”

10.除外命题

习题3.6

本章总结

第四章 直言三段论

4.1 标准形式、式与格

习题4.1

4.2文恩图

布尔式立场

亚里士多德式立场

习题4.2

4.3 规则与谬误

布尔式立场

亚里士多德式立场

习题4.3

4.4 减少词项的数量

习题4.4

4.5 日常语言中的论证

习题4.5

4.6 省略三段论

习题4.6

4.7 连锁推理

习题4.7

本章总结

第五章 命题逻辑

5.1 符号与翻译

习题5.1

5.2 真值函项

五个逻辑算子的定义

较长命题的真值的计算

真值函项与日常语言

习题5.2

5.3 命题的真值表

陈述的分类

陈述的比较

习题5.3

5.4 论证的真值表

习题5.4

5.5间接真值表

初步技巧

检验论证的有效性

检验陈述的一致性

习题5.5

5.6 论证形式与谬误

常见论证形式

反驳构造式两难与解构式两难

无效形式注意事项

总结与应用

习题5.6

本章总结

第六章 命题逻辑的自然演绎

6.1 蕴涵规则Ⅰ

习题6.1

6.2 蕴涵规则Ⅱ

习题6.2

6.3 置换规则Ⅰ

习题6.3

6.4 置换规则Ⅱ

习题64

6.5 条件证明

习题65

6.6 间接证明

习题66

6.7 逻辑真理的证明

习题6.7

本章总结

第七章 谓词逻辑

7.1 符号与翻译

习题7.1

7.2 推理规则的使用

习题7.2

7.3 量词否定规则

习题7.3

7.4 条件证明与间接证明

习题7.4

7.5 证明无效性

习题7.5

本章总结

习题答案

术语表