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

第 7 部分阅读

再者,如若在其他情况下也๣定如此,那么对于这些例子我们所采取的观点便是真实的。因为矛盾判断ษ要么总是相反判断,要么就不是相反判断。在事物没有相反者的情况下,我们认为,否定真实判断的判断ษ便是虚假的;假如个人认为ฦ人不是人,这个判ศ断便是虚假的。所以,如果这些是相反判断,那么เ在其他场合,矛盾判断也会如此。

在各种命题๤中ณ存在着简单命题๤,如肯定某事物的某种东西,或否定某事物的某种东西,另种是复合命题,如由简单命题构成的命题。简单命题是种有意义的表述,它肯定或否定某事物在过去现在或将来的存在。

“是”“不是”与“公正的”“不公正的”在这里被放在起。这就是这些命题的正确图式,正如在分析篇中所说的那ว样。如若将主ว词换上全称名词,这样形成的肯定命题也是样。

拥有或没有某种能力并不等于具有或缺乏็。例如,“视力”是具有,它的对立面“盲”是缺乏,但“视力”和“有视力”并非同回事,“是盲的”和“盲”也๣不是同回事。因为“盲”是种缺乏็,而“是盲的”则是种损失。“是盲的”本身并不是缺乏。而且,如若“是盲的”与“盲”是同回事,则这两ä者所表述的也是同回事。但这是决不可能的,个人可以被说成是盲的,却不可以被说成是“盲”。

语言也是这样,因为语言的部分不能ม持久存在,人们旦把它说出来,它也๣就不能再维持其存在了。所以,语言的部ຖ分没有位置,它不能持久存在。因此,有些数量,其部分具有位置,而有些数量,其部ຖ分则没有位置。

在全集中,贝克尔对亚里士多德各篇著作的编排从工ื具论的范畴篇开始到论诗为止,大体是依照亚里士多德关于科学的分类来进行的。在这里,以工具论六篇为方法学上的预备,接着就安排了思辨或理论科学的物理学或广义แ的自然学,以及与此相关的天文气象生理心理动物植物诸篇章,然后就是总名为形而上学的物理学后的诸篇章。亚里士多德把数学也和物理学形而上学并列ต为思辨科学的个组成部分,但没有专门的著作保存下来。其次是实践科学,在这里,伦理学政治学家政学或经济学三部分是完整的。最后是创น制科学,其中三个ฐ组成部分诗学修辞学辩证法三部ຖ分也是完整的。不过辩证法被看作是依据公认的意见立论和反驳的方法,把与此有关的著作论题篇和辩谬篇提到เ工具论中ณ去了。由于亚里士多德的著作中缺乏显明的客观标志,使人可以确定其写作时代的顺序,所以,在这里所用的方法,也许是能从亚里士多德著作中找得到某种依据的唯可行的方法。在我们的译本里,也别无຀可选择,无可创新,只能ม依照标准本的办法,按贝克尔的顺序和页码来编排。贝克尔版的第三卷收集了在15๓和16世纪译成的优秀的亚里士多德著作的拉丁文译本。其他各卷是从古代的亚里士多德注释中ณ,选其重要的编辑整理而成,部分包含了亚里士多德已散失了的著作的残篇,此外还附加了有关亚里士多德著作的目录。

【9】有时也出现这样的情况,即使只有个前提是必然的,当然,不能ม是两个前๩提中的任意个ฐ,只能是大前๩提,我们也能ม获得必然的三段论。例如,如果我们设定必然属于或必然不属于b,b只是属于,如果前提是这样被设定的,那么必然属于或不属于。因为必然属于或不属于所有b,是b的部ຖ分,所以,很显然,必定也属于或不属于。

但是,如果b不是必然的,b是必然的,那么结论就不是必然的。如果它是必然的,则可以根据第格和第三格推出,必然属于某些bຘ。然而这是虚假的。因为ฦb的情况可能是不属于它的任何部分。而且,根据同项例子也可明显地看到,结论不是必然的。例如,设定表示“运动”,bຘ表示“动物”,表示“人”,那么,人必然是动物,但动物却不必然是被运动的;人也不必然是被运动的。如果前提b是否定的,情况亦相同,因为证明是相同的。

在特称三段论中ณ,如果全称前提是必然的,结论也会是必然的;但是,如果特称前提是必然的,那么不管全称前๩提是肯定的还是否定的,结论都不是必然的。让我们首先设定,全称前提是必然的,必然属于所有b,b仅能属于某个。由此可得的结论定是:必然属于某个。因为是归属于b的。而根据设定,必然属于所有b。如果三段论是否定的,情况亦同样,因为证明是相同的。但如果特称前提是必然的,结论却不会是必然的。否定这点并不会产生什么不可能ม的结果,正如在全称三段论中不会产生不可能的结果样。否定前๩提的情况亦相同,可作例证的词项ำ是:运动动物白色的。

【10】在第二格中,如果否定前๩提是必然的,则ท结果也是必然的;如果肯定前提是必然的,则结论就不是必然的。让我们首先设定否定前提是必然的。属于所有b是不可能的,仅能属于。那么เ,因为ฦ否定前提是可以换位的,所以b属于任何也不可能。但属于所有,则ทb属于任何不可能,因为归属于。如果否定前提与相关,那么这同样适用。如果属于所有不可能ม,则属于所有也不可能。但属于所有b,所以属于任何b不可能ม。这里我们再次得到了第格。bຘ属于是不可能ม的,因为前提与以前样可以换位。

但如果肯定前提是必然的,则ท结论不会是必然的。让我们设定,必然属于所有bຘ,但它仅是不属于任何这样,通过否定前提的转换,我们就得到了第格。前๩面已经证明,在第格中,如果否定的大前提不是必然的,那么结论也๣不是必然的。因而,在目前的例证中,它不是必然的。

进步,如果结论是必然的,那就可以推出,必然不属于某个。因为如果bຘ必然不属于任何,那么也不必然属于任何b。但bຘ必然属于某个,这就是说,如果根据设定必定属于所有bຘ,则必然不属于某个。但没有理由说明为什么เ不应如此设定以至于可能属于它的全体。

再者,可以通过词项ำ的例子证明,结论并非无条件地是必然的,而只是在某些条件下是必然的。例如,设定表示“动物”,b表示“人”,表示“白色的”,前๩提的情况与以前相同,那么เ,动物就可能不属于任何白色的事物,人也不属于任何白色的事物。但这个ฐ结论不是必然的。因为白色的人很有可能ม产生,但只要动物不属于任何白色的事物,它也๣就不会产生。在设定了这些条件之后,结论就是必然的;但它并非无຀条件地是必然的。

在特称三段论中,也可以获得同样的规则。当否定前提是全称必然的时,结论也是必然的;当肯定前๩提是全称的,否定前๩提是特称的时,结论就不是必然的。让我们首先设定,否定前提是全称必然的,不可能属于任何bຘ,但属于某个ฐ。由á于否定前提是可以转换的,b也不可能属于任何。但属于某个,因而b必然不属于某个。再者,设定肯定前提是全称必然的,肯定前提与bຘ相关。那么เ,如果必然属于所有b,但不属于某个,则b显然不属于某个但这并不是必然的。可以证明它的词项与在全称三段论中的词项ำ样。

如果否定前提是特称必然的,则结论不是必然的。这也可以通过相同的词项加以证明。

【11】在最后格中,当端词与中ณ词的关系是全称的,并且两ä个前提都为肯定时,如若其中有个是必然的,则结论也๣是必然的。如果有个前提是否定的,另个ฐ前提是肯定的,当否定前提是必然的时,结论也是必然的;但当肯定前提是必然的时,结论就不是必然的。

让我们首先设定,两个前提都是肯定的。和b都属于所有,是必然的。由于b属于所有,属于某个bຘ全称判ศ断转换后成特称判断;所以,如果必然属于所有,属于某个b,那么เ,就必然属于某个bຘ;因为ฦb从属于这样,第格就产生了。如果前提b是必然的,则证明方式亦相同;因为ฦ通过转换,属于某个,所以,如果b必然属于所有,那么เ它也必然属于某个。

再者,设定是否定的,b是肯定的。否定前๩提是必然的。既然通过转换,属于某个b,必然不属于任何,那么,也必然不属于某个b。因为ฦb从属于,但如果肯定前提是必然的,则ท结论就不是必然的。让b是肯定的,并且是必然的,是否定的,不必然的。由于肯定判断ษ可以换位,必然属于某个b。所以,如果不属于任何,必然属于某个b,则ท不属于某个bຘ。但这并非出于必然;在第格中ณ已经证明,如果否定前๩提不是必然的,那ว么结论也๣就不是必然的。

如果用某些词项ำ作例于,那么这种情况会变得十分清楚。设定表示“好的”b表示“动物”表示“马”,那么เ,好的可能ม不属于任何马,而动物必定属于所有马。但“动物不是好的”这陈述并不是必然的。因为ฦ每种动物都可能是好的。或者如果这是不可能的,那就以“醒”与“睡”这两个词项ำ作例子,因为ฦ每种动物都具有这两ä种状态。

这样,我们就说明了,当端词与中ณ词发生全称联系时,在什么เ条件下结论是必然的。如果个前提是全称的,另个前提是特称的,两ä个前提都是肯定的,那么,如果全称前提是必然的,则结论也是必然的。证明的方แ式与以前相同;因为特称肯定前๩提是可以转换的。因此,如果b必定属于所有,归属于,那么เbຘ必定属于某个ฐ。如果b属于某个,则ท必然属于某个b,因为前提是可以转换的。如果是全称必然的,情况亦相同;因为b从属于。

如果特称前提是必然的,那ว么เ结论就不是必然的。设定bຘ是特称必然的,属于所有,但不是必然属于。将b转换,我们就得到เ了第格。全称前提不是必然的,而特称前提是必然的。我们已经知道,如果前提之ใ间的联系是这样的,则结论就不是必然的。现在的情况亦不例外。用某些词项作例子,可以更清楚地认识到这点。让表示ิ“醒着的”,bຘ表示“两足的”,表示“动物”。那么เb必定属于某个ฐ,可能属于。但不必然属于bຘ。因为某个ฐ两足的东西并不必然是醒着的或睡着的。设定是特称必然的,则ท借助同样的词项也๣能作出相同的证明。

如果个ฐ前提是肯定的,另个前提是否定的,当全称前提为ฦ必然否定时,结论也是必然的。因为不可能属于任何,b属于某个,必然不属于某个bຘ。但当肯定前提不论是全称的,还是特称的,或者特称否定前提是必然的时,则结论不是必然的。其余的证明与以前相同。当全称肯定前提是必然的时,可作例于的词项是:醒着的动物人;人是中词。当特称肯定前๩提是必然的时,可作例子的词项是:醒着的动物白色的因为动物必定属于某些白色的事物,“醒着的”可能不属于任何白色的事物,而“醒着的”不必然不属于某些动物;当特称否定前๩提为必然时,可作词项的例子是:双足的被运动的动物;动物是中词。

【12】可见,只有当两个ฐ前提都是实然的时,实然三段论才有可能成立。但只要有个ฐ前提是必然的,必然三段论就能ม成立。在这两种情况中,无论三段论是肯定的还是否定的,其中ณ个前提必定与结论相似我所谓“相似”,意思是说,如果结论是实然的,则前提也必定是实然的;如果结论是必然的,则前提也是必然的。因而,下面这点也很清楚:除非设定个前提为ฦ必然的或实然的,否则结论便既不可能是实然的,也不可能ม是必然的。

因而,我们就足够充分他说明了,必然三段论是怎样形成的,以及它与实然三段论有什么不同。

【1้3】我们接着讨论的是,对于可能ม的事物,我们何时如何以及通过什么เ途径才能得到个三段论。我说不必然的事情是可能ม的或可能ม的,是指它不会产生不可能的结果之所以说“不是必然的”,是因为我们也๣含糊地用“可能ม”来称谓必然的东西。从相矛盾的肯定或否定来看,就能ม清楚地看到เ这“可能”定义的正确性。“不是可能属于的”“不能属于”“必然不属于”这些表述要么เ是相同的,要么เ是相互蕴涵的。它们的矛盾方แ面也是这样。“是可能属于的”“不能不属于”“不必然不属于”要么เ是相同的,要么是互相蕴涵的。每个主项的谓项ำ要么是肯定的,要么是否定的。“可能的”即是“不是必然的”,“不是必然的”即是“可能的”。由此可以推出,切可能前提都是可以互相换位的。

我的意思并不是说,肯定前提可以换位为否定前๩提,而是指切肯定形式的前提可以换位成它们的对立面。例如,“可能属于”换位成“可能不属于”;“可能属于全体”换位成“可能不属于任何”;“可能ม属于某个”换位成“可能ม不属于某个”。其余的情况亦相同。因为ฦ“可能的”不是“必然的”;“不必然的”可能不属于。所以很显然,可能属于bຘ,也可能不属于b;如果它可能属于所有b,那它也可能ม不属于所有b。特称肯定的情况亦同样,因为ฦ证明方式是同样的。这样的前提是肯定的,不是否定的。我们已经说过,“是可能”的含义与“是”的含义แ相应。

把这些区分清楚以后,我们可以进而指出,“可能ม”是在两种意义上被述说的。种意义是指经常发生但又缺少必然性的情况。例如,人长出灰白头发增长或衰退,或般来说自然所属的个东西这样种属性没有连续的必然性,因为人并不总是存在的;但只要人存在,那么这属性要么是必然地属于他,要么เ是作为ฦ个经常出现的现象而属于他。另种意义是指不确定的情况。它可能按定的方式发生,也๣可能以另外的方式发生。例如,动物的行走,或在它行走时地震的发生,或般来说偶性的发生。因为这件事情以这种方式发生并不比以那ว种方式发生更自然。在这两种意义下的可能事物,都可以转换成与其对立的前提,但不是以同样的方式。作为ฦ自然是这样的可能事物如此转换,是因为它不必然属于正是在这个意义上,人才有可能ม不长灰白头发。作为不确定的可能事物如此转换,是因为它们这种方式发生并不比另种方式更合乎本性。

没有科学知识或证明三段论是关于不确定的事物的,因为中词还没有确立。它们是关于自然的事物的。般而言,论证和研究都是对在这种意义แ上是可能ม的事物而作出的。对在其他意义上是可能ม的事物也能够作出三段论,但去研究它们却是不自然的。

这些区分我们在下面还要详细论述。我们现在要讨论:在什么条件下,个三段论能够从可能前提中ณ推得?这种三段论的性质是什么?

个ฐ词项可能属于另个。这陈述具有两种不同的含义,即它可能属于另个词项所属于的主ว项,或者它可能属于另个ฐ词项所可能属于的主项可能述说b所述说的事物,这述说的意思是,或者可能述说个bຘ所述说的主项,或者它可能述说个b可能ม述说的主ว项;“可能述说b所述说的主ว项”这论断,和“可能属于所有b”没有什么不同。十分显然,“可能属于所有b”有两种含义。

首先让我们说明,如果b可能ม述说所可能ม述说的主项,可能ม述说b所可能ม述说的主项,则ท什么三段论会成立,又是什么形式的三段论。因为在这种情况下,两个前提都是可能ม的;但当可能述说b所述说的主项时,个前提是实然的,另个ฐ前提是可能的。与在其他例子中的情况相同,让我们从两个前๩提在质上相同的形式开始。

【14】如果可能ม属于所有b,b属于所有那ว就会有个ฐ完善的三段论,结论是:可能属于所有。这从定义来看是十分明显的。我们说过,“可能属于全体”的意义正是这样的。同样,如果可能不属于任何b,bຘ属于所有那么เ结果是,可能不属于任何。因为ฦ我们知道,不可能述说b所可能述说的主ว项。这陈述的意思是说,归属于词项ำb的每个事物都不会不被考虑到。

如果可能属于所有b,bຘ可能不属于任何,那么根据如此设定的前提,我们便得不到三段论;但如果前提b在可能性上是可以转换的,那么เ我们便得到与上述相同的三段论。由á于b可能ม不属于任何,它也可能ม属于所有这在上面已经论述过了;所以,如果b可能属于所有,可能ม属于所有bຘ,那么我们便再次得到相同的三段论。如果在两个前提中否定与“可能ม的”相联系,则情况亦相同。我的意思是说,如果可能ม不属于任何bຘ,b可能ม不属于任何;如果前提如此被设定,则三段论不能成立。但通过转换,我们便再次具有与以前相同的三段论。所以,很显然,如果小前提是否定的,或者两个前提都是否定的,那么我们要么得不到เ三段论,要么เ得到个ฐ不完善的三段论;因为必然的结论是通过转换得出的。

如果我们设定个前๩提是全称的,另个前提是特称的,当大前提为全称时,就可得到เ个ฐ完善的三段论。如果可能属于所有b,b属于某个,那ว么可能属于某个。这从“可能ม属于全体”的定义中可以明显地看到。再者,如果可能不属于任何b,bຘ可能属于某个,那么เ必然可以推出,可能不属于某个ฐ证明方式与上述相同。但如果特称前๩提是否定的,全称前๩提是肯定的,前提问的联系与以前相同,如果可能ม属于所有bຘ,b可能不属于某个,根据这样设定的前๩提,我们得不到明显的三段论。但如果将特称前提转换,设定b也可能属于某个,我们就会得到与以前相同的结论,正如第个例子样。

如果大前提是特称的,小前提是全称的,那么,无论两者都是肯定的,还是都是否定的;或者两者在形式上不相同;或者两者都是不定的;或者都是特称的;不论我们如何设定,在所有这些情况中,三段论都不能成立。因为没有理由说明bຘ为什么不能比有更广泛的意义,所以它们在谓项ำ中相同。让代表b比所宽泛的那部分。因为属于所有,或不属于任何或属于某个或不属于某个,这都是不可能的,如果可能前提转换,并且b所能属于的主项多于的话,这事实如果以具体词项为例子可以看得更清楚;因为无论是第个词项不可能属于最后个ฐ词项的任何部分,还是它必定属于最后个词项的全体,在这两种情况下,前提必定以这种方式相联系。当第个词项必定属于最后个词项ำ的全体时,对切情况都适用的词项例证是:动物白色的人;当它不可能属于时,词项例证则是:动物白色的外套。

因此,很显然,当词项ำ以这种方式联系时,三段论不能成立。因为每个三段论要么เ是实然的,要么是必然的,要么เ是可能的。在现在这种情况下显然没有实然或必然的三段论;肯定的要为ฦ否定结论所推翻,否定的要为ฦ肯定结论所推翻。这样就只剩下可能三段论。然而它也不可能,因为已经证明,无论是首项ำ必然属于未项ำ的所有部分,还是首项不可能属于未项的任何部ຖ分,词项ำ间的联系总是这样的。所以,可能三段论不能成立。因为“必然”不是“可能”。

同样很清楚,当可能前๩提中的词项是全称的时,我们总是能得到เ个第格的三段论,无论它们都是肯定的,还是都是否定的。差别只是在于:当它们是肯定的时,三段论是完善的。当它们是否定的时;三段论是不完善的。

“可能”这词必须按照已经给出的定义来理解,而不能理解为是指必然的东西。这点往往被忽略。

【15】如果个前๩提是实然的,另个是可能的,当大前提表示可能ม性时,切三段论都是完善的,其“可能”的类型与上面所给出的定义相符合。但当小前提表示可能时,那么它们都是不完善的。并且,根据定义,否定三段论不是“可能”类型,而是不必然属于主项的任何或切部分的东西;如果它不必然属于主项ำ的任何或切部ຖ分,那么我们说它不可能属于主项的任何或切部分。

设定可能属于所有b,bຘ属于所有。由于归属于b,可能ม属于所有b,那么显然,可能ม属于所有。

这样,我们就得到เ了个完善的三段论。如果前๩提bຘ是否定的,b是肯定的,前者是可能的,后者是实然的,那么,同样会得到个完善的三段论,结论是:可能不属于任何。

可见,当小前提是实然的时,我们就能得到个完善的三段论。如若要证明三段论在相反的情况下也๣能产生,我们就要运用归谬法。同时,这些三段论都不完善这点也非常明显,因为证明不是从原来设定的前提中得出的。

我们必须首先说明,如果当存在时,b必然存在,那么,当是可能的时,就必然可以推出,b是可能的。

为ฦ了确定和b之间具有这样的联系即蕴涵bຘ,让我们设定是可能,bຘ是不可能,那么เ,当可能的东西是可能ม存在时,可能便会产生。不可能ม的东西是不可能的,不可能却不会产生;同时,如果可能,b不可能ม,那么没有b也可能ม生成;如果它生成,那么它就存在,因为当生成物已经生成时,它就存在。我们必须不仅联系到生成,而且要联系到เ真实的陈述属性以及“可能”词被使用的其他各种意义แ,来理解“可能”与“不可能ม”,因为ฦ在它们之中都可获得同样的规则。再者,我们不要认为,“如果存在,则b存在”就是说,只要确立“存在”这样个设定,则ทb就存在;因为ฦ只确立个设定,并不能必然地得出什么เ,至少需要两ä个前提才行,亦即前提之间的联系与我们在关于三段论时所说的样。如果述说,述说,那么也必定述说。此外,如果每个前๩提都是可能的,那么结论也是可能的。因而,设定代表前提,b代表结论,则可以推出,不仅当是必然的时,b是必然的,而且当是可能的时,b也是可能的。

作为这证明的结果,可见,如果个设定是虚假的,但不是不可能的,那么通过这设定达到เ的结果也是虚假的,但不是不可能ม的。例如,如果是虚假的,但不是不可能ม的,并且如果存在,则ทb也๣存在,那么เbຘ也将是虚假的,但不是不可能的。我们已经证明,如果存在时,b也๣存在。所以当是可能ม的时,b也是可能的;由于已经确定是可能ม的,所以b也是可能的;如果它是不可能的,那么เ同件事就会同时既可能ม又不可能。

搞清了这些要点后,让我们设定属于任何b,bຘ可能ม属于所有,那ว么,必然地,也可能ม属于所有。设定它不可能ม属于,让b从属于所有这是虚假的,但不是不可能ม的。然后,如果不可能属于,但b属于所有,那么就不可能属于所有b。我们通过第三格获得了这三段论。但根据设定,可能ม属于所有b。因而必然可以推出,可能ม属于所有。从个虽然不是不可能的但却是虚假的设定中,所推得的结论是不可能的。

我们也๣能通过第格,通过设定b属于来证明不可能性。如果bຘ属于所有,可能属于所有b,那么就可能ม属于所有。但我们已经设定,它不可能属于所有。

我们必须明白,“属于全体”并不具有时间性例如,“现在”或“在这样个时间里”,而是无条件的总体的。我们正是在这种意义แ上设定前提才建立三段论的。如果所设定的前提与现在相关,那么三段论就不能成立。或许没有理由说明为什么在某个时候,例如没有其他事物被运动时,人不能属于切被运动的事物;词项“被运动着的”可能属于所有马,而人却不可能ม属于任何马。让我们设定,大词是“动物”,中词是“被运动着的”,小词是“人”,则前提之间的联系将如同上述,但结论是必然的,不是可能的,因为人必然是种动物。所以,很显然,全称前提必须在总体的意义上被设定,没有时间上的限制。

再者,设定b是全称否定前提,设定不属于任何bຘ,b可能属于所有。由á此必然可以推出,不可能属于任何。让我们设定它不可能不属于任何,设定b与上面样入属于所有,则必然可得,属于某些bຘ。这样,我们通过第三格得到เ了个三段论。但这是不可能的。因此不属于任何是可能ม的,通过确立个ฐ虚假的但不是不可能的设定,我们得到个不可能的结论。这样,这个三段论并没有产生个在已规定的意义上来说是“可能ม”的结论,而是证明了谓项ำ不必然属于主项的全体,因为这跟我们所确立的设定是矛盾的。我们确定必然属于某个。三段论通过归谬法确立了相矛盾的论断。

再者,从词项的例子中可以清楚地看到,结论不是或然的。让表示“乌鸦”,b表示“理智”,表示“人”。则ท不属于任何bຘ;因为有理智的东西不会是乌鸦。b可能属于所有;因为每个人都可能有理智。但必然不属于任何。因而,结论就不是或然的。但是,它也并不总是必然的。让表示ิ“被运动”,b表示“知识”,表示“人”。这样,不属于任何b,但b可能属于所有,结论不是必然的。“没有人在被运动”,这并不是必然的;“有些人在被运动”,这也不是必然的。因此,结论清楚地证明,谓项ำ不必然属于主ว项ำ的全体。但我们必须更好地选择词项。

如果小前提是否定的,并且表示可能ม的意义,那么从上述前提中得不出任何三段论。但当或然前提转换时,三段论就能ม成立,就像上面的例子样。设定属于任何b,ไb可能不属于任何,则ท从如此联系的词项ำ中得不出必然的结论。如果前提b可换位,设定b可能属于任何,那我们就能ม得到个与以前๩样的三段论。因为词项的排列是样的。如果两个陈述都是否定的,bຘ是实然否定的,b是可能否定的,则情况亦相同。因为ฦ通过这样的设定根本得不到เ必然的推论;但如若将可能ม前提转换,三段论就能成立。让我们设定不属于任何bຘ,b可能不属于任何。从这样的设定中得不出必然的结论。但如果设定b可能属于所有,而且它是真的,同时前提b保持不变,那么เ我们再次获得了同样的三段论3๑。但如果所设定的不是b不可能属于任何,而是b不属于任何,那么无຀论如何也得不到三段论,无论前提b是否定的还是肯定的。对这两ä种情况都适用并且可以表示谓项与主ว项间肯定必然联系的词项是:白色的动物雪;表示否定必然联系的是:白色的动物黑漆。

因此,十分显然,如果前提是全称的,个前提是实然的,另个前提是或然的,当小前提是或然的时,三段论总能够成立,有时是从原来的设定中,有时是从所述前๩提的转换中。我们已经说明,它们各在什么条件下出现以及为什么原因而出现。

但是,如果个命题是全称的,另个命题是特称的,当大前提是全称可能的无຀论是否定的还是肯定的,特称前提是实然肯定的时,就能得到完善的三段论,正如当前提都为全称时的情况样。证明的方式与以前相同。当大前提是全称的,但却是实然的而不是或然的,另个前提是特称或然的,如果两个前๩提都是否定的,或者都是肯定的,或者个为肯定,个为否定时,在上述各种情况下,都可以得到เ个不完善的三段论。但有些通过归谬法得到证明,有些通过或然前提的换位得到证明,正如在以前的例子中样。

当全称大前提为ฦ肯定实然或否定实然,特称前提为否定或然时,我们通过换位也能得到个三段论。例如,如果属于或不属于所有b,b可能不属于有些,ไ当b换位时,我们就能得到เ个或然的三段论。但当特称前提是实然的和否定的时,三段论就不能成立。可说明谓项属于主项ำ的词项例证是:白色的动物雪;可说明谓项不属于主项ำ的词项例子是:白色的动物黑漆。证明必定是从特称前๩提的不定性质中得到的。

如果小前提是全称的,大前๩提是特称的,无຀论前提是肯定的还是否定的,是或然的还是实然的,在各种情况下,三段论都不可能ม成立。如果前提是特称的或不定的,无论两个都是或然的,或都是实然的;或个是或然的,另个是实然的,在这些情况下也๣不可能ม有三段论。证明方式与以前๩的论证样。当谓项必然属于主项时,可说明所有这些情况的词项例证是:动物白色的人;当谓项不可能ม属于主ว项时,词项例证是:动物白色的衣服。

可见,当大前提是全称的时,三段论总是能够成立;但当小前提是全称的时,任何种类的三段论都不能成立。

【16๔】如果个前๩提是必然的,另个前提是可能的,如果词项之ใ间的联系方แ式与以前样,ไ那么三段论就能成立,并且当小前提是必然的时,三段论就是完善的。如果前提是肯定的,则不论它们是全称的还是非全称的,结论就将是或然的而不是实然的。如果个前提是肯定的,另个ฐ前๩提是否定的,当肯定前提是必然的时,结论将是或然的而不是实然否定的。当否定前提是必然的时,那ว就既会有或然的也会有实然的否定结论,无论前提是全称的还是非全称的。结论中“或然”的含义必须ี跟以前作同样的理解。任何三段论的结论都不会是“谓项必然不属于主项”。“不必然属于”与“必然不属于”是不样的。

可见,如果前提是肯定的,那么我们所得到的结论就不是必然的。设定必然属于所有b,bຘ可能属于所有,那么就会产生个不完善的三段论,结论是,可能ม属于所有。从证明中可以很清楚地看到它是不完善的;证明可按与以前相同的方式进行。再者,设定可能属于所有bຘ,b必然属于所有,则三段论成立。结论是,可能属于所有,而不是属于所有。这个三段论是完善的,不是不完善的,因为它的结论是直接从原来的前提得出的。

如果前提在质上不相同,让我们首先设定前提是必然的:设定不可能属于任何bຘ,bຘ可能属于所有,那么เ必然可以推出,不属于任何。设定它属于所有或某个,它不可能属于所有bຘ。由于否定前提可以换位,所以bຘ也不可能属于任何。但已经设定属于所有或某个,所以b不可能属于任何或所有。但我们原来设定它可能属于所有。

很清楚,我们能得到เ个否定或然式的三段论,因为我们也๣有个否定实然式的三段论。现在设定肯定前提是必然的,可能不属于任何b,b必然属于所有。这样,三段论就是完善的,但它不是否定实然式的,而是否定或然式的,因为与大词项相联系的前๩提就是在这个意义上被设定的;我们不能运用归谬法。如果我们设定属于某些,但仍可能不属于任何bຘ,那ว么从这些设定中不可能得出不可能的结论。但是,如果小前提是否定的,当它表示可能时,三段论就可以通过换位而成立,与以前的例子样,当它不表示可能ม时,三段论就不能成立;当两个ฐ前提都是否定的,小前提不是可能的时,三段论也๣不能成立。可作例证的词项与以前๩相同,当谓项属于主项时是:白色的动物雪;当谓项不属于主项时是:白色的动物黑漆。

同样的规则亦适用于特称三段论。当否定前提为ฦ必然时,结论在形式上是否定实然的。例如,如果属于任何bຘ不可能,b可能ม属于某些,那么必然可以推出,不属于某个。如果属于所有,但不可能属于任何b,则b也不可能属于任何;所以,如果属于所有,则b不可能属于任何。但已๐经设定它可能属于某些。

当否定三段论中的特称肯定前提即b,或者肯定三段论中ณ的全称前๩提即b为必然时,则三段论不是实然的。证明的方式与以前๩相同。如果小前提是全称可能的无຀论是肯定的还是否定的,而大前提是特称必然的,则三段论不成立。可说明谓项必然属于主项的词项ำ是:动物白色的人;能说明谓项不可能属于主项的词项是:动物白色的衣服。当全称前提是必然的特称前提是可能的时,如果全称前提是否定的,则可说明谓项ำ属于主项的词项是:动物白色的乌ไ鸦;能ม说明谓项不属于主项ำ的词项是:动物白色的黑漆。如果全称前๩提是肯定的,则可说明谓项ำ属于主项的词项是:动物白色的天鹅;能ม说明谓项不可能属于主ว项的词项是:动物白色的雪。

当前提是不定的或者两ä个ฐ都是特称的时,三段论也不能成立。当谓项ำ属于主项时,适用于上述全部情况的词项是:动物白色的人;当谓项ำ不属于主项ำ时,适用的词项ำ是:动物白色的无生物。动物属于某些白的事物,白色的属于某些无຀生物,这既ຂ是必然的,又是不可能的。如果联系是可能的,情况亦同样;所以这些词项ำ在所有情况下都是适用的。

从上述分析中ณ可以清楚地看到,在实然或必然的前提中,三段论从同样的词项联系中ณ生成或不生成。此外,如果否定前提被设定为是实然的,则结论就是可能的;如果否定前๩提被设定为ฦ是必然的,则三段论既ຂ是可能ม的,又是实然否定的同样清楚的是,所有的三段论都是不完善的,是通过已๐经论述过的格而完成的。

【17】在第二格中,当两个前提都为或然时,无论它们是肯定的还是否定的,全称的还是特称的,三段论都不能成立;但当个前提是实然的,另个ฐ前提是或然的时,如果肯定前提是实然的,则三段论永远不能成立;而如果全称否定前提是实然的,则三段论总能成立。当我们设定个前๩提是必然的,另个是或然的时,情况也相同。我们必须明白,在所有这些情况中,结论中“可能”的意义与以前相同。

首先必须指出,可能否定前提是不能转换的;例如,如果不可能ม属于任何b,则不能必然推出,b不可能属于任何。让我们设定b不可能ม属于任何。由á于可能意义上的肯定能转换成它们的否定无论是矛盾的还是反对的,由于b不可能ม属于任何,所以很明显,bຘ也可能属于所有。但这是虚假的。如果个ฐ词项可能属于另词项的全体,并不必然可以从此推出,后者也必然属于前者的全体。因而否定的可能陈述是不能转换的。

再者,没有什么阻止可能不属于任何bຘ,尽管b必然不属于某个ฐ。例如,白色的可能ม不属于所有人因为它也๣可能属于某个人,但说人可能不属于任何白色的事物则是不真实的,因为ฦ人必然不属于许多白色的事物,并且“必然”不是“可能”。

但是,这类陈述不可能通过归谬法被证明是可转换的。例如,如果个ฐ人认为,bຘ不可能属于任何是假的,那么,它不可能不属于是真的因为后个论断ษ与前个相矛盾;如果情况是这样的,那么เb必定属于某个是真实的;所以,也必定属于某个b;但这是不可能ม的。因为从“b不可能不属于任何”推不出“它必定属于某个ฐ”。我们在两ä种意义แ上说谓项不可能不属于主项,即“它必然属于主项的某些部分”以及“它必然不属于主项的某些部分”。说“必然不属于某个”的东西可能不属于任何,这是不真实的。正如说“必然属于某个ฐ”