对它的证明也与以前一样。
但是,如果两个前提都是否定的,表示不属于的前提是全称必然的时,尽管通过这样的设定得不出必然的结论,但当或然前提可以转换时,三段论就可以成立,情况和以前一样。
如果设定两个前提都是不定的或特称的,则三段论就不能成立。证明方式与以前相同,并通过同样的词项。
从上面的讨论中可以清楚地看到,设定全称否定前提是必然的,则三段论就能成立,不仅产生或然否定形式的结论,而且产生实然否定形式的结论;但当全称肯定判断被这样设定时,三段论便不能产生;在必然前提中就像在实然前提中一样,三段论从相同的词项排列中得出或得不出。同样明显的是,所有这些三段论都是不完善的。它们都是通过已论述过的格而完成的。
在最后一格中,当两个前提都是可能的,或者一个是可能的时,三段论就可以产生。当两个前提都表示可能的意义时,结论也是可能的。当一个前提是或然的,另一个前提是实然的时,情况亦相同。但是,当另一个前提是必然的时,如果它是肯定的,则结论既不是必然的,也不是实然的。但如果它是否定的,那就与以前一样,结论是实然否定的。在这些结论中,“可能”的含义必须与以前作同样的理解。
首先,设定前提是可能的,设A和B都可能属于所有。由于肯定前提可以转换作特称前提,由于B可能属于所有C,C也可能属于某个B,因而,如果A可能属于所有,C可能属于某个B,则A可能属于某个B。这是通过第一格得到的。如果A可能不属于任何C,B可能属于所有,则必然可以推出,A可能不属于某个B。我们通过转换再次得到了第一格。如果设定两个前提都是否定的,则从中得不出必然的结论。但当前提可以转换时,则与以前一样,三段论可以成立。如果A和B都不可能属于C,如果我们将它们换作“可能属于”,那么我们通过转换将再次得到第一格。
如果一个前提是全称的,另一个前提是特称的,则三段论能否成立的情况与实然判断相同。如果词项排列相同的话。设定A可能属于所有C,B可能属于某个C。那么,通过特称前提的换位,我们将再次得到第一格;如果A可能属于所有C,C可能属于某个B,则A可能属于某个。如果设定BC是全称的,情况也相同。如果AC是否定的,BC是肯定的,那么情况也仍然相同;因为通过转换又可以得到第一格。
如果设定两个前提都是否定的,一个是全称的,一个是特称的,那么,从这样的前提中得不出任何结论。但与以前一样,通过转换就可以得到。
但是,如果两个前提都是不定的或特称的,三段论也不能成立;因为A必然既属于所有B,又不属于任何B。可说明谓项属于主项的词项是:动物一一人——白色的;可说明谓项不属于主项的词项是:马——一人——白色的。“白色的”是中词。
如果一个前提表示实然,另一个前提表示或然,那么,结论将是或然的,而不是实然的。三段论将从与前例中相同的词项排列中推出。首先,设定前提是肯定的,让A属于所有C,B可能属于所有C,则通过BC的换位,我们就能得到第一格。结论是,A可能属于某个B;因为我们已经知道,在第一格中,当一个前提是或然的时,结论也是或然的。如果BC是实然的,AC是或然的,或者如果AC是否定的,BC是肯定的,其中有一个是实然的,那么,在这两种情况下,结论都是或然的。因为我们再次获得了第一格,并且已经证明,当一个前提是或然的时,结论也是或然的。但是,如果设定小前提是或然否定的,或者两个前提都否定的,则从它们之中得不出三段论。但与以前一样,通过换位就可以得到三段论。
如果一个前提是全称的,另一个是特称的,当两个前提都为肯定时,或者当全称前提是否定的,特称前提是肯定的时,三段论将以同样方式产生,因为所有的结论都是通过第一格得到的。因此,很显然,结论将是或然的,而不是实然的。但是,如果肯定前提是全称的,否定前提是特称的时,则证明将通过归谬法而进行。设定B属于所有C,A可能不属于某个C,那么必然可以推出,A可能不属于某个B。
如果A必然属于所有B,B仍然属于所有C,则A必然属于所有C(这在以前已经被证明了。但已经设定,它可能不属于有些C。
如果设定两个前提都是不定的,或者都是特称的,则三段论不能成立。证明的方式与全称三段论一样,并根据相同的词项。
如果一个前提是必然的,另一个前提是可能的,当它们都为肯定时,则结论始终是可能的。但当它们一个肯定,一个否定时,如果肯定前提是必然的,则结论是或然否定的及实然否定的。没有必然否定的结论,正如在其他格中也没有一样。
首先,设定前提都是肯定的,A必然属于所有C,B可能属于所有C。由于A必然属于所有C,C可能属于某个,则A也在或然的意义上而不是在实然的意义上属于某个,这是从第一格中得出的结果。如果设定前提BC是必然的,AC是可能的,则证明也相同。
再者,设定一个前提是肯定的,另一个前提是否定的,肯定前提是必然的;让A可能不属于任何C,B必然属于所有C。这样,我们就再次获得了第一格,否定的前提具有可能的意义。因此,很显然,结论是或然的;因为当词项在第一格中具有这样的联系时,结论也是或然的。
但是,如若否定前提是必然的,那么结论将不仅是特称或然否定,而且是特称实然否定。设定A必然不属于C,可能属于所有C。这样,肯定前提BC的转换将产生第一格,并且否定前提是必然的。但是,我们知道,当前提具有这样的联系时,就可以推出,不仅A可能不属于某个C,而且实在是不属于某个C;所以,也必定能推出:A不属于某个B。但是,当小前提是否定的时,如果它是可能的,则与以前一样通过前提的替换就可得到三段论;如果它是必然的,则三段论不能成立。因为A既必然属于所有B又可能不属于所有B。可为前一种联系作例子的词项是:睡一一睡着的马一一人;可为后一种联系作例子的词项是:睡一一醒着的马--人。