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

第 6 部分阅读

【6】肯定命题是肯定某事物属于另事物,否定命题否定某事物属于另事物。

肯定命题:人是公正的;否定命题:人不是公正的。

处于缺乏的状况和拥有某种能力,这两者是对立的,正如“具有”与“缺乏”是对立的样,而且其对立的方แ式也是相同的。“是盲的”与“有视力”是对立的,就像“盲”与“视力”是对立的样。

线是连续的,因为我们发现存在着个ฐ连接其各部ຖ分的共同边界。就线而言,这个界限就是点,就面而言,乃ี是线,因为面的各部分有个连接的共同界限。相对于体也是样,体也有个ฐ共同的边界,即线或面。时间和空间也是这样的数量。因为时间的过去现在与将来是个连续性的整体。空间是连续性的数量。因为体的各部分占据着空间,而且这些部ຖ分具有连接它们的共同边界,空间的部分也๣是如此。体的每个部分都占据着空间,和体的各部分样,空间有连接它的各部ຖ分的同样界限。所以,不仅时间,而且空间也都是连续的数量,因为它们有连接其部分的共同界ศ限。

贝克尔版问世9๗0年之ใ后,在奥托·吉冈的主ว持下出版了亚里士多德全集新版1245๓卷19601้961。在新版的亚里士多德全集里,贝克尔版的前两ä卷,也就是亚里士多德著作的本文“完全按照原样重新า交付印行”,因为吉冈认为,虽然在更完善的版本中,肯定会出现某种特点和优点,但和这些新า的版本相比较越发显得贝克尔以其惊人的机敏选择了这些手稿,并且在大多数情况下审慎地规划并编排了这些手稿。此外,贝克尔版在当时是唯用两卷或三卷就把亚里士多德全部ຖ著作包容在内的版本。而在新的版本中所表现的个或少数特点或优点,在学术上可能是足够的,但在实用上却显得不够。所以,按照贝克尔原文重新印行第12两卷。无论对文献研究,还是对亚里士多德哲学,都将受到เ欢迎。在新版中ณ,吉冈删去了第三卷亚里士多德著作的拉丁文译本,而代之以个更完整的残篇汇编。因为这种拉丁文译本对于亚里士多德著作研究的发展虽然是很有价值的,但是谁要想解释亚里士多德的词句,就没有什么เ太大的帮助了。而且,亚里士多德著作的残篇,自贝克尔之后,经过许多学者的大力搜求,已经大大地丰富起来。特别是雅典政制的纸草在189๗0่年被意外地发现,更使这种残篇的搜集工作具有了重大的意义。此外,新版还从亚里士多德本文的注释中选印了最重要的文献,在第四卷中就刊行包尼茨b的著名的亚里士多德著作索引。编者指出,这个索ิ引虽然在今日຅看来已有许多不足之处,但它是渊博的,综合了所有最有价值之点,即使在今日຅,这个索ิ引也可以使所有那些想认识亚里士多德大量主ว题,以及其各种最重要用法的读者感到满足。新版的亚里士多德全集附有自贝克尔版之后所出版的各种版本的全部目录,最后加上称作“亚里士多德”的马尔西安传记。所以要出版这传记,为的是让文献研究者们能够确有把握地区别ี,哪些词句是在今日纸草本中总可以读得到的,哪些词旬ຒ是我们时代学者们所补充的。在这最后两ä卷中汇集了新า的研究成果。

假如关于件好的事物有两种判断,种判断认为ฦ这件事是好的,种认为它是不好的,如果这事物还有些其他属性,如既不拥有也不可能ม拥有好的东西,但我们不能ม认为,那些虽然不拥有好而被认为拥有好的判ศ断,以及虽然拥有好而被认为ฦ不拥有好的判断,与真实的判断是相反判断,因为ฦ这两种判断其数量是无限的,我们毋宁把那些虚假的判断看作是真实判断的相反判断,而这些又和生成有关,生成是从端过渡到另端,虚假就是这样的过渡。

好的东西是好的,而非坏的;某属性就其自身属于事物,那么另属性则只是偶然地属于该事物。因为它偶然不是坏的。但如果个最真实的判断ษ涉及事物自身,那么最虚假的判断也同样要涉及事物自身,涉及到事物自身的虚假判断是“好的事物是不好的”。“它是坏的”虽然也是个虚假判断ษ,但它仅仅涉及到偶然的东西,所以,否定好的事物是好的判断,便要比表示事物其他属性以及和好相反的属性的判断,更假得厉害。但最假的是那ว位在这点上持有与真实判断ษ相反的判断的人。因为相反的事物乃ี是在同种类中差别ี最大的事物。假如两ä个判断ษ中有个判ศ断和真实的判断相反,矛盾判断便是更为相反的判断,所以,后者才是真正的相反判ศ断。而且判ศ断好的东西是坏的,乃是种复合判断,因为ฦ作这种判断的人定会把好的东西判断成不好的。

再者,如若在其他情况下也定如此,那么对于这些例子我们所采取的观点便是真实的。因为矛盾判断要么总是相反判断,要么就不是相反判断。在事物没有相反者的情况下,我们认为ฦ,否定真实判断ษ的判断便是虚假的;假如个人认为人不是人,这个判断便是虚假的。所以,如果这些是相反判ศ断ษ,那么เ在其他场合,矛盾判断也会如此。

另外,认为ฦ好的东西是好的,与认为不好的东西不是好的,这两ä个判断是类似的;认为好的东西不好,与认为ฦ不好的东西是好的,这两者也是相类似的。那ว么什么样的看法与认为“不好的东西是不好的”的真实看法相反呢?当然不可能是认为“不好的东西是坏的”的看法,因为这种看法有时可以与上面的看法同时为真,而真实的看法决不可能相互反对因为坏的东西是不好的,所以这两种看法可能会同时为真。也不可能是“不好的东西不是坏的”的看法,因为ฦ这两者也可能同时为真。这样就只剩ທ下“不好的东西不是好的”与“不好的东西是好的”这两ä种相反看法。所以,“好的东西是不好的”的看法与“好的东西是好的”的看法相反。

显然,如若肯定判断ษ是全称判断,这也决不会产生任何差ๆ别ี,因为ฦ全称的否定判断ษ将是其相反判断ษ,例如,“没有什么好的东西是好的”这个判断与“所有好的东西是好的”这个ฐ判ศ断就是相反判ศ断,因为,在“好的东西是好的”这个判ศ断中,如若“好的东西”是全称的,这就等于“凡是好的东西是好的”这判ศ断;这个判ศ断与“所有好的东西是好的”毫无差别ี。相对于“不好的东西”,也是样。

如若判断ษ的情况就是这样,而且口头的肯定和否定乃ี是内心判断ษ的符号,很清楚,当全称否定和肯定陈述拥有同主项时,全称否定也就是肯定陈述的真正的相反命题,例如,“所有好的东西是好的”或“所有人是好的”的相反命题๤是“并非所有好的东西是好的“或“并非所有人是好的”,而“并非所有好的东西是好的”或“并非所有人是好的”乃是与它们相对的矛盾命题。很显然,无论是个ฐ真实的判断还是个真实的矛盾命题,都不可能与个真实的判断相反。因为,当两个命题都真实时,个人可以同时坚持这两者而没有什么不致,而相反命题则是陈述相反事实的命题,而相反事实不可能同时存在于同主体。

*rr据洛布古典丛书๰希腊本文。

秦华典译

工具论之前๩分析篇第卷

古希๶腊亚里士多德

【】我们首先要说明我们研究的对象以及这种研究属于什么科学:它所研究的对象是证明,它归属于证明的科学。其次,我们要给“前提”“词项”和“三段论”下定义,要说明什么样的三段论是完满的,什么样的三段论是不完满的。此后,我们将解释在什么意义上个词项可以说是或不是被整个地包括在另个词项之ใ中,我们还要说明个词项完全指称或不指称另个词项ำ指的是什么เ意思。

前提是对某事物肯定或否定另事物的个陈述。它或者是全称的,或者是特称的,或者是不定的。所谓全称前提,我是指个事物属于或不属于另事物的全体的陈述;所谓特称前提,我是指个事物属于另个事物的有些部分不属于有些部分或不属于另个事物全体的陈述;所谓不定前๩提,我指的是个ฐ事物属于或不属于另个事物,但没有表明是特称还是全称的陈述。例如,“相反者为ฦ同门学问所研究”或“快乐่不是善”。

证明的前提与辩证的前提是不相同的。证明的前๩提是对两个相矛盾陈述中方的论断ษ因为证明者的工作不是提问,而是作断ษ定,辩证的前提则ท是对在两ä种相矛盾的陈述中应接受哪种这问题๤的回答。但这种差ๆ异对三段论并无影响。三段论既可以从证明的前提推出,也可以从辩证的前提推出。因为无论是证明者还是论辩者都是首先断定某谓项属于或不属于某主项,然后得出个三段论的结论。因此,根据上面所说的内容,个三段论的前提,简单说来,是某谓项对某主ว项的肯定或否定。如果它是真实的,是从原初的公设中ณ得出的,那么它就是证明的。而辩证的前๩提,对论辩者来说,是对在两个相矛盾的前提中ณ应接受哪个这问题的回答;对推论者来说,它则ท显得是真实的并被普遍接受的论断;这些我们在论题篇中已经讨论过了。

什么是前提?三段论的证明的及辩证的前提之ใ间有什么差ๆ别?这些问题我们在以后还要详细解释民对于我们目前的讨论而言,现有的定义已经足够了。

所谓词项我是指个前提分解后的成分,即谓项和主项,以及被加上或去掉的系词“是”或“不是”。

三段论是种论证,其中只要确定某些论断,某些异于它们的事物便可以必然地从如此确定的论断中推出。所谓“如此确定的论断ษ”,我的意思是指结论通过它们而得出的东西,就是说,不需要其他任何词项ำ就可以得出必然的结论。如果个三段论除了所说的东西以外不需要其他什么就可明确得出必然的结论,那么,我们就称这个三段论是完满的;如果个三段论需要个或多个ฐ尽管可以必然从已设定的词项中推出但却不包含在前提中的因素,那么เ,我们就称这个ฐ三段论是不完满的。

个词项整个ฐ地包含在另个词项中,与后个ฐ词项可全部地表述前个词项,这二者意义相同。我们说个词项ำ表述所有的另个词项,那就是说,在后个ฐ词项之ใ外再也找不到可断定的东西。根据同样方式,我们说个词项不表述任何词项。

【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属?๣