第七章模态命题及其推理第一节模态命题及其推理一、模态命题1.模态命题的定义、特征2.模态命题的种类⑴必然肯定命题⑵必然否定命题⑶可能肯定命题⑷可能否定命题3.模态命题之间的真假制约关系(对当关系)第一节模态命题及其推理二、模态对当关系推理⑴模态上反对关系推理⑵模态矛盾关系推理⑶模态差等关系推理⑷模态下反对关系推理第一节模态命题及其推理三、模态命题及其推理在公安工作中的应用模态命题及其推理在公安工作中,尤其在刑事侦查中,有着特殊的作用:判别案件性质判别犯罪分子的特征判别作案时间判别作案工具判别作案动机判别作案人数判别剩余的作案现场否定嫌疑第二节规范命题及其推理一、规范命题1.规范命题的定义、特征:规范命题是指在一定情况下,对人们的行为提出的某种命令或规定的命题。2.规范命题的种类⑴必须型规范命题①必须肯定命题②必须否定命题⑵允许型规范命题①允许肯定命题②允许否定命题第二节规范命题及其推理3.规范命题之间的关系指同素材的“必须P”、“必须非P”、“允许p”、“允许非p”之间的真假制约关系。其真假关系也可以借助逻辑方阵来表示:1、“Op”与“O┑p”之间是反对关系。其真假情况是:不能同真,可以同假。2、“Pp”与“P┑p”之间是下反对关系。不能同假,可以同真。3、“Op”与“Pp”、“O┑p”与“P┑p”之间是差等关系。4、“Op”与“P┑p”、“O┑p”与“Pp”之间是矛盾关系。不同真,不同假。第二节规范命题及其推理二、规范推理规范推理是以规范命题为前提,并根据规范命题的逻辑性质进行推演的推理。(一)对当关系规范推理有16个推理形式,其形式与对当关系模态推理相类似,故省略。第二节规范命题及其推理(二)规范三段论规范三段论是在直言三段论中引入规范词的三段论,介绍常见的三种规范三段论。1、必须规范三段论凡M必须P凡S是M所以,凡S必须P第二节规范命题及其推理(二)规范三段论2、禁止规范三段论凡M禁止P凡S是M所以,凡S禁止P第二节规范命题及其推理(二)规范三段论3、允许规范三段论凡M允许P凡S是M所以,凡S允许P第二节规范命题及其推理(三)等值关系规范推理1、负必须肯定命题等值推理。负必须肯定命题等值推理是根据负必须肯定命题及其等值命题之间的关系进行推演的规范推理。其逻辑形式为:┑Op←→p┑p2、负禁止命题等值推理┑O┑p←→Pp第二节规范命题及其推理(三)等值关系规范推理3、负允许否定命题等值推理┑p┑p←→Op4、负联言规范命题等值推理┑(Op∧Oq)→(p┑p∨p┓q)5、负选言规范命题等值推理┓(Op∨Oq)→(p┓p∧p┓q)第二节规范命题及其推理(三)等值关系规范推理6、负充分条件假言规范命题等值推理┓(p→Oq)→(p∧p┑q)7、负必要条件假言规范命题等值推理┑(P←Op)→(┓p∧Pp)第二节规范命题及其推理三、刑法规范命题及其推理的逻辑特征具有强制性。刑法规范命题及其推理多为复合形式。刑法规范命题具有全称性质。刑法规范命题中的“必须”和“应当”的逻辑含义是相同的。四、规范命题及其推理在公安工作中的应用