《哲学逻辑研究》

前言页1

前言1

第1章 一阶逻辑1

1 命题逻辑的证明方法2

2 不用联结词和量词的一阶逻辑系统25

3 一阶逻辑的公理系统55

第2章 模态逻辑69

1 模态系统71

2 正规模态系统84

3 模态谓词逻辑109

第3章 时态逻辑120

1 语言122

2 解释125

3 形式系统129

4 时态逻辑的完全性146

5 禁对称性和完全性152

6 判定问题158

7 带量词的时态逻辑165

8 时态逻辑与模态逻辑169

9 其他时态词176

第4章 条件句逻辑181

1 形式系统185

2 邻域模型论192

3 关系模型论199

4 球形系统模型论209

5 择类函数模型论218

6 诸语义之比较223

5 量化条件句逻辑232

第5章 多值逻辑243

1 卢卡西维兹的三值逻辑244

2 布奇瓦尔的三值逻辑247

3 克利尼的三值逻辑250

4 卢卡西维兹的m+1值逻辑253

5 卢卡西维兹的无穷值逻辑254

6 后承关系256

7 演算262

8 多值谓词逻辑273

9 波斯特代数280

第6章 相干逻辑289

1 纯相干蕴涵部分292

2 相干命题逻辑311

3 相干命题逻辑的关系语义335

第7章 直觉主义逻辑351

1 直觉主义命题逻辑356

2 直觉主义谓词逻辑366

3 克里普克语义374

4 完全性386

第8章 弗协调逻辑394

1 弗协调命题逻辑396

2 弗协调模态命题逻辑430

3 弗协调时态命题逻辑447

第9章 哥德尔不完全性定理462

1 形式算术464

2 递归函数471

3 算术化481

4 数字可表示性485

5 哥德尔不全性定理491