第五章 模命题及其推理.docVIP

第五章 模态命题及其推理 “模态”一词是英文“modal”的音译，原意为“样式的”，“情态的”。模态逻辑是研究包含模态词“必然”、“可能”的模态命题及其推理的科学。模态逻辑历史很悠久，早在两千多年前，亚里士多德就对模态命题做过许多讨论，研究了模态词和模态三段论，但在很长一段时间里模态逻辑的价值被忽略了，因而模态逻辑基本上没有得到发展。直到本世纪初，美国逻辑学家Lewis用数理逻辑的方法和观点对模态逻辑作了系统的研究，这才使模态逻辑的发展进入了一个崭新的时期。 Lewis是由对蕴涵的讨论转而研究模态逻辑的。Russell把p→q定义为﹃p∨q，即只要p假或q真，p→q就为真，这就是所谓实质蕴涵。按照实质蕴涵的定义就出现了一些蕴涵怪论，如： （1） p→（q→p）； （2） ﹁→（p→q）； （3）（p→q）∨（q→p） 这几个定理分别说明了： （1）任一命题q蕴涵真命题p。 （2）假命题p蕴涵任一命题q。 （3）任何两个命题p与q，不是p蕴涵q，就是q蕴涵p。 这些怪论的出现引起了逻辑学界的一些争论，有人试图定义新的蕴涵词来代替实质蕴涵，Lewis就是其中最有名的一个。他提出把蕴涵“如果p，那么q”定义为“不可能（p∧﹁ 1、可能命题 可能命题就是陈述事物情况的可能性的命题。在自然语言中，通常用“可能”、“或许”、“也许”、“大概”等语词作为它的模态词。可能命题又分为两种：