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

第 11 部分阅读

余纪元译

就每个问题而言,无论采取直接三段论还是归谬法,研究总是相同的;因为两种证明都是从同样的词项中得到เ结果的。例如,设定已经证明不属于任何。因为如果属于某个,则可以推出,b也๣属于某个,而这是不可能的。如果断定b不属于任何,但属于所有,那么很显然,不属于任何。再者,如果不属于任何是通过直接三段论得到的结论,如果断定属于某些,则我们能用归谬法证明它不属于任何。其他例子亦同样。在每种情况中,我们必须采用某些共同词项与已经设定的不同,证明结论虚假的三段论与这些词项相联系。这样,当这个前提转换而其他仍然不变时,三段论将通过同样的词项而变成直接的。直接证明与归谬法的不同之处在于:在直接证明中,两个前๩提都被确定为ฦ是真的。而在归谬法中,有个ฐ前๩提被确定为是假的。

但当它是否定的时,通过换位就能得出三段论,正如以前的例子样。再者,如果设定两个命题๤都是否定的,实然否定是全称的,那么从这样的前提中ณ便得不出必然的结论。但当或然前提换位时,那么跟以前样,三段论可以成立。

但是,如果b不是必然的,b是必然的,那么结论就不是必然的。如果它是必然的,则可以根据第格和第三格推出,必然属于某些b。然而这是虚假的。因为b的情况可能是不属于它的任何部分。而且,根据同项例子也可明显地看到,结论不是必然的。例如,设定表示“运动”,b表示“动物”,表示“人”,那么เ,人必然是动物,但动物却不必然是被运动的;人也๣不必然是被运动的。如果前提b是否定的,情况亦相同,因为证明是相同的。

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

既然有可能ม将把握的事情说成是不曾把握的,把不曾把握的事情说成把握了的,而且在现在以外的时间里也๣同样如此,那么,有人肯定过的事物,必定也可以加以否定,有人否定过的事物,必然也可以加以肯定,所以,肯定命题便有与其对立的否定命题๤,否定命题也๣有与其对立的肯定命题。所有这样成对的命题,我们称之为矛盾命题๤,矛盾命题的主项和谓项必须相同,而且相同的词不应当是“同名异义的”。除此之外,我们还需要其他附加条件以对付难缠的诡辩派所提出的疑难。

'ู否定命题:并非所有的人'肯定命题:所有的人是不公正的;是不公正的。

在命题中,被肯定或被否定的事物自身,并不就是肯定或否定。“肯定”意味着“肯定命题”,“否定”意味着“否定命题”,但是,在命题中被肯定或被否定的事物是件事实,而不是命题。然而,我们所肯定和否定的事物则可以在同样的意义上被称为对立,因为这里的对立方式是同样的,正如肯定命题和否定命题是对立的样,如对立命题“他坐着”和“他没有坐着”,命题所表达的事实,“坐着”和“没有坐着”也๣是对立的。

数量不会有相反者。所有确定的数量都显然不会有相反者,如。‘两肘长”或“三肘长”,或“面”等类似的事物,就不会有相反者。但有人也许会说,“多”和“少”“大”和“小”是相反者,但所有这些都不是数量,而是关系。这些事物并不是就其自身被说成“大”或“小”,人之所以这样称它们,乃是相比较而言的。如座山被说成是小的,而颗谷粒被说成是大的,这不过是说,这颗๣谷粒比其他谷粒更大,这座山比其他山更小而已。所以,这里就涉及至到个外部标准,如果是就自身而言的大或小,那么,座山就不可能ม被说成是小,颗谷粒也不会被说成是大。再者,我们説,在某个ฐ村子里有很多人,而在雅典则人很少,虽然雅典的人比村子里的人多出许多倍;我们说,在屋子里有很多人,而在剧ຕ场里则人很少,虽然剧场里的人数远远超过了屋子里的人数。“两ä肘长”“三肘长”以及其他同类的东西表示的是数量,而“大”或“小”,并不表示数量而主要是表示关系,因为ฦ“大”和“小”与外在的标准相关,所以,它们显然是种关系。

现在我们所能见到的较为完整的亚里士多德的作品中,充满了课堂用语,以及复述小结等显明的教学环节。这说明,人们对这些作品大多是讲授提纲和听讲摘要的推测是有根据的。而且物理学书的原名,即明白标示ิ出是种讲义r。作为希腊ຘ哲学爱智精神化身的亚里士多德,以40่年的教学生涯๹,于今只有这样30来种著作传世,其本身就反映了个愚昧与启蒙野蛮与文明暴力与理智的历史斗ç争过程。关于亚里士多德著作的坎坷命运,早ຉ在公元1้1世纪,就以传奇故事的形式记载于著名的地理和历史学家斯特拉波rb的地理学和阿加德米亚哲学家传记作家普鲁塔克r的道德论集中。根据传说,公元前322๐年亚里士多德殁后,吕克昂由亚里士多德的学生和朋友塞奥弗拉斯特r主ว持。后者在公元前28๖8年逝世前,把藏于吕克昂的亚里士多德和自己的稿本托付于同事斯ั开普斯ั的纳留แ斯,由纳留斯ั带回他小亚细亚的故乡,公开展览,任人抄传。后来珀加蒙王国的君主,为自己้的图书๰馆向民间征集书籍,为ฦ了避免被征用,这批稿本就被藏于斯ั开普斯的地窖中,直沉睡了百余年,直到公元前๩1世纪才发掘出来,卖给了台奥斯的哲学家阿柏里康重新带回雅典。公元前86年苏拉攻占了雅典,把这批书稿劫到罗马,后来又转手到เ文法学家提兰尼奥r手中ณ,准备编辑抄传。但经两ä个ฐ世纪岁月的腐蚀,播迁散乱ກ,这批稿子已经面目全非,又加上誊抄手文化不高讹误百出,所以稿件的内容次序写作先后完全不可辨认。直到罗马吕克昂第十任主ว持罗得斯岛的安德罗尼河r收藏了它,并重新า加以编辑,这大概是公元前๩60年左右的事情。在当时,安德罗尼河已经无法查请这些著作的写作年代,只能用当时流行的分类归纳法,把它们按内容排比在处。

当我们规定结论的矛盾命题并且设定个ฐ附加的前提时,通过归谬法的三段论就被证明了。它在全部三个ฐ格中ณ都:可以产生,它与转换相似,但具有以下差ๆ别:我们是在三段论已๐经产生,两个ฐ前提皆已设定之后才转换的,相反,我们在使用归谬法时,相矛盾的命题并不是开始被确认的,但:它显然是真实的。但是,在两者之中ณ,词项是相同的,两者的前๩提也๣是以相同方式被设定的。例如,如果属于所有b,是中词,如果我们规定不属于所有b或者不属于任何b,但属于所有根据假设这是真实的,则必定不属于任何b,或者不属于所有bຘ。但这是不可能ม的。因而这规定是虚假的,而其对立面是真实的。在其他格中情况也相同。因为ฦ切能ม够转换的例证也能用归谬法加以推论。

在所有三个格中ณ,切其他命题都可以用归谬法证明,但全称肯定命题在中间格与第三格中可以证明,在第格中却不能证明。假定不属于所有b,或者不属于任何bຘ,也设定另个ฐ与任何个词项相连的前๩提,要么เ属于所有,要么b属于所有,这样,我们就得到เ了第格。如果我们已经设定不属于所有b,则不管所设定的前提与哪个词项相联系,三段论都不能ม成立。但如果我们已经设定不属于任何bຘ,则1,当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ຘ,情况亦相同。因为如果“不属于某个”与“不属于全体”是相同的,则两者的证明也是相同的。

因此很显然,在所有三段论中ณ,我们必须规定相矛盾的结论而不是相反对的结论,这样,我们就具有必然性。我们的观点可为般所承认。如果个既定谓项要么其肯定要么其否定对每个既ຂ定的主项是真实的,那么,如果证明了否定不是真实的,则肯定就必然是真实的。再者,如果“肯定是真实”站不住脚๐,则“否定是真实”的论点将为ฦ般所承认。但相反对命题๤是真实的观点没有满足任何个ฐ要求。因为ฦ“如果它不属于任何”是假的,并不必然可以推出“它属于所有”是真的;般也不承认个是假的,则ท另个就是真的。

【1้2】因此,很显然,在第格中,其他命题๤都可以用归谬法证明,但全称肯定命题却不能。即使在中间格和最后格中,这也可以证明。假定不属于所有bຘ,设定属于所有。因而,如果它不属于所有b,但属于所有b,则不属于所有b。但这是不可能ม的。假如属于所有b是显然的,那么这规定就是虚假的。因而属于所有b是真实的。但如果我们规定相反对的命题,尽管三段论可以成立并且是归谬法证明的,命题๤也不能得到证明。因为如果不属于任何bຘ,但属于所有,则不属于任何bຘ。但这是不可能的;所以不属于任何b是虚假的。但如果这是假的,则推不出属于所有b是真实的。

当属于有些b时,规定不属于任何b,但让它属于所有,则必定不属于任何b。这样,如果这是不可能的,必定属于有些bຘ。如果假设它不属于有些bຘ,那么我们会得到เ与在第格中同样的结果。

再者,规定属于某个b,但让它不属于任何,则ท必定不属于某个bຘ。但原来设定它属于所有b,所以这规定是虚假的,因而不属于任何b。

当不属于所有b时,规定它属于所有b,但不属于任何,则必定不属于任何bຘ。但这是不可能的;所以不属于所有b是真实的。因此,很显然,所有的三段论都能通过第二格而产生。

【13】同样,它们也能通过最后格产生。假定不属于某个ฐb,但属于所有,则不属于某个。所以,如果这是不可能的,则不属于某个bຘ是假的,而它属于所有b是真的。但如果规定它不属于任何bຘ,尽管三段论可以成立,并且是归谬法证明,命题也没有得到证明。如果规定相反对的命题๤,我们可得到เ与以前相同的结论。我们必须选择可用来证明属于有些bຘ的假设,因为ฦ如果不属于任何bຘ,属于某个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,这样我们就获得了第格。如果三段论不是全称的,但已经证明不属于某个ฐ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ຘ,或者属于前๩者的全体但不属于后者的全体;这仍然还能ม转换词项。在第三格中情况也同样。这样,三段论用多少种方式在哪些格中可通过相对立的前提而产生,我们就清楚了。

同样明显的是,我们以前说过,可以从虚假的前提中得出真实的结论,但是我们从相对立的前提中却得不出这种结论,因为所产生的结论总是跟事实相反的。例如,如果件事情是好的,推论是它不是好的;或者,如果它是个动物,推论是它不是动物。这是因为三段论是从相矛盾的前提中推出的,所设定的词项ำ要么是相同的关系,要么是整体与部分的关系。很显然,在虚假的推论中,没有什么阻止产生原来假设的矛盾面。例如,如果它是奇数,则它就不是奇数。因为我们已经看到,从相对立的前提中产生的结论是与事实相反的;所以如果我们设定了这类前提,那ว就会获得与原假设相矛盾的结果。

应当注意到เ,从个单的三段论中得出相反的结论是不可能的,即不是好的事物是好的,或其他任何相似的矛盾,除非相矛盾的形式回复到原来的前提,例如,“每个动物都是白的和不是白的”,所以“人是种动物”。我们要么也๣设定相矛盾的命题例如,设定所有科学都是信念,则医学是科学,但没有医学是信念,正如在反驳过程中ณ那样,要么我们必须从两个三段论中得出结论,像我们以前所说的那ว样。除此而外,并不存在其他断定在其中ณ可能是真正相反的方式。

【16】求助于或设定所讨论之点就是就这词的最广泛的意义说未能证明所要求证明的问题๤。但它可以以多种方式发生,例如,如果论证根本没有采用三段论形式,或者如果前๩提并不比所要证明之点更清楚明白,或者如果前者被后者所证明。因为证明总是从可信的先在的前提出发的,在这些程序中没有个求助于所讨论之点。有些事物由于它们自身自然是可知的,有些要通过其他事物而得知因为本原是通过它们自身而得知的,而归属于本原的例证却是通过其他事物而得知的,当有人试图通过它自身证明不能通过自身而得知的事物时,那么เ他就是在求助于所讨论之点。这可以通过直接提出所要证明的命题而完成,我们也可以诉诸于另类在本性上要通过其他事物来证明的命题,通过它们来证明所讨论之点。例如,如果可为b所证明,b可为ฦ所证明,则自然可为所证明;如果有人是以这种方式论证的,那ว就可以推出他是在通过自身而证明。认为他们正在划平行线的人正是这样的。他们没有认识到,他们正在提出除非平行线存在,否则ท便不可能ม得到เ证明的断定。因而可以推知,以这种方แ式论证的人是在说,如果既定的事物是这样的,那ว么它便是这样的。但根据这原则,切事物都是自明的,而这是不可能ม的。

这样,如果是否属于不清楚,它是否属于b也不清楚,假设没人认为属于b,那ว么尚不清楚他是否在求助于所讨论之点,但很清楚他没有证明它。因为与所要证明之点同样不清楚的事物不是证明的出发点。但是,如果b与的关系是等同的,或者显然是可换位的,或者个属于另个,那么เ他是在求助于所讨论之ใ点。因为如果他可以把它们换位,那么他通过这些前提也能ม证明属于b。现在尽管论证方式许可,条件却不允许。如果他这样做,那么他就是在做我们已讨论过的事情,通过三个ฐ命题๤交互地证明。如他设定b属于,则ท情况也相同,尽管这与是否属于同样不清楚,他也๣没有求助于所讨论之点,但他没有证明它。但是,如果和b是相等同的,因为它们是可换位的,那么เ,要么因为是b的后件,要么他正在求助于所讨论之点,理由如同上述。因为我们在前面说过,求助于所讨论之ใ点,即是通过它自身证明不是自明的事物。

如果求助于所讨论之点,即是通过它自身证明不是自明的事物,即当所要证明的命题与证明的理由同样不清楚,要么因为ฦ相等同的谓项ำ属于同主项ำ,要么因为同主ว项属于相等同的谓项,所以同样不清楚而未能证明时,那么在中间格和第三格中ณ,所讨论之点的求助可以用任何种方式。但在肯定的三段论中,它只在第三格与第格中出现。但当三段论是否定的,当相等同的谓项否定同主项时,我们就犯了“预期理由”的错误,它在两个前提中发生并不是无຀关紧要的在中间格中,情况也相同,因为词项ำ在否定三段论中不可能换位。

在证明中,所讨论之点表现出词项ำ间的真正关系,在辩证的论证中ณ,它表现为大家所共同接受的关系。

【17】“这不是那个错误的原因”这种异议,我们在论证中经常习惯性地使用,主要是在归谬法三段论中形成的。它在那ว里用来反驳归谬法所证明的命题๤。因为除非我们的敌手否定它,否则他不会说“这不是那ว个错误的原因”,他会极力主张说,在论证的早期阶段,存在着虚假的断定;他也不会在直接证明中使用这异议。因为在直接证明中,人们提不出与结论相矛盾的东西。

当某东西通过词项ำbຘ被直接反驳时,人们便不能坚持说,三段论不依靠该断定。因为当某物被反驳时,三段论仍能得出结论,那么我们只能说它不是原因。这在直接三段论中是不可能的,因为当假设被反驳时,与它相关的三段论便不再有效。因此,很显然,当原来的假设与归谬法无论假设是否有效所产生的不可能的结论具有这样的联系时,“这不是原因”的异议就可用在归谬法中。

假设不是错误的原因的最明显形式是,当三段论独立于假设,从中项推出不可能的结论时,正如我们在论题篇中所描述的那样,这是把不是原因的东西提出来作为原因。有些人希望证明个正方形的对角线是不可用边来测量的,他们也试图证明芝诺运动是不可能的论证,并且想用归谬法达到这结论;因为在谬误与原来的断定之间根本没有任何方式的联系。当不可能的结论与假设相联系,并且不是因为ฦ它而推出时,我们就会有另种形式。无຀论个人认定向上的方向联系还是向下的方แ向联系,这都可以产生。例如,如果设定属于b,b属于,属于,则ทbຘ属于是假的。因为如果当被取消时,b仍然属于,属于,则该谬误的产生不是由á于原来假设的缘故。或者,如果个人认定向上方向的联系,例如,如果属于b,属于,属于,则属于是假的,因为在这种情况下,假如原来的假设被取消,不可能ม的结论仍然可以得出。

不可能的结论必定与原来的词项ำ相联系,这样,它就是通过假设而产生的,例如,如果我们认定向上方向的联系,则不可能的结论必定与作为ฦ谓项的词项相联系。因为ฦ如果属于是不可能的,那么被取消时,谬误便不再存在。在上升方向中,不可能的结论必定与其他词项作为其谓项的词项ำ相联系。因为如果不可能属于bຘ,当b被取消时,谬误便不再存在。如果三段论是否定的,则情况也๣同样。

因此,很显然,如果不可能的结论不与原来的词项相联系,则谬误不是由于假设而产生的。确实,即使当结论是这样联系时,谬误也并不总是由于假设而产生的;假如我们设定不属于b,但属于,属于,属于,即使如此,不可能的结论仍然存在。如果个人设定向上方向的词项ำ,则情况也相同。由于无论原来的断定持有或不持有,不可能的结论总能够推出,所以它不可能ม是从假设中ณ推出。或许当断ษ定被取消时,谬误仍然会产生这事实应被认为具有这样的意思:并不是当另个断ษ定被作出时,不可能的结论就推出,而是当原来的断定被取消时,同样的不可能结论可以通过其余前提而产生;因为同谬误从几个假设中推出这看法也并不荒谬。这就等于说,“平行线相交”既ຂ可以从内角大于外角的假设中ณ推出,也可以根据个三角形的各种角之ใ和大于两直角这假设中推出。

【18๖】错误的论证是从论证所包含的第虚假命题中ณ产生的。每个三段论都是从两个或更多的前提中得出的。如果错误论证是从两ä个前提中得出的,则ท必有个ฐ前提或者两个ฐ前提是虚假的。因为ฦ以前说过,虚假的结论不能从真实的前提中推出。但如果它是从两个以上的前提中得出的,例如,如果是通过和b证明的,和b是通过以及证明的,则ท之中必有个是虚假的,必定是论证虚假的原因。因为ฦ和b是通过这些命题推论出来的。所以,结论是,错误的结论是从它们之中的某个产生的。

【19๗】当我们的敌手尚未发现结论,便要求我们承认他的论证的根据时,如果我们想避免产生个反对我们自己的三段论,那么我们必须小心,不要告诉他在前提中两次使用相同的词项,因为我们知道,没有中项ำ,三段论便不能ม产生,而中项ำ即是出现次以上的词项。我们如何警惕与每个结论相关的中项ำ,这从我们对在每个格中要采取什么形式的证明的知识来看是十分清楚的。我们不会忽视这点,因为ฦ我们知道如何维护论证。

在论证上处于守势的学生,我们直告诫其不要采用同样的程序,但当他们处于攻势时,则ท应当努力悄悄地采用同样的程序。这是可能ม的。第,如果他们避开得出原来的三段论的结论,而是在作出必然的断定之后让它们处于不显现的状态;其次,如果所要求承认的各点不是通过中项ำ而互相紧密联系的,而是尽可能地不相联系的。例如,假如要求确立述说于,中项是b那么เ我们会问是否属于bຘ,进而不是问b是否属于,而是是否属于,然后是b是否属于,其余的词项亦如此。如果三段论是通过个中项产生的,我们就从中ณ项开始,因为ฦ这样,回答就会是不明显的。

【20่】由于我们知道了在什么เ时候和在什么样的词项结合中三段论可以产生,所以,反驳在什么时候可能,在什么时候不可能ม也就清楚了。无论切命题๤都得到承认,还是回答是交互的即个是否定的,个ฐ是肯定的,反驳都可以产生。以前๩已经说过,词项ำ的前๩种排列与后种排列两ä者都可以产生三段论。因此,如果所承认的命题与结论相反,则反驳必然可以产生,因为反驳即是证明相矛盾结论的三段论。但是,如果什么也未被承认,则反驳不可能产生;因为以前๩说过,当所有的词项ำ都是否定的时,三段论不能成立。因而也๣就不可能有反驳。如果反驳存在,则三段论必然存在。但三段论存在,反驳却不定就存在。如果回答没有规定全称的联系,则情况亦相同。因为ฦ反驳的定义与三段论的定义是相同的。

【2๐1】正如我们在规定词项时有时会犯错误样,我们在思考它们时有时也会发生错误。例如,如果相同的谓项可直接属于多个ฐ主项,有些人知道个主ว项,但忘记了另个ฐ,并认为谓项ำ不属于它的任何部分。。假如自身可以属于b和,b和以同样的方式属于所有,然后如果他认为ฦ属于所有b,bຘ属于,但不属于任何,属于所有,那么เ他对同件事情自身既有知识又无知。再者,假如个人对相同系列的词项ำ会发生错误,例如,如果属于b,b属于,属于,并假如属于所有b,但却不属于任何,则ท他会同时既认为又不认为它属于。但是,结果是,他会实实在在地承认他不知道他所知道的事物吗?他在某种意义上知道可以通过b而属于,正如特称属于全称样,所以他承认了根本不知道他在某种意义แ上是知道的东西,而这是不可能ม的。

在前种情况中,当中项不属于相同的系列时,则没有什么阻止个人认为个前提与每个ฐ中项相关,或两ä个前提与个中ณ项相关。例如,属于所有bຘ,但不属于任何,后两个都属于,由此可以推出第个前๩提或全体或部ຖ分地与另个相反。因为ฦ如果有人设定属于b所属于的事物的全体,并知道b属于,则他就知道了属于。因而,如果他又认为ฦ不属于所属于的任何个,那ว么他不认为属于b所属于的事物的有些部ຖ分。但是,既ຂ认为它属于全部bຘ所属于的事物的全体,然后又认为它不属于b所属于的事物的有些部分,这要么是个无条件的反对,要么เ是部分的反对。

因而,这样思考是不可能ม的,但是并没有什么阻止人们认为个ฐ前๩提与每个中ณ项相关,或者两个前提与个中项ำ相关。例如,认为属于所有b,b属于,再者,不属于任何。这种错误与我们在论及特称事物时所犯的错误是样的。例如,如果属于所有b,bຘ属于所有,则也属于所有。然后如果有人知道属于b所属于的事物的全体,那么他就知道了它属于,但没有什么阻止不知道存在。例如,如果表示“两ä直角”,b表示ิ“三角形”,表示“可感的三角形”。因为ฦ个ฐ人可能设定不存在,尽管他知道每个三角形的内角之和等于两直角,所以他就同时知道和不知道同件事情。因为ฦ知道每个三角形的内角和等于两直角,有着多种含义,要么是普遍的知识,要么เ是特殊的知识。这样,借助普遍知识,他知道等于两直角,但根据特殊知识他却不知道,因而他的无知与他的知识并不相反对。

曼诺篇中学习๤就是回忆的理论,其情况也相同。我们根本没有发现我们以前具有的对个体的知识,但是在归纳过程中,我们发现确实获得了关于特殊事物的知识,就像我们回忆起它们样。有些