新编逻辑教程PDF电子书下载

目 录第一章导论 1

第一节形式逻辑的对象 1

一、逻辑学的门类 1

四、形式词项、非形式词项（11 3

二、形式逻辑的对象 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