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