逻辑学教程PDF电子书下载

目录 1

第一章　绪论 1

§1　逻辑的研究对象 1

§2　逻辑的作用 10

§3　逻辑发展简史 15

第二章　非形式的命题逻辑 20

§1　命题和联结词 20

§2　真值表方法　真值函数 26

§3　真值函数可定义性 联结词的完全性与独立性 31

§4　重言式的逻辑分析 36

§5　推理的有效性重言后承 40

§6　范式 46

练习题 57

第三章　命题演算 60

§1　形式系统概述 60

§2　命题演算系统P的结构 65

§3　P的内定理的证明 68

§4　演绎定理及其应用 75

§5　P的定义式定理 84

§6　P的元理论 93

§7　命题演算自然推理系统PN 101

练习题 107

第四章　传统谓词逻辑 111

§1　概念 112

§2　性质命题 119

§3　性质命题直接推理 127

§4　三段论 132

练习题 141

第五章　非形式的一阶谓词逻辑 144

§1　从传统谓词逻辑到现代谓词逻辑 144

§2　命题的一阶谓词逻辑分析 148

§3　一阶谓词语言L1的语法和语义 157

§4　代入和字母变易 165

§5　前束范式 172

练习题 178

第六章　一阶谓词演算 181

§1　一阶谓词演算系统F的构成 181

§2　F的导出规则 184

§3　演绎定理及其应用 196

§4　F的元理论 200

§5 带等词的一阶谓词演算系统F′ 204

练习题 210

§1　模态逻辑概述 212

第七章　模态逻辑 212

§2　非形式的模态命题逻辑 216

§3　模态命题演算公理系统 221

§4 能世界语义学 231

§5　模态命题逻辑元理论 236

§6　模态谓词逻辑 240

练习题 245

§1　归纳逻辑概述 248

第八章　归纳逻辑 248

§2　枚举归纳推理 253

§3　科学归纳推理与典型归纳推理 256

§4　求因果联系归纳推理 260

§5　类比推理 268

§6　概率推理 270

§7　统计推理 276

练习题 281

第九章　语用逻辑 286

§1　语境 286

§2　言语行为 295

§3　隐涵 305

§4　预设 312

练习题 325

主要参考书目 328

后记 330