大学逻辑学第7章-模态逻辑.pptVIP

（3）直观成立的推理 直观上成立的公式（5，6，7三个蕴涵式）： D公式：□p→◇p T公式：□p→p （必然性公理） T◇公式：p→◇p 直观上不成立的公式（5，6，7的逆）: Dc: ◇p→□p Tc: p→□p Tc◇: ◇p→p 直观上无法确定的公式： 4 □p→□□p B p→□◇p E ◇p→□◇p 5. 复合模态命题推理和叠置命题推理 复合模态命题推理的一些公式： [1] K公式：□(p→q)→(□p→□q) [2] (□(p→q)∧□p)→□q [3] (□(p→q)∧□?q)→□?p [4] (p?q)?□(p→q) [5] □(p→q)??◇(p∧?q) [6] □(p∧q)?(□p∧□q) [7] ◇(p∨q)?(◇p∨◇q) [8] □p∨□q→□(p∨q) [9] ◇(p∧q)→(◇p∧◇q) [10] (□(p∨q)∧□?p)→□q [11] □p→□□p [12] ◇p→□◇p [13] p→□◇p 6. 直言模态对当关系推理 □SAP □SOP □SEP □SIP ◇SAP ◇SEP ◇SIP ◇SOP 反对：两个必然全称命题之间的关系，有一对； 下反对：两个可能特称命题之间关系，有一对； 矛盾：质量模态三者都相反的命题间关系，共有四对； 从属：质相同但量与模态不同的命题之间的关系，共有10对。 必然全称蕴涵可能特称； 模态相同时，全称蕴涵特称； 量相同时，必然蕴涵可能； 必然特称不能蕴涵可能全称。 7. 真值条件--可能世界理论 （1）可能世界 凡是不违反逻辑，能够为人们所想象的情况或场合，都是“可能世界”。现实世界是可能世界中的一种。 （2）莱布尼茨的可能世界理论 一个命题必然真就是在所有可能世界中真。 一个命题可能真就是在至少一个可能世界中真。 （3）克里普克的可能世界语义学 克里普克的可能世界语义学与莱布尼茨的有三个方面的不同： 一个命题的真假是相对一个可能世界而言的，不能抽象谈论一个命题的直假； 可能世界之间发生一定的关系，即可通达关系，记作R。 因此，必然性与可能性也是相对一个可能世界而言的。 以下给出可能世界语义学的符号表示： 模型：W, R, V。其中W是全部可能世界的集合，W的元素是一个一个的可能世界wi, wj, …，即 W={ wi, wj, …}。 R是定义在可能世界W上的二元关系：两个世界wi, wj具有可通达关系，表示为wiRwj 或R（wi, wj ），读作“wi可通达 wj”。 V是一个赋值，V（a, wi）=1（0）表示在赋值V下，a在可能世界wi,中真（假）。 □ a命题在w可能世界中真的定义： V(□a, w)=1，当且仅当任给w’，若wRw’，则V(a, w’)=1。 ◇ a命题在w可能世界中真的定义： V(◇a, w)=1, 当且仅当a存在w’, 使得wRw’且V(a, w’)=1。 图示 W · · · ◇a=1 … · w’ a=1 … W · a=1 · a=1 · a=1 □a=1 … … （4）模态公式的有效性 模态公式有效性可分为三种：有效、非有效但可满足、不可满足的 可满足：一个模态公式a在某个模型中的某个可能世界wi中真，称a在该模型中可满足。 有效：如果a在某个模型的所有可能世界中为真，则称a在该模型中有效。 如果a在某个模型类中的所有模型下有效，则称a在该模型类中有效。 如果a在所有模型组成的模型类下有效，即在所有模型下有效，则称a为普遍有效或逻辑有效。经典命题逻辑中所有重言式都是普遍有效的。 如果a在任意模型的任一可能世界上都假，则称a为不可满足。不可满足的公式都是逻辑矛盾，并且也只有逻辑矛盾才是不可满足的。 普遍有效： K公式：□(p→q)→(□p→□q) 有效： D公式： □p→◇p T公式： □p→p （必然性公理） T◇公式：p→◇p 4 □p→□□p B p→□◇p E ◇p→□◇p 非有效但可满足： p→□p（所有现实的，都是合理的[黑格尔语]） ◇p→□p（可能的，就是必然的[默菲法则]） ◇p→p（可能的，就是现实的） □p→□(p∧q) (◇p∨◇q)→◇(p∧q) 不可满足： □p∧◇?p □(p→q)∧◇(p∧?q) ?◇q∧□(p∧q) 第三节 规范模态命题与推理 1. 规范模态命题 定义：规范模态命题是由“必须”、“允许”、“禁止”等规范模态词联结而构成的命题。 规范命题有模态词和基础命题两部分。 如： 领导干部必须密切联系群众。 允许公民不信仰宗教。 禁止携带危禁物品上车。 种类 必须命题 必须肯定命题 ：必须p Оp 必须否定命题：必须非p О?p 允许命题 允许肯定命题：允许p