正规多模态逻辑因其强大的刻画能力及解题功能,一直处于多模态逻辑研究的主体地位。本书从“模态算子交互作用公理模式”这一崭新视角出发,系统研究了正规多模态逻辑的一般系统及其在哲学中的应用。主要包括:多模态逻辑的研究动因和研究现状、正规多模态逻辑的形式系统和语义、正规多模态逻辑系统的元理论以及多模态逻辑在哲学研究中的工具性作用。
样章试读
目录
- 目录
前言
第一章 导论1
第一节 多模态逻辑概述1
第二节 多模态逻辑的主要研究内容9
第三节 多模态逻辑的研究现状19
第四节 本书结构与主要工作38
第二章 正规多模态逻辑的形式系统43
第一节 多模态语言43
第二节 公理系统和公理模式59
第三节 多模态逻辑的公理化与可分离性76
第三章 正规多模态逻辑的语义84
第一节 语义基础 —可能世界语义学84
第二节 语义工具 —二元关系理论94
第三节 多模态逻辑的框架及模型102
第四章 正规多模态逻辑的对应性110
第一节 对应问题概述110
第二节 正规多模态逻辑系统的对应性115
第三节 关系方程表述的对应性121
第五章 正规多模态逻辑的决定性129
第一节 决定性问题概述129
第二节 典范多关系模型132
第三节 Sahlqvist系统及其特例的决定性136
第四节 基于决定性的多模态逻辑系统的分离标准146
第六章 正规多模态逻辑的可判定性149
第一节 可判定性问题概述149
第二节 过滤150
第三节 基于有穷模型性质的可判定性159
第七章 正规多模态逻辑的哲学应用164
第一节 哲学概念的相互定义165
第二节 哲学概念的相互作用175
第三节 哲学讨论中的多模态逻辑系统178
参考文献186