现代逻辑的发展PDF电子书下载

前言 1

第一部分 数理逻辑的形成和发展 2

第一章 数理逻辑的早期发展 2

一、莱布尼兹的贡献 2

二、布尔的逻辑代数 12

三、其他逻辑学家的贡献 20

第二章 决定数理逻辑现代发展的主要因素 29

一、非欧几何的建立 29

二、公理化方法的现代发展 32

三、分析的严格化及数学的算术化 36

四、康托的集合理论 40

第三章 逻辑演算 47

一、弗雷格的《概念语言》 47

二、皮亚诺的贡献 53

三、命题演算系统和一阶谓词演算系统 56

第四章 数学的“逻辑化”及公理化集合论的研究 73

一、逻辑主义的数学基础研究 73

二、公理化集合论 88

第五章 直觉主义及希尔伯特的数学基础研究 94

一、直觉主义的数学基础研究 95

二、希尔伯特的数学基础研究 107

第六章 数理逻辑的新发展 116

一、哥德尔的贡献 116

二、句法与语义的区分及模型论的研究 128

三、数理逻辑的内容、性质和特点 134

第二部分 哲学逻辑的研究 141

第七章 模态逻辑 141

一、模态逻辑的句法学 141

二、模态逻辑的语义学 155

第八章 时态逻辑和道义逻辑 168

一、时态逻辑 168

二、道义逻辑 188

第九章 多值逻辑 199

一、三值逻辑的研究 199

二、n值逻辑 216

三、其它方面的研究 228

第十章 模糊逻辑 236

一、模糊集合论初步 236

二、模糊逻辑 249

第十一章 辩证逻辑和不协调逻辑 274

一、辩证逻辑的研究 274

二、不协调逻辑 291

结束语 现代逻辑发展的一般特点 307

一、现代逻辑发展的一般特点 307

二、逻辑学的研究对象和性质 312