设为首页 - 加入收藏
广告 1000x90
您的当前位置:论文网 > 哲学论文 > 逻辑学 > 正文

多模态逻辑的研究动因及意义

来源:[db:来源] 编辑:admin 时间:2017-11-03

  传统模态逻辑多为单模态逻辑,即在同一系统内只考虑一种模态算子( 如时间、知识、程序等) ,很少尝试着在同一模态系统内同时考虑多种模态算子。而随着模态逻辑在人工智能、计算科学等领域的发展,人们开始思考这样的问题: 是否可以在同一逻辑系统内处理必然、时间、知识、义务、程序等多种模态算子? 基于这样的考虑,逻辑学家开始尝试构造多模态逻辑系统。多模态逻辑系统是指包含两种或两种以上模态算子的模态逻辑系统,并且模态算子之间不可规约。本文拟从多模态逻辑的产生背景、研究动因、概念界定出发,阐明研究多模态逻辑的理论和现实意义。

  一、多模态逻辑的产生背景

  模态逻辑,从狭义上讲,是研究“必然”和“可能”的逻辑。从现代意义上讲,模态逻辑为研究这些概念提供了一个框架。在形式逻辑的背景下,除了可以明确地使用模态算子对这些概念进行表述以外,还可以研究这些概念的内涵和逻辑关系。同时,在语义学( 如克里普克语义学) 背景下,可以研究这些概念的外延。模态逻辑的这些特性使其成为语言学、哲学、数理逻辑的交汇点。

  从语言学的角度而言,不能简单地将模态逻辑看作是亚里士多德所谓的关于“可能”和“必然”的逻辑,而将其看作是关于“模态的逻辑”的研究则更为合理。从一般意义上讲,模态逻辑是关于模态概念的研究。自然语言是十分丰富的,各种模态概念的存在也使得模态逻辑的研究对象更为充盈。其中,比较有代表性的例子有真势模态、时态模态、道义模态、认识论模态等。

  鉴于在自然语言中存在着多种模态概念,模态逻辑的研究对象也不再局限于单一种类的模态。不同种类的模态在不同领域内的作用也使得它们成为模态逻辑必不可少的研究对象。相对于传统模态逻辑的“标准”定义而言,多模态逻辑扩展了传统模态逻辑的研究范围。对不同种类模态的研究可以构建不同的模态逻辑系统,为不同种类的模态构建一个通用的研究框架,使得各种类型的模态逻辑在这一框架下既可以保持自身的独立性,又可以具备统一的形式化规则,这才是模态逻辑的研究目标。对不同模态的研究可以获得不同的模态理论,如真势逻辑、时态逻辑、道义逻辑、认知逻辑、动态逻辑等。此外,从另一角度来看,模态逻辑还是一种数学理论,可以用来表示上述不同模态理论之间共有的功能和概念。

  模态逻辑已被广泛研究了许多年,但在某种程度上,这一理论的发展并不均衡。从历史的角度来看,刘易斯( C. I. Lewis) “复兴”了模态逻辑,从此模态逻辑作为一个独立的形式逻辑的分支开始发展,由普莱尔( A. N. Prior) 、冯. 赖特( G. H. von Wright) 和辛迪卡( J. Hintikka) 分别建立的时态逻辑、道义逻辑、认知逻辑也随后发展起来。此后,在理论计算机科学的背景下,出现了动态逻辑及相关研究。

上一篇:应用逻辑:逻辑学的未来方向
下一篇:没有了

相关推荐:



中教数据库 www.yxlww.cn

中教数据库 版权所有 京ICP备12007566号-2

Top