一、什么是哲学逻辑？ 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的语义学 1 76
4．模态谓词逻辑系统 90
三、道义逻辑 95
1．道义逻辑的由来 95
2.1 道义逻辑和模态逻辑 99
2．一元道义逻辑系统OT*、OS4*、OS5 99
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、CMORS50 142
4.3 CMORT0、CMORS40、CMORS的语义学 146
4.4 道义悖论的免除 149
5．道义逻辑的发展所面临的问题 156
四、时态逻辑 160
1．时态逻辑概况 160
1.1 时态逻辑简史 160
1.2 时态命题的符号表示 163
1.3 时态命题逻辑诸系统 167
2．极小时态逻辑Kt 170
2.1 Kt的构造 170
2.2 Kt的导出规则和定理 172
2.4 Kt为什么是极小系统？ 180
3．线性时态逻辑 182
3.1 线性时态逻辑CL 184
3.2 无端点线性时态逻辑SL 187
3.3 稠密无端点线性时态逻辑PL 189
3.4 离散线性时态逻辑 192
3.5 循环时态逻辑PCr 193
4．枝形时态逻辑 197
4.1 枝形时态逻辑CR 197
4.2 枝形时态逻辑Kb 199
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