大学老师课件《形式逻辑》形式逻辑第五章模态命题及其推理

《大学老师课件《形式逻辑》形式逻辑第五章模态命题及其推理》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第五章模态、规范判断与推理。。第五章第一节模态判断一、模态判断概述狭义的模态判断是指事物的必然性和可能性的判断，也称真值模态判断。广义的模态判断是指事物中的其他性质或状态。如知道、相信、应当、允许、禁止等。其中应当、允许、禁止等又称规范模态。模态在人们思维中的反映，表现为一定的认识或观念。语言中用以表示模态或模态概念的语词称为模态词如，必然、可能、应当、允许、不得、禁止、有权、有义务等。模态判断是指含有模态词的判断。真值模态判断是指断定事物情况的必然性和可能性的判断。例如：犯罪分子必然没有好下场。有的同学可能不想再读研究生。李消泯一定能够考

2、上研究生。必然和可能这些模态词在平时的使用中意义上无疑是有差别的，有些反映事物的必然趋势，有些仅仅表达认识者的主观认识。但是在逻辑中一般不讨论这些细微的差别。模态判断中的模态可以出现在句末，也可以成为谓项的一部分。例如：被告人说谎是可能的。认真学习必然取得良好的学习效果。二、模态判断的种类及模态判断之间的关系按模态判断是断定事物的必然性还是可能性，模态判断可分为必然判断和可能判断。必然判断和可能判断又有肯定的和否定的。因此，模态判断有如下四种：1、必然肯定判断。如：（1）念大学是必然会学到知识的。（2）犯罪必然是危害社会的。2、必然否定判断

3、（1）讲假话必然不会使人相信。（2）不学习必然不会学到知识。3、可能肯定判断。如：（1）李某可能犯罪（2）周冰可能考上公务员。4、可能否定判断（1）朝天先生可能不去上海（2）被告人可能不会翻供“”表示“必然”，◇表示“可能”。用字母P，q表示判断。四种模态判断的公式是：必然肯定判断P必然否定判断¬P可能肯定判断◇P可能否定判断◇¬P四种同素材模态判断逻辑方阵图必然P反对关系必然不P差差等矛矛等关关系盾系关关系系可能P下反对关系可能不P第二节模态推理一、什么是模态推理所谓模态推理是以模态判断为前提或为结论的构成的演绎推理。它是根据模态词的逻辑

4、性质以及模态判断相互之间的逻辑关系进行的推演。例如：1、坚持到底必然胜利，所以，坚持到底不可能不胜利。2、凡说假话的人可能人格有问题，小周是说假话的人，所以，小周可能人格有问题。二、根据逻辑方阵进行推理的模态推理1、根据矛盾关系推出结论的直接推理（1）必然P，推出并非可能非P。（2）并非必然非P，推出可能P。（3）可能非P，推出并非必然P。（4）并非可能非P，推出必然P。王老虎必然犯罪,所以,王老虎不可能不犯罪.并非小六必然考上研究生,所以小六可能考不上研究生.小津津可能不去上海,所以,小津津并非必然去上海.并非所有同学可能不认真学习,所以

5、所有同学必然认真学习.（5）必然非P，推出不可能P。（6）并非必然非P，推出可能P。（7）可能P，推出不必然非P。（8）并非可能P，推出必然非P。例如：所有的大学生必然热爱祖国,所以，所有的大学生不可能不热爱祖国.2、根据反对关系推出结论的模态推理（1）必然P，推出并非必然不P。认真工作必然出成效，所以，认真工作不必然不出成效。（2）必然非P，推出并非必然P。犯罪分子必然没有好下场，所以，犯罪分子并非必然有好下场。3、根据下反对关系推出结论的模态推理并非可能P，推出可能不P。有些人并非可能是聪明的人，所以，有些人可能不是聪明人。并非可能不P

6、，推出可能P。腐败分子并非可能不暴露，所以，腐败分子可能暴露。4、根据差等关系推出结论的直接摸态推理（1）必然P，推出可能P。朝小样必然是个犯罪分子，所以，朝小样可能是个犯罪分子。（2）必然不P，推出可能不P。有的干部必然不是密切联系群众的。所以，有的干部可能不是密切联系群众的。（3）并非可能P，推出并非必然P。并非有的干部可能是工人，所以，并非所有的干部必然都是工人。（4）并非可能不P，推出并非必然不P。并非有的犯罪分子可能不自首，所以，并非所有的犯罪分子必然不自首。，三、模态间接推理模态推理是在推理中引入模态词而构成的间接推理。1、必然

7、推理所有犯罪分子必然是危害社会的，所有的抢劫犯必然是犯罪分子，所以，所有的抢劫犯必然是危害社会的。公式为：（MAP）∧（SAM）→（SAP）2、必然判断和可能判断结合的推理凡犯罪分子必然受审判，李大哈可能不是犯罪分子，所以，李大哈可能不受审判。公式是：（MAP）∧◇（SEM）→◇（SEP）3、必然判断和性质判断结合的推理凡不讲道德的人必然遭到别人的反对，京哈哈是不讲道德的人，所以，京哈哈必然遭到别人的反对。公式是：（MAP）∧（SAM)→（SAP）4、可能判断与性质判断结合的推理不认真学习的同学可能成绩不好，拖西西是不认真学习的同学，所以，

8、拖西西同学可能成绩不好。公式是：◇（MAP）∧（SEM）→◇（SEP）第三节规范判断一、规范判断概述在日常语言中经常有一些语句包含着“必须”、“应该”、“允许”、“禁止”等涉及人