逻辑学PDF电子书下载

绪论 1

第一节 逻辑学的研究对象和类型 1

一、逻辑学的含义 1

二、逻辑学的研究对象 1

三、逻辑学的类型 4

第二节 逻辑学的性质与学习逻辑学的作用 8

一、逻辑学的性质 8

二、学习逻辑学的作用 14

第三节 逻辑学的研究方法与学习方法 18

一、逻辑学的研究方法 18

二、逻辑学的学习方法 20

第四节 逻辑学的发展概况 22

一、逻辑学的三大传统 22

二、现代逻辑学的发展 29

三、当代中国逻辑学的普及与发展 30

第一章 传统词项逻辑 32

第一节 词项 32

一、词项概述 32

二、词项的种类 33

三、词项外延之间的关系 35

第二节 直言命题 39

一、直言命题及其逻辑结构 40

二、直言命题的分类 43

三、直言命题主项和谓项的周延性 46

四、对当方阵 47

第三节 直接推理 53

一、直接推理的特点 53

二、对当关系推理 54

三、直言命题变形推理 56

四、直言命题直接推理的检验 60

第四节 三段论 62

一、什么是三段论 62

二、三段论推理的一般规则 63

三、三段论的格及其特殊规则 67

四、三段论的式 69

五、非标准形式三段论 71

六、用文恩图解法检验三段论的有效性 73

第二章 命题逻辑 83

第一节 命题逻辑概述 83

一、句子与命题 83

二、简单命题与复合命题 85

三、推理 86

第二节 复合命题及其推理 88

一、命题联结词的真值表 89

二、复合命题推理 94

三、复合命题的逻辑等值推理 99

四、复合命题推理的综合运用 100

第三节 真值表方法 102

第三章 命题逻辑的自然演绎系统 110

第一节 证明与子证明 110

第二节 推理规则 111

一、结构规则 112

二、联结词规则 112

第三节 系统NP中的推导 118

一、合取规则的运用 118

二、蕴涵规则的运用 119

三、否定规则的运用 121

四、析取规则的运用 123

五、等值规则的运用 124

六、综合运用 126

第四节 无前提推导与演绎定理 131

第四章 谓词逻辑 139

第一节 个体词、谓词和量词 139

一、个体词 140

二、谓词 142

三、量词 144

第二节 谓词逻辑的形式语言 144

一、谓词逻辑的公式 145

二、命题的符号化 146

第三节 基本语法概念 156

一、自由变元与约束变元 156

二、代入 157

第四节 谓词逻辑语义 160

一、模型和赋值 160

二、有效公式与有效推理 165

第五章 谓词逻辑的自然演绎系统 169

第一节 谓词逻辑自然演绎系统 169

一、全称量词消去规则 169

二、全称量词引入规则 170

三、存在量词消去规则 173

四、存在量词引入规则 174

第二节 带等词的谓词逻辑自然演绎系统 182

一、等词消去规则 182

二、等词引入规则 183

第六章 传统归纳逻辑 188

第一节 归纳推理 188

一、归纳推理的定义 188

二、归纳推理的作用 190

第二节 枚举归纳推理 191

一、枚举归纳推理的定义 191

二、枚举归纳推理的作用 192

第三节 穆勒五法 193

一、求同法 193

二、求异法 195

三、求同求异并用法 197

四、共变法 199

五、剩余法 201

六、如何正确对待穆勒五法 202

第四节 类比推理 202

一、类比推理的定义 202

二、运用类比推理时应该注意的问题 203

三、模拟方法 205

第七章 现代归纳逻辑 214

第一节 概率和概率演算 214

一、概率和概率解释 214

二、概率演算 218

三、贝叶斯规则 229

第二节 统计推理 235

一、统计推理概述 235

二、统计推理的类别、形式和相关概念 238

三、统计推理的抽样问题 241

四、统计推理的应用 244

第八章 科学逻辑 257

第一节 科学方法与科学逻辑 257

第二节 科学说明与科学预测 261

一、科学说明 261

二、科学预测 263

第三节 科学假说 266

一、科学假说的基本特征 266

二、科学假说的形成 267

三、科学假说的检验 268

第四节 科学理论及其演化 271

一、假说转化为理论 271

二、科学理论的系统演化 273

三、科学悖论的形成与解决 276

第九章 论辩逻辑 285

第一节 非形式逻辑与论辩逻辑 285

第二节 论证、反驳与辩护 286

一、论证的建构与评估 286

二、反驳的建构与评估 292

三、辩护的建构与评估 293

第三节 定义与划分 293

一、明确概念的基本方法 293

二、定义的种类与评估 294

三、划分的种类与评估 296

第四节 谬误与诡辩 298

一、形式谬误与非形式谬误 298

二、非形式谬误的辨析 300

第十章 语言交际的逻辑 307

第一节 语言逻辑概述 307

一、句法学 307

二、语义学 308

三、语用学 310

第二节 言语行为理论 311

一、言语行为理论的产生与发展 311

二、语用逻辑 315

三、间接言语行为 316

第三节 言语行为与成功交际 319

一、切当性标准 319

二、成功交际的条件 321

三、间接言语行为的准则 324

第十一章 逻辑思维的基本规律 329

第一节 逻辑规律与思维规范 329

第二节 矛盾律 331

一、矛盾律的基本内容 331

二、矛盾律的规范作用 334

第三节 排中律 337

一、排中律的基本内容 337

二、排中律的规范作用 340

第四节 同一律 342

一、同一律的基本内容 342

二、同一律的规范作用 343

练习题参考答案 349

阅读文献 396

人名译名对照表 398

术语中英文对照表 400

后记 403