“为了便于处理起见,从前的逻辑家给予这四种语句以四种称号。全谓肯定语句叫作A,全谓否定语句叫作E,偏谓肯定语句叫作I,偏谓否定语句叫作O。A、I表示肯定语句,这是从拉丁文单词affirmo抽出来的。E、O表示否定语句,这是从拉丁文单词nego抽出来的。
“如果我们以S代表主位词端,以P代表宾位词端,那么这四种语句的形式可以陈示如下。”老教授一边说,一边在纸上写着:
A 一切S是P
E 没有S是P
I 有些S是P
O 有些S不是P
“请各位特别注意呀!”老教授提高嗓门,“这四种语句形式中有一种情形与推论有直接的相干,它就是词端的普及与否,这也就是前述形式的量化问题。如果词端所指涉的是一类的全部,那么这个词端是普及的(distributed)。如果词端所指涉的是一类的一部分或是未定的部分,那么这个词端是未普及的(undistributed)。我们现在可依这两个界说来看,在这四种语句形式之中,哪些词端是普及的,哪些是未普及的。