高级数理逻辑第8讲介绍.doc

模态逻辑 汉语中“模态”是英语词Modal的音译。英语词modality(模态性)源出于拉丁文modalitas，含形态、样式和形式的意思。 现代模态逻辑是现代逻辑的重要分支，它在科学和技术领域的应用越来越广泛，它的许多课题不仅受到逻辑学家的注意，而且也受到计算机科学家和计算机工程技术人员以及其他工程技术人员的关注。因此，深入研究和发展这门科学，已成为逻辑工作者的一项重要任务。 逻辑学中在两种意义上，即在狭义和广义上使用“模态”这个术语。涉及必然性，或然性（偶然性），遗传性和相容性等模态属于狭义模态。从某种观点来看，它们表达的是命题的真假强度。因此，也称为真值模态。例如：“物体间存在着引力是必然的”；“到本世纪末我国国民生产总值翻两翻是可能的”等都属于这类模态命题。我们这章的模态系统主要研究这类狭义模态性。 广义模态性是指命题本身所具有的非真值函项的（或非外延的）种种性质。广义模态词较多，除了必然、可能之外，尚有必须（应该）、允许、禁止；知道、相信、可接受、可疑、可证；曾经、总是、将是、优先、中立等。这些模态词分别是道义逻辑，认识逻辑，时态逻辑，和价值逻辑研究的对象。还有希望、需要等尚未深入研究的模态词。其例子为：“宇宙间存在着黑洞是可信的”；“在商品生产的社会中价值规律起着重要作用是众所周知的”；“子女赡养扶助父母是应该的”；“世界上还存在着野人是可疑的”等。 在这章，我们将讨论一些模态命题逻辑的系统，但首先将给出现代模态系统所要表达的某些模态概念的一般叙述。 模态逻辑介绍 本章主要来介绍模态逻辑系统基本概念，然后，具体介绍命题模态逻辑和一阶谓词模态逻辑。Modal logic 模态逻辑引入 逻辑系统的发展从命题逻辑发展到了一阶谓词逻辑，主要是因为命题逻辑系统的描述能力有限。模态逻辑的出现同样是为了扩充一阶谓词逻辑和命题逻辑的描述能力。 1、命题逻辑的缺陷：命题逻辑的原子命题不能细化，层次太高，而不能完全描述世界； 例：所有实数的平方是非负的； -是实数； -的平方是非负的； 一阶谓词逻辑，利用谓词，函词和量词来解决这样的问题； 2、命题逻辑和一阶谓词逻辑的缺陷：这两种逻辑都不能描述有时间概念的变化。任何一个命题都有一个适用的场合的问题； 例命题A：汽车是一个必备的生活工具； 中国：假；美国：真－古代假，现代真；新加坡：假； 例如命题B：1＋1＝2 命题B在任何时间和任何地点都是成立的，不像命题A只能在一定的时间和场合那成立。 因此，可以看出命题是否成立是与其所在的时间和场合有不同的关系。为了表示这种时间与场合上的概念，我们引入了模态逻辑来描述这样的概念。 A命题的真假与场合有关；A在不同场合的值不同；因此，对于命题A是否是真成立是不好确定。为了解决这样的问题，对于在某些场合成立的命题，规定为可能真的；除此之外，对于在所有场合为真的命题，我们规定为必然真的。{w1,w2…} 为了解决这样命题的描述问题，在模态逻辑中，引入了对必然和可能的描述。 可能：◇A，表示命题A，至少有一个可以实现的场合中，成立。 必然：□A，表示命题A，在所有能够实现的场合中，成立。 3、模态逻辑的实质 命题逻辑和一阶谓词逻辑的推广 对命题逻辑和一阶谓词逻辑，引入了两个符号－模态词； 引入的模态词类似于量词 在不同场合中，分别是一阶谓词逻辑和命题逻辑； 场合之间的关系 场合从目前所处的场合是否可以实现（达到）； 模态词□A：表示在当前场合到以后可以达到的场合中都是成立的； 模态词◇A：表示从当前场合到以后可以达到的场合中，至少有一个是成立的。 与场合之间关系有着密切的联系。 场合与现实之间的关系 程序设计中的模块可以是不同的场合 时间段也可以是不同的场合 这些不同的场合在模态逻辑中，成为可能世界 基本模态概念 在真命题中，我们可以区分出那些仅仅偶尔(happen)是真的命题和那些必然(bound)是真的（或不可能是假的）命题。同样，在假命题中，我们也可以区分出那些偶尔是假的命题和那些必然(bound)是假的（或不可能是真的）命题。一个必然是真的命题我们称之为必真(necessary true)命题，或必然真理(necessary truth)，或简单的说是必然（necessary）命题；(impossible )命题；而既非必然又非不可能的命题则称为偶然(contingent)命题。当然某些偶然命题将是真的，某些偶然命题将是假的。如果一个命题不是不可能的，则称为可能(possible)命题。这里的“可能”并不意味着“仅仅可能（merely possible）”，如果说p是仅仅可能的，则意指尽管它可能已经是真的，但它实质上是假的。在我们的意义下，可能命题包含着所有的真命题（更不必说包含着所有的必然命题）。事实上，它们包含着除不可能命题以外的所有