哲学逻辑研究PDF电子书下载

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