第一编 非形式逻辑

第1章 基本概念

1.1 论证、前提和结论

杰出的逻辑学家 亚里士多德

逻辑史注记

练习题1.1

1.2 论证之认证

简单的非推理的话语段落

说明性话语段落

例解

解说

条件陈述

小结

练习题1.2

1.3 演绎与归纳

演绎论证形式

归纳论证形式

另外的考虑

小结

练习题1.3

1.4 有效性、真实性、可靠性、力度、恰当性

演绎论证

归纳论证

杰出的逻辑学家 克吕西波

小结

练习题1.4

1.5 论证形式：非有效性之证实

反例方法

练习题1.5

1.6 扩展的论证

练习题1.6

第2章 语言：意义与定义

2.1 意义的多样性

练习题2.1

2.2 词项的内涵与外延

练习题2.2

2.3 定义及其目的

约定定义

词典定义

限定定义

杰出的逻辑学家 彼得·阿伯拉尔

理论定义

诱导定义

练习题2.3

2.4 定义的技术

外延（指称）定义

内涵（涵义）定义

练习题2.4

2.5 词典定义的准则

练习题2.5

第3章 非形式谬误

3.1 谬误概述

练习题3.1

3.2 关联性谬误

1.诉诸强力

2.诉诸怜悯

3.诉诸公众

4.人身攻击

5.偶性的谬误

6.稻草人

7.错失主旨

8.熏鲱

练习题3.2

3.3 弱归纳谬误

9.诉诸不胜任的权威

10.诉诸无知

11.轻率概括

12.假因果

13.滑坡的谬误

14.弱类比

杰出的逻辑学家 奥康的威廉

练习题3.3

3.4 预先假设、含糊不清和语法类比的谬误

15.乞求论题

16.复杂问语

17.假二择一

18.遮盖论据

19.歧义

20.含糊

21.合成

22.分解

练习题3.4

3.5 日常语言中的谬误

谬误之洞察

谬误之避免

练习题3.5

第二编 形式逻辑

第4章 直言命题

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 把日常语言的陈述翻译成直言形式

1.没有名词的词项

2.非标准的动词

3.单称命题

4.副词和代词

5.未表达的量词

6.非标准的量词

7.条件陈述

8.区别命题

9.“那（些）仅有的”

10.除外命题

练习题4.7

第5章 直言三段论

5.1 标准形式、式和格

练习题5.1

5.2 文恩图

杰出的逻辑学家 约翰·文恩

布尔的观点

亚里士多德的观点

练习题5.2

5.3 规则和谬误

布尔的观点

亚里士多德的观点

规则之证明

练习题5.3

5.4 减少词项的数目

练习题5.4

5.5 日常语言的论证

练习题5.5

5.6 省略三段论

练习题5.6

5.7 连锁推理

练习题5.7

第6章 命题逻辑

6.1 符号和翻译

杰出的逻辑学家 哥特弗里德·威廉·莱布尼茨

练习题6.1

6.2 真值函数

逻辑算子之定义

较长陈述的真值之计算

与日常语言的进一步比较

练习题6.2

6.3 陈述的真值表

陈述之分类

陈述之比较

练习题6.3

6.4 论证的真值表

练习题6.4

6.5 间接真值表

论证有效性之检验

陈述一致性之检验

杰出的逻辑学家 奥古斯特·德摩根

练习题6.5

6.6 论证形式和谬误

常见论证形式

构造式二难推理和破斥式二难推理之反驳

关于非有效形式的注记

小结和应用

练习题6.6

第7章 命题逻辑的自然推演

7.1 蕴涵规则（一）

练习题7.1

7.2 蕴涵规则（二）

练习题7.2

7.3 置换规则（一）

练习题7.3

7.4 置换规则（二）

练习题7.4

7.5 条件证明

杰出的逻辑学家 哥特洛布·弗雷格

练习题7.5

7.6 间接证明

练习题7.6

7.7 逻辑真理之证明

练习题7.7

第8章 谓词逻辑

8.1 符号与翻译

练习题8.1

8.2 推理规则之运用

练习题8.2

8.3 量词转换规则

杰出的逻辑学家 阿尔弗雷德·诺思·怀特海 伯特兰·罗素

练习题8.3

8.4 条件证明和间接证明

练习题8.4

8.5 无效性之证明

反例法

有限域法

练习题8.5

8.6 关系谓词和重叠量词

关系陈述之翻译

推理规则之运用

练习题8.6

8.7 同一性

简单同一性陈述

杰出的逻辑学家 库尔特·哥德尔

“仅仅”、“唯一的”、“没有……除了”

“除了”

最高级

数值陈述

限定摹状词

推理规则之运用

练习题8.7

第三编 归纳逻辑

第9章 类比与法律推理和道德推理

9.1 类比推理

9.2 法律推理

9.3 道德推理

练习题9

第10章 因果性和密尔方法

10.1 “原因”、必要条件和充分条件

10.2 密尔五法

契合法

差异法

杰出的逻辑学家 约翰·斯图亚特·密尔

契合差异并用法

剩余法

共变法

10.3 密尔方法和科学

练习题10

第11章 概率

11.1 概率论

11.2 概率演算

1.限制的合取规则

2.一般的合取规则

3.限制的析取规则

4.一般的析取规则

5.否定规则

6.贝叶斯定理

练习题11

第12章 统计推理

12.1 评价统计学

12.2 样本

12.3 “平均数”的含义

12.4 离散度

12.5 图表和象形统计图

12.6 百分比

练习题12

第13章 假说/科学推理

13.1 假说方法

13.2 假说推理：来自科学的四个例子

镭

海王星

大气压力

自然发生说

13.3 假说的证明

杰出的逻辑学家 查尔斯·桑德尔·皮尔士

13.4 假说的试验性接受

练习题13

第14章 科学与迷信

14.1 科学和迷信的区别

14.2 证据支持

14.3 客观性

14.4 完整性

14.5 结论性评述

参考文献

附录：逻辑学与研究生层次的入学考试

一、有关省略结论的问题

二、有关省略前提的问题

三、有关加强的问题

四、有关削弱的问题

五、有关谬误的问题

六、有关自然演绎的问题

七、有关类似推理的问题

八、有关论证形式或推理方法的问题

答案

练习题答案

重要词汇

出版后记