《现代逻辑的发展》

前言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