逻辑学导论（第13版）

前言1

第一部分逻辑与语言

A篇推理

第1章逻辑学的基本概念

1.1什么是逻辑学

1.2命题与论证

1.3论证的辨识

1.4论证和说明

1.5演绎和归纳论证

1.6有效性和真实性

第1章概要

第2章论证的分析

2.1论证的解析

2.2论证的图示

2.3复杂的论证性语段

2.4推理中的问题

第2章概要

B篇非形式逻辑

第3章语言和定义

3.1语言功能

3.2情感语言、中性语言和论争

3.3论争和含混性

3.4定义及其用途

3.5定义的结构：外延和内涵

3.6属加种差定义

第3章概要

第4章谬误

4.1什么是谬误

4.2谬误的分类

4.3相干谬误

4.4不当归纳谬误

4.5预设谬误

4.6含混谬误

第4章概要

第二部分演绎

A篇古典逻辑

第5章直言命题

5.1演绎理论

5.2类与直言命题

5.3四种直言命题

5.4质、量与周延性

5.5传统对当方阵

5.6其他直接推论

5.7存在含义与直言命题的解释

5.8直言命题的符号系统与图解

第5章概要

第6章直言三段论

6.1标准式直言三段论

6.2三段论论证的形式性质

6.3检验三段论：文恩图解法

6.4三段论规则和三段论谬误

6.5直言三段论的15个有效形式

附录直言三段论15个有效形式的演绎推导

第6章概要

第7章日常语言中的论证

7.1三段论论证

7.2词项数量规约为三

7.3直言命题的标准化

7.4协同翻译

7.5省略式三段论

7.6连锁三段论

7.7析取三段论和假言三段论

7.8二难推论

第7章概要

B篇现代逻辑

第8章符号逻辑

8.1现代逻辑及其符号语言

8.2合取、否定和析取符号

8.3条件陈述与实质蕴涵

8.4论证形式与运用逻辑类推进行的反驳

8.5“效”和“有效”的精确含义

8.6根据真值表检验论证

8.7一些常见的论证形式

8.8陈述形式与实质等值

8.9逻辑等价

8.10三大“思想法则”

第8章概要

第9章演绎方法

9.1有效性的形式证明

9.2基本的有效论证形式

9.3有效性形式证明例示

9.4有效性形式证明的构造

9.5构造更复杂的形式证明

9.6扩展推论规则：替换规则

9.7自然演绎系统

9.8运用十九条推论规则构建形式证明

9.9效性的证明

9.10不相容性

9.11有效性的间接证明

9.12简化的真值表方法

第9章概要

第10章量化理论

10.1对量化的呼唤

10.2单称命题

10.3全称量词和存在量词

10.4传统主—谓命题

10.5有效性证明

10.6效性证明

10.7非三段论推论

第10章概要

第三部分归纳

A篇类比与因果

第11章类比推理

11.1归纳与演绎再探

11.2类比论证

11.3类比论证的评价

11.4通过逻辑类推进行的反驳

第11章概要

第12章因果推理

12.1原因和结果

12.2因果律和自然的齐一性

12.3简单枚举归纳法

12.4因果分析的方法

12.5归纳技术的局限

第12章概要

B篇科学与概率

第13章科学和假说

13.1科学说明

13.2科学探究：假说和确证

13.3对科学说明的评价

13.4作为假说的分类

第13章概要

第14章概率

14.1关于概率的几种观点

14.2概率计算

14.3日常生活中的概率

第14章概要

部分练习题解答

术语/索引

第11版译者后记

第13版译者后记