(三)SAcP与SIcP的对待关系如下:
SAcP与SIcP可以同时真,如第一图之表示。
SAcP与SIcP也可以同时假,如第二图与第三图之表示。
第二图表示无S或主词不存在,所以两命题均假;第三图表示SP存在,所以SAcP为假,而SP不存在,所以SIcP为假。
SAcP为真,则SIcP必真,如第一图;SIcP为真,则SAcP可以真,如第一图,也可以假,如第四图。
如SAcP为假,则SIcP可以真,如第四图,也可以假,如第二、第三两图;如SIcP为假,则SAcP必假,如第二,第三两图。
(四)SAcP与SIcP有差等的关系。它们可以同时真,可以同时假。如果SAcP真,则SIcP必真,SAcP假,SIcP不定;如果SIcP真,SAcP不定,SIcP假,则SAcP必假。SEcP与SOcP同样。兹以下图表示Ac、Ec、Ic、Oc的对待关系。
3。以A、E、I、O为Ah、Eh、Ih、Oh。Ah、Eh、Ih、Oh是以主词的存在为条件的命题,如果主词不存在,则这些命题根本用不着说,或简单地说它们无意义。
此处S的存在为四个命题的总条件,如S不存在,四个命题无所谓真假,它们有真假的时候,S存在。它们的解释既如此,它们的对待关系如下:
a。SAhP与SEhP的关系。
(最后一图可以不画,因条件未满足。)
(三)SAhP与SEhP的对待关系如下:
SAhP与SEhP不能同时真。若是没有S,它们都无意义。其他三可能中,没有它们同真的情形。
SAhP与SEhP可以同时假,如第三图;也可以同时无意义,或无真假,如第四图。但第四图与对待关系不相干。SAhP为真,则SEhP为假,如第一图;SEhP为真,则SAhP为假,如第二图。SAhP为假,则SEhP可以真如第二图,亦可以假如第三图;SEhP为假,则SAhP可以真如第一图,也可以假如第三图。
(四)SAhP与SEhP的对待关系为反对的对待关系。它们可以同时假,不能同时真,由一真可以推到另一为假,由一假不能推到另一为真或假。
b。SIhP与SOhP的对待关系。
(三)SIhP与SOhP的对待关系如下:
SIhP与SOhP可以同时真,如第二图。
SIhP与SOhP不能同时假。如果能同时假,等于没有S,或S不存在;S不存在,则两命题的条件未满足,无真假。
SIhP为真,SOhP可以真如第二图,也可以假如第一图。
SOhP为真,SIhP可以真如第二图,也可以假如第三图。
SIhP为假,则SOhP为真,如第三图;SOhP为假,则SIhP为真,如第一图。
(四)SIhP与SOhP的对待关系为下反对的关系。它们不能同时假,可以同时真;如果一命题为真,另一命题不定,如果一命题为假,则另一命题必真。
c。SAhP与SOhP,SEhP与SIhP的对待关系,以SAhP与SOhP为例。
(三)SAhP与SOhP的对待关系如下:
SAhP与SOhP不能同时真,也不能同时假。三图之中,没有同真的情形,也没有同假的情形。
如果SAhP为真,则SOnP为假,如第一图;如果SAhP为假,则SOhP为真,如第二第三两图。
如果SOhP为真,则SAhP为假,如第二第三两图;如果SOhP为假,则SAhP为真,如第一图。
(四)SAhP与SOhP为矛盾的命题。二者不能同真,不能同假。由一真可以推到另一为假,由一假可以推到另一为真。SEhP与SIhP同样。
d。SAhP与SIhP,SEhP与SOhP的对待关系。
(三)SAhP与SIhP的对待关系。
SAhP与SIhP可以同时真,如第一图;也可以同时假,如第二图。
SAhP为真,则SIhP必真;SAhP为假,SIhP可以真,如第三图,也可以假,如第二图。
SIhP为真,则SAhP可以真,如第一图,也可假,如第三图;SIhP为假,则SAhP必假,如第二图。
(四)SAhP与SIhP的对待关系为差等的对待关系。它们可以同时真,可以同时假;如果SAhP真可以推到SIhP的真,SAhP假不能推到SIhP为真为假;由SIhP的假可以推到SAhP的假,由SIhP的真不能推到SAhP之为真为假。SEhP与SOhP同样。兹以下图表示Ah、Eh、Ih、Oh的对待关系:
4。以上表示如果我们把传统的A、E、I、O当作An、En、In、On解,则它们的对待关系不是传统的对待关系,或者说传统的对待关系错了。如果传统的对待关系不错,则A、E、I、O不能视为An、En、In、On。如果我们把传统的A、E、I、O当作Ac、Ec、Ic、Oc解,则传统的对待关系也错了;如果传统的对待关系未错,则A、E、I、O不能视为Ac、Ec、Ic、Oc。这就是说如果传统的对待关系对的时候,则A、E、I、O既不是不假设主词存在的命题,也不是肯定主词存在的命题。
以上三解释之中只有一个说得通。如果我们以A、E、I、O为Ah、Eh、Ih、Oh,则传统的对待关系对。Ah、Eh、Ih、Oh是假设主词存在,或以主词存在为条件,而不肯定地说主词存在的命题。这里“假设”的意义颇不易以符号表示。它的意义,一方面似乎是以主词的存在为条件,另一方面似乎主词不存在的可能根本就没有想到,或即想到,而以为那种可能用不着讨论或研究。我们或者说从前治逻辑的人要逻辑“适用”,而以为实用的逻辑必为适用的逻辑。可是适用者虽均能实用,而事实上实用者不必普遍地“适用”。对于不存在的东西,事实上所说的话很少,而说话的时候,话中对象无论事实上存在与否,心理上大都以为它们存在。即以“所有的人都是会死的”而论,大多数的人对于此命题,很自然地会想到死的问题,与所有的人都会死,还是有一部分的人可以免死,等等问题,而这一句话既经说出,大多数的人不至于想到没有“人”的可能,即或想到,也以为大可不必讨论或研究。总而言之,空类或无分子的类忽略了。