(逻辑学课程课件）第六篇 章模态逻辑.pptVIP

第六章　模态逻辑;第一节　模态逻辑概述;二、模态的种类;客观模态;2. 逻辑模态和非逻辑模态;四、模态命题形式;五、模态逻辑的范围;第二节、模态命题及其推理;基本模态命题;二、复合模态命题和叠置模态命题;　　【叠置模态命题】是指对一个已含有模态词的命题再加上模态词。例如：;三、基本模态命题之间的对当关系;图：模态方阵图;四、基本模态命题推理;　　在上述16个推理形式中，（1）、（3）、（5）、（6）、（7）可以被看成是 最基本的。这些公式都被作为现代模态命题逻辑系统的特征公理或重要定理。;关于蕴涵式（5）、（6）、（7）;五、复合模态命题推理和叠置模态命题推理;（?（p?q） ? ??q） ? ? ? p;（?（p ? q） ? （ ? q ? ? p ）;◇（p ? q） ? （ ◇ q ? ◇ p ）;◇p ? ? ◇ p;六、直言模态对当关系推理;直言模态命题;直言模态阵图;?SAP;?SAP;?SAP;?SAP;七、模态命题的真值条件;八、模态三段论;　　（1）两个都是必然前提。 　　例如： 　　一切绿色植物必然要进行光合作用。 　　海藻类必然是绿色植物。 　　所以，海藻类必然要进行光合作用。 　　这是由两个必然前提组成的模态三段论的第一格AAA式，其形式是： 　　所有的M必然是P。 　　所有S必然是M。 　　所以，所有S必然是P。 　　两个前提都为必然所形成的三段论与两个前提都为实然所形成的三段论是 一样的，得结论和不得结论的情况也都相同。其惟一的区别就在于前者的结论 要加上“必然”这个模态词。;　　（2）一个必然前提，一个实然前提。 　　例如： 　　所有的马必然不会爬树。 　　所有的猴子都会爬树。 　　所以，所有的猴子必然不是马。 　　这是由一个必然前提、一个实然前提组成的模态三段论的第二格EAE式。;　　（3）一个必然前提，一个可能前提。 　　例如： 　　有些鸟必然不会飞。 　　所有鸟可能都是有翅膀的动物。 　　所以，有些有翅膀的动物可能不会飞。 　　这是由一个必然前提、一个可能前提组成的模态三段论的第三格OAO式。;　　（4）一个实然前提，一个可能前提。 　　例如： 　　所有人都是用肺呼吸者。 　　所有用肺呼吸者可能是吸入有??气体者。 　　所以，有吸入有害气体者可能是人。 　　这是由一个实然前提、一个可能前提组成的模态三段论的第四格AAI式。;　　（5）两个都是可能前提。 　　例如： 　　洪涝灾害可能使庄稼歉收。 　　今年可能有洪涝灾害。 　　所以，今年庄稼可能歉收。 　　这是由两个可能前提组成的模态三段论的第一格AAA式。;结论从弱原则;　　但结论从弱原则有例外情况存在，即在某些情形下不适用。当前提是由必然命题 和实然命题构成时，就有以下例外情况： 　　（1）当大前提是必然命题而小前提是肯定的实然命题时，结论可以是必然命题。 　　例如：一切违背科学的东西必然要被抛弃。 　　　　　迷信是违背科学的东西。 　　　　　所以，迷信必然要被抛弃。 　　（2）当小前提是必然否定命题时，尽管大前提是实然命题，结论仍可以是必然 命题。 　　例如：所有的水都是液体。 　　　　　所有的液体必然不是刚体。 　　　　　所以，所有的刚体必然不是水。;判定一个模态三段论是否有效的规则;第三节、道义命题及其推理;道义词;道义模态命题的种类;　　上述6种道义命题形式中，禁止命题与必须命题、禁止命题与允许命题之间 存在着如下的等价关系： 　　Fp?O?p，即“禁止p”等价于“必须非p”。 　　F?p ?Op，即“禁止非p”等价于“必须p”。 　　Fp??Pp，即“禁止p”等价于“不允许p”。 　　F?p ? ?P?p，即“禁止非p”等价于“不允许非p”。 　　禁止做某种事情的意思，就是必须不做某种事情，也就是不允许做某种事 情；禁止不做某种事情的意思，就是必须做某种事情，也就是不允许不做某种 事情。 　　因此，6种基本道义命题可以归结为4种基本道义命题，即Op、O ?p、Pp、 P?p。;二、复合道义命题及其符号化;三、基本道义命题推理;根据矛盾关系;四、复合道义命题推理;（3）P（p?q） ?（Pp ? Pq）;（7）（Op?Oq）?O（p ? q）;（10）Op ?O（p ?q）;五、道义命题的真值条件