思维的镜子 现代逻辑概述PDF电子书下载

目录 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