第一章 绪论 1
第一节 逻辑学的对象 1
一、逻辑学是研究思维形式及其规律的科学 1
二、思维形式的规律性 2
第二节 思维、语言和逻辑 3
一、思维、语言和逻辑 3
二、自然语言和符号语言 3
三、传统逻辑和现代逻辑 4
第三节 逻辑学的性质和作用 5
一、逻辑学的性质 5
二、逻辑学的作用 6
练习题 7
第二章 概念 9
第一节 内涵和外延 9
一、反映对象本质属性的思维形式 9
二、内涵和外延 11
第二节 概念的种类 11
一、普遍概念、单独概念和空概念 11
二、实体概念和属性概念 12
三、集合概念和非集合概念 12
第三节 概念的关系 13
一、相容关系 13
二、不相容关系 14
第四节 概念的定义 15
一、概念陈述及其恰当性 15
二、定义的结构和方法 16
三、定义的规则 16
四、语词定义 18
第五节 概念的划分 19
一、划分的结构 19
二、划分规则 19
三、划分和分解 20
第六节 概括和限制 20
一、内涵与外延的反变关系 20
二、限制 21
三、概括 21
练习题 21
第三章 命题逻辑 30
第一节 复合命题 30
一、判断、语句和命题 30
二、原子命题和复合命题 31
三、几种基本的复合命题 32
四、一般复合命题及其真值形式 38
第二节 命题推理 42
一、推理概述 42
二、几种基本的命题推理 44
三、一般命题推理及其判定 54
练习题 62
第四章 词项逻辑 72
第一节 直言命题 73
一、直言命题的定义和结构 73
二、直言命题的种类 74
三、自然语言中直言命题的规范化 74
四、直言命题中词项的周延性 75
五、主、谓项相同的四种直言命题间的真假关系 75
第二节 直接推理 80
一、对当关系直接推理 81
二、命题变形直接推理 82
第三节 直言三段论 85
一、直言三段论的定义和结构 85
二、直言三段论的公理 86
三、直言三段论的规则 87
四、直言三段论的格与式 90
五、直言三段论的省略式 94
练习题 95
第五章 谓词逻辑 110
第一节 原子命题的内部结构 110
一、谓词逻辑的意义 110
二、谓词和个体词 111
三、量词 111
四、命题形式及其解释 113
第二节 自然语言的谓词表达式 115
一、直言命题的表达式 115
二、重叠量化式 116
三、量化式的复合 117
四、量化推理式 117
第三节 量化推理 120
第四节 二元关系的若干性质 122
一、关系的性质：属性的属性 122
二、二元关系的若干性质 122
练习题 125
第六章 逻辑基本规律 127
第一节 同一律 128
一、什么是同一律 128
二、同一律的要求和违反同一律的逻辑错误 128
第二节 矛盾律 130
一、命题的矛盾和反对 130
二、什么是矛盾律 131
三、矛盾律的要求和违反矛盾律的逻辑错误 131
四、悖论 133
第三节 排中律 137
一、什么是排中律 137
二、排中律的要求和违反排中律的逻辑错误 137
三、矛盾律和排中律的区别 138
第四节 充足理由律 139
一、什么是充足理由律 139
二、充足理由律的要求和违反充足理由律的逻辑错误 139
练习题 140
第七章 模态逻辑 150
第一节 概述 150
一、模态与模态逻辑 150
二、模态的种类 151
三、模态命题及其特性 152
四、模态命题形式 153
五、模态逻辑的范围 154
第二节 模态命题及其推理 155
一、基本模态命题及其符号化 155
二、复合模态命题和叠置模态命题 155
三、基本模态命题之间的对当关系 156
四、基本模态命题推理 157
五、复合模态命题推理和叠置模态命题推理 161
六、直言模态命题 163
七、负直言模态推理与负复合模态推理 164
八、模态命题的真值条件 166
九、模态三段论 168
第三节 道义命题及其推理 171
一、道义模态逻辑与基本道义命题 171
二、复合道义命题及其符号化 172
三、基本道义命题推理 173
四、复合道义命题推理 176
五、道义命题的真值条件 178
练习题 180
第八章 归纳逻辑 186
第一节 概述 186
一、归纳推理和方法 186
二、归纳与演绎的关系 187
三、古典归纳逻辑 188
四、现代归纳逻辑 189
五、归纳悖论 190
第二节 收集和整理经验材料的方法 192
一、收集经验材料的方法 192
二、整理经验材料的方法 195
第三节 归纳推理（一） 197
一、完全归纳推理 197
二、不完全归纳推理 198
第四节 求因果五法 203
一、求同法 204
二、求异法 206
三、求同求异并用法 208
四、共变法 210
五、剩余法 212
第五节 求概率的方法 214
一、求初始概率的方法 214
二、概率演算 216
第六节 归纳推理（二） 219
一、概率推理 220
二、统计推理 221
三、类比推理 224
四、溯因推理 226
五、假说演绎推理 227
练习题 229
第九章 证明与反驳 239
第一节 证明的概述 239
一、证明及其结构 239
二、证明和推理 242
第二节 证明的种类 242
一、演绎证明和归纳证明 242
二、直接证明和间接证明 243
第三节 证明的规则 244
一、关于论题的规则 245
二、关于论据的规则 247
三、关于证明方式的规则 248
第四节 反驳 248
第五节 非形式论证 249
一、形式推理与非形式推理 249
二、非形式论证的结构分析 251
三、非形式论证评价 252
第六节 形式化方法 255
一、公理化和形式化 255
二、形式化的基本概念 257
三、形式系统的一个实例：命题演算P 259
练习题 261
第十章 谬误 270
第一节 心理相关型谬误 270
一、诉诸强力的谬误 271
二、诉诸人身的谬误 271
三、诉诸无知的谬误 273
四、诉诸怜悯的谬误 273
五、诉诸众人的谬误 274
六、诉诸权威的谬误 274
第二节 语言歧义型的谬误 275
一、稻草人的谬误 275
二、复杂问语的谬误 277
第三节 论据不足的谬误 279
一、特例的谬误 280
二、特例概括的谬误 280
三、样本太少的谬误 280
四、平均数的谬误 280
五、数据不可比的谬误 281
六、赌徒的谬误 281
七、强词夺理的谬误 282
练习题 283
综合练习题 287
综合练习题答案 395
参考文献 411