最新逻辑学课件.ppt

1、逻辑学北大精品课逻辑学北大精品课0505第五章 模态逻辑第一节第一节 模态逻辑模态逻辑1/29/20239传统模态逻辑的对当方阵由对当关系方阵，可得四种基本模态命题之间的真由对当关系方阵，可得四种基本模态命题之间的真值关系：值关系：（1 1）矛盾关系：p与p、p与p不能同真，也不能同假。（2 2）反对关系：p与p不可同真，但可同假。（3 3）下反对关系：p与p不可同假，但可同真。（4 4）差等关系：p真则p真；p假则p假；p假则p真假不定；p真则p真假不定。p与p也有这种关系。1/29/202310传统模态逻辑的对当推理矛盾关系对当推理：矛盾关系对当推理：（1）pp；（2）pp（3）pp；（4

2、）pp反对关系对当推理：反对关系对当推理：（5）p p；（6）p p下反对关系对当推理：下反对关系对当推理：（7）p p；（8）p p差等关系对当推理：差等关系对当推理：（9）p p；（10）p p（11）p p；（12）p p1/29/202311模态对当推理的应用实例（1）“罪犯必然有犯罪时间”（p）为真，可得：“罪犯必然无犯罪时间”（p）为假；“罪犯可能有犯罪时间”（p）为真；“罪犯可能无犯罪时间”（p）为假。（2）“并非明天必然下雪”（p）等值于“明天可能不下雪”（p）（3）“并非他必然不被当选”（p）等值于“他可能被当选”（p）1/29/202312模态六角图p反对p差差矛矛差差pp

3、盾矛等等盾盾等p下反对p等1/29/202313实然命题与必然命题、可能命题间的推理经典逻辑中不含模态词的命题叫实然命题。经典逻辑中不含模态词的命题叫实然命题。从六角图可以得到如下有效推理：从六角图可以得到如下有效推理：（1）p p（2）p p（3）p p（4）p p（5）p p（6）p p（7）p p（8）p p1/29/202314实然命题与必然命题、可能命题间的推理(1)(8)的推理式体现了结论从弱原则：结论的模的推理式体现了结论从弱原则：结论的模态不能强于前提的模态，即必然强于实然，实然强态不能强于前提的模态，即必然强于实然，实然强于可能于可能(或然或然)。故上述推理可以简化为：。故上

4、述推理可以简化为：（9）p p p（10）p p p（11）p p p（12）p p p根据实然命题的真假可推知相应模态命题的真假：根据实然命题的真假可推知相应模态命题的真假：（13）p p p（14）p p p（15）p p p（16）p p p六角图1/29/202315直言模态命题 根据根据“必然必然”、“可能可能”这两个模态词和这两个模态词和A、E、I、O四种基本直言命题的组合，得到八种基四种基本直言命题的组合，得到八种基本的直言模态命题：本的直言模态命题：1、必然全称肯定命题(SAP)；2、必然全称否定命题(SEP)；3、必然特称肯定命题(SIP)；4、必然特称否定命题(SOP)；5

5、、可能全称肯定命题(SAP)；6、可能全称否定命题(SEP)；7、可能特称肯定命题(SIP)；8、可能特称否定命题(SOP)；1/29/202316直言模态方阵图其中，箭头直线为差等关系线，无箭头直线为矛盾关系线，上虚线为反对关系线，下虚线为下反对关系线。SOPSIPSEPSAPSOPSIPSEPSAP1/29/202317直言模态方阵图的有效推理1、根据直言模态命题之间的矛盾关系得出的等值式有：、根据直言模态命题之间的矛盾关系得出的等值式有：（1）SAPSOP例如：所有的结果都必然有原因不可能有的结果没有原因（2）SEPSIP例如：所有的动物必然不是植物不可能有的动物是植物（3）SIPSEP

6、例如：有的大学生必然是党员不可能所有的大学生都不是党员（4）SOPSAP例如：有的青年必然不是干部不可能所有的青年都是干部1/29/202318直言模态方阵图的有效推理1、根据直言模态命题之间的矛盾关系得出的等值式有：、根据直言模态命题之间的矛盾关系得出的等值式有：（5）SAPSOP例如：所有的人的本性可能都是善良的并非有的人的本性必然是不善良的（6）SEPSIP例如：甲班所有的同学可能都不是学生会干部并非甲班有的同学必然是学生会干部（7）SIPSEP例如：有的大一学生可能英语过了六级并非所有的大一学生必然英语没有过六级（8）SOPSAP例如：有的干部可能没有上过大学并非所有的干部都必然上过大

7、学1/29/202319直言模态方阵图的有效推理2、根据直言模态命题之间的差等关系得出的蕴涵式有：、根据直言模态命题之间的差等关系得出的蕴涵式有：（9）SAP SIP （10）SEP SOP （11）SAP SAP （12）SEP SEP （13）SIP SIP （14）SOP SOP （15）SAP SIP （16）SEP SOP1/29/202320直言模态方阵图的有效推理3、根据直言模态命题之间的反对关系得出的蕴涵式有：、根据直言模态命题之间的反对关系得出的蕴涵式有：（17）SAP SEP（18）SEP SAP4、根据直言模态命题之间的下反对关系得出的蕴涵式有：、根据直言模态命题之间的下

8、反对关系得出的蕴涵式有：（19）SIP SOP（20）SOP SIP1/29/202321现代模态逻辑的产生罗素和怀特海建立的经典命题演算中，有一些实质蕴涵的定理，如：罗素和怀特海建立的经典命题演算中，有一些实质蕴涵的定理，如：(1)(1)p(pq)(p(pq)(等值于等值于(p(p p)q)p)q)；(2)p(qp)(2)p(qp)(等值于等值于q(pq(p p)p)这个定理的分别是说：“假命题蕴涵任何命题”、“真命题被任何命题所蕴涵”。这就是古典命题逻辑中的实质蕴涵怪论。美国逻辑学家刘易斯（美国逻辑学家刘易斯（I.Lewis）通过对实质蕴涵）通过对实质蕴涵的批评，提出了严格蕴的批评，提出了

9、严格蕴涵涵 ，以突出条件命题前、后件的必然导致关系：，以突出条件命题前、后件的必然导致关系：p q=p q=dfdf(p(p q)q)或或p q=p q=dfdf(pq)(pq)在此基础上建立了模态命题逻辑系统S1S5，开创了现代模态逻辑。严格蕴涵就是具有必然性的实质蕴涵，是在经典命题演算的基础增加模态算子或得到的。现代模态逻辑的特点：现代模态逻辑的特点：（1 1）它是符号化和公理化的，表现为一些形式系统。）它是符号化和公理化的，表现为一些形式系统。（2 2）它是经典逻辑加上一个模态算子的扩张。（）它是经典逻辑加上一个模态算子的扩张。（3 3）它将传统模态逻辑的范围）它将传统模态逻辑的范围大大

10、拓宽，是一种广义的模态逻辑。大大拓宽，是一种广义的模态逻辑。1/29/202322模态命题的自然推理系统TN一、初始符号：一、初始符号：（1 1）命题变元：NP系统所有命题变元；（2 2）一元算子：，；（3 3）二元算子：，；（4 4）辅助符号：（，）。二、形成规则：二、形成规则：（1 1）任一命题变元是合式公式；（2 2）若A是合式公式，则A、A也是合式公式；（3 3）若A和B是合式公式，则AB、AB、AB、AB是合式公式；（4 4）只有（1）（3）构成的符号串是合式公式。1/29/202323模态命题的自然推理系统TN三、定义：三、定义：（1 1）D：A=dfA；（2 2）D ：A B=d

11、f(AB)；（3 3）D=：A=B=df（A B）（B A）。四、推导规则四、推导规则（1 1）NP系统的所有推出规则；（2 2）+(必然引入规则)：从定理A可推出A；（3 3）_(必然消去规则)：从A可推出A；（4 4）M(必然分离规则)：从(AB)和A可推出B，即从(AB)可推出AB。1/29/202324自然推理系统TN的定理A A是是T TN N的定理，当且仅当的定理，当且仅当A A能仅由能仅由T TN N系统的推导规系统的推导规则推出。或者说，有一个无假设（前提为空集则推出。或者说，有一个无假设（前提为空集）的自然推理以的自然推理以A A为其中一项。可记为：为其中一项。可记为：T T

12、N N A AABAB是是T TN N的定理，当且仅当从的定理，当且仅当从A A和原前提集出发，和原前提集出发，由由T TN N系统的推导规则能推出系统的推导规则能推出B B。可简记为：。可简记为：T TN N AB AB 或或 AAT TN N B B1/29/202325自然推理系统TN的语法推出关系T1：A A证明：证明：(1)A A (2)A (1),_T2：A A证明：证明：(1)A A (2)A H(_的假设的假设)(3)A (2),+(4)A (3),D (5)A (4),_ (6)A A (1),(5),+(7)A (2)(6),_(消去消去H)T3：A A证明：由证明：由T2

13、据据D即得。即得。1/29/202326自然推理系统TN的语法推出关系T4：（AB）AB证明：证明：（1）（AB）A （2）AB H1(的假设的假设)（3）A （2）,（4）ABA （2）（3）,（消去（消去H1）（5）(ABA)（4）,（6）(A（AB)（5）,R.P.（7）A（AB)（6）,M（8）(AB)A （7）,R.P.（9）（AB）A （8）,D（10）A （1）,（9）,（11）AB H2 （12）B （11）,1/29/202327（10）A （1）,（9）,（11）AB H2(的假设的假设)（12）B （11）,（13）ABB （11）（12）,（消去（消去H2）（14）(A

14、BB)（13）,（15）(B（AB)）（14）,R.P.（16）B（AB)（15）,M（17）(AB)B （16）,R.P.（18）（AB）B （8）,D（19）B （1）,（18）,（20）AB （10）,（19）,1/29/202328自然推理系统TN的语法推出关系T5:A B(B A)(A C)证明证明:(1)A B A (2)(AB)(1),D (3)AB H1(的假设的假设)(4)A H2(的假设的假设)(5)B （3）,（4）,(6)BC H3(的假设的假设)(7)C （5）,（6）,(8)AC （4）（7）,（消去（消去H2）(9)(BC)(AC)（6）（8）,（消去（消去H3）

15、(10)(AB)(BC)(AC)（3）（9）,（消去（消去H1）(11)(AB)(BC)(AC)（10）,(12)(AB)(BC)(AC)（11）,M (13)(BC)(AC)（2）,（12）,(14)(BC)(AC)（13）,M (15)(B A)(A C)(14),D1/29/202329自然推理系统TN的语法推出关系T6：(AB)AB证明：证明：(1)(AB)A (2)AB H1(的假设的假设)(3)A （2）,(4)ABA （2）（3）,（消去（消去H1）(5)(ABA)（4）,(6)(AB)A （5）,M (7)A （1）,（6）,(8)AB H2(的假设的假设)(9)B （8）,(

16、10)ABB （8）（9）,（消去（消去H2）(11)(ABB)（10）,(12)(AB)B （11）,M (13)B （1）,（12）,(14)AB （7）,（13）,1/29/202330自然推理系统TN的语法推出关系T7：A A证明证明:(1)A A (2)A H(的假设的假设)(3)A (2),D (4)A A （1）,（3）,(5)A （2）（4）,（消去（消去H）1/29/202331自然推理系统TN的语法推出关系T8：AB(AB)证明：证明：(1)AB A (2)A (1),_ (3)B (1),_ (4)A H1(的假设的假设)(5)B H2(的假设的假设)(6)AB (4),

17、(5),+(7)BAB (5)(6),+（消去（消去H2）(8)A(BAB)(4)(7),+（消去（消去H1）(9)(A(BAB)(8),+(10)A(BAB)(9),M (11)(BAB)(2),(10),_ (12)B(AB)(11),M (13)(AB)(3),(12),_1/29/202332自然推理系统TN的语法推出关系T9:A(A B)T10:A(AB)T11:(A B)(B A)T12:(A B)(B A)T13:A(AB)T14:(AB)(BA)(AB)T15:A B A1/29/202333模态词的语义解释可能世界语义学能提供模态词的语义解释：可能世界语义学能提供模态词的语义

18、解释：(1)一个命题是必然的，当且仅当它在所有的可能世界中都一个命题是必然的，当且仅当它在所有的可能世界中都为真。为真。(2)一个命题是可能的，当且仅当它至少在一个可能世界中一个命题是可能的，当且仅当它至少在一个可能世界中为真。为真。一般用一般用W W表示可能世界的集合，用表示可能世界的集合，用V V表示在可能世界表示在可能世界W W中中的赋值。的赋值。如果命题如果命题A A确实反映了可能世界确实反映了可能世界w w的实际情况，则命题的实际情况，则命题A A在在w w中为真，记作：中为真，记作：V(A,w)=1V(A,w)=1；如果命题如果命题A A没有反映可能世界没有反映可能世界w w的实际

19、情况，则命题的实际情况，则命题A A在在w w中为假，记作：中为假，记作：V(A,w)=OV(A,w)=O。上述语义解释可形式化为：上述语义解释可形式化为：(1)V(A，w)=1,当且仅当，对任一w,V(A,w)=1。(2)V(A，w)=1,当且仅当，存在w,V(A,w)=1。1/29/202334模态词的语义解释如果在可能世界引入一个相对可能关系，则上述解如果在可能世界引入一个相对可能关系，则上述解释（释（1）、（）、（2）可以进一步严格化、精确化：）可以进一步严格化、精确化：(3)命题命题A在可能世界在可能世界w中是必然的，当且仅当它在中是必然的，当且仅当它在对对w来说的任一可能世界来说的

20、任一可能世界w中都为真。中都为真。(4)命题命题A在可能世界在可能世界w中是可能的，当且仅当它至中是可能的，当且仅当它至少在对少在对w来说的一个可能世界来说的一个可能世界w中为真。中为真。克里普克把这种相对可能关系称为可达关系，克里普克把这种相对可能关系称为可达关系，用用R R表示。如果可能世界表示。如果可能世界ww相对于可能世界相对于可能世界w w是可是可能的，我们就说能的，我们就说w w可达可达ww，记作，记作wRwwRw或或RwwRww。1/29/202335克里普克模型克里普克模型是一个三元组克里普克模型是一个三元组W，R，V,其中其中W是可能世界的非空集合；是可能世界的非空集合；R

21、是是W上的道义可达上的道义可达关系；而关系；而V是命题在可能世界是命题在可能世界W中的赋值。中的赋值。有了克里普克模型，可以对模态算子和进行严格的语义解释：(3)V(3)V(A A，w)=1,w)=1,当且仅当，当且仅当，对任一对任一w,w,若若wRwwRw，则，则 V(A,w)=1V(A,w)=1。(4)V(4)V(A A，w)=1,w)=1,当且仅当，当且仅当，存在存在w,wRw w,wRw，且，且V(A,w)=1V(A,w)=1。1/29/202336模态命题公式的语义分析设设P为任意的命题变元，为任意的命题变元，A，B为任意公式，为任意公式，w(wW)为任意为任意的可能世界，的可能世界

22、，V是对模态命题公式的赋值，则可得出下列公是对模态命题公式的赋值，则可得出下列公式在模型式在模型W，R，V下的赋值定义：下的赋值定义：(1)(1)V Vp p要么要么V(p,w)=1V(p,w)=1，要么，要么V(p,w)=0V(p,w)=0。1 1，若，若V(A,w)=0V(A,w)=0(2)(2)V V V(V(A,w)=A,w)=0 0，否则，否则 1 1，若，若V(A,w)=V(B,w)=1V(A,w)=V(B,w)=1(3)(3)V VV(AB,w)=V(AB,w)=0 0，否则，否则 1 1，若，若V(A,w)=1V(A,w)=1或或 V(B,w)=1V(B,w)=1(4)(4)V

23、 VV(AB,w)=V(AB,w)=0 0，否则，否则1/29/202337模态命题公式的语义分析 1 1，若，若V(A,w)=0V(A,w)=0或或 V(B,w)=1V(B,w)=1(5)(5)V VV(AB,w)=V(AB,w)=0 0，否则，否则 1 1，若，若V(A,w)=V(B,w)V(A,w)=V(B,w)(6)(6)V VV(AV(AB,w)=B,w)=0 0，否则，否则 1 1，若，若 w(wRwV(A,w)=1)w(wRwV(A,w)=1)(7)(7)V VV(V(A,w)=A,w)=0 0，否则，否则 1 1，若，若 w(wRwV(A,w)=1)w(wRwV(A,w)=1)

24、(8)(8)V VV(V(A,w)=A,w)=0 0，否则，否则1/29/202338模态命题公式的语义分析设设M=M=W W，R R，V V为任意模型，为任意模型，A A为任意模态公式，为任意模态公式，w w为为W W中的任意元素（中的任意元素（wWwW）：）：（1）若V(A,w)=1，则称A在w上真，记作M=wA；若V(A,w)=0，则称A在w上假，记作M=wA（2）若存在wW，使得M=wA，则称A在M上可满足；若不存wW，使得M=WA，则称A在M上不可满足（3）若对任一wW，都有M=wA，则称A在M上有效，或称A是M-有效的，记作M=wA。第五章 模态逻辑第二节第二节 规范逻辑规范逻辑1

25、/29/202340规范命题（1）中华人民共和国公民必须遵守法律。（2）允许外商到中国境内投资。（3）禁止在公共场合吸烟。规范逻辑就是研究规范命题形式和构造相应的形式规范逻辑就是研究规范命题形式和构造相应的形式逻辑理论的学科。逻辑理论的学科。含有含有“必须必须”、“允许允许”、“禁止禁止”等规范词的命题等规范词的命题,叫规范命题叫规范命题,又叫道义命题。例如：又叫道义命题。例如：1/29/202341规范命题的种类必须命题必须命题 必须命题是含有必须命题是含有“必须必须”、“应该应该”、“一定一定”、“有义务有义务”等模态等模态词的命题，陈述的是必须履行或必须实现的某种行为或事件状态。例如：词

26、的命题，陈述的是必须履行或必须实现的某种行为或事件状态。例如：（1）凡会员必须交纳会费。（2）夫妻双方有实行计划生育的义务。用用O指称必须模态词，上述命题的形式可表示为：指称必须模态词，上述命题的形式可表示为：Op允许命题允许命题 允许命题是含有允许命题是含有“可以可以”、“充许充许”、“准予准予”等模态词的命题，陈等模态词的命题，陈述的是允许履行或允许实现的某种行为或事件状态。表达权利的命题都是述的是允许履行或允许实现的某种行为或事件状态。表达权利的命题都是允许命题。例如：允许命题。例如：（1）人人都有自由选择职业的权利。（2）允许学生向老师提意见。用用P指称允许模态词，上述命题的形式可表示

27、为：指称允许模态词，上述命题的形式可表示为：Pp1/29/202342规范命题的种类禁止命题禁止命题 禁止命题是含有禁止命题是含有“禁止禁止”、“不得不得”、“不准不准”等模态词的命题，陈等模态词的命题，陈述的是禁止实现的某种行为或事件状态。例如：述的是禁止实现的某种行为或事件状态。例如：（1）禁止偷盗他人财产。（2）学生不得善自离开学校。用用F指称禁止模态词，上述命题的形式可表示为：指称禁止模态词，上述命题的形式可表示为：Fp复合规范命题复合规范命题是指用命题联系词将原子的规范命题联结起来的命题。例如：是指用命题联系词将原子的规范命题联结起来的命题。例如：禁止破坏国家财产；人人都有保护国家财

28、产的义务；允许公民或团体承包部分国有小企业。命题形式：命题形式：FpOqP(rs)。1/29/202343规范对当方阵 矛矛盾盾盾盾矛矛下反对下反对差差 等等差差 等等OpOp（F F p）FpFp（O O p p）Pp Pp OpOp（P P p p）反对反对1/29/202344规范对当方阵的推理（1）必须命题和禁止命题的关系：）必须命题和禁止命题的关系：Op=Op=dfdfF F p p；Fp=Fp=dfdfO O p p。（2）反对关系推理：）反对关系推理：OpOp FpFp；FpFp OpOp；（3）矛盾关系的推理：）矛盾关系的推理：OpOp P P p p；OpPOpP p p；O

29、 O pp PpPp；O O pPppPp；F F pp P P p p；FpFp PpPp。（4）差等关系的推理：）差等关系的推理：Op Pp Op Pp；PpPp Op Op；O O p Pp P p p；P P pp O O p p。（5）下反对关系的的推理：）下反对关系的的推理：Pp PPp P p p；P P p Ppp Pp。1/29/202345现代规范逻辑系统DTN 1、初始符号、初始符号（1）命题变元：NP系统的所有命题变元；（2）一元算子：，O；（3）二元算子：，；（4）辅助符号：（，）。2、形成规则、形成规则（1）任一命题变元是合式公式；（2）如果P是合式公式，则p，Op

30、也是合式公式；（3）如果P和q是合式公式，则pq，pq，pq，pq是合式公式；（4）只有(1)(3)形成的符号串是合式公式。1/29/202346现代规范逻辑系统DTN3、定义、定义:(1)DP：Pp=dfOp；(2)DF：Fp=dfOp。4、推导规则、推导规则:(1)NP系统的基本推导规则；(2)关于O的推理规则：O+(必须引入规则)：由定理A推出OA；O_(必须消去规则)：由OA可推出PA；OM(必须分离规则):由O(AB)和OA可推出OB；即从O(AB)可推出OAOB。1/29/202347规范逻辑系统DTN的定理A是DTN的定理，当且仅当A能仅由TN系统的推导规则推出。或者说，有一个无

31、假设（前提为空集）的自然推理以A为其中一项。可记为：DTNAAB是DTN的定理，当且仅当从它的全部前提出发，由DTN系统的推导规则能推出它的结论。可记为：DTNAB或ADTNB1/29/202348规范逻辑系统TN的语法推出关系TDTN1：O(pq)OpOq证明：证明：(1)pq H1(的假设的假设)(2)p (1)，_ (3)pqp (1)(2)，+(消去消去H1)(4)O(pqp)(3)，O+(5)O(pq)Op (4)，OM (6)O(pq)Oq 同上可证同上可证 (7)O(pq)H2(的假设的假设)(8)Op （5）,（7），），_ (9)Oq （6）,（7），），_ (10)OpOq

32、 (8)，(9)，+(11)O(pq)OpOq (7)(10),+(消去消去H2)(12)P H31/29/202349 (13)q H4(的假设的假设)(14)pq (12)，(13)，+(15)qpq (13)(14),+(消去消去H4)(16)p(qpq)(12)(15),+(消去消去H3)（17）OpOq H5(的假设的假设)（18）Op (17)，_ （19）Oq (17)，_ （20）O(p(qpq)(16)，O （21）OpO(qpq)(20)，OM （22）O(qpq)(18)，(21)，_ （23）OqO(pq)(22)，OM （24）O(pq)(19)，(23)，_ （25

33、）OpOq O(pq)(17)(24)，_(消去消去H5)（26）O(pq)OpOq (11)，(25)，1/29/202350规范逻辑系统TN的语法推出关系TDTN2:F(pq)FpFq 证明证明:（1）O(p q)O pO q TDTN1（2）O (pq)O pO q（1）,德德摩根律摩根律（3）F(pq)FpFq（2）,DFTDTN3:FpFq F(pq)证明证明:（1）FpFq A （2）pq H(的假设的假设)（3）P （2）,（4）pqp （2）,（3）,（消去（消去H）（5）p(pq)（4）,假言易位假言易位（6）O(p(pq)（5）,O（7）O pO(pq)（6）,OM（8）F

34、pF(pq)（7）,DF（9）FqF(pq)同上理可证同上理可证（10）F(pq)（1）,（8）,（9）,二难推理二难推理1/29/202351规范逻辑系统TN的语法推出关系TDTN4：F(pq)FpFqTDTN5：O(pq)Fq OqTDTN6:Fp Op PpTDTN7：P(pq)PpPqTDTN8：O(pq)PpPq TDTN9：P(pq)PpPqTDTN10：OpOq O(pq)TDTN11:O(pqr)OPFrFqTDTN12:O(pq)(PpPq)TDTN13:P(pq)(OpOq)TDTN14:(PpPq)P(pq)TDTN15:OpO(pq)1/29/202352规范逻辑系统T

35、N的语法推出关系TDTN16:PpP(pq)TDTN17:O pPpTDTN18:Op P pTDTN19:OOpPP pTDTN20:OO pPPpTDTN21:PP pOOpTDTN22:OP pPOpTDTN23:PO pOPpTDTN24:O(pq)PpPqTDTN25:O(p p）TDTN26:F(p p）TDTN27:O(p p）1/29/202353规范逻辑系统TN的语法推出关系TDTN28:P(p p)TDTN29:P(p p)PqTDTN30:O(p p)Oq引入道义上中立的模态词引入道义上中立的模态词,用用“I”I”指称它指称它,定义为定义为:D DI I：Ip=Ip=df

36、dfPpPPpP p p根据该定义，有如下定理根据该定义，有如下定理:T TDTNDTN31:Ip31:Ip OpOp O O p pT TDTNDTN32:OpIpFp32:OpIpFpT TDTNDTN3232表明道义完全性原则。根据这一原则，每一种行为表明道义完全性原则。根据这一原则，每一种行为或是必须的，或是道义上无差别的，或是禁止的。或是必须的，或是道义上无差别的，或是禁止的。1/29/202354道义算子的语义解释将克里普克的可能世界扩展到可能道义世界，则可将克里普克的可能世界扩展到可能道义世界，则可以给出道义逻辑的语义解释。以给出道义逻辑的语义解释。（1）道义命题A在道义可能世界

37、wi中是必须的，当且仅当它在对wi来说的任一道义可能世界wj中都为真。（2）道义命题A在道义可能世界wi中是允许的，当且仅当它至少在对wi来说的一个道义可能世界wj中为真。（3）道义命题A在道义可能世界wi中是禁止的，当且仅当它在对wi来说的任一道义可能世界wj中都为假。1/29/202355道义算子的语义解释有了道义逻辑系统的模型，可以对道义算子进行严格的语义有了道义逻辑系统的模型，可以对道义算子进行严格的语义解释：解释：(1)(1)V(OA，wi)=1,当且仅当，对任一wj,若wiRwj，则 V(A,wj)=1。(2)(2)V(PA，wi)=1,当且仅当，存在wj,wiRwj,且V(A,w

38、j)=1。(3)(3)V(FA，wi)=1,当且仅当，对任一wj,若wiRwj，则 V(A,wj)=0。道义逻辑系统的模型是一个三元组道义逻辑系统的模型是一个三元组W，R，V，W是是道义可能世界的非空集合；道义可能世界的非空集合；R是是W上的道义可达关系，上的道义可达关系，wiRwj表示在道义可能世界表示在道义可能世界wi和和wj之间有道义可达关系；之间有道义可达关系；而而V是道义命题在道义可能世界是道义命题在道义可能世界W中的赋值。中的赋值。1/29/202356道义命题公式的语义分析设设P为任意的命题变元，为任意的命题变元，A，B为任意公式，为任意公式，wi(wiW)为任意为任意的可能道义

39、世界的可能道义世界,V是对道义命题公式的赋值是对道义命题公式的赋值,则可得出下列公则可得出下列公式在模型式在模型W,R,V下的赋值定义：下的赋值定义：(1)(1)VpVp要么要么V(p,wV(p,wi i)=1,)=1,要么要么V(p,wV(p,wi i)=0,)=0,二者不可同时成立二者不可同时成立 1 1，若，若V(A,wV(A,wi i)=0)=0(2)(2)V V V(V(A,wA,wi i)=)=0 0，否则，否则 1 1，若，若V(A,wV(A,wi i)=V(B,w)=V(B,wi i)=1)=1(3)(3)V VV(AB,wV(AB,wi i)=)=0 0，否则，否则 1 1，

40、若，若V(A,wV(A,wi i)=1)=1或或 V(B,wV(B,wi i)=1)=1(4)(4)V VV(AB,wV(AB,wi i)=)=0 0，否则，否则1/29/202357道义命题公式的语义分析 1 1，若，若V(A,wV(A,wi i)=0)=0或或 V(B,wV(B,wi i)=1)=1(5)(5)V VV(AB,wV(AB,wi i)=)=0 0，否则，否则 1 1，若，若V(A,wV(A,wi i)=V(B,w)=V(B,wi i)(6)(6)V VV(AV(AB,wB,wi i)=)=0 0，否则，否则 1 1，若，若 w wj j(w(wi iRwRwj jV(A,wV

41、(A,wj j)=1)=1)。(7)(7)VoVoV(OA,wV(OA,wi i)=)=0 0，否则，否则 1 1，若，若 w wj j(w(wi iRwRwj jV(A,wV(A,wj j)=1)=1)。(8)(8)V VP PV(PA,wV(PA,wi i)=)=0 0，否则，否则 1 1，若，若 w wj j(w(wi iRwRwj jV(A,wV(A,wj j)=0)=0)。(9)(9)V VF FV(FA,wV(FA,wi i)=)=0 0，否则，否则1/29/202358道义命题公式的语义分析设设M=W，R，V为任意道义模型，为任意道义模型，A为任意公式，为任意公式，wi为为W中的

42、任意元素（中的任意元素（wiW）：）：（1）A在wi上真，记作M=wiA当且仅当V(A,wi)=1；A在wi上假,记作M wiA。当且仅当V(A,wi)=0。；（2）A在M上有效，或称A是M-有效的，记作M=A，当且仅当对任一wiW，都有M=wiA。（3）A在M上可满足，当且仅当存在wiW，使得M=wiA或者M wiA；A在M上不可满足，当且仅当，A在M上有效，即M=A。1/29/202359本章小结基本内容基本内容传统模态逻辑的对当推理。传统模态逻辑的对当推理。模态逻辑模态逻辑TN系统的推理规则及定理的证明。系统的推理规则及定理的证明。模态逻辑的可能世界语义学。模态逻辑的可能世界语义学。规范逻辑系统规范逻辑系统DTN的推理规则及定理的证明。的推理规则及定理的证明。重难点重难点TN系统和系统和DTN系统定理的证明。系统定理的证明。可能世界语义学。可能世界语义学。