会计硕士MPAcc逻辑基础知识储备(2)
(5)单称肯定判断。其逻辑形式是某个S是P。
例如:北京是中华人民共和国的首都
(6)单称否定判断。其逻辑形式是某个S不是P。
例如:小王不是警察
由于单称判断对反映某一单独对象的概念的全部外延作了断定,从逻辑性质上说,单称判断可以看作是全称判断。这样,性质命题就可以归结为以下四种基本形式:
(1)全称肯定判断,简称为A判断,可写为SAP
(2)全称否定判断,简称为E判断,可写为SEP
(3)特称肯定判断,简称为I判断,可写为SIP
(4)特称否定判断,简称为O判断,可写为SOP
日常语言中的直言判断在表达上是不规范的,在逻辑分析中应先整理成规范形式。例如,凡人皆有死,应整理成所有的人都是要死的,这是A判断;有人不自私,应整理成有的人不是自私的,是O判断。
(二)对当关系
从概念的外延间的关系来说,判断主项S的外延与谓项P的外延之间的关系,共存在五种:全同关系、被包含关系、包含关系、交叉关系和全异关系。把各种性质判断的真假情况归纳起来,可列表如下:
根据上表,可以清楚地看出具有同一素材的A、E、I、O四种判断之间的真假关系。所谓同一素材的判断,就是指具有相同主项和谓项的判断。这里所说的真假,并不是各种判断内容的真假,而是同一素材的A、E、I、O四种判断之间的一种相互制约关系。对当关系就是指具有相同素材的性质命题间的真假关系。性质命题的对当关系可归纳为以下几种:
(1)矛盾关系。这是A和O、E和I之间存在的不能同真、不能同假的关系。例如:
A:所有事物都是运动的(真) O:有些事物不是运动的(假)
O:有些工商干部不是大学毕业生(真) A:所有的工商干部都是大学毕业生(假)
I:有些物体是固体(真) E:所有物体都不是固体(假)
E:语言都不是上层建筑(真) I:有些语言是上层建筑(假)
(2)差等关系(又称从属关系)。这是A和I、E和O之间的关系。如果全称判断真,则特称判断真;如果特称判断假,则全称判断假;如果全称判断假,则特称判断真假不定;如果特称判断真,则全称判断真假不定。例如:
已知A:所有事物都是运动的(真)则I:有些事物是运动的(真)
已知I:有的单位参加了义务献血。(假)则A:所有的单位都参加了义务献血(假)
已知A:我班同学都学过日语(假)则I:我班有些同学学过日语(真假不定)
已知I:我班有些同学学过日语(真)则A:我班同学都学过日语(真假不定)
类似地,可举例说明E和O判断之间的差等关系。