逻辑学7-第七章-直言命题课件

,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,单击此处编辑母版标题样式,*,直言命题,熊明（编）,目标,对某类简单命题进行“逻辑分析”，确定其形式（从而确定相关推理的形式）。,直言命题,直言命题（又称为性质命题）：,断定词项所指对象具有或不具有某种性质的命题。,例子：,所有的乌鸦都是黑色的。,所有诚实的人都不说谎。,有的学生是党员。,有的哲学家不是逻辑学家。,主项,谓项,量项,联项,矩形,不是,正方形。,矩形,不是,正方形。,有些,有些,直言命题的结构,直言命题的联项只有两种：,肯定联项：是，为,否定联项：不是，不为,它们代表直言命题的“质”,直言命题的联项,直言命题的量项有两种：,全称量项：所有，一切，任意,特称量项（存在量项）：有的，有些，存在,它们代表直言命题的“量”,直言命题的量项,2.,直言命题的类别,直言命题的类别,按直言命题联项的不同,直言命题,肯定命题,否定命题,直言命题的类别,按直言命题量项的不同,直言命题,全称命题,特称命题,直言命题的类别,直言命题,肯定命题,否定命题,全称肯定命题,特称肯定命题,全称否定命题,特称否定命题,例：,所有的正方形都是长方形。,全称肯定命题,有些简单命题不是直言命题。,特称否定命题,3.,直言命题的形式,直言命题的形式,全称肯定命题：,例：,所有的天使都是说真话的,主项（天使）：,S,谓项（说真话的）：,P,逻辑形式：,SAP,A,：所有的,都是,直言命题的形式,全称肯定命题：,SAP,A,命题,特称肯定命题：,SIP,I,命题,直言命题的形式,全称否定命题：,SEP,E,命题,特称否定命题：,SOP,O,命题,例：,所有的正方形都是长方形。,形式：,SAP,有些简单命题不是直言命题。,形式：,SOP,例,愚人不为烦恼所困扰。,（所有的）愚人（都是）不为烦恼所困扰（的）。形式：,SAP,（所有的）愚人（都不是）为烦恼所困扰（的）。形式：,SEP,4.,直言命题的真值,SAP,T,T,F,F,F,SEP,F,F,F,F,T,SIP,T,T,T,T,F,SOP,F,F,T,T,T,S P,P,S,S P,P,S,P,S,P,例子（关于,SAP,）,所有的等边三角形都是等角三角形。,所有的等边三角形都是等腰三角形。,所有的等腰三角形都是等边三角形。,所有的直角三角形都是等角三角形。,所有的直角三角形都是等边三角形。,例子（关于,SEP,）,所有的等边三角形都不是等角三角形。,所有的等边三角形都不是等腰三角形。,所有的等腰三角形都不是等边三角形。,所有的直角三角形都不是等角三角形。,所有的直角三角形都不是等边三角形。,例子（关于,SIP,）,有的等边三角形是等角三角形。,有的等边三角形是等腰三角形。,有的等腰三角形是等边三角形。,有的直角三角形是等角三角形。,有的直角三角形是等边三角形。,例子（关于,SOP,）,有的等边三角形不是等角三角形。,有的等边三角形不是等腰三角形。,有的等腰三角形不是等边三角形。,有的直角三角形不是等角三角形。,有的直角三角形不是等边三角形。,5.,直言命题中词项的周延性,直言命题中词项的周延性规定,从命题的形式上看，如果直言命题对某个词项进行的断定是相对于这个词项外延中每个元素作出的，那么就称该词项在这个直言命题中是周延的；否则，就称该词项在这个直言命题中是不周延的。,对全称肯定命题,全称肯定命题中，主项是周延的。,全称肯定命题中，谓项是不周延的。,例子：,所有的乌鸦都是黑色的。,对全称否定命题,全称否定命题中，主项和谓项都是周延的。,例子：,所有的奇数都不是偶数。,对特称肯定命题,特称肯定命题中，主项和谓项都不是周延的。,例子：,有的学生是党员。,对,特称否定命题,特称否定命题中，主项是不周延的，而谓项是周延的。,例子：,有的学生不是党员。,周延性情况表,命题形式,S,P,SAP,周延,SEP,周延,周延,SIP,SOP,周延,