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

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

 1.1 模态及其类型

 1.2 真性模态命题形式

 1.3 一些著名的模态公式

第2章 模态逻辑系统

 2.1 现代模态逻辑的诞生

 2.2 模态命题逻辑的语言

 2.3 极小的模态系统K

 2.4 模态系统D和T

 2.5 模态系统S4、S5、B

 2.6 模态归约和模态范式

 2.7 模态谓词逻辑

第3章 可能世界语义学基本理论

 3.1 可能世界语义理论直观思想

 3.2 可能世界语义模型

 3.3 可能世界语义理论的意义

第4章 模态语义图

 4.1 归谬赋值法

 4.2 模态语义图基本思想

 4.3 验证T—有效性语义图

 4.4 验证S4—有效性语义图

 4.5 验证S5—有效性语义图

第5章 时态逻辑

 5.1 时态命题形式

 5.2 时间逻辑系统

 5.3 米突时态逻辑系统

 5.4 时态逻辑语义学

第6章 道义逻辑

 6.1 道义命题形式

 6.2 一元道义逻辑

 6.3 二元道义逻辑

 6.4 道义逻辑语义学

第7章 认知逻辑

 7.1 认知命题形式

 7.2 知道逻辑

 7.3 信念逻辑

 7.4 断定逻辑

 7.5 知道逻辑语义学

 7.6 信念逻辑语义学

第8章 多主体认知逻辑系统

 8.1 多主体系统及其相关概念

 8.2 知识逻辑和它们的性质

 8.3 知识逻辑的公理系统

第9章 多主体完全的认知逻辑

 9.1 M主体的认知系统

 9.2 S5m（CDE）的语义学

 9.3 认知逻辑的发展

第10章 动态逻辑

 10.1 动态逻辑的缘起

 10.2 模态逻辑推广于程序推理

 10.3 程序推理的层次

 10.4 命题动态逻辑

 10.5 一阶动态逻辑QDL

第11章 多值逻辑

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

 11.2 多值逻辑系统

 11.3 弗晰逻辑和意义逻辑

第12章 相干逻辑

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

 12.2 相干命题逻辑系统R

 12.3 相干逻辑自然演绎系统

 12.4 相干逻辑系统E

 12.5 相干逻辑语义学

第13章 部分逻辑

 13.1 部分逻辑的缘起

 13.2 部分逻辑的基本概念和基本思想

 13.3 部分逻辑语义学

 13.4 一阶部分理论

第14章 自由逻辑

 14.1 自由逻辑的缘起

 14.2 自由逻辑的公理系统

 14.3 自由逻辑自然演绎系统

 14.4 自由语义学

第1s章 弗协调逻辑

 15.1 协调性和足道性

 15.2 弗协调逻辑的缘起

 15.3 构建弗协调逻辑的方法

 15.4 弗协调逻辑系统

 15.5 弗协调逻辑语义学

第16章 直觉主义逻辑

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

 16.2 直觉主义逻辑公理系统

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

 16.4 直觉主义逻辑语义学

参考文献

高航著的《现代逻辑视域下的哲学逻辑研究》以现代逻辑为背景，以哲学逻辑的主要问题为核心，以逻辑的应用和逻辑思想史为补充，主要目标是为读者提供有关当前哲学逻辑各专题领域的基础知识，包括相关的概念、问题、方法和主要结果，甚至还包括应用。现代逻辑研究问题的一般方法和思路是：①确定研究的层次和范围；②创制足以刻画研究对象的形式语言；③建立语义，给出有效性概念；④建立形式推理的公理系统；⑤研究系统的可靠性和完全性等性质。本书的每一章内容的安排基本上是按照这一思路展开的。