模态逻辑是现代逻辑研究的重要领域,多模态逻辑则是模态逻辑研究的前沿领域。多模态逻辑是包含两种或两种以上模态算子的模态逻辑系统,且算子之间不可规约,它是模态逻辑的重要组成部分。本书以模态交互作用公理为视角,构建了多模态逻辑一般系统,为形式化研究各种类型的模态提供了一般的逻辑框架;证明了多模态逻辑一般系统的完全性、对应性、可判定性等元逻辑问题的一般性结论;揭示了多模态逻辑的哲学背景及其解题功能,论述了多模态逻辑在哲学中的应用价值。
更多科学出版社服务,请扫码获取。
学术论文"多模态逻辑的研究动因及意义"获河北省第十五届社会科学优秀成果三等奖(排名第一),参与完成项目"达米特与戴维森语言哲学思想比较研究"获河北省第九届社会科学基金项目优秀成果三等奖(排名第二)。主持完成项目"多模态逻辑及其应用功能研究"获保定市第二届哲学社会科学规划课题优秀成果一等奖(排名第一)。
目录
前言
第一章 导论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