上编 逻辑观 3
第一章 引论 3
第一节 逻辑、思维和语言 3
第二节 逻辑学的对象和性质 6
第三节 学习逻辑学的意义和方法 12
第二章 思维形式 22
第一节 概念 22
第二节 判断 30
第三节 推理 39
第四节 论证 47
第三章 思维规律 58
第一节 概述 58
第二节 同一律 62
第三节 矛盾律 64
第四节 排中律 67
第五节 充足理由律 70
第四章 思维方法 75
第一节 明确概念的逻辑方法 75
第二节 探求因果联系的逻辑方法 79
第三节 假说演绎法 84
第四节 形式化方法 86
第五章 逻辑谬误 92
第一节 逻辑谬误概述 92
第二节 形式谬误 93
第三节 非形式谬误 95
第六章 批判性思维 102
第一节 什么是批判性思维 102
第二节 批判性思维的目的、作用和意义 105
第三节 批判性思维的培养和训练 110
中编 传统逻辑 117
第七章 简单判断 117
第一节 性质判断 117
第二节 关系判断 125
第八章 复合判断 129
第一节 复合判断概述 129
第二节 联言判断 131
第三节 选言判断 133
第四节 假言判断 137
第五节 负判断 142
第六节 多重复合判断 143
第九章 简单判断的推理 148
第一节 性质判断直接推理 148
第二节 性质判断间接推理——直言三段论 153
第三节 关系判断的推理 166
第四节 文恩图解法 169
第十章 复合判断的推理 179
第一节 联言推理 179
第二节 选言推理 180
第三节 假言推理 182
第四节 负判断推理 186
第五节 复合判断的综合推理 188
第十一章 模态判断及其推理 195
第一节 模态判断 195
第二节 模态推理 199
第三节 规范判断 201
第四节 规范推理 205
第十二章 归纳推理和类比推理 212
第一节 归纳推理 212
第二节 类比推理 216
下编 现代逻辑 225
第十三章 命题逻辑基础 225
第一节 真值联结词、真值形式、真值函项 225
第二节 重言式及其判定方法 230
第三节 代入、分离、置换 236
第四节 真值树方法 239
第五节 求否定运算、求对偶运算 246
第十四章 命题演算 250
第一节 范式、优范式 250
第二节 自然推理系统PN 256
第十五章 谓词逻辑基础 267
第一节 谓词、谓词公式 267
第二节 简单命题的符号化 271
第三节 模型和赋值、普通有效式 276
第四节 置换、代入、易字 279
第五节 判定问题、一阶树方法 281
第十六章 谓词演算 286
第一节 前束范式 286
第二节 自然推理系统QN 288
参考文献 296