高级数理逻辑第8讲技术分析.doc

模态逻辑 汉语中“模态”是英语词Modal的音译。英语词modality(模态性)源出于拉丁文modalitas，含形态、样式和形式的意思。 现代模态逻辑是现代逻辑的重要分支，它在科学和技术领域的应用越来越广泛，它的许多课题不仅受到逻辑学家的注意，而且也受到计算机科学家和计算机工程技术人员以及其他工程技术人员的关注。因此，深入研究和发展这门科学，已成为逻辑工作者的一项重要任务。 逻辑学中在两种意义上，即在狭义和广义上使用“模态”这个术语。涉及必然性，或然性（偶然性），遗传性和相容性等模态属于狭义模态。从某种观点来看，它们表达的是命题的真假强度。因此，也称为真值模态。例如：“物体间存在着引力是必然的”；“到本世纪末我国国民生产总值翻两翻是可能的”等都属于这类模态命题。我们这章的模态系统主要研究这类狭义模态性。 广义模态性是指命题本身所具有的非真值函项的（或非外延的）种种性质。广义模态词较多，除了必然、可能之外，尚有必须（应该）、允许、禁止；知道、相信、可接受、可疑、可证；曾经、总是、将是、优先、中立等。这些模态词分别是道义逻辑，认识逻辑，时态逻辑，和价值逻辑研究的对象。还有希望、需要等尚未深入研究的模态词。其例子为：“宇宙间存在着黑洞是可信的”；“在商品生产的社会中价值规律起着重要作用是众所周知的”；“子女赡养扶助父母是应该的”；“世界上还存在着野人是可疑的”等。 在这章，我们将讨论