绪论 一个非经典逻辑的群体——哲学逻辑 1
第1章 模态和模态命题形式 5
1.1模态及其类型 5
1.2真性模态命题形式 8
1.3一些著名的模态公式 9
第2章 模态逻辑系统 11
2.1现代模态逻辑的诞生 11
2.2模态命题逻辑的语言 13
2.3极小的模态系统K 14
2.4模态系统D和T 21
2.5模态系统S4、 S5、 B 24
2.6模态归约和模态范式 31
2.7模态谓词逻辑 34
第3章 可能世界语义学基本理论 38
3.1可能世界语义理论直观思想 38
3.2可能世界语义模型 41
3.3可能世界语义理论的意义 46
第4章 模态语义图 47
4.1归谬赋值法 47
4.2模态语义图基本思想 48
4.3验证T-有效性语义图 49
4.4 验证S4-有效性语义图 56
4.5验证S5-有效性语义图 58
第5章 时态逻辑 59
5.1时态命题形式 59
5.2时间逻辑系统 60
5.3米突时态逻辑系统 65
5.4 时态逻辑语义学 67
第6章 道义逻辑 69
6.1 道义命题形式 69
6.2一元道义逻辑 70
6.3二元道义逻辑 75
6.4 道义逻辑语义学 77
第7章 认知逻辑 80
7.1认知命题形式 80
7.2知道逻辑 81
7.3信念逻辑 92
7.4断定逻辑 94
7.5知道逻辑语义学 97
7.6信念逻辑语义学 103
第8章 多主体认知逻辑系统 105
8.1多主体系统及其相关概念 105
8.2知识逻辑和它们的性质 107
8.3知识逻辑的公理系统 109
第9章 多主体完全的认知逻辑 112
9.1 M主体的认知系统 112
9.2 S5m(CDE)的语义学 118
9.3认知逻辑的发展 119
第10章 动态逻辑 120
10.1动态逻辑的缘起 120
10.2模态逻辑推广于程序推理 121
10.3程序推理的层次 122
10.4 命题动态逻辑 124
10.5一阶动态逻辑QDL 129
第11章 多值逻辑 132
11.1二值性原则突破,多值逻辑诞生 132
11.2多值逻辑系统 134
11.3弗晰逻辑和意义逻辑 142
第12章 相干逻辑 145
12.1相干逻辑的缘起和基本思想 145
12.2相干命题逻辑系统R 147
12.3相干逻辑自然演绎系统 149
12.4相干逻辑系统E 151
12.5相干逻辑语义学 154
第13章 部分逻辑 158
13.1 部分逻辑的缘起 158
13.2部分逻辑的基本概念和基本思想 161
13.3部分逻辑语义学 163
13.4 一阶部分理论 167
第14章 自由逻辑 172
14.1自由逻辑的缘起 172
14.2自由逻辑的公理系统 176
14.3自由逻辑自然演绎系统 180
14.4自由语义学 182
第15章 弗协调逻辑 194
15.1协调性和足道性 194
15.2弗协调逻辑的缘起 195
15.3构建弗协调逻辑的方法 197
15.4弗协调逻辑系统Cn 201
15.5弗协调逻辑语义学 204
第16章 直觉主义逻辑 207
16.1直觉主义逻辑的缘起和它的基本思想 207
16.2直觉主义逻辑公理系统 210
16.3直觉主义逻辑自然演绎系统 211
16.4 直觉主义逻辑语义学 216
参考文献 221