在所有其他格中,结论跟实然三段论中的情况一样,通过转换,以同样方式被证明是必然的。在中间格中,当全称前提是肯定的,特称前提是否定的;再者,在第三格中,当全称前提是肯定的,特称前提是否定的时,则证明方式便不相同,就必须以每个谓项都不属于的那部分主项作为例子,并从中得出结论。因为根据词项间这种结合方式,我们就可以得出必然的结论。如果根据所选定的例证,结论必然是真的,那么根据原来的一些词项,结论亦必然是真的,因为它与所选定的例子相等同。每个三段论都按照它自己的格得出结论。
有时也出现这样的情况,即使只有一个前提是必然的,当然,不能是两个前提中的任意一个,只能是大前提,我们也能获得必然的三段论。例如,如果我们设定必然属于(或必然不属于)B,B只是属于C,如果前提是这样被设定的,那么A必然属于(或不属于)C。因为必然属于(或不属于)所有B,C是B的一部分,所以,很显然,A必定也属于(或不属于)C。
但是,如果AB不是必然的,BC是必然的,那么结论就不是必然的。如果它是必然的,则可以根据第一格和第三格推出,A必然属于某些B。然而这是虚假的。因为B的情况可能是A不属于它的任何部分。而且,根据同项例子也可明显地看到,结论不是必然的。例如,设定A表示“运动”,B表示“动物”,C表示“人”,那么,人必然是动物,但动物却不必然是被运动的;人也不必然是被运动的。如果前提AB是否定的,情况亦相同,因为证明是相同的。
在特称三段论中,如果全称前提是必然的,结论也会是必然的;但是,如果特称前提是必然的,那么不管全称前提是肯定的还是否定的,结论都不是必然的。让我们首先设定,全称前提是必然的,A必然属于所有B,B仅能属于某个C。由此可得的结论一定是:A必然属于某个C。因为是归属于B的。而根据设定,A必然属于所有B。如果三段论是否定的,情况亦同样,因为证明是相同的。但如果特称前提是必然的,结论却不会是必然的。否定这一点并不会产生什么不可能的结果,正如在全称三段论中不会产生不可能的结果一样。否定前提的情况亦相同,可作例证的词项是:运动——动物——白色的。
在第二格中,如果否定前提是必然的,则结果也是必然的;如果肯定前提是必然的,则结论就不是必然的。让我们首先设定否定前提是必然的。A属于所有B是不可能的,A仅能属于C。那么,因为否定前提是可以换位的,所以B属于任何A也不可能。但A属于所有C,则属于任何C不可能,因为C归属于A。如果否定前提与相关,那么这同样适用。如果A属于所有C不可能,则属于所有A也不可能。但A属于所有B,所以C属于任何不可能。这里我们再次得到了第一格。B属于C是不可能的,因为前提与以前一样可以换位。
但如果肯定前提是必然的,则结论不会是必然的。让我们设定,A必然属于所有B,但它仅是不属于任何C这样,通过否定前提的转换,我们就得到了第一格。前面已经证明,在第一格中,如果否定的大前提不是必然的,那么结论也不是必然的。因而,在目前的例证中,它不是必然的。
进一步,如果结论是必然的,那就可以推出,C必然不属于某个A。因为如果B必然不属于任何C,那么C也不必然属于任何B。但B必然属于某个A,这就是说,如果根据设定必定属于所有B,则C必然不属于某个A。但没有理由说明为什么A不应如此设定以至于C可能属于它的全体。
再者,可以通过词项的例子证明,结论并非无条件地是必然的,而只是在某些条件下是必然的。例如,设定A表示“动物”,B表示“人”,C表示“白色的”,前提的情况与以前相同,那么,动物就可能不属于任何白色的事物,人也不属于任何白色的事物。但这个结论不是必然的。因为白色的人很有可能产生,但只要动物不属于任何白色的事物,它也就不会产生。在设定了这些条件之后,结论就是必然的;但它并非无条件地是必然的。
在特称三段论中,也可以获得同样的规则。当否定前提是全称必然的时,结论也是必然的;当肯定前提是全称的,否定前提是特称的时,结论就不是必然的。让我们首先设定,否定前提是全称必然的,A不可能属于任何B,但属于某个C。由于否定前提是可以转换的,B也不可能属于任何。但A属于某个C,因而B必然不属于某个C。再者,设定肯定前提是全称必然的,肯定前提与B相关。那么,如果A必然属于所有B,但不属于某个C,则B显然不属于某个C但这并不是必然的。可以证明它的词项与在全称三段论中的词项一样。
如果否定前提是特称必然的,则结论不是必然的。这也可以通过相同的词项加以证明。
在最后格中,当端词与中词的关系是全称的,并且两个前提都为肯定时,如若其中有一个是必然的,则结论也是必然的。如果有一个前提是否定的,另一个前提是肯定的,当否定前提是必然的时,结论也是必然的;但当肯定前提是必然的时,结论就不是必然的。
让我们首先设定,两个前提都是肯定的。A和B都属于所有C,AC是必然的。由于B属于所有C,C属于某个(全称判断转换后成特称判断);所以,如果A必然属于所有C,C属于某个B,那么,A就必然属于某个B;因为从属于C这样,第一格就产生了。如果前提BC是必然的,则证明方式亦相同;因为通过转换,C属于某个A,所以,如果B必然属于所有C,那么它也必然属于某个A。
第27章