模态逻辑模态命题和推理精选文档.ppt

《模态逻辑模态命题和推理精选文档.ppt》由会员分享，可在线阅读，更多相关《模态逻辑模态命题和推理精选文档.ppt（35页珍藏版）》请在得力文库 - 分享文档赚钱的网站上搜索。

1、模态逻辑模态命题和推理本讲稿第一页，共三十五页一、真值模态命题一、真值模态命题二、规范模态命题二、规范模态命题三、模态命题推理三、模态命题推理本讲稿第二页，共三十五页一、真值模态命题的含义一、真值模态命题的含义真值模态命题是断定事物情况具有必然性或可能性的真值模态命题是断定事物情况具有必然性或可能性的命题。例如，命题。例如，违反客观规律必然要受到客观规律的惩罚。违反客观规律必然要受到客观规律的惩罚。那个辩护人的意见可能是对的。那个辩护人的意见可能是对的。都是真值模态命题。都是真值模态命题。模态词：模态词：1.1.“必然必然”可用符号可用符号“”表示表示 2.2.“可能可能”可用符号可用符号“”

2、表示。表示。自然语言表示必然的还有自然语言表示必然的还有“一定一定”、“必定必定”、“必将必将”、“总是总是”等。表示可能的还有等。表示可能的还有“也许也许”、“大概大概”等。等。本讲稿第三页，共三十五页二、真值模态命题的分类二、真值模态命题的分类必然肯定命题必然肯定命题 p p （p p可为复合命题）可为复合命题）必然否定命题必然否定命题 p p可能肯定命题可能肯定命题 p p 可能否定命题可能否定命题 pp本讲稿第四页，共三十五页三、真值模态命题的对当关系三、真值模态命题的对当关系p p p p p p p p p p p p p p p p p p p p p p pp本讲稿第五页，共三

3、十五页逻辑方阵图逻辑方阵图 p 反对反对 p 矛盾矛盾 矛盾矛盾 差等差等 差等差等 p 下反对下反对 p本讲稿第六页，共三十五页一、规范模态命题的含义一、规范模态命题的含义规范模态命题是陈述人们的行为规范的命题。例如，规范模态命题是陈述人们的行为规范的命题。例如，（1）公安机关逮捕人的时侯，必须出示逮捕证。）公安机关逮捕人的时侯，必须出示逮捕证。（2）有诉讼权力能力的人可以作为民事诉讼的当事人。）有诉讼权力能力的人可以作为民事诉讼的当事人。（3）禁止用侮辱、诽谤等方式损害公民、法人的名誉。）禁止用侮辱、诽谤等方式损害公民、法人的名誉。都是规范模态命题。都是规范模态命题。规范模态命题也称道义命

4、题、指令命题。规范模态命题也称道义命题、指令命题。模态词：模态词：1.“必须必须”可用符号可用符号“O”表示；表示；2.“允许允许”可用符号可用符号“P”表示；表示；3.“禁止禁止”可用符号可用符号“F”表示。表示。本讲稿第七页，共三十五页 自然语言表示自然语言表示必须必须的还有的还有“应当应当”、“有义务有义务”、“有责任有责任”等；表示等；表示允许允许的还有的还有“可以可以”、“准予准予”、“有权利有权利”等；表示等；表示禁止禁止的还有的还有“不得不得”、“不准不准”、“不许不许”等。等。FA PA FA O A FA PA FA PA本讲稿第八页，共三十五页二、规范命题的分类二、规范命题

5、的分类必须型规范命题，也称为义务性规范或强制性规范必须型规范命题，也称为义务性规范或强制性规范命题命题.允许型规范命题，也称为授权性规范命题允许型规范命题，也称为授权性规范命题禁止型规范命题，（禁止型规范命题，（可不列为一种单独类型）可不列为一种单独类型）本讲稿第九页，共三十五页三、对当关系（指三、对当关系（指“规范规范”妥当或不妥当的关系）妥当或不妥当的关系）OA P A P A OA P A O A O A P A OA P A O AP A本讲稿第十页，共三十五页逻辑方阵图逻辑方阵图 OA 反对反对 O A （FA）（FA）矛盾矛盾 矛盾矛盾 差等差等 差等差等 P A 下反对下反对 P

6、 A本讲稿第十一页，共三十五页练习题练习题一、写出下列规范模态命题的逻辑形式一、写出下列规范模态命题的逻辑形式1.有下列情况之一的，应当给予开除党籍处分：有下列情况之一的，应当给予开除党籍处分：（一）因故意犯罪被依法判处中华人民共和国刑法规定的主刑（含（一）因故意犯罪被依法判处中华人民共和国刑法规定的主刑（含宣告缓刑）的；宣告缓刑）的；（二）单处或者附加剥夺政治权利的；（二）单处或者附加剥夺政治权利的；（三）因过失犯罪（三）因过失犯罪,被依法判处三年以上（不含三年）有期徒刑的。被依法判处三年以上（不含三年）有期徒刑的。解：设解：设 p=“p=“故意犯罪故意犯罪”；q=“q=“被依法判处中华人民

7、共和国刑法规定的主刑（含宣告被依法判处中华人民共和国刑法规定的主刑（含宣告缓刑）缓刑）”；r=“r=“单处剥夺政治权利单处剥夺政治权利”；本讲稿第十二页，共三十五页s=“s=“附加剥夺政治权利附加剥夺政治权利”；t=“t=“过失犯罪过失犯罪”；u=“u=“被依法判处三年以上（不含三年）有期徒刑被依法判处三年以上（不含三年）有期徒刑”；v=“v=“给予开除党籍处分给予开除党籍处分”。则该则该规范模态命题可表示为规范模态命题可表示为 （pq q）V V（rVsrVs）V V（t tu u）Ov2.2.预备党员违反党纪，情节较轻，尚可保留预备党员资格的，预备党员违反党纪，情节较轻，尚可保留预备党员资

8、格的，应当对其批评教育或者延长预备期；情节较重的，应当取消应当对其批评教育或者延长预备期；情节较重的，应当取消其预备党员资格。其预备党员资格。本讲稿第十三页，共三十五页二、根据规范模态命题的对当关系，指出下列各组命题的真假二、根据规范模态命题的对当关系，指出下列各组命题的真假已知已知“禁止在此设摊禁止在此设摊”为假，则：为假，则：（）（）“禁止不在此设摊禁止不在此设摊”为（真假不定）为（真假不定）（）（）“不允许不在此设摊不允许不在此设摊”为（真假不定）为（真假不定）（）（）“允许不在此设摊允许不在此设摊”为（真假不定）为（真假不定）（）（）“必须不在此设摊必须不在此设摊”为（假）为（假）已知

9、已知“允许上诉允许上诉”为真，则：为真，则：（）（）“允许不上诉允许不上诉”为（）为（）（）（）“禁止不上诉禁止不上诉”为（）为（）（）（）“不禁止不上诉不禁止不上诉”为（）为（）（）（）“不必须上诉不必须上诉”为（）为（）本讲稿第十四页，共三十五页三、已知下列模态命题为真，请根据模态命题的对当关系，指出相同素三、已知下列模态命题为真，请根据模态命题的对当关系，指出相同素材的其它三种模态命题的真假。材的其它三种模态命题的真假。1.犯罪现象最终必然灭绝。犯罪现象最终必然灭绝。2.本案一定不是情杀案件。本案一定不是情杀案件。3.明天可能下雨。明天可能下雨。4.抢劫犯可能不是本地人。抢劫犯可能不是本

10、地人。四、已知下列模态命题为假，请根据模态命题的对当关系，指出四、已知下列模态命题为假，请根据模态命题的对当关系，指出相同素材的其它三种模态命题的真假。相同素材的其它三种模态命题的真假。1.阴谋最终必然失败。阴谋最终必然失败。2.核战争必然不会发生。核战争必然不会发生。3.未成年人犯罪可能从重处罚。未成年人犯罪可能从重处罚。4.刑法可能不是实体法。刑法可能不是实体法。本讲稿第十五页，共三十五页 有人说：“最高明的骗子，可能在某个时刻欺骗所有的人，也可能在所有的时刻欺骗某些人，但不可能在所有的时刻欺骗所有的人”。如果上述断定为真，而且世界上总有一些高明的骗子，那么下述哪项断定必定是假的？A.张三

11、可能在某个时刻受骗。B.李四可能在任何时候都不受骗。C.骗人的人也可能在某个时刻受骗。D.不存在某一时刻所有的人都不会受骗。E.不存在某一时刻有人可能不受骗。本讲稿第十六页，共三十五页分析:这句话是美国前总统林肯的一句名言。A:张三可能在某个时刻受骗。张三是所有的人中的一个，最高明的骗子在某个时刻能欺骗所有的人，张三当然身在其中，不在话下。A不一定为假。B:李四可能在任何时候都不受骗。李四可能本身就是最高明的骗子。B不一定为假。C:骗人的人也可能在某个时刻受骗。确实可能，被别的骗子骗。C不一定为假。D:不存在某一时刻所有的人都不会受骗。只要骗子存在，所有的时刻都有可能有人被骗，不存在某一时刻所

12、有的人都不会受骗。D不一定为假。E：不存在某一时刻有人可能不受骗。这不对。当然存在某一时刻，有人可能不受骗。否则，就意味着：可能在所有的时刻，所有的人都受骗。这与题干矛盾。所以，选E。本讲稿第十七页，共三十五页一、真值模态命题推理一、真值模态命题推理二、规范模态命题推理二、规范模态命题推理三、法律规范选择推理三、法律规范选择推理本讲稿第十八页，共三十五页在逻辑上把包含模态词在逻辑上把包含模态词“可能可能”、“必然必然”等命题叫做模态命题。等命题叫做模态命题。模态命题分为四类：模态命题分为四类：必然命题；必然必然命题；必然p p；pp。必然非命题；必然必然非命题；必然p p；p p。可能命题；可

13、能可能命题；可能p;pp;p。可能非命题。可能可能非命题。可能p;p;p p。本讲稿第十九页，共三十五页真值模态对当推理是根据真值模态命题对当关系所进真值模态对当推理是根据真值模态命题对当关系所进行的演绎推理。行的演绎推理。例如，根据例如，根据 p p 有有 p p，从而可知如下推理正确：从而可知如下推理正确：某甲不可能是这起案件的作案人；某甲不可能是这起案件的作案人；所以，某甲必然不是这起案件的作案人。所以，某甲必然不是这起案件的作案人。本讲稿第二十页，共三十五页反对关系反对关系下反对关系下反对关系差差等等关关系系差差等等关关系系矛矛 盾盾 关关 系系矛矛 盾盾 关关 系系pppp本讲稿第二

14、十一页，共三十五页此图表明：此图表明：（1 1）pp与与p p之间的关系是反对关系。之间的关系是反对关系。（2 2）pp与与p p之间的关系是下反对关系。之间的关系是下反对关系。（3 3）pp与与p p以及以及 p p与与pp之间的关系是矛盾关之间的关系是矛盾关系。系。（4 4）pp与与pp以及以及p p与与p p之间的关系是差之间的关系是差等关系。等关系。（5 5）ppp p；p ppp（6 6）p ppp；ppp p本讲稿第二十二页，共三十五页练习练习1 1：在新疆恐龙发掘现场，专家预言：可能发现恐：在新疆恐龙发掘现场，专家预言：可能发现恐龙头骨。龙头骨。以下哪个命题和专家意思相同？以下哪

15、个命题和专家意思相同？A.A.不可能不发现恐龙头骨。不可能不发现恐龙头骨。B.B.不一定发现恐龙头骨。不一定发现恐龙头骨。C.C.恐龙头骨的发现可能性很小。恐龙头骨的发现可能性很小。D.D.不一定不发现恐龙头骨。不一定不发现恐龙头骨。E.E.在其他地方也可能发现恐龙头骨。在其他地方也可能发现恐龙头骨。本讲稿第二十三页，共三十五页练习练习2 2：在市场预测中，专家说：明年电脑不降价是：在市场预测中，专家说：明年电脑不降价是不可能的。不可能的。以下哪项和专家说的同真？以下哪项和专家说的同真？A.A.明年电脑一定降价。明年电脑一定降价。B.B.明年电脑可能降价。明年电脑可能降价。C.C.不可能预测明

16、年电脑是否降价。不可能预测明年电脑是否降价。D.D.明年电脑可能不降价。明年电脑可能不降价。E.E.明年电脑一定不降价。明年电脑一定不降价。本讲稿第二十四页，共三十五页练习练习3 3：不可能所有的错误都能避免。：不可能所有的错误都能避免。以下哪项最接近于上述断定的含义？以下哪项最接近于上述断定的含义？A.A.所有的错误必然都不能避免。所有的错误必然都不能避免。B.B.所有的错误可能都不能避免。所有的错误可能都不能避免。C.C.有的错误可能不能避免。有的错误可能不能避免。D.D.有的错误必然不能避免。有的错误必然不能避免。本讲稿第二十五页，共三十五页练习练习4 4：不可能所有的花都结果。以下哪项

17、断定的含义，：不可能所有的花都结果。以下哪项断定的含义，与上述断定最为接近？与上述断定最为接近？A A可能所有的花都不结果。可能所有的花都不结果。B B可能有的花不结果。可能有的花不结果。C C可能有的花结果。可能有的花结果。D D必然所有的花都不结果。必然所有的花都不结果。本讲稿第二十六页，共三十五页练习练习5 5：在上次考试中，老师出了一道非常古怪的难题，：在上次考试中，老师出了一道非常古怪的难题，有有86%86%的考生不及格。这次考试之前，王见明预测说：的考生不及格。这次考试之前，王见明预测说：“根据上次考试情况，这次考试老师不一定会出那种根据上次考试情况，这次考试老师不一定会出那种难题

18、了。难题了。”胡思明说：胡思明说：“这就是说这次考试老师肯定这就是说这次考试老师肯定不出那种难题了。太好了！不出那种难题了。太好了！”王见明说：王见明说：“我不是这我不是这个意思。个意思。”下面那句话与王见明说的意思相似？下面那句话与王见明说的意思相似？A.A.这次考试老师不可能不出那种难题。这次考试老师不可能不出那种难题。B.B.这次考试老师必定不出那种难题了。这次考试老师必定不出那种难题了。C.C.这次考试老师可能不出那种难题了。这次考试老师可能不出那种难题了。D.D.这次考试老师不可能出那种难题了。这次考试老师不可能出那种难题了。E.E.这次考试老师不一定不出那种难题。这次考试老师不一定

19、不出那种难题。本讲稿第二十七页，共三十五页（二）复合真值模态命题推理（二）复合真值模态命题推理复合真值模态命题推理是根据复合真值模态命题复合真值模态命题推理是根据复合真值模态命题之间的等值关系或蕴含关系而进行的演绎推理。之间的等值关系或蕴含关系而进行的演绎推理。例如，根据例如，根据（pq）pq 便有便有甲胜诉而乙败诉，这是必然的；甲胜诉而乙败诉，这是必然的；所以，甲必然胜诉，而乙必然败诉。所以，甲必然胜诉，而乙必然败诉。本讲稿第二十八页，共三十五页常见的公式有：常见的公式有：（1）（pq）（pq）（2）（pq）pq（3）（p V V q）p V V q（4）（pq）pq（5）p V Vq（p

20、V Vq）（6）（p q）（p q）（7）（pq）（p q）（8）（pq）pq（9）（pq）q p（10）（pV Vq）p q本讲稿第二十九页，共三十五页（一）规范模态对当推理（一）规范模态对当推理规范模态对当推理是根据规范模态命题对当关系所进行的演绎推理。规范模态对当推理是根据规范模态命题对当关系所进行的演绎推理。例如，根据例如，根据 OA P A便有：便有：并非子女必须随父姓；并非子女必须随父姓；所以，子女可以不随父姓。所以，子女可以不随父姓。本讲稿第三十页，共三十五页（二）复合规范模态命题推理（二）复合规范模态命题推理复合规范模态命题推理是根据复合规范模态命题之间的等复合规范模态命题推理

21、是根据复合规范模态命题之间的等值关系或蕴含关系而进行的演绎推理。值关系或蕴含关系而进行的演绎推理。例如，根据例如，根据 P（pV Vq）PpV VPq 便有便有自诉人在宣告判决前，可以同被告人自行和解或者撤自诉人在宣告判决前，可以同被告人自行和解或者撤回自诉；回自诉；所以，自诉人在宣告判决前，可以同被告人自行和解，或所以，自诉人在宣告判决前，可以同被告人自行和解，或者可以撤回自诉。者可以撤回自诉。本讲稿第三十一页，共三十五页常见的公式有：常见的公式有：（1）O（pq）（OpOq）（2）O（pq）OpOq（3）P（p V V q）Pp V VPq（4）P（pq）PpPq（5）Op V VOqO（

22、p V Vq）（6）F（pV Vq）FpFq（7）FpV VFq F（pq）（8）O（p q）（Op Oq）（9）O（pq）OpOq（10）O（pq）PpPq（11）O（pq）Fq Fp（12）O（pV Vq）Fp Op本讲稿第三十二页，共三十五页（三）规范模态的条件推理（三）规范模态的条件推理1.规范模态条件推理的含义规范模态条件推理的含义规范模态条件推理是根据规范模态命题所涉及的规范模态条件推理是根据规范模态命题所涉及的行为之间的条件关系所进行的演绎推理。行为之间的条件关系所进行的演绎推理。例如：例如：证据应当在法庭上出示，并由当事人互相质证；证据应当在法庭上出示，并由当事人互相质证；而只

23、有当事人出庭才能互相质证；而只有当事人出庭才能互相质证；所以，当事人必须出庭。所以，当事人必须出庭。其推理形式为：其推理形式为：Oq pq Op本讲稿第三十三页，共三十五页2.规范模态条件推理的种类规范模态条件推理的种类可分为必须条件推理、禁止条件推理和允许条件推可分为必须条件推理、禁止条件推理和允许条件推理三大类。所涉及到的公式有：理三大类。所涉及到的公式有：Op（pq）OqOp（q p）FqFp（qp）FqFp（pq）OqPp（pq）PqPp（q p）P q本讲稿第三十四页，共三十五页（四）规范模态的强弱推理（四）规范模态的强弱推理1.规范模态强弱推理的含义规范模态强弱推理的含义规范模态强弱推理是从一个较强或较弱的规范推出一规范模态强弱推理是从一个较强或较弱的规范推出一个较弱或较强的规范的推理。它是根据规范制定者个较弱或较强的规范的推理。它是根据规范制定者的同一立法意图或价值取向进行的。的同一立法意图或价值取向进行的。2.规范模态强弱推理的种类规范模态强弱推理的种类主要有两种主要有两种:（1）由强到弱的规范推理。）由强到弱的规范推理。（2）由弱到强的规范推理。）由弱到强的规范推理。注意：规范模态强弱推理不是演绎推理，其结论有注意：规范模态强弱推理不是演绎推理，其结论有一定的或然性。一定的或然性。本讲稿第三十五页，共三十五页