第 7 部分阅读(1 / 1)

加入书签 本章报错

工具论强烈推荐:

【14】这里将有个问题:个肯定命题的相反命题๤是个否定命题๤,还是个从属的肯定命题?“所有的人是公正的”,它的相反命题是“没有人是公正的”呢,还是“所有的人都是不公正的”呢?例如“加里亚斯是公正的”,“加里亚斯不是公正的”,“加里亚斯ั是不公正的”,这些命题๤中哪两个是相反命题๤呢?假如口头表达和理智判断是致的,而且,如若个判断和另个表示相反事实的判断是相反的,就像“所有的人是公正的”这个判ศ断和“所有的人是不公正的”这个判断之ใ间的关系样。同理,我们其他口头表达也适应这种情况。但是,如若我们假定,在说话人心里,宣称相反事实的判断和另判ศ断并不相反,那么个肯定判断就不会与另个肯定判断ษ相反,而它们的否定判ศ断则是真正的相反判ศ断。在真实的判断中,哪种判ศ断ษ和虚假的判断相反呢?是不是否定虚假判断的判ศ断呢?亦或是那宣称相反事实的判断呢?我们可以拿关于好的事物的三个判断为例,真实的判断是“它是好的”,虚假的判断ษ是“它是不好的”,以及第三种判断“它是坏的”,那ว么,后两个判断中,哪个与真实的判断形成相反判断呢?或者,假如它们是相同的,那么哪种口头表达是相反判断呢?

那些陈述了单事实,或者通过结合而形成的单事实的命题是单命题。那些陈述了多个ฐ事实或者其各个部分并没有连结起来的命题๤乃是复多命题。

【10】肯定命题是对某事物是什么เ的陈述,其主项或者是名词,或者是无຀名称的事物。在肯定判ศ断中,主项和谓项必须是单的。我们已经解释过什么是名词,以及自身无名称的事物是什么,我们说过,“非人”严格他说并不是个ฐ名词,我们称其为ฦ不确定名词,因为它们毕竟以某种方式表示单的事物。与此相似,“不健康”词严å格他说也不是个动词,而是不确定动词。所以,肯定判ศ断和否定判断是由名词和动词所构成的,无论这些词是在严格的意义上还是在不确定的意义上被使用。如若没有动词,那就既ຂ不会有肯定命题,也不会有否定命题。因为“现在是”“将来是”“过去是”“生成”等等用语,都符合动同的定义,而且,它们除了具有自身的独特意义外,还与时间有关。所以,“人是”与“人不是”便形成最基本的肯定命题๤和否定命题๤,其次是“非人是”与“非人不是”,最后是“所有的人是”与“所有的人不是”“所有的非人是”与“所有的非人不是”。相对于将来时态与过去时态来说也是同样。

但是,属于相反事物的对立物,则ท决不可能是与它们相反事物的对立物,虽然它们是另事物的相反者。因为好不是坏的“好”,而是坏的相反者;白不是黑的“白”,而是黑的相反者。所以这两种对立完全是互不相同的。但是,如若两个相反者的某个必然在本性上属于它们在其中ณ生成的事物,或者它们所表述的事物,那ว么就不可能有中间物介乎于这两ä个相反者之ใ间。例如,疾病和健康在本性上存在于动物的身体之ใ中,两者必有其属于某动物的身体,或者是疾病,或者是健康;另外,奇数和偶数在本性上表述数,两者必有其属于数,或者是奇数,或者是偶数。不可能有中间物介于疾病和健康或奇数和偶数之间。但是如若方แ或另方并不必然属于某事物,那么เ在两者之间就会存在中ณ间物。例如,黑和白在本性上存在于身体之ใ中,但两者的某方并不定属于身体,因为身体并非必然要么就是白的,要么就是黑的;另外,好和坏被用来表述人以及许多其他事物,但是这两者的任何方并不定属于它们所表述的那些事物,因为并非任何事物要么是好的,要么就是坏的。介于这两者之间的,还可以有某种中ณ间物,如灰色黄铯以及所有其他颜色就介乎于白色和黑色之间,在好和坏之间存在着既非好也非坏的事物。有时候,中间物有名称,在白色和黑色之间的中间物有灰色黄铯等名称;但有时中间物就难以找到เ个名称,这就得采用否定两个极端的名称来规定中间物,如既非好也非坏,既ຂ非公正也非不公正。

【6】有的数量是间断的,有的是连续的,而且有些数量,其构成部ຖ分相互之ใ间具有相对的位置,而有些数量则没有这样的位置。间断的量,如数目语言,连续的量,如线面体,此外还有时间和地点。因为数目的各部分之间乃ี并不存在个由á数目的各部分连接起来的共同边界,如两个ฐ5等于10่,但并没有个ฐ使5和5连接起来的共同边界,它们是分离的。也没有个使3๑和7๕连接起来的共同边界。般地,就数目来说,在它们的各部ຖ分之中不可能ม存在着个共同的边界,它们总是分离的,所以,数目是间断的数量。同样,语言也是间断的数量。语言显然是数量,因为它可以用长音节和短音节来度量。我所说的是能产生声音的语言。

方面,必须就作为存在的存在来把握最初ม原因;另方面,又必须就最初原因来把握作为存在的存在。这样就艳艳荧荧千古绵绵形成了个不断的循环宇宙的奥秘,为那些不以无຀知为ฦ自足的人所不懈追询无穷探索,却始终得不到个自足的最后的答案。关于什么是存在的问题๤,亚里士多德的回答是否定的。他明确地宣布,存在是什么,换句话说实体是什么,不论在古老的过去,还是当前๩的现在,以至永远的未来,都是个被不断探索ิ而总不会得到答案的问题。很显然,如若存在是什么果真得到了最后的答案,那么เ,这存在也就不是普遍的无条件的了,探索也就终止哲学也๣就消เ亡了。关于最初因问题,从形式上看,亚里士多德似乎ๆ作了个肯定不移的回答。他根据无穷后退不可能的推理原则,最后达到了个永远不被运动的运动者,或者称之为ฦ神,而停住了脚步。这样个神发动万物,是宇宙的最初动因,它甚至具有生命,享受着不尽的至福。看起来,很有点人格神创世主的味道。然而,只要稍微体察下亚里士多德的本文,就会得出完全相反的结论。因为ฦ,神就不过是种以思想为实体的东西,神的生命就是思想的现实活动,它就是现实性,是就其自身的现实性,它的生命是至善和永恒。如若它是至善,那ว就是思想它自己,思想就是对思想的思想。这样看来,神不过是种不懈追询无穷探索的别ี名,亚里士多德就是爱智慧尚思辨的希腊ຘ哲学精神的化身。黑格尔说:假如个人真想从事哲学工作,那ว就没有什么比讲述亚里士多德这件事更值得去做了。

【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】可见,只有当两个ฐ前提都是实然的时,实然三段论才有可能成立。但只要有个前提是必然的,必然三段论就能ม成立。在这两种情况中,无论三段论是肯定的还是否定的,其中个前提必定与结论相似我所谓“相似”,意思是说,如果结论是实然的,则前提也必定是实然的;如果结论是必然的,则ท前提也是必然的。因而,下面这点也很清楚:除非设定个前提为必然的或实然的,否则结论便既不可能是实然的,也不可能是必然的。

因而,我们就足够充分他说明了,必然三段论是怎样形成的,以及它与实然三段论有什么不同。

【13】我们接着讨论的是,对于可能的事物,我们何时如何以及通过什么途径才能得到个三段论。我说不必然的事情是可能的或可能ม的,是指它不会产生不可能ม的结果之所以说“不是必然的”,是因为我们也๣含糊地用“可能”来称谓必然的东西。从相矛盾的肯定或否定来看,就能清楚地看到这“可能”定义的正确性。“不是可能ม属于的”“不能属于”“必然不属于”这些表述要么是相同的,要么เ是相互蕴涵的。它们的矛盾方面也是这样。“是可能ม属于的”“不能ม不属于”“不必然不属于”要么เ是相同的,要么是互相蕴涵的。每个ฐ主项的谓项ำ要么是肯定的,要么是否定的。“可能ม的”即是“不是必然的”,“不是必然的”即是“可能的”。由此可以推出,切可能前๩提都是可以互相换位的。

我的意思并不是说,肯定前提可以换位为否定前提,而是指切肯定形式的前提可以换位成它们的对立面。例如,“可能属于”换位成“可能不属于”;“可能属于全体”换位成“可能不属于任何”;“可能属于某个”换位成“可能ม不属于某个”。其余的情况亦相同。因为“可能的”不是“必然的”;“不必然的”可能ม不属于。所以很显然,可能属于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不可能不属于任何”推不出“它必定属于某个”。我们在两种意义แ上说谓项不可能ม不属于主ว项ำ,即“它必然属于主项的某些部分”以及“它必然不属于主项ำ的某些部分”。说“必然不属于某个”的东西可能不属于任何,这是不真实的。正如说“必然属于某个ฐ”

↑返回顶部↑

书页/目录

工具论