第一章 绪论 1
第一节 逻辑学的对象 1
一、逻辑学是研究思维的形式结构及其规律的科学 1
二 思维形式结构的规律性 2
第二节 思维、语言和逻辑 3
一 思维、语言和逻辑 3
二 自然语言和符号语言 3
三 传统逻辑和现代逻辑 4
第三节 逻辑学的性质和作用 5
一 逻辑学的性质 5
二 逻辑学的作用 6
练习题 6
第二章 概念 9
第一节 概念的内涵和外延 9
一 概念是反映对象本质属性的思维形式 9
二 概念的内涵和外延 11
第二节 概念的种类 12
一 普遍概念、单独概念和空概念 12
二 实体概念和属性概念 12
三 正概念和负概念 12
四 集合概念和非集合概念 12
第三节 概念外延间的关系 14
一 相容关系 14
二 不相容关系 14
第四节 定义 15
一 定义及其结构 15
二 定义的方法 15
三 定义的规则 16
四 语词定义 17
第五节 划分 18
一 划分及其结构 18
二 划分规则 18
三 划分和分解 19
第六节 概括和限制 19
一 概念内涵与外延间的反变关系 19
二 限制 19
三 概括 20
练习题 20
第三章 命题逻辑 28
第一节 复合命题 28
一 判断、语句和命题 28
二 原子命题和复合命题 29
三 几种基本的复合命题 29
四 一般复合命题 真值形式 36
第二节 命题推理 39
一 推理概述 39
二 几种基本的命题推理 41
三 一般命题推理及其判定 50
练习题 62
第四章 词项逻辑 71
第一节 引言 71
第二节 直言命题 72
一 直言命题的定义和结构 72
二 直言命题的种类 73
三 自然语言中直言命题的规范化 74
四 直言命题中词项的周延性 74
五 主、谓项相同的四种直言命题间的真假关系 75
第三节 直接推理 80
一 对当关系直接推理 80
二 命题变形直接推理 81
第四节 直言三段论 84
一 直言三段论的定义和结构 84
二 直言三段论的公理 85
三 直言三段论的规则 86
四 直言三段论的格与式 89
五 直言三段论的省略式 93
练习题 94
第五章 谓词逻辑 108
第一节 原子命题的内部结构 108
一 谓词逻辑的任务 108
二 谓词和个体词 109
三 量词 109
四 命题形式及其解释 111
第二节 自然语言的谓词表达式 112
一 直言命题的表达式 112
二 重叠量化式 114
三 量化式的复合 114
四 量化推理式 115
第三节 量化自然推理 116
一 量化自然推理概述 116
二 全称量词的规则 117
三 存在量词的规则 119
四 量词交换的规则 123
五 量词规则总结 124
六 量词推理式的无效性的判定 124
七 量化自然推理实例分析 125
第四节 逻辑定理 130
一 逻辑定理：普遍有效式 130
二 逻辑定理引入规则 130
三 若干重要的逻辑定理 131
第五节 二元关系的若干性质 134
一 关系的性质：属性的属性 134
二 二元关系的若干性质 134
练习题 136
第六章 逻辑基本规律 140
第一节 同一律 141
一 什么是同一律 141
二 同一律的要求和违反同一律的错误 141
第二节 矛盾律 143
一 互相矛盾和互相反对 143
二 什么是矛盾律 143
三 矛盾律的要求和违反矛盾律的错误 143
四 悖论 144
第三节 排中律 145
一 什么是排中律 145
二 排中律的要求和违反排中律的错误 145
三 矛盾律和排中律的区别 146
第四节 充足理由律 146
一 什么是充足理由律 146
二 充足理由律的要求和违反充足理由律的错误 147
练习题 148
第七章 模态逻辑 157
第一节 模态逻辑概述 157
一 模态与模态逻辑 157
二 模态的种类 158
三 模态命题及其特性 159
四 模态命题形式 160
五 模态逻辑的范围 160
第二节 模态命题及其推理 161
一 基本模态命题及其符号化 161
二 复合模态命题和叠置模态命题 161
三 基本模态命题之间的对当关系 162
四 基本模态命题推理 163
五 复合模态命题推理和叠置模态命题推理 166
六 直言模态对当关系推理 168
七 模态命题的真值条件 171
八 模态三段论 173
第三节 道义命题及其推理 176
一 道义模态逻辑与其他道义命题 176
二 复合道义命题及其符号化 178
三 基本道义命题推理 178
四 复合道义命题推理 181
五 道义命题的真值条件 182
练习题 184
第八章 归纳逻辑 188
第一节 归纳逻辑概述 188
一 归纳推理和方法 188
二 归纳与演绎的关系 189
三 古典归纳逻辑 190
四 现代归纳逻辑 190
第二节 收集和整理经验材料的方法 192
一 收集经验材料的方法 192
二 整理经验材料的方法 194
第三节 归纳推理（一） 196
一 完全归纳推理 197
二 不完全归纳推理 198
第四节 求因果五法 201
一 求同法 202
二 求异法 203
三 求同求异并用法 204
四 共变法 205
五 剩余法 206
第五节 求概率的方法 208
一 求初始概率的方法 208
二 概率演算 210
第六节 归纳推理（二） 213
一 概率推理 213
二 统计推理 214
三 类比推理 216
四 溯因推理 218
五 假说演绎推理 219
练习题 221
第九章 证明与反驳 228
第一节 证明 228
一 证明及其结构 228
二 证明的特征和作用 231
三 证明的种类 232
四 证明的规则 236
第二节 反驳 240
一 什么是反驳 240
二 反驳的种类 240
第三节 形式化方法 243
一 公理化和形式化 243
二 形式化的基本概念 245
三 形式系统的一个实例：命题演算P 248
练习题 250
第十章 谬误 259
第一节 谬误概述 259
一 什么是谬误 259
二 语形、语义与语用谬误 260
三 形式谬误与非形式谬误 261
第二节 几种主要的非形式谬误 261
一 相关谬误 261
二 歧义性谬误 266
三 论据不足的谬误 275
第三节 谬误的避免 280
练习题 281
附：综合练习题 286
综合练习题答案 381
参考文献 393