《哲学逻辑》求取 ⇩

一、什么是哲学逻辑？1

1．哲学逻辑的兴起1

2．哲学逻辑的特征13

3．哲学逻辑的范围20

二、模态逻辑27

1．模态逻辑简史27

2．模态命题逻辑系统33

2.1正规模态命题逻辑诸系统33

2.2 K的定理38

2.3 T、S4、S5的定理46

2.4 模态模态度不可归约的模态50

2.5 模态合取范式（MCNF）52

3．可能世界语义学55

3.1 模型真有效性55

3.2 T-模型S4-模型S5-模型59

3.3 K、T、S4、S5的可靠性和完全性63

3.4 K、T、S4、S5的判定程序70

2.3 Kt的语义学 176

4．模态谓词逻辑系统90

三、道义逻辑95

1．道义逻辑的由来95

2.1道义逻辑和模态逻辑99

2．一元道义逻辑系统OT*、OS4*、OS599

2.2 OT0、OS40、OS50的构造100

2.3 OT0、OS40、OS50的定理及其模态103

2.4 OT0、OS40、和OS50的语义学117

3．安德森常项和模态逻辑系统OT′、OS4′、OS5′123

3.1 安德森常项S和OT′、OS4′、OS5′的构造123

3.2 OT′、OS4′、OS5′的部分定理125

3.3 OT′、OS4′、OS5′的语义学130

3.4 OT′、OS4′、OS5′和OT·、OS40、OS50之关系133

4．相对道义逻辑系统136

4.1 准备步骤138

4.2 境况化道义逻辑系统CMORT0、CMORS40、CMORS50142

4.3 CMORT0、CMORS40、CMORS的语义学146

4.4 道义悖论的免除149

5．道义逻辑的发展所面临的问题156

四、时态逻辑160

1．时态逻辑概况160

1.1时态逻辑简史160

1.2 时态命题的符号表示163

1.3 时态命题逻辑诸系统167

2．极小时态逻辑Kt170

2.1 Kt的构造170

2.2 Kt的导出规则和定理172

2.4 Kt为什么是极小系统？180

3．线性时态逻辑182

3.1 线性时态逻辑CL184

3.2 无端点线性时态逻辑SL187

3.3 稠密无端点线性时态逻辑PL189

3.4 离散线性时态逻辑192

3.5 循环时态逻辑PCr193

4．枝形时态逻辑197

4.1 枝形时态逻辑CR197

4.2 枝形时态逻辑Kb199

4.3 CR和Kb之间的差异202

5．时态逻辑的发展所面临的问题206

五、优先逻辑208

1．用公理化方法构造的优先逻辑210

1.1优先逻辑的基本概念210

1.2 优先逻辑的形式演算216

1.3 关于好、坏的定义的进一步讨论221

2．用语义方法构造的优先逻辑226

2.1 好、坏与优先226

2.2 可接受性标准229

2.3 优先重言式234

2.4 限定的量化和非限定的量化236

六、内涵逻辑239

1．从外延逻辑到内涵逻辑239

1.1外延逻辑的不足239

1.2 内涵和内涵逻辑245

1.3 内涵逻辑的历程251

2．蒙塔古的内涵逻辑257

2.1 IL的符号257

2.2 IL的语义学259

2.3 IL的公理和推理规则264

2.4 IL的定理268

2.5 IL的可靠性和完全性273

后记274

参考文献275