第一章 绪论 1
第一节 逻辑学的对象 1
一、“逻辑”的含义 1
二、逻辑学的研究对象 2
三、逻辑的类型 5
四、逻辑与语言 6
第二节 逻辑学的性质和作用 7
一、逻辑学的性质 7
二、逻辑学的作用 8
思考题 13
练习题 14
第二章 命题逻辑 16
第一节 命题概述 16
一、命题的特征 16
二、命题与判断 18
三、命题与语句 18
四、命题的种类 19
一、概述 20
第二节 复合命题及其形式 20
二、负命题 23
三、联言命题 24
四、选言命题 26
五、假言命题 28
六、等值命题 29
七、多重复合命题 31
第三节 复合命题的重言等值式 35
一、复合命题公式的分类 35
二、常用的重言等值式 36
三、真值表法 38
第四节 复合命题推理的基本有效式 39
一、复合命题推理的有效性 39
二、双重否定推理 41
三、联言推理 42
四、选言推理 45
五、假言推理 47
六、等值推理 52
一、必要条件假言推理 54
第五节 复合命题推理的其他有效式 54
二、假言联锁推理 57
三、二难推理 58
四、反三段论 63
五、基于重言等值式的推理 64
第六节 复合命题的有效推理 67
一、判定问题 67
二、推导问题 68
思考题 70
练习题 71
第三章 词项逻辑 79
第一节 词项 79
一、概述 79
二、词项及其特征 79
三、词项的种类 82
四、词项外延间的关系 84
第二节 直言命题 88
一、直言命题的特征 88
二、直言命题的种类 90
三、直言命题的词项周延性 95
第三节 直言命题的直接推理 96
一、直言对当推理 96
二、换质法 102
三、换位法 104
第四节 三段论 106
一、三段论的特征 106
二、三段论的格和式 108
三、三段论的规则 110
四、三段论的导出规则 114
五、省略三段论 117
第五节 关系推理 120
一、关系命题 120
二、关系的性质 121
三、关系三段论 122
思考题 124
练习题 125
一、模态命题 130
第四章 模态、规范逻辑 130
第一节 模态推理 130
二、模态对当推理 133
三、复合模态命题推理 138
四、模态命题及其推理在法律工作中的应用 141
第二节 规范推理 142
一、规范命题 142
二、规范对当推理 145
三、复合规范命题推理 150
四、规范条件推理 153
五、规范命题及其推理在法律工作中的应用 155
思考题 157
练习题 157
第五章 归纳逻辑 160
第一节 概述 160
第二节 回溯推理 160
一、什么是回溯推理 160
二、回溯推理的应用 163
一、什么是归纳推理 164
第三节 归纳推理 164
二、归纳推理的应用 165
第四节 求因果联系五法 167
一、概述 167
二、求同法 169
三、求异法 171
四、求同求异并用法 173
五、共变法 175
六、剩余法 177
一、什么是类比推理 179
第五节 类比推理 179
二、类比推理的应用 180
思考题 181
练习题 181
第六章 逻辑基本规律 186
第一节 同一律 186
一、什么是同一律 186
二、违反同一律的逻辑错误 188
三、同一律在法律工作中的应用 191
第二节 矛盾律 193
一、什么是矛盾律 193
二、违反矛盾律的逻辑错误 195
三、矛盾律在法律工作中的应用 197
第三节 排中律 198
一、什么是排中律 198
二、违反排中律的逻辑错误 199
三、排中律在法律工作中的应用 201
思考题 202
练习题 203
第七章 逻辑方法 206
第一节 定义和划分 206
一、什么是定义 206
二、定义的种类和方法 207
三、定义的规则 210
四、什么是划分 212
五、划分的种类和方法 213
六、划分的规则 214
七、分解与列举 216
思考题 218
练习题 218
第二节 假说 219
一、什么是假说 219
二、假说的提出 224
三、假说的检验 231
思考题 241
练习题 242
第三节 证明与反驳 243
一、什么是证明 243
二、证明的方法 249
三、证明的规则 253
四、什么是反驳 260
五、反驳的方法 263
思考题 266
练习题 266
综合练习题 274