目录 1
第一篇 导论 1
第一章 形式逻辑的研究对象、性质、作用与发展简史 1
第一节 形式逻辑的研究对象与性质——什么是形式逻辑 1
第二节 形式逻辑与其他学科的关系 5
第三节 学习形式逻辑的意义与方法——为什么和怎么样学习形式逻辑 11
第四节 形式逻辑发展简史 14
第二章 概念与词项 22
第一节 概述 22
第二节 概念间的关系 28
第三节 概念的限定与扩展 31
第四节 定义 33
第五节 划分 38
本章练习题 42
第三章 命题、推理概述 44
第一节 命题概述 44
第二节 推理概述 48
本章练习题 53
第四章 形式逻辑基本规律 54
第一节 概述 54
第二节 同一律 56
第三节 不矛盾律 59
第四节 排中律 62
第五节 充足理由律 65
本章练习题 68
第二篇 自然演绎 70
第一章 词项推理 70
第一节 直言命题 70
第二节 直言直接推理 75
第三节 直言间接推理——三段论 79
第四节 三段论的省略式、复杂式和非标准形式 90
第五节 关系命题及其推理 94
第六节 模态命题及其推理 99
本章练习题 104
第二章 命题推理 107
第一节 联言命题及其推理 107
第二节 选言命题及其推理 114
第三节 假言命题及其推理（上） 123
第四节 假言命题及其推理（下） 130
第五节 负命题及其推理 141
第六节 多重复合命题及其推理 145
本章练习题 149
第一节 真值表的构成 154
第三篇 逻辑演算 154
第一章 真值表 154
第二节 真值表的应用 159
本章练习题 169
第二章 命题演算 170
第一节 命题演算的初始符号与形成规则 170
第二节 命题演算的定义、公理与初始演绎规则 173
第三节 命题演算的定理及其推演 174
本章练习题 179
第一节 类演算的基本概念 180
第三章 词项演算（上）——类演算 180
第二节 类演算的文氏图解 188
本章练习题 191
第四章 词项演算（下）——狭谓词演算 193
第一节 狭谓词演算的基本概念与逻辑符号 193
第二节 狭谓词演算的常真公式与推演规则 198
第三节 狭谓词演算的定义、公理和定理 201
第四节 狭谓词演算的相容性、完全性、独立性及其判定问题 205
本章练习题 208
第一章 归纳推理与概率统计 209
第一节 归纳推理 209
第四篇 逻辑推测与假说 209
第二节 探求因果联系的归纳五法 217
第三节 概率与统计推理 225
本章练习题 231
第二章 回溯、类比推理与假说 233
第一节 回溯推理 233
第二节 类比推理 238
第三节 假说 244
本章练习题 250
第一节 概述 254
第一章 逻辑论证 254
第五篇 逻辑论证与形式化证明 254
第二节 逻辑论证的种类 258
第三节 论证的规则 264
第四节 反驳 267
本章练习题 273
第二章 形式化证明 275
第一节 概述 275
第二节 形式证明法、条件证明法、间接证明法 278
第三节 量化论证之条件法与间接法证明 283
本章练习题 285