现代逻辑视域下的哲学逻辑研究2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

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

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

绪论 一个非经典逻辑的群体——哲学逻辑1

第1章 模态和模态命题形式5

1.1模态及其类型5

1.2真性模态命题形式8

1.3一些著名的模态公式9

第2章 模态逻辑系统11

2.1现代模态逻辑的诞生11

2.2模态命题逻辑的语言13

2.3极小的模态系统K14

2.4模态系统D和T21

2.5模态系统S4、 S5、 B24

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一阶动态逻辑QDL129

第11章 多值逻辑132

11.1二值性原则突破，多值逻辑诞生132

11.2多值逻辑系统134

11.3弗晰逻辑和意义逻辑142

第12章 相干逻辑145

12.1相干逻辑的缘起和基本思想145

12.2相干命题逻辑系统R147

12.3相干逻辑自然演绎系统149

12.4相干逻辑系统E151

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弗协调逻辑系统Cn201

15.5弗协调逻辑语义学204

第16章 直觉主义逻辑207

16.1直觉主义逻辑的缘起和它的基本思想207

16.2直觉主义逻辑公理系统210

16.3直觉主义逻辑自然演绎系统211

16.4 直觉主义逻辑语义学216

参考文献221