现代逻辑视域下的哲学逻辑研究PDF电子书下载

绪论 一个非经典逻辑的群体——哲学逻辑 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