性质命题是断定对象具有或不具有某种性质的简单判断。性质命题也叫直言命题或直言判断,可分为六种基本类型:
(1)全称肯定判断。其逻辑形式是所有S都是P。
例如:所有的金属都是导体。
(2)全称否定判断。其逻辑形式是所有S都不是P。
例如:所有宗教都不是科学。
(3)特称肯定判断。其逻辑形式是有S是P
例如:有的金属是液态。
(4)特称否定判断。其逻辑形式是有S不是P
例如:有的战争不是正义战争。
(5)单称肯定判断。其逻辑形式是某个S是P。
例如:北京是中华人民共和国的首都
(6)单称否定判断。其逻辑形式是某个S不是P。
例如:小王不是警察
由于单称判断对反映某一单独对象的概念的全部外延作了断定,从逻辑性质上说,单称判断可以看作是全称判断。这样,性质命题就可以归结为以下四种基本形式:
(1)全称肯定判断,简称为A判断,可写为SAP
(2)全称否定判断,简称为E判断,可写为SEP
(3)特称肯定判断,简称为I判断,可写为SIP
(4)特称否定判断,简称为O判断,可写为SOP
日常语言中的直言判断在表达上是不规范的,在逻辑分析中应先整理成规范形式。例如,凡人皆有死,应整理成所有的人都是要死的,这是A判断;有人不自私,应整理成有的人不是自私的,是O判断。
