形式逻辑主要是一门研究思维形式的科学，也可以说主要是研究推理形式和证明形式的科学，本书从我国目前的具体情况出发，主要介绍传统逻辑，但也试图在此框架内添加现代逻辑的初步知识，以引导读者走向现代逻辑的广阔天地。为促进我国逻辑科学的现代化作初步的尝试。

形式逻辑在20世纪30～40年代曾被视为形而上学而遭全盘否定。50年代其科学性被有条件地重新承认，但误解和歪曲比比皆是。80年代初本书作者们决心科学地、准确地向中国读者介绍传统的形式逻辑，并努力在此框架内添加现代逻辑的初步知识，以引导读者走向现代逻辑的广阔天地。本书内容包括：概念、命题、演绎推理、归纳方法、形式逻辑基本规律、论证。这是一本颇具时代特色，论争性强的逻辑读本，自有它的优点和局限。

第一章 绪论

 第一节 形式逻辑研究的对象

1.1.1 事物、思维和语言

1.1.2 思维形态和思维形式

1.1.3 什么是形式逻辑

 第二节 形式逻辑的性质

1.2.1 形式逻辑的客观性

1.2.2 形式逻辑不是哲学

1.2.3 思维形式及其规律具有全人类性

 第三节 形式逻辑的作用

1.3.1 形式逻辑是由已知到未知的认识方法

1.3.2 遵守逻辑规律的要求是正确地进行思维的必要条件

1.3.3 形式逻辑也是揭露诡辩的重要武器

第二章 概念

 第一节 什么是概念

2.1.1 概念是反映事物及其特有属性的思维形态

2.1.2 概念与语词

2.1.3 与概念有关的引号用法

 第二节 概念的内涵和外延

2.2.1 什么是概念的内涵和外延

2.2.2 真实概念和虚假概念

2.2.3 概念外延间的关系

2.2.4 内涵和外延的反变关系 限制和扩大

 第三节 几种不同类型的概念

2.3.1 单独概念和普遍概念

2.3.2 集合概念

2.3.3 正概念和负概念

2.3.4 相对概念

 第四节 集合和集合的运算

2.4.1 集合 集合之间的一些关系

2.4.2 空集和全集

2.4.3 集合的基本运算

2.4.4 集合运算的规律

 第五节 定义

2.5.1 什么是定义

2.5.2 定义的组成和表达

2.5.3 不同种类的定义

2.5.4 定义的规则

 第六节 划分

2.6.1 什么是划分

2.6.2 划分的规则

2.6.3 二分法和举例

2.6.4 划分与定义

第三章 命 题

 第一节 命题形式

3.1.1 什么是命题

3.1.2 命题与语句

3.1.3 命题与判断

3.1.4 命题形式 常项和变项

3.1.5 变项的作用

 第二节 联结词

3.2.1 引言

3.2.2 “或者”

3.2.3 “要么，要么”

3.2.4 “并且”

3.2.5 “并非”

3.2.6 德摩根律

3.2.7 “如果，那么”

3.2.8 “只有，才(能)”

3.2.9 充分条件和必要条件

3.2.10 假言命题的否定

3.2.11 联结词的多次出现和多项联结词

 第三节 量项

3.3.1 全称量项

3.3.2 特称量项

3.3.3 对几种句型的分析

3.3.4 对当关系

3.3.5 任何两命题形式之间的真假关系

3.3.6 周延问题

3.3.7 单称命题

3.3.8 传统逻辑关于选言命题、假言命题形式的分析

3.3.9 一些其他的命题形式

3.3.10 关系命题和关系的特点

3.3.11 关系命题的量项及其次序

 第四节 模态词

3.4.1 模态命题与非模态命题

3.4.2 不同的模态

3.4.3 “必然p”、“可能p”及其否定

3.4.4 模态对当关系

3.4.5 关于命题形式的几点总结性意见

第四章 演绎推理

 第一节 关于联结词的推理

4.1.1 引言

4.1.2 关于“或者”及“要么，要么”的一些推理推理形式的有效性

4.1.3 关于“并且”的一些推理 演绎推理的某些特点

4.1.4 关于“并非”的一些推理 置换规则

4.1.5 关于“如果，则”和“只有，才”的一些推理

4.1.6 关于传统逻辑中某些推理形式的讨论

4.1.7 二难推理

4.1.8 其他一些关于联结词的推理 蕴涵引入律

4.1.9 关于联结词的推理形式的有效性的判定方法

 第二节 关于量项的推理

4.2.1 引言

4.2.2 直接推理

4.2.3 换位法

4.2.4 换质法

4.2.5 换质位法

4.2.6 戾换法

4.2.7 三段论 三段论的格和式

4.2.8 检验三段论的有效性的方法，三段论的规则

4.2.9 包含单称命题的三段论

4.2.10 非标准形式的三段论 省略三段论和联锁推理

4.2.11 关于演绎推理的几个问题

第五章 演绎推理(续)

 第一节 命题逻辑

5.1.1 传统逻辑的局限

5.1.2 真值形式和重言式

5.1.3 命题逻辑的推理规则

5.1.4 重言式的证明

 第二节 谓词逻辑

5.2.1 谓词逻辑的命题形式和公式

5.2.2 谓词逻辑的常真公式 谓词逻辑的推理规则

5.2.3 常真公式的证明

5.2.4 关于谓词逻辑的公式是否常真的判定问题

第六章 归纳方法

 第一节 什么是归纳方法

 第二节 观察、实验和科学分类

6.2.1 观察和实验

6.2.2 科学分类

 第三节 完全归纳法和简单枚举法

6.3.1 完全归纳法

6.3.2 简单枚举法

 第四节 寻求因果联系的初步方法

6.4.1 什么是因果联系

6.4.2 求同法

6.4.3 求异法

6.4.4 求同求异并用法及其推广形式

6.4.5 共变法

6.4.6 剩余法

6.4.7 比较实验法

6.4.8 求异比较并用法

 第五节 概率和统计方法简介

6.5.1 求算术平均数

6.5.2 概率

6.5.3 分层抽样和统计概括

6.5.4 抽样求异并用法和抽样比较并用法

 第六节 类比法

 第七节 假说

6.7.1 什么是假说

6.7.2 假说的发展过程

 第八节 归纳方法的综合应用

第七章 形式逻辑的基本规律

 第一节 同一律

7.1.1 什么是同一律

7.1.2 必须正确地理解和运用同一律

7.1.3 违反同一律要求的逻辑错误

 第二节 矛盾律

7.2.1 什么是矛盾律

7.2.2 必须正确地理解和运用矛盾律

7.2.3 违反矛盾律要求的逻辑错误

 第三节 排中律

7.3.1 什么是排中律

7.3.2 必须正确地理解和运用排中律

7.3.3 违反排中律要求的逻辑错误

 第四节 形式逻辑基本规律的一般性质

7.4.1 同一律、矛盾律和排中律是形式逻辑的基本规律

7.4.2 形式逻辑基本规律的客观基础

7.4.3 关于“充足理由律”

第八章 论 证

 第一节 论证及其作用

8.1.1 什么是论证

8.1.2 论证是富有创造性的思维活动

8.1.3 论证的作用

 第二节 几种不同类型的论证方式

8.2.1 分情况证明

8.2.2 选言证明(或称淘汰法)

8.2.3 独立证明

8.2.4 归谬法

8.2.5 反证法(又称间接证明)

8.2.6 喻证法

8.2.7 几种论证方式的综合运用

 第三节 论证的规则

8.3.1 关于论题的规则

8.3.2 关于论据的规则

8.3.3 关于论证方式的规则

 第四节 揭露和驳斥诡辩

8.4.1 什么是诡辩

8.4.2 最常见的诡辩术

8.4.3 对诡辩的揭露和驳斥

附录 《论辩的魂灵》释析

符号汇编