《新编逻辑教程》

目 录第一章导论1

第一节形式逻辑的对象1

一、逻辑学的门类1

四、形式词项、非形式词项（113

二、形式逻辑的对象3

三、形式逻辑的性质6

第二节逻辑与语言8

一、语言的指谓性8

思考练习题（一）8

二、逻辑与语言10

三、思维形式与语言形式12

思考练习题（二）14

第三节逻辑学的产生和发展14

一、逻辑学的三个发祥地14

二、逻辑学的发展22

思考练习题（三）24

第二章命题逻辑25

第一节命题25

一、什么是命题25

二、命题与语句26

三、命题与判断27

四、简单命题和复合命题28

思考练习题（四）30

第二节命题联结词31

一、命题联结词与语句联结词31

二、五个基本的命题联结词31

思考练习题（五）40

第三节 命题形式41

一、什么是命题形式41

二、比较复杂的命题形式42

三、真值表44

四、重言式、矛盾式、协调式46

思考练习题（六）48

第四节重言蕴涵式与重言等值式49

一、什么是重言蕴涵式49

二、重言蕴涵式与推理形式50

三、重言等值式52

四、简化真值表方法61

思考练习题（七）64

第五节命题逻辑的自然推理系统65

一、什么是自然推理系统65

二、自然推理系统的组成部分66

思考练习题（八）74

一、什么是命题逻辑的定理75

第六节命题逻辑的定理75

二、常用的定理76

三、常见的形式谬误94

思考练习题（九）96

第三章直言逻辑（一）99

第一节概念、语词、词项99

一、什么是概念99

二、概念与语词100

三、词项及其特征101

四、集合、元素103

思考练习题（十）106

第二节词项的种类107

一、普遍词项、单独词项、空词项108

二、关系词项、非关系词项109

三、正词项、负词项112

思考练习题（十一）114

第三节词项间的关系115

一、基本关系116

二、复合关系119

思考练习题（十二）121

一、文恩图解123

第四节词项的运算123

二、词项的运算124

思考练习题（十三）128

第五节定义130

一、什么是定义130

二、定义的种类130

思考练习题（十四）141

第四章直言逻辑（二）143

第一节直言命题143

一、什么是直言命题143

二、直言命题的种类144

三、直言命题的名词周延性问题147

思考练习题（十五）150

第二节直言命题的对当关系151

一、什么是直言命题的对当关系151

二、根据直言命题对当关系进行的推理154

三、主项为空词项的A、E、I、O之间的关系及其推理156

思考练习题（十六）157

第三节直言命题的变形推理158

一、什么是直言命题的变形推理158

二、直言命题变形推理的种类159

思考练习题（十七）162

二、三段论的格与式163

第四节三段论（上）163

一、什么是三段论163

思考练习题（十八）168

第五节三段论（下）168

一、三段论的检验168

二、三段论的语言表达形式181

思考练习题（十九）182

第五章谓词逻辑184

第一节谓词形式184

一、谓词逻辑与命题逻辑、直言逻辑184

二、个体词、谓词、量词187

三、直言命题的符号化190

四、关系命题的符号化193

五、自由变项和约束变项195

思考练习题（二十）196

第二节常真公式197

一、什么是常真公式197

二、常真蕴涵式与常真等值式200

三、常真公式的判定问题202

思考练习题（二十一）207

一、形式符号208

二、形成规则208

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

三、推理规则210

思考练习题（二十二）221

第四节谓词逻辑的定理222

思考练习题（二十三）241

第六章模态逻辑和规范逻辑243

第一节模态逻辑243

一、什么是模态逻辑243

二、模态命题与可能世界245

三、模态推理形式246

思考练习题（二十四）250

第二节规范逻辑251

一、什么是规范逻辑251

二、规范命题的特征251

三、规范推理形式253

思考练习题（二十五）257

第七章归纳逻辑259

第一节归纳与演绎259

思考练习题（二十六）263

第二节枚举推理264

一、什么是枚举推理264

二、提高枚举推理可靠性的方法267

思考练习题（二十七）268

第三节范例推理270

一、什么是范例推理270

二、范例推理的特征271

思考练习题（二十八）272

第四节穆勒五法推理272

一、求同法272

二、求异法274

三、求同求异并用法277

四、共变法278

五、剩余法280

思考练习题（二十九）282

第五节概率推理285

一、什么是概率推理285

二、逻辑概率的性质286

思考练习题（三十）287

第六节统计推理288

一、什么是统计推理288

二、统计推理的特点289

思考练习题（三十一）290

第七节类比推理291

思考练习题（三十二）295

第八节假说298

思考练习题（三十三）303

第八章论证306

第一节论证的概述306

一、什么是论证306

二、论证的组成307

三、论证与推理的关系307

四、逻辑论证与实践检验的关系308

思考练习题（三十四）309

第二节证明310

一、什么是证明310

二、证明的种类311

思考练习题（三十五）315

第三节反驳316

一、什么是反驳316

二、反驳的方法317

思考练习题（三十六）322

第四节 论证的规则和常见的谬误323

一、论题的规则与常见的谬误323

二、论据的规则与常见的谬误325

三、论证方式的规则及常见的谬误328

思考练习题（三十七）336