上编 传统逻辑基础 3
第一章 引论 3
第一节 逻辑科学的类型及其产生和发展 3
一、“逻辑”一词的由来及含义 3
二、逻辑学的类型 4
三、逻辑科学的产生 5
四、逻辑科学的发展 7
第二节 逻辑学的研究对象、性质及功能 11
一、认识、思维和语言 11
二、逻辑学的研究对象 14
三、逻辑学的性质 16
四、逻辑学的功能 17
第三节 法律工作与逻辑学 20
一、法律工作与逻辑的关系 20
二、普通逻辑与法律逻辑 24
附：作业题 27
第二章 概念的逻辑知识及其运用 28
第一节 概念的基本逻辑特征 28
一、什么是概念 28
二、概念的内涵及其确立 29
三、概念外延及其边缘的模糊性 32
四、概念、语词和词项 33
第二节 概念的分类 34
一、单独概念和普遍概念 35
二、集合概念和非集合概念 35
三、肯定概念和否定概念 37
四、实体概念和属性概念 38
第三节 概念间的关系及其逻辑推演 38
一、概念之间的外延关系 38
二、概念之间的逻辑推演 42
第四节 定义 43
一、定义的特征 43
二、定义的方法 43
三、定义的规则 45
第五节 划分和列举 46
一、划分 46
二、列举 48
第六节 法律概念 49
一、法律概念是客观性和规定性的统 49
二、法律概念内涵的规定性和外延边缘的模糊性 51
三、司法归类活动 52
四、法律概念的定义特点 54
附：作业题 56
第三章 简单命题 59
第一节 命题的一般特征 59
一、判断、语句与命题 59
二、命题的分类 62
第二节 关系命题 64
一、关系命题及其逻辑结构 64
二、关系的逻辑性质 66
第三节 性质命题的概述 69
一、性质命题及其逻辑结构 69
二、性质命题的基本类型 70
第四节 性质命题的逻辑特征 73
一、性质命题词项的周延性 73
二、性质命题真假的判定以及不同性质命题之间的逻辑关系 74
第五节 性质命题的隐含及推导方法 80
一、性质命题的隐含 80
二、法律条文的隐含与法律解释 83
附：作业题 85
第四章 复合命题 88
第一节 复合命题的概述 88
一、复合命题的特征 88
二、复合命题真假的判定与真值表 89
第二节 复合命题的基本形式及其逻辑特征 90
一、负命题与性质命题的负命题 90
二、联言命题 92
三、选言命题 96
四、假言命题 100
第三节 多重复合命题 108
一、多重复合命题的特征 108
二、如何分析法律条文的逻辑形式 108
第四节 复合命题的等值式 110
一、各种复合命题的负命题及其等值式 110
二、不同类型复合命题形式之间的等值式 111
附：作业题 113
第五章 模态命题与规范命题 116
第一节 模态命题概述 116
第二节 真值模态命题 117
一、真值模态命题及其分类 117
二、真值模态命题之间的逻辑关系 119
第三节 规范命题 121
一、规范命题及其分类 121
二、规范命题之间的逻辑关系 124
三、规范命题的负命题及其等值命题 125
附：作业题 126
第六章 演绎推理——直言命题推理 128
第一节 推理的概述 128
一、推理的特征及其作用 128
二、推理的组成及其语言表达形式 132
三、推理的分类 133
四、演绎推理、归纳推理与类比推理之比较 134
第二节 推理的有效性与合理性 139
第三节 三段论 145
一、三段论的结构形式及推理根据 145
二、三段论的格和式 147
三、判定三段论形式有效性的标准——三段论的规则 148
四、三段论的应用形式——省略式与复合式 153
附：作业题 156
第七章 演绎推理——复合命题推理 159
第一节 联言推理 159
一、联言推理的特征与种类 159
二、联言推理在司法工作中的作用 160
第二节 选言推理 162
一、选言推理的特征 162
二、运用选言推理应当注意的问题 163
三、选言推理在司法工作中的应用 164
第三节 假言推理 166
一、假言推理的特征及其基本形式 166
二、假言推理在司法工作中的应用 170
第四节 二难推理 172
一、二难推理的特征 172
二、二难推理的种类 173
三、破斥二难推理 175
第五节 复合命题推理的综合运用 176
附：作业题 179
第八章 归纳推理与类比推理 183
第一节 归纳推理概述 183
一、归纳推理的特征 183
二、归纳推理的先行条件——观察与实验 186
第二节 归纳推理的种类 187
一、完全归纳推理及其应用 188
二、简单枚举归纳推理 191
三、基于探求因果联系的归纳推理 194
第三节 类比推理及其应用 205
一、类比推理的特征 205
二、正确应用类比推理的逻辑要求 208
三、类比推理的应用形式 209
附：作业题 216
第九章 假说与侦查假设 219
第一节 假说及其建立过程 219
一、假说的特征及分类 219
二、建立假说的过程 221
第二节 侦查假设及其运用 227
一、侦查假设的特征、结构及类型 227
二、怎样建立侦查假设 231
附：作业题 239
第十章 论证 242
第一节 论证的特征 242
一、什么是论证 242
二、论证的组成 243
三、论证的分类 245
第二节 论证的方法 247
一、直接论证 247
二、间接论证 249
第三节 论证必须遵循的逻辑思维规律 253
一、同一律以及违反同一律而发生的逻辑错误 254
二、矛盾律以及违反矛盾律而发生的逻辑错误 256
三、排中律以及违反排中律而产生的逻辑错误 259
四、充足理由律以及违反充足理由律而产生的逻辑错误 262
第四节 谬误 264
一、形式谬误和非形式谬误 264
二、论证中常见的几种非形式谬误 265
附：作业题 267
下编 现代逻辑初步 273
第一章 命题逻辑（上） 273
第一节 命题和联结词 273
第二节 真值函数和真值表方法 276
一、真值函数 276
二、重言式、矛盾式和偶然式 277
三、真值表方法 278
四、简化真值表方法 280
第三节 范式 281
一、范式 281
二、合取范式和析取范式 282
三、析取范式、合取范式存在定理及求范式的方法 283
四、优范式 284
第四节 联结词的完全集 286
第五节 推理的有效性和重言后承 289
一、推理的有效性 289
二、重言后承 289
附：作业题 290
第二章 命题逻辑（下） 292
第一节 命题演算概述 292
一、公理方法和公理系统 292
二、形式化和形式系统 293
三、形式系统的其它重要概念 294
第二节 命题演算系统P 295
一、P的形式语言L 295
二、P的公理模式和推导规则 296
三、P的定理及证明 297
四、演绎定理及其应用 300
第三节 命题演算的语义解释 304
一、P的语义解释 304
二、P的可靠性 305
三、P系统的一致性和完全性 306
第四节 命题演算自然推理系统Pn 309
一、形式语言 309
二、推理规则 309
附：作业题 311
第三章 谓词逻辑（上） 313
第一节 一元谓词逻辑的形式语言 313
一、形式语言 313
二、性质命题的形式结构分析 317
第二节 谓词逻辑公式的语义及其逻辑性质 319
一、模型和赋值 319
二、谓词逻辑公式的逻辑性质：可满足性和有效性 321
第三节 代入和易字 324
一、对自由变元的代入 324
二、约束变元易字 325
第四节 推理的形式证明 326
一、全称消除规则 327
二、存在消除规则 328
三、存在引入规则 328
四、全称引入规则 328
附：作业题 332
第四章 谓词逻辑（下） 333
第一节 形式语言 333
一、关系词 333
二、形式语言 333
第二节 谓词逻辑的语义解释 335
一、模型和赋值 335
二、可满足性和有效性 339
第三节 谓词逻辑公式的运算及有效式的判定 340
一、求否定运算 340
二、求对偶运算 341
三、范式 342
四、转换赋值法 345
五、谓词逻辑的判定问题 346
第四节 谓词推理的形式证明 347
第五节 谓词演算 348
一、谓词演算的公理系统 348
二、QC定理的推演 352
三、可靠性和完全性 354
附：作业题 355
参考书目 357