通识逻辑学PDF电子书下载

上编　逻辑观 3

第一章 引论 3

第一节　逻辑、思维和语言 3

第二节　逻辑学的对象和性质 6

第三节　学习逻辑学的意义和方法 12

第二章　思维形式 22

第一节　概念 22

第二节　判断 30

第三节　推理 39

第四节　论证 47

第三章　思维规律 58

第一节　概述 58

第二节　同一律 62

第三节　矛盾律 64

第四节　排中律 67

第五节　充足理由律 70

第四章　思维方法 75

第一节　明确概念的逻辑方法 75

第二节　探求因果联系的逻辑方法 79

第三节　假说演绎法 84

第四节　形式化方法 86

第五章　逻辑谬误 92

第一节　逻辑谬误概述 92

第二节　形式谬误 93

第三节　非形式谬误 95

第六章　批判性思维 102

第一节　什么是批判性思维 102

第二节　批判性思维的目的、作用和意义 105

第三节　批判性思维的培养和训练 110

中编　传统逻辑 117

第七章　简单判断 117

第一节　性质判断 117

第二节　关系判断 125

第八章　复合判断 129

第一节　复合判断概述 129

第二节　联言判断 131

第三节　选言判断 133

第四节　假言判断 137

第五节　负判断 142

第六节　多重复合判断 143

第九章　简单判断的推理 148

第一节　性质判断直接推理 148

第二节　性质判断间接推理——直言三段论 153

第三节　关系判断的推理 166

第四节　文恩图解法 169

第十章　复合判断的推理 179

第一节　联言推理 179

第二节　选言推理 180

第三节　假言推理 182

第四节　负判断推理 186

第五节　复合判断的综合推理 188

第十一章　模态判断及其推理 195

第一节　模态判断 195

第二节　模态推理 199

第三节　规范判断 201

第四节　规范推理 205

第十二章　归纳推理和类比推理 212

第一节　归纳推理 212

第二节　类比推理 216

下编　现代逻辑 225

第十三章　命题逻辑基础 225

第一节　真值联结词、真值形式、真值函项 225

第二节　重言式及其判定方法 230

第三节　代入、分离、置换 236

第四节　真值树方法 239

第五节　求否定运算、求对偶运算 246

第十四章　命题演算 250

第一节　范式、优范式 250

第二节　自然推理系统PN 256

第十五章　谓词逻辑基础 267

第一节　谓词、谓词公式 267

第二节　简单命题的符号化 271

第三节　模型和赋值、普通有效式 276

第四节　置换、代入、易字 279

第五节　判定问题、一阶树方法 281

第十六章　谓词演算 286

第一节　前束范式 286

第二节 自然推理系统QN 288

参考文献 296