1.单称肯定判断
单称肯定判断是断定某一个对象具有某种性质的判断。例如:
①鲁迅是新文化运动的主将。
②这棵树是松树。
例①断定“鲁迅”这一个别对象具有“新文化运动的主将”的性质;例②断定“这棵树”这一个别对象具有“松树”的性质。单称肯定判断的逻辑形式是:
这个 S 是 P
2.单称否定判断
单称否定判断是断定某一个别对象不具有某种性质的判断。例如:
①这本书不是小说书。
②鲁迅不是上海人。
例①断定“这本书”这一个别对象不具有“小说书”的性质;例②断定“鲁迅”这一个别对象不具有“上海人”的性质。单称否定判断的逻辑形式是:
这个 S 不是 P
单称判断的主项是单独概念。单独概念反映的对象是独一无二的事物,所以,单称判断的主项前面没有量项出现。也可以说,单称判断实际上也断定对象全部具有或不具有某种性质。因此,传统逻辑把单称判断当作全称判断处理。这样,我们可将以上六种判断形式归结为以下四种基本形式:
全称肯定判断:可以用 A 表示,写作 SAP 。
全称否定判断:可以用 E 表示,写作 SEP 。
特称肯定判断:可以用 I 表示,写作 SIP 。
特称否定判断:可以用 O 表示,写作 SOP 。