第 10 部分阅读(1 / 1)

加入书签 本章报错

工具论强烈推荐:

【29】采用归谬法的三段论与直接证明三段论的规则ท相同,因为它们也是通过两个端词的伴随属性和为它们所伴随的属性而产生的。在这两种类型中,研究方แ法也๣是相同的;直接证明的三段论亦可借助相同的词项根据归谬法而建立。反之ใ亦然。例如,要证明不属于任何。设定它属于某些,那么เ,由á于b属于所有,属于某些,则ทb也属于某些。但根据假设,它不属于任何。再者,属于某些是可以证明的;因为如果它不属于任何,属于所有,则不属于任何。但根据假设,它属于所有。其他命题亦相同。在切借助两个端项ำ的伴随属性及为属性所伴随的情况中,用归谬法进行证明总是可能的。

如果设定否定前๩提可以倒转,或者两个ฐ前提都是肯定的或否定的,那么เ也๣可以得到同样的证明。因为它将从同样的词项中推得。当个前提为全称,另个前๩提为ฦ特称;或者两个前๩提都为特称或不定;或者以其他任何可能的方แ式组合时,情况亦同样。因为证明总是从相同的词项中推出的。可见,如果两个前๩提都被设定为或然,则三段论不能成立。

【9】有时也出现这样的情况,即使只有个前提是必然的,当然,不能是两个ฐ前提中的任意个,只能ม是大前提,我们也能获得必然的三段论。例如,如果我们设定必然属于或必然不属于bຘ,bຘ只是属于,如果前提是这样被设定的,那么必然属于或不属于。因为ฦ必然属于或不属于所有b,是b的部分,所以,很显然,必定也๣属于或不属于。

假如关于件好的事物有两种判ศ断,种判断ษ认为这件事是好的,种认为它是不好的,如果这事物还有些其他属性,如既ຂ不拥有也不可能ม拥有好的东西,但我们不能认为,那些虽然不拥有好而被认为ฦ拥有好的判断,以及虽然拥有好而被认为ฦ不拥有好的判断,与真实的判断是相反判断,因为ฦ这两种判ศ断其数量是无限的,我们毋宁把那些虚假的判断看作是真实判断的相反判断,而这些又和生成有关,生成是从端过渡到另端,虚假就是这样的过渡。

【6๔】肯定命题๤是肯定某事物属于另事物,否定命题否定某事物属于另事物。

肯定命题:人是公正的;否定命题:人不是公正的。

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

线是连续的,因为ฦ我们发现存在着个连接其各部分的共同边界。就线而言,这个界限就是点,就面而言,乃是线,因为面的各部分有个连接的共同界限。相对于体也是样,体也有个共同的边界ศ,即线或面。时间和空间也是这样的数量。因为时间的过去现在与将来是个连续性的整体。空间是连续性的数量。因为体的各部ຖ分占据着空间,而且这些部分具有连接它们的共同边界,空间的部分也是如此。体的每个部ຖ分都占据着空间,和体的各部ຖ分样,空间有连接它的各部分的同样界限。所以,不仅时间,而且空间也都是连续的数量,因为它们有连接其部分的共同界限。

贝克尔版问世9๗0年之后,在奥托·吉冈的主持下出版了亚里士多德全集新版124๒5卷19601961้。在新版的亚里士多德全集里,贝克尔版的前๩两卷,也就是亚里士多德著作的本文“完全按照原样重新า交付印行”,因为吉冈认为,虽然在更完善的版本中ณ,肯定会出现某种特点和优点,但和这些新的版本相比较越发显得贝克尔以其惊人的机敏选择了这些手稿,并且在大多数情况下审慎地规划并编排了这些手稿。此外,贝克尔版在当时是唯用两卷或三卷就把亚里士多德全部ຖ著作包容在内的版本。而在新的版本中ณ所表现的个或少数特点或优点,在学术上可能ม是足够的,但在实用上却显得不够。所以,按照贝克尔原文重新า印行第12两卷。无论对文献研究,还是对亚里士多德哲学,都将受到欢迎。在新า版中,吉冈删去了第三卷亚里士多德著作的拉丁文译本,而代之以个更完整的残篇汇编。因为这种拉丁文译本对于亚里士多德著作研究的发展虽然是很有价值的,但是谁要想解释亚里士多德的词句,就没有什么太大的帮助了。而且,亚里士多德著作的残篇,自贝克尔之后,经过许多学者的大力搜求,已经大大地丰ถ富起来。特别ี是雅典政制的纸草在1้89๗0年被意外地发现,更使这种残篇的搜集工作具有了重大的意义แ。此外,新า版还从亚里士多德本文的注释中选印了最重要的文献,在第四卷中就刊行包尼茨b的著名的亚里士多德著作索引。编者指出,这个索引虽然在今日看来已๐有许多不足之处,但它是渊博的,综合了所有最有价值之点,即使在今日,这个索引也๣可以使所有那ว些想认识亚里士多德大量主题,以及其各种最重要用法的读者感到满足。新版的亚里士多德全集附有自贝克尔版之后所出版的各种版本的全部目录,最后加上称作“亚里士多德”的马尔西安传记。所以要出版这传记,为ฦ的是让文献研究者们能够确有把握地区别ี,哪些词句是在今日纸草本中总可以读得到的,哪些词旬ຒ是我们时代学者们所补充的。在这最后两卷中汇集了新的研究成果。

【1】我们已经解释清楚,三段论有多少个格,它所由产生的前๩提的性质和数量以及决定它的条件;再者,当个人要反驳或确立个命题时必须考虑什么样的属性,怎么เ样用每种给定的探讨方แ法开始研究所给予的任务;还有,我们可以通过什么途径获得适合于每种情况的本原。

有些三段论是全称的,有些三段论是特称的。全称三段论总可以得出多个推论;肯定的特称三段论可以得出多个推论,但否定的特称三段论则仅能得出个结论。其他所有前提都可以换位,而特称否定判断则ท不行;结论就是陈述某个主ว项的属性。因此,所有其他三段论都可以推出多个结论,例如,如果已被证明属于所有或某个bຘ,b必定也属于某个;如果不属于任何bຘ,那么,b也๣不属于任何这个ฐ结论是与前๩者不相同的。但是,如果不属于有些b,却不能推出bຘ也๣不属于有些,因为它可能属于所有。

这原因对所有三段论都是共同的,无论它们是全称的还是特称的;关于全称三段论也๣可以作出另外的解释。同三段论适用于切从属于中ณ词或结论的词项,如果这些词项被放在中ณ词的位置上和在结论中ณ的话,例如,如果b是通过而达到เ的结论,那ว么必定述说切从属于bຘ或的词项。因为如果整个被包含在b之中,bຘ整个ฐ被包含在之中,则ท也被包含在之中。再者,如果整个ฐ被包含在之ใ中,整个被包含在之中ณ,那ว么也被包含在之中ณ。如果三段论是否定的。情况也相同。可是,在第二格中ณ,推论只适用于从属于结论的词项ำ。例如,如果不属于任何bຘ,但属于所有,则ท结论是b不属于任何。然后,如果从属于,那ว么很显然bຘ不属于。它不属于从属于的词项,这不是通过三段论证明的,尽管如果从属于,b就不属于。但是,bຘ不属于任何,是通过三段论证明的,而日不属于却是未经证明而断定的。所以,并不是通过三段论推出,b不属于。

对特称三段论而言,有关从属于结论的词项没有必然的推论因为当这个ฐ前๩提被设定为ฦ是特称时,三段论不能ม产生,但是存在着个对于从属于中ณ词的切词项ำ都适用的推论,只是它不是通过三段论获得的;例如,如果我们断定属于所有b,b属于某个。因为没有关于从属于的词项的推论,但关于从属于b却有个推论,只是不是通过已确立的三段论而达到的。其他格的情况也相同。不存在关于从属于结论的词项的推论,但存在关于从属于中同的推论,只是不是通过三段论获得的;正如在全称三段论中,从属于中词的词项是从个未经证明的前๩提中获得证明样。这样,要么原则在那种情况下不适用,要么它在这里又适用。

【2】三段论所由得出的前提,可能两者皆真,可能ม两者皆假,也可能个真,另个假。结论也必然是真的或假的。从真实的前๩提中ณ不能得出虚假的结论,但从虚假的前๩提中ณ却可能得出个ฐ真实的结论,只有当结论不是关于原因而是关于事实时才是真实的。从虚假的前提中ณ不能推出关于原因的结论,其中理由待以后再予以解释。

首先;从真实的前๩提中ณ不可能得出个虚假的结论,这通过下面的论证可以看得很清楚。如果当存在时,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ຘ属于所有,则属于所有,它是真实的。

如果前提bຘ是否定的,则情况亦同样。可能不属于任何b,不属于任何,但b可能属于某个,譬如说,个种不属于另个种的属与属差ๆ,动物既不属于实践智慧“也不属于理论智慧,而实践智慧属于某种有理论智慧的东西。所以,假定不属于任何bຘ,b属于所有,则不属于任何,这是真实的。

至于特称三段论,当大前提整个是虚假的,另个前提是真实的时,结论是真实的。当大前提部分虚假,另个是真实时,结论是真实的。当大前提真实,另个ฐ部分虚假时,结论是真实的,当两ä个前๩提都是虚假时,结论也是真实的。因为,1没有什么阻止不属于任何b,但属于某个,而bຘ属于某个。例如,动物不属于任何雪,但属于某种白的东西,雪属于某种白的东西。如果规定“雪”是中词,“动物”是大词,假定属于整个ฐbຘ,b属于某个,b整个是虚假的,但bຘ是真实的,则ท结论是真实的。当前提b是否定的时,情况也同样。因为可能ม属于整个bຘ,不属于有些,但b属于有些。例如,“动物”属于每个人,但不是某些“白的东西”的个ฐ后件,人属于某种白的东西,所以,如果规定“人”是中ณ词,假定不属于任何b,b属于某个,那么尽管前提b整个是虚假的,结论也是真实的。

2当前提b是部分虚假时,结论也是真实的。没有什么เ阻止属于某个ฐ队属于某个,而b属于某个。例如动物属于某种美的东西,属于某种大的东西,美的东西属于某种大的东西,因而,如果假定属于所有b,b属于某种,前提b是部ຖ分虚假的,但bຘ是真实的,那么เ,结论是真实的。如果前提bຘ是否定的,情况也相同,可用同样的词项及它们同样的联系加以证明。

3再者,如果bຘ是真实的,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属于某个,则不属于某个,尽管两个ฐ前提是虚假的,结论却是真实的。

【3】在中ณ间格中,真实的结论能ม从虚假前๩提的各种结合中推出:1设定两个前๩提整个是虚假的每个都是部分虚假的;2设定个前๩提是真实的,另个ฐ前提整个是虚假的,哪个虚假可以任意规定;3如果两个前提都是部ຖ分虚假的;4如果个是绝对真实的,另个是部ຖ分虚假的;如果个是整个虚假的,另个是部分真实的,无຀论是在全称三段论还是在特称三段论中ณ。

1如果不属于任何b,但属于所有,例如动物不属于任何石头,但属于所有马。如果规定前๩提的意义相反,属于所有b,但不属于任何,尽管前๩提整个是虚假的,从它们中ณ得出的结论也๣可能是真实的。如果属于所有bຘ,但不属于任何,情况亦相同,因为三段论是相同的。

2如若个ฐ前提整个是虚假的,另个前๩提整个是真实的,情况也是这样。因为没有什么阻止能属于整个ฐ日和整个,而b不属于任何。例如,个种属于不互相归属的属,因为ฦ动物属于每匹马,以及每个人,但人不是马。这样,如果设定动物属于类事物的全体,而不属于另类事物的全体,个前提是整个真实的,另个ฐ前提是整个虚假的,则结论就会是真实的,无຀论哪个ฐ前提是否定的。

3如果个前提是部ຖ分虚假的,另个前๩提是整个真实的,情况亦然。可能属于某个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可能不属于某个。例如,“动物”不是“知识”的后件,但却是切“人”的后件,“知识”不是切“人”的后件。因而,如果设定属于b的全体,但不是某个ฐ的个ฐ后件,则ท前提是虚假的,而结论是真实的。

【4】在最后格中,也可能ม通过虚假前๩提达到个真实的结论:1当两个ฐ前提是整个虚假时;2当每个前提都是部分虚假时;3当个ฐ前提整个ฐ真实,另个前๩提整个虚假时;4当个ฐ前提部分虚假,另个前๩提是整个真实时;反之ใ亦然。其他切可能的前๩提结合也可以。

1้没有什么เ阻止属于有些b,尽管和b都不属于任何例如“人”或“在陆上行走的东西”都不是“无生命的事物”的后件,但人属于某种在陆上行走的东西。因而,如果设定和b属于所有,前提就整个是虚假的,但结论却是真实的。如果个前提是否定的,另个前提是肯定的,情况亦相同。因为b可能不属于任何,可能属于所有,可能不属于有些b。例如,黑的东西不属于任何天鹅,动物属于每只天鹅,动物不属于所有黑的东西。所以,如果设定b属于所有,不属于任何,则就不属于某个ฐb,尽管前๩提是虚假的,结论却是真实的。

2如果每个前提都是部分虚假的,结论也๣可能ม是真实的。没有什么เ阻止和b属于有些,而属于有些bຘ。例如,“白的”和“黑的”属于某种动物,白的东西属于某种美的东西。因而,如果规定和bຘ都属于所有,前提就是部分虚假的,但结论却是真实的。如果规定是否定的,情况也相同。因为ฦ没有什么阻止不属于某个,b属于某个,不属于所有bຘ。例如,白的不属于某种动物,美的属于某种动物,白的不属于每个美的事物。所以,如果设定不属于任何,b属于所有,两个前提都是部分虚假的,但结论是真实的。

3如果个前提是整个虚假的,另个前๩提是整个ฐ真实的,情况亦然。和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是大的,那就可以推出,如果b不是大的时,它是大的,正如证明是通过三个词项获得的样。

【5】循环或交互证明就是通过结论,通过个前提的简单换位,来证明另个ฐ在原来的三段论中设定的前提。例如,假如要求证明属于所有,这途径是通过b来证明,然后又转而要求证明属于b,设定属于,属于b,所以属于bຘ在原来的三段论中设定了相反形式的命题:bຘ属于;或者假如要求证明b属于,人们会说是的谓项,这是以前๩的结论,并且bຘ是的谓项而在原来的三段论中设定的命题形式与此相反:是bຘ的谓项ำ,交互证明在其他任何方式中都是不可能的。因为如果我们设定个不同的中项,则证明不是循环的因为ฦ没有相同的命题被设定;如果我们要设定它们,则必定只有个;如果两个ฐ都被设定,我们就得到了与以前相同的结论,而不是获得另个。

因而,当转换不可能时,三段论由此产生的前提之是不能被证明的;因为,从给定的词项中不可能ม证明小词属于中ณ词或中词属于大词。但如果转换是可能的,即如果bຘ可以互相转换,那么就能交互地证明切事物。设通过中项ำb被证明,b通过结论以及前提b的转换得到เ证明,b也๣用同样的方แ式,即通过结论和前提b的转换被证明。可是,我们必须证明前๩提bຘ和b,因为ฦ这些是我们使用过的前提中仅剩的尚未被证明的前提。如果设定日຅属于所有,属于所有,我们就能得出个关于b与的联系的三段论。再者,如果设定属于所有。属于所有bຘ,则必定属于所有b。在这两个ฐ三段论中,前๩提都是断定的,而没有经过证明其他前提已经被证明了,因此,如果我们证明了它,那么它们就都能交互地得到证明。如果设定属于所有b,b属于所有,这两ä个所设定的前提都已被证明,则必定属于所有。

因此,很显然,只有当换位可能时,循环的交互的证明才可能ม产生;在其他三段论中ณ,它们的使用情况如上述。在它们之中也会出现用有待于证明的东西来进行证明的情况,我们通过设定述说证明述说bb述说,我们又通过这些前提证明述说。所以,我们是使用了结论来进行证明。

在否定三段论中,交互证明是这样产生的。让bຘ属于所有,不属于任何b,结论是,不属于任何。如果反过来要求确立以前所设定的不属于任何b,则ท我们要有前๩提不属于任何,属于所有b;这样,前提b就颠倒了。另方面,如果要求确立bຘ属于,则前๩提bຘ定不能再像以前那ว样换位因为ฦ前提“b不属于任何”与“不属于任何b”是相同的;但我们必须设定b属于所不属于其任何部分的事物的全体。让不属于任何它是以前๩的结论,设定bຘ属于所不属于其任何部分的事物的全体,则bຘ必定属于所有。

这样,在三个命题中ณ,每个都变成了结论,这就是循环证明,即设定结论以及个前提的换位,由此推论出余下的前提。

在特称三段论中,全称前提不能通过其他前提得到证明,但特称前提却可以。全称前๩提不可能被证明是很显然的。因为全称前๩提是通过全称前提证明的,但结论不是全称的。而我们必须ี从结论及另个前提中ณ得出证明此外,如果前๩提可以互换,则根本不会有三段论产生,因为两个前๩提都变成了特称的。但特称前提是可以证明的。设定通过b证明述说于有些。如果设定b属于所有,结论不变,则b属于有些,因为这是第格,中词是。

如果三段论是否定的,则全称前提不可能ม被证明,原因如同上述。但特称前๩提是可以证明的。如果b可以像在全称三段论中那样转换,即b属于不属于其有些部分的事物的有些部ຖ分,否则,就不能产生三段论,因为特称前提是否定的。

【6】在第二格中ณ,肯定命题๤不能以这种方式证明但否定命题却可以。肯定命题不能被证明,因为ฦ两个前提并不都是肯定的,结论是否定的,而肯定命题只能为两个都是肯定的前๩提所证明。否定命题可作如下证明。让属于所有bຘ,但不属于任何,结论是b不属于任何。那么เ,如果设定bຘ属于所有的,不属于任何,则必定不属于任何,因为这是第二格中词是bຘ。如果设定b是否定的,另个前提是肯定的,那么เ这就是第格。因为ฦ属于所有,b不属于任何,所以b不属于任何,因而不属于任何b。这样,根据结论和个前๩提,三段论不能成立。但如果再设定个前๩提,则三段论就可以成立。

如果三段论不是全称的,则全称前提不能ม被证明原因如同上述,但当全称陈述是肯定的时,特称前๩提可被证明。让属于所有b,但不属于所有,结论是b。那么,如果设定b属于所有,但不属于所有,则不属于某个中词是bຘ。但是,如果全称前提是否定的,前提不可能ม通过b的换位得到证明,因为由此可推出,要么个ฐ,要么เ两个前提变成了否定的,所以三段论不能成立。但可以用在全称三段论中所使用的相同方法来证明它,即设定属于某种b不属于的东西。

【7】在第三格中,如果设定两个ฐ前提都是全称的,则交互证明不可能,因为全称命题只能通过全称前提得到เ证明。在这个格中,结论总是特称的;所以很显然,全称前提根本不可能在这个ฐ格中得到证明。但是,如果个前提是全称的,另个前提是特称的,则ท交互证明有时可能,有时不可能。当我们设定两个ฐ前提都是肯定的,小前提是全称的时,是可能ม的,当另个前提是全称的时,则不可能。让属于所有,b属于某个,结论是b。那么,如果设定属于所有,就可以证明属于某个b,但不能证明bຘ属于某个ฐ。同样必然的是,如果属于某个ฐbຘ,b必定也๣属于某个,但“属于”并不与“属于”相同;我们必须进步设定,如果属于某个,ไ则也属于某个。如果我们设定了这点,则ท三段论就不再是从结论及另个前提中ณ产生的。如果b属于所有,属于某个,则在设定属于所有bຘ,属于某个b之后,前提就能得到证明。因为如果属于所有b,属于某个b,ไ就必定属于某个,ไb是中词。

当个前提是肯定的,另个前提是否定的,肯定前提是全称的时,另个ฐ前提就能得到证明。让bຘ属于所有,不属于某个,结论是,不属于某个b。所以,如果进步断定属于所有b,则必然可以推出不属于某个ฐ,中词是bຘ。但当否定前提是全称的时,另个前提便不能ม得到证明。除非像在前๩个例子中那样,设定当个词项不属于某个事物,另个词项ำ却属于另个ฐ事物。例如,如果设定不属于任何,b属于某个,结论是不属于某个ฐb。所以,如果设定属于某种所不属于的事物,则ท必然属于某个b。不可能用将全称前提换位的方法证明另个ฐ前提,因为无论何种情况,三段论都不成立。

因此,很显然,在第格中,交互证明既通过第三格也通过第格而产生。当结论是肯定的时用第格,当结论是否定的时用第三格;因为已经设定,如果个词项不属于某事物的任何个,则ท另个词项属于那个事物的全体。在中间格中,当三段论是全称的时,交互证明无论是通过这个格自身还是通过第格都是可能ม的;当它是特称的时,则既可以借助这个ฐ格,也可以借助最后格;在第三格中,切证明都只能通过这个格自身。很显然,在第三格以及在中ณ间格中,不通过这些格自身而产生的三段论,要么不能根据循环论证证明,要么เ是不完善的。

【8๖】转换个三段论即是将结论倒转,这样构成个ฐ要么大项不属于中项,要么เ中项不属于小项的三段论。因为如果结论被转换,个前๩提仍与以前样,那么เ剩下的前提必定是无຀效的。如果它是有效的,则结论也必定是有效的。我们把结论转换成相矛盾的还是相反对的,这是有差异的;因为转换的方式不同,所产生的三段论也๣不相同。这从下面的解释中ณ将会看得很清楚“属于所有”的矛盾面是“不属于所有”,“属于某个”的矛盾面是“不属于任何个”,而“属于所有”的反对面是“不属于任何个”,“属于某个”的反对面是“不属于某个ฐ”。

让我们假定,述说所有,已经通过中词b证明。设定不属于任何,但属于所有bຘ,则b不属于任何。如果不属于任何,但b属于所有,则ท不属于所有b,但根本不能ม推论出它不属于任何b,因为以前说过,全称命题不可能力最后格所证明。般说来,不可能ม通过换位使全称的大前提无效,原因在于,反驳总是通过第三格;因为我们必须设定两ä个前๩提与小词相联系。

如果三段论是否定的,同样的道理也适用。假如不属于任何已经通过中项ำbຘ得到证明,因此,如果设定属于所有,但不属于任何b,则b也不会属于任何;如果和b属于所有,则ท属于某个bຘ,但根据假设它不属于任何b。

但是,如果结论是在相互矛盾的意义上被换位,则三段论也是矛盾的,不是全称的;因为ฦ前提中有个ฐ特称,则结论也๣是特称的。假定三段论是肯定的并且在刚ธ才所说的意义上被换位,因此,如果不属于所有,但属于所有b,则ทb不属于所有,如果不属于所有,但b属于,则不属于所有b。如果三段论是否定的,情况也相同。因为如果属于某个ฐ,但不属于任何bຘ,则b不属于某个,但不是绝对不属于任何个ฐ。如果属于某个,b属于所有,正像原来所假定的那样,则属?

↑返回顶部↑

书页/目录

工具论