特称否定区别命题 particular negative discriminate proposition 区别命题的一种。断定在对象中有一些不具有P性质的S,并且所有具有P性质的都是S。和特称否定命题不同,它是一种复合命题,用“Oa”表示,命题的形式是:SǑP∧PAS(“Ǒ”命题中的“有些”表示“既非一个,也非全部”。两个支命题由O、A判断组成,故用“Oa”表示)。用图解表示(长方形表示论域)就是:它表示“仅仅有些S不是P”“有些S并且只有这些S不是P”“有些S并且仅仅这些S不是P”的意思。例如:“有些生物学家,并且只有这些生物学家不是动物学家”。在这个命题中,不仅断定有些生物学家不是动物学家,而且还断定所有的动物学家都是生物学家,亦即断定没有不是生物学家的动物学家。在区别命题“Oa”中,“有些S不是P”(SǑP)蕴涵着“有些S是P”,而在特称否定命题中就没有这样的逻辑性质。 .JPG) |