模态逻辑发展历史概述.PDF

第 11 卷 第2 期 燕山大学学报 （哲学社会科学版） Vol. 11 No. 2 20 10 年6 月 Journal of Yanshan University (Philosophy and Social Science Edition) Jun. 2010 模态逻辑发展历史概述 董英东 （南开大学哲学系，天津300071） [ ] 摘 要 在模态逻辑的发展过程中，区分出三个阶段是非常有用的：语形时期、经典时期 和现代时期，在此所介绍的大部思想都来源于经典时期。语形时期最主要的特点是只注重语 形，其基本任务是证明不同的定理，不足之处是缺乏必要的自然语义解释。经典时期的最大 特点是发展了关系语义，关系语义指的是框架，模型，可满足性和有效性等概念，同时还包 括在可能世界中引入了程序。现代时期的开始主要取决于两种因素：框架不完全结果的发现 和在理论计算机科学中对模态语言的应用，这些因素深刻地影响了模态逻辑的进程并且直到 今天继续影响着它的发展。模态逻辑是非常有用的工具。 [ ] 关键词 模态逻辑；语形时期；经典时期；现代时期 [ ] [ ] [ ] ( ) 中图分类号 B815.1 文献标识码 A 文章编号 1009-2692 2010 02-0133-06 在现代逻辑的发展过程中，模态逻辑起到了非 I （它是不可能的）来扩充命题演算，并且定义了 常重要的作用。模态逻辑的发展主要经历了三个分 二元的模态 p （严格蕴含 ）应该是I ( ∧¬ ) 。 期，即语形时期，经典时期和现代时期。 严格蕴含的目的是为了刻画逻辑衍推的概念，刘易 斯提出了基于 p 的公理系统。刘易斯和兰福德 一、语形时期 （1918—1959） [ ] ( ) 4 Langford 合著的 《符号逻辑》 ，在 1932 年出 ( ) 版，对刘易斯的思想作了进一步的发展。在书中◇ 刘易斯 C. I. Lewis 在 1918 年出版了 《符 [ ] 1 (它是可能的）是一个初始模态算子，并且 p 定义 号逻辑概论》 ，标志着模态逻辑语形时期的开始， ( ) 刘易斯最初并没有明确地提出模态推理，事实上， 为¬ ◇ ∧¬ 。书中讨论了五个逐渐增强的公理系 最初他甚至并没有构造出符号系统。为此，麦科尔