凯发文学网 > 工具论 > 第 6 部分阅读

第 6 部分阅读

肯定命题:人是公正的;否定命题:人不是公正的。

【10】肯定命题是对某事物是什么的陈述,其主项ำ或者是名词,或者是无名称的事物。在肯定判断中,主ว项和谓项必须是单的。我们已经解释过什么是名词,以及自身无名称的事物是什么,我们说过,“非人”严格他说并不是个ฐ名词,我们称其为不确定名词,因为它们毕竟以某种方แ式表示单的事物。与此相似,“不健康”词严格他说也๣不是个动词,而是不确定动词。所以,肯定判断和否定判断ษ是由名词和动词所构成的,无论这些词是在严格的意义แ上还是在不确定的意义上被使用。如若没有动词,那就既不会有肯定命题,也不会有否定命题。因为“现在是”“将来是”“过去是”“生成”等等用语,都符合动同的定义,而且,它们除了具有自身的独特意义外,还与时间有关。所以,“人是”与“人不是”便形成最基本的肯定命题๤和否定命题,其次是“非人是”与“非人不是”,最后是“所有的人是”与“所有的人不是”“所有的非人是”与“所有的非人不是”。相对于将来时态与过去时态来说也是同样。

线是连续的,因为我们发现存在着个连接其各部分的共同边界。就线而言,这个界限就是点,就面而言,乃是线,因为面的各部分有个ฐ连接的共同界限。相对于体也是样,体也有个ฐ共同的边界,即线或面。时间和空间也是这样的数量。因为ฦ时间的过去现在与将来是个连续性的整体。空间是连续性的数量。因为ฦ体的各部分占据着空间,而且这些部分具有连接它们的共同边界ศ,空间的部ຖ分也是如此。体的每个部分都占据着空间,和体的各部ຖ分样,空间有连接它的各部分的同样界限。所以,不仅时间,而且空间也๣都是连续的数量,因为它们有连接其部分的共同界ศ限。

【6】有的数量是间断的,有的是连续的,而且有些数量,其构成部分相互之间具有相对的位置,而有些数量则没有这样的位置。间断的量,如数目语言,连续的量,如线面体,此外还有时间和地点。因为数目的各部ຖ分之间乃并不存在个由数目的各部ຖ分连接起来的共同边界,如两ä个5等于10,但并没有个使5和5连接起来的共同边界,它们是分离的。也没有个使3和7๕连接起来的共同边界。般地,就数目来说,在它们的各部分之中不可能存在着个共同的边界,它们总是分离的,所以,数目是间断ษ的数量。同样,语言也是间断的数量。语言显然是数量,因为它可以用长音节和短音节来度量。我所说的是能产生声音的语言。

假如关于件好的事物有两ä种判断,种判ศ断认为这件事是好的,种认为它是不好的,如果这事物还有些其他属性,如既不拥有也不可能拥有好的东西,但我们不能认为,那些虽然不拥有好而被认为拥有好的判断,以及虽然拥有好而被认为ฦ不拥有好的判断ษ,与真实的判断ษ是相反判断,因为ฦ这两ä种判断其数量是无限的,我们毋宁把那些虚假的判ศ断看作是真实判断的相反判断,而这些又和生成有关,生成是从端过渡到另端,虚假就是这样的过渡。

好的东西是好的,而非坏的;某属性就其自身属于事物,那么เ另属性则只是偶然地属于该事物。因为它偶然不是坏的。但如果个最真实的判ศ断涉及事物自身,那么最虚假的判断也同样要涉แ及事物自身,涉แ及到เ事物自身的虚假判ศ断是“好的事物是不好的”。“它是坏的”虽然也๣是个ฐ虚假判断,但它仅仅涉及到偶然的东西,所以,否定好的事物是好的判断,便要比表示事物其他属性以及和好相反的属性的判断,更假得厉害。但最假的是那位在这点上持有与真实判断相反的判ศ断的人。因为相反的事物乃是在同种类中差别最大的事物。假如两个判断中ณ有个ฐ判断和真实的判ศ断相反,矛盾判ศ断便是更为相反的判断ษ,所以,后者才是真正的相反判断。而且判断好的东西是坏的,乃是种复合判断,因为作这种判断的人定会把好的东西判ศ断成不好的。

再者,如若在其他情况下也定如此,那么对于这些例子我们所采取的观点便是真实的。因为矛盾判断要么总是相反判ศ断,要么就不是相反判断ษ。在事物没有相反者的情况下,我们认为,否定真实判断的判断ษ便是虚假的;假如个ฐ人认为人不是人,这个判断ษ便是虚假的。所以,如果这些是相反判断ษ,那ว么เ在其他场合,矛盾判断也会如此。

另外,认为好的东西是好的,与认为不好的东西不是好的,这两ä个判ศ断是类似的;认为好的东西不好,与认为不好的东西是好的,这两者也是相类似的。那么什么样的看法与认为ฦ“不好的东西是不好的”的真实看法相反呢?当然不可能是认为“不好的东西是坏的”的看法,因为这种看法有时可以与上面的看法同时为真,而真实的看法决不可能ม相互反对因为坏的东西是不好的,所以这两种看法可能会同时为ฦ真。也不可能是“不好的东西不是坏的”的看法,因为这两者也๣可能同时为真。这样就只剩下“不好的东西不是好的”与“不好的东西是好的”这两ä种相反看法。所以,“好的东西是不好的”的看法与“好的东西是好的”的看法相反。

显然,如若肯定判断是全称判断ษ,这也决不会产生任何差别ี,因为全称的否定判ศ断将是其相反判断,例如,“没有什么好的东西是好的”这个判ศ断与“所有好的东西是好的”这个判断ษ就是相反判断,因为,在“好的东西是好的”这个判断ษ中,如若“好的东西”是全称的,这就等于“凡是好的东西是好的”这判断;这个ฐ判断与“所有好的东西是好的”毫无差别。相对于“不好的东西”,也是样。

如若判断的情况就是这样,而且口头的肯定和否定乃是内心判断的符号,很清楚,当全称否定和肯定陈述拥有同主项时,全称否定也就是肯定陈述的真正的相反命题๤,例如,“所有好的东西是好的”或“所有人是好的”的相反命题是“并非所有好的东西是好的“或“并非所有人是好的”,而“并非所有好的东西是好的”或“并非所有人是好的”乃ี是与它们相对的矛盾命题。很显然,无຀论是个真实的判断还是个ฐ真实的矛盾命题,都不可能与个ฐ真实的判断相反。因为,当两个命题都真实时,个人可以同时坚持这两者而没有什么不致,而相反命题๤则是陈述相反事实的命题๤,而相反事实不可能同时存在于同主体。

*rr据洛布古典丛书希๶腊本文。

秦华典译

工具论之前分析篇第卷

古希腊亚里士多德

【】我们首先要说明我们研究的对象以及这种研究属于什么เ科学:它所研究的对象是证明,它归属于证明的科学。其次,我们要给“前提”“词项”和“三段论”下定义,要说明什么样的三段论是完满的,什么เ样的三段论是不完满的。此后,我们将解释在什么意义แ上个ฐ词项可以说是或不是被整个地包括在另个词项之中ณ,我们还要说明个词项完全指称或不指称另个词项指的是什么意思。

前๩提是对某事物肯定或否定另事物的个陈述。它或者是全称的,或者是特称的,或者是不定的。所谓全称前提,我是指个事物属于或不属于另事物的全体的陈述;所谓特称前提,我是指个ฐ事物属于另个ฐ事物的有些部分不属于有些部分或不属于另个事物全体的陈述;所谓不定前提,我指的是个事物属于或不属于另个ฐ事物,但没有表明是特称还是全称的陈述。例如,“相反者为同门学问所研究”或“快乐不是善”。

证明的前提与辩证的前๩提是不相同的。证明的前提是对两个相矛盾陈述中方的论断ษ因为证明者的工作不是提问,而是作断定,辩证的前提则是对在两种相矛盾的陈述中应接受哪种这问题的回答。但这种差异对三段论并无຀影响。三段论既可以从证明的前提推出,也可以从辩证的前๩提推出。因为无论是证明者还是论辩者都是首先断ษ定某谓项属于或不属于某主项,然后得出个三段论的结论。因此,根据上面所说的内容,个三段论的前提,简单说来,是某谓项对某主项的肯定或否定。如果它是真实的,是从原初ม的公设中得出的,那么它就是证明的。而辩证的前提,对论辩者来说,是对在两ä个相矛盾的前๩提中ณ应接受哪个这问题的回答;对推论者来说,它则显得是真实的并被普遍接受的论断;这些我们在论题篇中ณ已经讨论过了。

什么是前提?三段论的证明的及辩证的前提之间有什么差别?这些问题我们在以后还要详细解释民对于我们目前的讨论而言,现有的定义已经足够了。

所谓词项我是指个前提分解后的成分,即谓项和主项ำ,以及被加上或去掉的系词“是”或“不是”。

三段论是种论证,其中只要确定某些论断,某些异于它们的事物便可以必然地从如此确定的论断中推出。所谓“如此确定的论断”,我的意思是指结论通过它们而得出的东西,就是说,不需要其他任何词项就可以得出必然的结论。如果个三段论除了所说的东西以外不需要其他什么就可明确得出必然的结论,那么,我们就称这个三段论是完满的;如果个三段论需要个或多个尽管可以必然从已设定的词项中推出但却不包含在前提中ณ的因素,那ว么,我们就称这个三段论是不完满的。

个词项整个地包含在另个词项中,与后个词项可全部ຖ地表述前个词项ำ,这二者意义แ相同。我们说个词项表述所有的另个词项ำ,那就是说,在后个词项之ใ外再也找不到เ可断定的东西。根据同样方式,我们说个ฐ词项不表述任何词项。

【2】任何前提的形式都是某属性要么属于要么必然属于要么可能属于某主ว项。在这三种前提中ณ,每种都有肯定和否定两类。在肯定和否定的前提中,有的是全称的,有的是特称的,有的是不定的。在全称陈述中,否定前提的词项是可以转换的。例如,如果切快乐่都不是善,那么切善的东西就都不是快乐。肯定前๩提的词项虽然也๣必然是可以转换的,但却不能换成全称陈述而只能换成特称陈述。例如,如果切快乐都是善,那么เ某些善必定也๣是快乐。在特称陈述中ณ,肯定的前提必然也能换成特称陈述因为ฦ如果某些快乐่是善,则某些善也๣是快乐。可是否定的前提却不必然可以转换,因为ฦ从“人不属于有些动物”中推不出“动物不属于有些人”。

首先,让我们以和b为词项的全称否定前提为ฦ例。

如若不属于任何b,那ว么日也就不属于任何。如若属于某种b譬如说,那么“不属于任何b”就是不真实的,因为属于b。但是,如若属于任何b,那么,b也๣就属于有些。因为如若b不属于任何,那么也就不属于任何b。但根据设定,属于切bຘ,如若前提是特称的,情况也同样如此。因为如若属于有些b,那么b就必然属于有些。如若不属于任何b,那么เb也不属于任何。但是,如若不属于有些b,却不必然可以推出b不属于有些。例如,设定bຘ表示“动物”,表示“人”,那么เ,虽然人不属于每个动物,但动物却属于每个人。

【3】如若前提是必然的,则换位的方แ式亦同样。全称否定判断ษ可以换位成全称判断,而全称肯定判断ษ却只能换位成特称判断。如若必然不属于任何b,则b也๣必然不属于任何;因为ฦ如若b可能属于有些,也可能属于有些b。如若必然属于切或有些b,bຘ也必然会属于有些;如果这不是必然的,也就不必然属于有些b了。特称否定判断是不能转换的,其原因与我们在上面所说的相同。

再谈可能的前๩提。“可能”词有多种含义因为我们把必然的不必然的以及潜在的事物都称为可能。在切肯定前๩提中,转换的方式与以前相同。因为如若可能ม属于切或有些b,b也可能属于有些如若b不属于任何,则也不可能属于任何b,这已经在上面证明过了。但是,在否定陈述中,情况就不相同了。凡被认为是“可能”的例子,无论陈述必然是真的还是不必然是真的,其转换方式都与以前说过的情况相同。例,有人说,人可能不是匹马,或白可能不属于任何外衣。在前面例子中,谓项ำ必然不属于主项ำ;在后面的例子中,谓项ำ则不必然属于主项。这种前提的转换与其他否定前提相同。如若马可能ม不属于任何人,那么人也๣可能不属于任何马;如若白的可能不属于任何外衣,那ว么外衣也可能ม不属于任何白的。因为如若它必定属于有些白的,那么เ白的也必然属于有些衣服。这在上面已证明过了。特称否定前提的转换方式亦相同。但是,如果在那些由于是经常的或自然的才被认为是可能我们就是按照这种方式来为ฦ“可能”下定义的的前提中,那么否定前提的换位方式就与上述情况不相同了。全称否定前๩提不能换位,但特称否定前提却能换位。我们在讨论“可能”时会明白这点。

除上述内容外,让我们断定下面这点也同样清楚,即“是不属于任何b”或“可能ม是不属于有些下这样的论述在形式上是肯定的。“可能ม是”相当于“是”,而系词“是”可附加在作为谓项的任何词项上,它总是而且无例外地具有肯定的结果。例如,“是不善的”“是不白的”或概而言之“是非调,这点也将在以后给予证明。这些前提的转换方式与其他肯定前提样。

【4】作了这些区分之后,我们现在就可以讨论每个三段论是通过什么途径,在什么时候以及以何种方式产生的。然后,我们必须研究证明。我们之所以要在讨论证明以前先讨论三段论,是因为三段论更加普遍些。证明是种三段论,但并非切三段论都是证明。

如若三个ฐ词项相互间具有这样的联系,即小词整个包含在中ณ词中ณ,中ณ词整个包含在或不包含在大词中ณ,那么,这两ä个端词必定能构成个完善的三段论。我所说的“中词”,是指既包含在另个词项中ณ又包含着其他词项于自身中ณ的词项。它被称作中ณ词,也是由于它所处的位置的缘故。端词是指包含在另个词项中ณ的词,或者包含着另个词项的词。如果可以作为ฦ切日的谓项,b可以作切的谓项ำ。

那么必定可以作切的谓项ำ。我们在前面已๐经说明“个词项作另个词项的全体的谓项”是什么意思。同样,如果不能作切bຘ的谓项,b可作切的谓项,那就可以推出,不能ม作切的谓项。

如果大词属于中词的全体,中词不属于小词的全体,那么,两个端词便构不成三段论。因为从这样的前提中得不出必然的结论。因为大词可能ม属于小词的全体,也可能不属于小词的全体,结果,既不能必然地推出全称结论,也不能ม必然地推出特称结论;而如果从前提推不出必然的结论,三段论就不能成立。端词问的肯定联系可用动物——人——马这样的词项来表示,端词问的否定联系可用动物——人——石头这样的词项来表示。

再者,如果大词不属于中ณ词,中词不属于小词,三段论也不能成立。端词间的肯定联系可用科学——线——医学这样的词项来表示,端词间的否定联系可用科学——线——单位这样的词项来表示ิ。

因而,如果词项之间处在种全称的联系中,那么在这个格中,三段论什么时候能成立,什么时候不能成立就很清楚了。同样清楚的是,如果三段论能成立,词项之间的联系就必定如上所述,如果它们之间具有这样的联系,三段论便能成立。

如果有个端词跟中ณ词发生全称关系,另个ฐ端词与中词发生特称关系,当全称陈述无论是肯定的还是否定的与大词相关,特称陈述是肯定的并且与小词相关时,那么,三段论必定是完善的;但如果全称陈述与小词相关,或者词项间以其他方แ式相联系时,三段论便不能ม成立所谓大词,我是指包含中词的词项;所谓小词,我是指从属于中ณ词的词项。设定属于切b,b属于有些。如果“个词项ำ可作另个词项ำ的全体的谓项”其含义แ如同我们在开头时所述人则必定属于有些。如果不属于任何b,b属于有些,那么必定不属于有些我们也曾说明“不作为另个词项的谓项”是什么เ意思。这样,我们就会获得个ฐ完善的三段论。如果b这陈述是不定的,但只要它是肯定的,那么情况也相同;因为不论b是不定的还是特称的,我们都具有同样的三段论。

但是,如果肯定的或否定的全称前提与小词相关,那ว么,无论不定的或特称的前๩提是肯定的还是否定的,三段论都不可能成立。例如,如果属于或不属于某个ฐb,b属于切。端词间的肯定联系可表示为:善——品质——明智;端词间的否定联系可表示为:善——品质——无知。

再者,如果b不属于,属于或者不属于某个b,即并非切日都是。那么เ,三段论就不能成立。我们可以用下面的词项作例子:白色的——马——天鹅;白色的——马——乌鸦。如果b这前提是不定的,也可以用同样的词项为例。

如若跟大词相联系的前提无论是肯定还是否定是全称的,与小词相联系的前๩提是否定的特称的,那么,三段论便不能成立,无຀论小前提是不定的还是特称的;例如,如若属于所有bຘ,bຘ不属于某个或者并非所有的;如若中ณ词不属于某个ฐ小词,那么大词既可与所有小词相结合,也可不相结合。让我们确定动物——人——白色的这组词项,然后,把“天鹅”和“雪”作为“人”不能以其为谓项的白色东西的例子。这样,“动物”可表述所有的“天鹅”,但不能表述任何“雪”。因而三段论不能ม成立。再者,让不属于所有b,b不属于某个,把词项ำ换成无生命的——人——白色的,把“天鹅”和“雪”作为“人”不能作其谓项的白色东西的例子。这样,“无生命的”可以表述所有的“雪”,却不能表述任何“天鹅”。

因为“b不属于某个”这陈述是不定的,而且无຀论b不属于任何还是不属于所有,它都是真实的,因为我们选择了这样的词项,让b不属于任何,所以,三段论便不能产生这已๐经在上面说过了。十分明显,当词项之间处于这样种联系时,三段论便不能成立。否则,用这些词项就能构成个ฐ三段论了。如果全称前提被设定为是否定的,也๣可以作出同样的证明。

如果两ä个前提都是特称的,并且它们都是肯定的,或者都是否定的;或者个ฐ肯定,个ฐ否定;或者个前๩提不确定,另个ฐ确定;或者两ä个前๩提都不确定。在上述情况下,三段论都不能成立。可用来说明它们的词项是:动物——白色的——马;动物——白色的——石头。

从上面所说的内容可以清楚地看到,如若在这个格中的三段论有个ฐ特称的结论,那么เ词项之间必定具有我们所描述的那种联系。如若它们以别的方式发生关系,那么在任何情况下,三段论都不能ม成立。同样清楚的是,在这个格中,切三段论都是完善的因为它们都是通过原来设定的前提而完成的,各种命题都可以用这个格来证明,因为它既ຂ能证明全称的又能ม证明特称的结论,无论它们是肯定的还是否定的。我把这个格称作第格,或初始格。

【5】如果相同的词项ำ属于个主项的全部,而不属于另个ฐ主项的任何部ຖ分,或者属于两ä个主项的全部,或者不属于两个主项的任何部分,我就把这个格叫做第二格。在这个格中,中ณ词即是表述两个主ว项的那个词项;端词即是被中词所表述的主项;大词是与中词较接近的词项;小词是与中词距离较远的词项;中ณ词被置于端词之ใ外,而且位于前面。

在这个格中,无຀论词项ำ如何排列,都不可能产生完善的三段论,但却能形成可能的三段论,无论词项间的关系是全称的,还是非全称的。如果它们是全称的,当中ณ词属于个主项的全体,而不属于另个ฐ主项的任何部ຖ分时,无论哪个主ว项被表述,三段论都可以成立。但在其他情况下则不然。让不表述所有,但却表述所有。由á于否定前提可以换位,所以也不属于任何。但根据设定,属于任何,因而也不属于任何0这已经在上面证明了。再者,如果属于所有,但不属于任何,那么也不属于任何。因为如果不属于任何,也๣不属于任何。然而根据设定,属于所有,所以也๣不属于所有。我们再次得到了第格。由于否定前๩提是可以换位的,则也๣不属于任何。这样,它就与上面的三段论样。运用归谬法也能证明这些结果。

因此,很明显,当词项ำ之间具有这样的关系时,我们就具有三段论,但不是个完善的三段论。因为除了原有前提而外,还需要其他因素,才能推出必然的结论。

但是,如果表述所有和所有,则三段论不能成立。可说明端词间肯定联系的词项例证是实体——动物——人;可说明端词问否定联系的词项例证是实体——动物——数。实体是中ณ词。如果既不表述,也不表述所有,那么三段论也不能成立。可以说明端词间肯定联系的词项例证是线——动物——人;可以说明端同问否定联系的词项例证是线——动物——石头。

可见,如果端词之间具有全称联系的三段论能ม成立,那么词项之ใ间的关系必定如同我们在开始所陈述的那样;如果它们以其他方式联系,那就得不到เ必然的结论。

如果中ณ词与个ฐ端词具有全称联系,当它与大词有全称联系或者是肯定的,或者是否定的,与小词处于与全称关系相对立的特称联系时我所谓的“与相对立”,意思是说,如果全称联系是否定的,那么特称联系是肯定的;反之亦然,那么三段论的结论就必然是特称否定的。例如,如果不属于任何,但属于某个,那么必然可以得出,不属于某个。因为ฦ否定陈述可以换位,所以也不属于任何。但根据设定,属于某个ฐ,所以不属于某个。这个结论是通过第格推得的。再者,如果属于所有,但不属于某个ฐ,那么必然可以得出,不属于某个。因为如果属于切,可表述所有,那么เ必定也属于切。但根据设定,不属于某个。如果属于所有,不属于任何几那么三段论的结果将是不属于任何。证明的方法与前述相同。但是,如果表述所有,却不表述所有,则ท三段论不能成立。可作为ฦ例子的词项如动物——实体——乌鸦;动物——白色的——乌鸦。如果不表述任何,却表述某个,那么,三段论也不能ม成立。可以说明端词间肯定联系的词项例子是:动物——实体——单位;可以说明端词间否定联系的词项例于是:动物——实体——知识。

这样,我们就说明了,当全称前๩提与特称前提相对立时,在什么条件下,三段论成立,在什么条件下,三段论不成立。如果两个ฐ前提的形式相同,即都是肯定的或者都是否定的,那么三段论就不能成立。让我们首先设定它们都是否定的,让全称联系与大词相关,例如,不属于所有,而且不属于某个,那ว么可能属于所有,也可能不属于所有。用以说明端词间否定联系的例证是:黑色的——雪——动物。我们找不到เ可以说明全称肯定联系的端词,因为虽然不属于的某些部分,但却属于的另些部分。如果属于所有,不属于任何,那么不属于任何。但根据设定,它属于某个。所以我们不可能ม找到เ符合这些条件的词项,并且我们的证明必须ี从特称前提的不定性质中ณ推论出。因为当实际上不属于任何时,说它不属于某个ฐ,也๣是正确的。我们知道,当它不属于任何时,三段论不成立。所以,很显然,在现在的情况下,三段论也不能成立。

再者,让我们设定两ä个前提都是肯定的,让全称联系的情况跟以前样,例如,让属于所有并且属于某个。既可能属于所有,也可能不属于任何。可以说明端词间否定联系的词项例于是:白色的——天鹅——石头;可以说明端词间肯定联系的词项例证,我们找不到。原因与上述相同:我们的证明必须从特称前提的不定性质中ณ推出。

如果全称联系与小词相关,即是说,不属于任何,不属于某个,那么เ既可能ม属于所有,也๣可能ม不属于任何。可以说明端词间肯定联系的词项例证是:白色的——动物——鸟鸦;可以说明端词间否定联系的词项例子是:白色的——石头——乌ไ鸦。如果两个ฐ前提都是肯定的,那么เ,可以说明端词间否定联系的词项例证是:白色的——动物雪;可以说明端词间肯定联系的词项ำ例子是:白色的——动物——天鹅。

所以,很明显,当前提在形式上相同,并且其中个是全称的,另个是特称的时,三段论在任何情况下都不能成立。如果中词属于或不属于每个主项的部ຖ分;或者属于个主ว项的部分,不属于另个主项的部分;或者不属于每个主ว项的全部;或者与它们的联系不定,在上述情况下,三段论都不能成立。以白色的——动物——人,白色的——动物无຀生物这些词项为ฦ例,可以说明这些情况。

综上所述,可以明显看到,如果词项之间的联系如同我们所描述的那ว样,那么,三段论必然可以产生。如果三段论成立,那ว么,词项之间必定具有这样的联系。同样清楚的是,在这个格中,所有的三段论都是不完善的因为它们都是通过断定某些另外的前提而完成的,而这些另外的前提既不是必然隐含在词项中,也๣不是被设定的。例如,当我们用归谬法证明我们的结论时。通过这个ฐ格,我们不能获得肯定的结论。切结论,无论是全称还是特称,都是否定的。

【6】如果个词项属于个主项的全部,另个词项不属于这同主项的任何部分;或者两个词项都属于同主项的全部;或者两个ฐ词项都不属于同主ว项ำ的任何部分;那ว么,我把这个格称作第三格。在这个ฐ格中,中词即是两个端词都作其谓项ำ的那个词项;端词即是指谓项;大词即是离中词较远的那个词项;小词即是离中词较近的那个词项。中ณ词的位置处于两个端词之ใ外,并且在最后。

在这个格中,我们也得不到个完善的三段论。但无论端词与中词的关系是全称的还是非全称的,三段论是可能成立的。如果它们的关系是全称的,当和r属于所有时,必定属于有些r。因为肯定前๩提是可以转换的,属于有些r,并且属于所有已属于有些r,所以必定属于有些r。我们通过第格得到了这个ฐ三段论这也可以用归谬法和论述予以证明。当两个ฐ词项ำ都属于所有时,如果我们从类中选择某个事物,譬如说,,则和r都能ม属于它。所以属于有些r。

如果r属于所有,不属于任何,则三段论的结果必定是不属于有些r。证明方法与上述相同,因为ฦr可以转换。跟上面的例证样,这结果也可以通过归谬法得到证明。

如果r不属于任何,属于所有,则三段论不能成立。可说明端词间肯定联系的词项是:动物——马——人;可说明端词间否定联系的词项是:动物——无生物——人。

如果两个端词都不表述任何,三段论也不能成立。可说明端词间肯定联系的词项是:动物——马——无຀生物,可说明端词间否定联系的词项ำ是:人——马——无生物。“无生物”是中词。

因此,在这个格中,当词项间具有全称联系时,三段论在什么条件下能ม成立,在什么情况下不能成立,我们就很清楚了。当两ä个前๩提都是肯定的时,三段论就能成立,其结论是,个ฐ端词属于另个端词的部分。当两个前๩提都是否定的时,三段论便不能ม成立。当个前提为肯定,另个前提为否定时,如果大前提是否定,小前提是肯定,则三段论能成立。其结论是,个端词不属于另个端词的部分;如果相反,大前๩提是肯定,小前๩提是否定,则三段论不能成立。

但是,如果在两ä个端词中,个与中词具有全称联系,另个与中ณ词具有特称联系,如果前提同为肯定,则无论哪个前提是全称的,三段论都必定成立。如果r属于所有,属于某些人则必定属于有些r;由于肯定前提是可以转换的,属于某些,由于r属于所有,属于某个ฐ,r也属于某个ฐ,所以,也属于某个r。再者,如果r属于某些,属于所有,则ท必定属于某个r。证明的方法与以前相同。也可以根据归谬法以及论述来证明它,就像前๩面的例子样。

如果两个前提个是肯定的,个是否定的,并且肯定前๩提是全称的,那ว么,当小前提是肯定的时,则三段论能成立。如果r属于所有人不属于某个,那ว么必定不属于某个r因为如果它属于所有r,r属于所有,则也๣属于所有;但根据设定,它不属于任何。如果我们选取某些所不属于的作例子,那么,这结论不用归谬法也能得到证明。但如果大前提是肯定,则三段论不能成立;例如,如果属于所有,r不属于某些。可说明端词间全称肯定联系的词项是:有生物人动物;但我们找不到เ可以说明全称否定联系的词项。因为r虽然不属于某个已却又属于另些。如果属于所有,r属于有些,那么就属于有些r。但根据设定,它不属于任何r。我们必须像理解以前๩的例证那样来理解这种情况。

因为“个词项不属于另个”这论述是不定的,所以说“不属于任何的也不属于有些”是真实的。但是,当r不属于任何时,三段论不能成立。所以,很显然,在这种情况下,三段论不能成立。

但是,如果否定词项是全称的,当大前提是否定,小前提是肯定时,三段论就能成立。如果不属于任何,r属于某个,也不属于有些r。因为通过将前提r转换,我们就可以再次得到เ第格。但当小前提是否定时,则三段论不能成立。可以说明端词间肯定联系的词项ำ是:动物野蛮的;可以说明端词间否定联系的词项是:动物知识野蛮的。在这两个ฐ例子中,中词都是“野蛮的”。

如果两个前提都被设定为ฦ是否定的,并且个是全称的的,个ฐ是特称的时,三段论亦不能成立。当小词与中ณ词具有全称关系时,可用作例子的词项是:动物知识野蛮的动物人野蛮的。如果大词与中词有全称关系时,可以说明端词问联系是否定的词项是:乌鸦雪白色的;但我们找不到可以说明端词间具有肯定的词项ำ。因为r尽管不属于某个,却又属于另些如果属于所有r,r属于有些,也๣属于某个;但根据设定,它不属于任何。证明必须从特称前提的不定性质中推得。

如果两个端词都属于或不属于中词的部分;或者个ฐ属于中词的某个部分,另个ฐ不属于;或者个ฐ属于某个部分,另个不属于任何部分;或者它们与中ณ词的联系不定;在所有这些情况下,三段论都不能成立。动物人白色的;动物无生物白色的,这些词项可用来说明所有这些情况。

因而,我们就说明了,在这个ฐ格中ณ,三段论在什么时候能成立,在什么เ时候不能成立;如果词项是按照我们所论述的方式相联系的,那么三段论必定可以成立;并且如果三段论能成立,那么词项ำ之间的联系必定如此。同样清楚的是,在这个格中,切三段论都是不完善的因为它们都通过补充另外的前提才得以完成。这个格不可能达到全称的结论,无论是肯定的还是否定的。

【7】可见,在所有这些格中,当三段论不能成立时,如果两个前提都是肯定,或者都是否定,那就根本得不到必然的结论;如果两个前提个是肯定,个ฐ是否定,如果否定前提是全称的,那么,总是能产生个把小词与大词联系起来的三段论。例如,如果属于所有或某个b,b不属于任何;因为ฦ前提是可以转换的,那么必然可以推出,不属于某个。其他格亦相同。因为三段论总是通过转换法而产生的。很明显,在所有这些格中,如果特称肯定为不定所取代,那么结果就将是个相同的三段论。

同样很清楚,切不完善的三段论都是通过第格完成的。达到结论的途径要么是直接证明,要么是归谬法。在这两种情况下,第格都能产生:如若是通过证明而达到结论,则结论是通过换位而得到的,而旦换位,第格就产生了;如若是通过归谬法达到结论的,当个虚假前提被断ษ定时,三段论就通过第格而产生。例如,在最后格中,如果和b属于所有,那么เ我们便得到个三段论,结论是:属于某个ฐb;如果不属于任何bຘ,而b属于所有,则不属于任何。但根据设定,它属于所有。在其他格中,情况亦相同。

可以把切三段论都还原为第格中的全称三段论。第二格中的三段论显然是借助它们而完成的。但方แ式并不全样:全称三段论是通过否定判断的换位而得到的;特称判断则是根据归谬法得到的。第格中的特称三段论确实是通过它们自身建立的。但如果我们运用归谬法,那么,它也可以通过第二格得到证明。例如,如果属于所有b,b属于有些,那就可以证明属于有些,因为如果不属于任何,但属于所有b,那么b也๣就不属于;而这是我们通过第二格得知的。当前๩提为否定时,证明的方式亦相同。因为ฦ如果不属于任何b,b属?