《大学老师课件《形式逻辑》形式逻辑第五章模态命题及其》-精选·课件.ppt

第五章 模态、规范判断与推理 。 。 第五章 第一节 模态判断 一、模态判断概述 狭义的模态判断是指事物的必然性和可能性的判断，也称真值模态判断。 广义的模态判断是指事物中的其他性质或状态。如知道、相信、应当、允许、禁止等。其中应当、允许、禁止等又称规范模态。 模态在人们思维中的反映，表现为一定的认识或观念。语言中用以表示模态或模态概念的语词称为模态词 如，必然、可能、应当、允许、不得、禁止、有权、有义务等。 模态判断是指含有模态词的判断。 真值模态判断是指断定事物情况的必然性和可能性的判断。例如：犯罪分子必然没有好下场。 有的同学可能不想再读研究生。 李消泯一定能够考上研究生。 必然和可能这些模态词在平时 的使用中意义上无疑是有差别的，有些反映事物的必然趋势，有些仅仅表达认识者的主观认识。但是在逻辑中一般不讨论这些细微的差别。 模态判断中的模态可以出现在句末，也可以成为谓项的一部分。例如： 被告人说谎是可能的。 认真学习必然取得良好的学习效果。 二、模态判断的种类及模态判断之间的关系 按模态判断是断定事物的必然性还是可能性，模态判断可分为必然判断和可能判断。必然判断和可能判断又有肯定的和否定的。因此，模态判断有如下四种： 1、必然肯定判断。如： （1）念大学是必然会学到知识的。 （2）犯罪必然是危害社会的。 2、必然否定判断 （1）讲假话必然不会使人相信。 （2）不学习必然不会学到知识。 3、可能肯定判断。如： （1）李某可能犯罪 （2）周冰可能考上公务员。 4、可能否定判断 （1） 朝天先生可能不去上海 （2）被告人可能不会翻供 “?”表示“必然”， ◇表示“可能”。用字母P，q表示判断。四种模态判断的公式是： 必然肯定判断 ? P 必然否定判断 ?? P 可能肯定判断 ◇P 可能否定判断 ◇ ?P 四种同素材模态判断逻辑方阵图 必然P 反对关系 必然不P 差 差 等 矛 矛 等 关 关 系 盾 系 关 关 系 系 可能P 下反对关系 可能不P 第二节 模态推理 一、什么是模态推理 所谓模态推理是以模态判断为前提或为结论的构成的演绎推理。它是根据模态词的逻辑性质以及模态判断相互之间的逻辑关系进行的推演。 例如：1、坚持到底必然胜利， 所以，坚持到底不可能不胜利。 2、凡说假话的人可能人格有问题，