逻辑引论PDF电子书下载

第一章 绪论 1

第一节 逻辑学的对象 1

一、“逻辑”一词的含义 1

二、逻辑学的研究对象 2

三、逻辑的类型 8

第二节 逻辑与语言 9

一、逻辑与语言的关系 9

二、自然语言与符号语言 9

第三节 逻辑学的性质和作用 11

一、逻辑学的性质 11

二、逻辑学的作用 12

思考题 16

练习题 16

第二章 命题逻辑 19

第一节 命题概述 19

一、命题的特征 19

二、命题与判断 21

三、命题与语句 22

四、命题的种类 23

第二节 复合命题及其形式 23

一、概述 23

二、负命题 27

三、联言命题 28

四、选言命题 30

五、假言命题 31

六、等值命题 34

七、多重复合命题 35

第三节 复合命题的重言等值式 40

一、复合命题公式的分类 40

二、常用的重言等值式 42

三、重言式的判定方法 44

四、等值变形 52

一、复合命题推理的有效性 57

第四节 复合命题推理的基本有效式 57

二、双重否定推理 60

三、联言推理 62

四、选言推理 65

五、假言推理 68

六、等值推理 73

第五节 复合命题推理的其他有效式 76

一、排斥选言推理 76

二、必要条件假言推理 78

三、假言联锁推理 80

四、二难推理 82

五、归谬法推理 88

六、反三段论 89

七、基于重言等值式的推理 90

第六节 命题逻辑的自然推理系统PN 94

一、命题逻辑的判定问题和推导问题 94

二、自然推理 96

三、PN系统的基本规则 99

四、导出规则：间接证明规则R.A.A 112

思考题 118

练习题 118

第一节 词项 129

一、简单命题推理 129

第三章 词项逻辑 129

二、词项及其特征 130

三、词项的种类 133

四、词项外延间的关系 136

第二节 直言命题 140

一、直言命题及其组成 140

二、直言命题的种类 142

三、直言命题的文恩图解 147

四、直言命题词项的周延性 150

第三节 直言命题的直接推理 152

一、直言对当关系推理 152

二、换质法 159

三、换位法 160

一、三段论及其特征 162

第四节 三段论 162

二、三段论的格和式 164

三、三段论的规则 166

四、三段论的导出规则 169

五、省略三段论 172

六、复合三段论 174

第五节 直言命题推理逻辑有效性的判定 175

一、推理规则判定方法 175

二、文恩图解判定方法 176

三、化归判定方法 183

一、关系命题 186

第六节 关系推理 186

二、关系的性质 188

三、关系三段论 190

思考题 192

练习题 193

第四章 谓词逻辑 203

第一节 概述 203

第二节 谓词逻辑的公式 205

一、个体词、谓词、量词 205

二、谓词逻辑的命题形式 206

三、自由变项、约束变项 208

一、谓词逻辑推理的有效性 209

第三节 谓词逻辑的自然推理系统QN 209

二、QN系统的基本规则 211

三、等词规则 218

四、附加规则 219

思考题 222

练习题 222

第五章 模态、规范逻辑 224

第一节 模态命题 224

一、模态命题的特征 224

二、模态命题的种类 225

三、模态命题的真假 226

第二节 模态推理 228

一、模态对当推理 228

二、模态与非模态命题推理 234

三、必然化推理 235

四、复合模态命题推理 235

五、模态三段论 239

第三节 模态逻辑的自然推理系统TN、QTN 241

一、模态逻辑推理的有效性 241

二、模态命题逻辑的自然推理系统TN 242

三、模态谓词逻辑的自然推理系统QTN 247

一、规范命题的特征 250

第四节 规范命题 250

二、规范命题的种类 251

三、规范命题与模态命题之间的联系 252

四、规范命题的真假 253

第五节 规范推理 254

一、规范对当推理 254

二、必须化推理 259

三、复合规范命题推理 261

四、规范三段论 265

五、规范条件推理 266

六、规范强弱推理 268

一、DTN系统的基本规则 270

第六节 规范逻辑的自然推理系统DTN 270

二、DTN系统的有效推理 271

思考题 277

练习题 278

第六章 归纳逻辑 281

第一节 概述 281

一、什么是归纳逻辑 281

二、古典归纳逻辑和现代归纳逻辑 281

第二节 回溯推理 282

第三节 归纳推理 285

第四节 求因果联系五法 289

一、求同法 291

二、求异法 293

三、求同求异并用法 295

四、共变法 297

五、剩余法 299

第五节 类比推理 301

第六节 统计推理与概率 303

思考题 308

练习题 309

第七章 逻辑基本规律 314

第一节 同一律 314

一、什么是同一律 314

二、违反同一律的逻辑错误 316

三、同一律在法律工作中的应用 320

第二节 矛盾律 322

一、什么是矛盾律 322

二、违反矛盾律的逻辑错误 324

三、矛盾律在法律工作中的应用 325

四、悖论 327

第三节 排中律 330

一、什么是排中律 330

二、违反排中律的逻辑错误 331

三、排中律在法律工作中的应用 333

思考题 334

练习题 334

一、定义 338

第八章 逻辑方法 338

第一节 定义和划分 338

二、划分 345

第二节 假说 350

一、概述 350

二、假说的提出 354

三、假说的检验 357

第三节 论证 361

一、证明概述 361

二、证明的方法 369

三、证明的规则 375

四、反驳 382

第四节 辩论 388

一、辩论及其特征 388

二、辩论的意义 390

三、辩论推理的特征 391

四、辩论的技巧与方法 392

第五节 谬误 406

一、什么是谬误 406

二、常见的各种谬误 407

三、研究谬误的意义 415

思考题 416

练习题 417