多模态逻辑基础理论研究的基本问题

赵贤　胡小伟

摘 要：多模态逻辑是关于“包含多种模态的逻辑”的研究，它的系统内包含两种或两种以上模态算子.并且算子间不可归约。多模态逻辑旨在为研究多种类型的模态提供统一的形式框架，其基础理论是模态逻辑理论体系的重要组成部分。多模态算子及其表述、多模态逻辑的研究视角、多模态逻辑系统的分离性以及多模态逻辑的语义选择是多模态逻辑基础理论研究的基本问题，上述问题的澄清与解决将有助于多模态逻辑理论的进一步发展。

关键词：多模态;模态算子;公理模式;分离性;语义

中图分类号：B8105

文献标识码：A

文章编号：1005-6378（2019）02-0038-05

DOI：10.3969，/j.issn.1005-6378.2019.02.006

真势的、时态的、道义的、认识论的、动态的……模态的存在导致了不同模态逻辑理论的产生，这一直是20世纪50年代末至今模态逻辑学家研究的主题。但是，这些不同模态逻辑系统的研究和发展都是相对独立的，即对于不同类型模态的研究都是相对独立的，除了少数人的工作之外，很少有人在一个逻辑框架（系统）内同时对几种不同模态进行研究。20世纪70年代，著名计算机科学家、数理逻辑学家、图灵奖得主斯科特（Scott D）指出：“我所认为的模态逻辑研究中出现的最大的错误之一就是仅仅关注于包含一个模态的系统的研究。想要获得关于道义逻辑或认知逻辑一些哲学意义上的成果的唯一途径就是将它们的算子与时态算子相结合（否则如何制定变化原则），或与真值算子相结合（否则如何区分相对和绝对），或者与类似历史或物理必然性的算子相结合（否则如何将理性人与具体的环境相结合），等等”[1]。