《思维的镜子 现代逻辑概述》求取 ⇩

目录1

1绪论1

逻辑的主题1

逻辑的地位和作用3

现代逻辑的鸟瞰和特征7

2数理逻辑的构想和布尔代数的创立10

近代科学精神的氛围10

笛卡尔11

莱布尼茨14

布尔18

3世纪之交的数学背景20

逻辑和数学已站在新纪元的入口20

从欧氏几何到非欧几何21

罗素悖论和第三次数学危机23

4现代数理逻辑的创建和数理逻辑三大派26

弗雷格26

罗素和逻辑主义29

布劳维和直觉主义33

希尔伯特和形式主义38

5哥德尔和塔斯基开创的新时代44

哥德尔和不完全性定理45

塔斯基和语义真理论48

6现代分析哲学运动中的两位逻辑大师55

维特根斯坦55

卡尔纳普61

幕间64

7数理逻辑66

命题逻辑67

谓词逻辑71

逻辑形式公理系统是否必需和自然推理方法的提出75

模态的多元化80

8模态逻辑80

亚里士多德的模态理论81

现代模态逻辑的兴起83

模态命题系统87

是否存在模态谓词逻辑？90

模态逻辑的语义解释93

9关联逻辑96

关联蕴涵96

关联逻辑系统97

衍推和严格蕴涵100

道义逻辑的兴起103

10道义逻辑103

道义命题的逻辑特征和逻辑关系106

普赖尔的“义务悖论”和冯莱特的解决方案109

道义世界同事实世界的关系111

11时态逻辑113

古代对时间语句的研究和现代时态逻辑的两个方向113

奎因关于时态语句的整编114

普赖尔的时态逻辑116

奎因和普赖尔工作的比较118

时态和真值模态119

时态逻辑的意义120

12多值逻辑123

多值逻辑的历史渊源和兴起123

多值逻辑系统126

多值逻辑的语义解释131

多值逻辑的应用133

13量子逻辑136

量子力学和非决定论136

量子逻辑的几种方案138

量子逻辑同古典逻辑的区别141

弗晰逻辑的产生背景和发展简况143

14弗晰逻辑143

不确定性和弗晰逻辑的对象145

弗晰逻辑的基本内容147

弗晰逻辑的意义和若干理论问题151

15概率逻辑154

归纳问题154

概率逻辑的两个技术手段157

莱辛巴哈的频率概率观159

卡尔纳普的逻辑概率观162

16元逻辑166

元逻辑的缘兴166

逻辑和元逻辑171

元逻辑的主要内容173

17逻辑哲学179

哲学的逻辑化和逻辑的哲学化179

逻辑哲学同哲学逻辑、元逻辑的区别183

逻辑哲学的主要问题185

18结语190

附录192

常见逻辑系统的符号表示法192

主要参考文献193

人名索引196

术语索引201