《逻辑引论》求取 ⇩

第一章绪论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

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

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

二、自然推理96

三、PN系统的基本规则99

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

思考题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

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

二、QN系统的基本规则211

三、等词规则218

四、附加规则219

思考题222

练习题222

第五章模态、规范逻辑224

第一节 模态命题224

一、模态命题的特征224

二、模态命题的种类225

三、模态命题的真假226

第二节 模态推理228

一、模态对当推理228

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

三、必然化推理235

四、复合模态命题推理235

五、模态三段论239

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

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

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

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

一、规范命题的特征250

第四节 规范命题250

二、规范命题的种类251

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

四、规范命题的真假253

第五节 规范推理254

一、规范对当推理254

二、必须化推理259

三、复合规范命题推理261

四、规范三段论265

五、规范条件推理266

六、规范强弱推理268

一、DTN系统的基本规则270

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

二、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