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

第 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,但不属于任何,三段论也不能产生。因而在前种情况下,前๩提都可被反驳,但在后种情况下,它们都没有被反驳。

每类命题都能按照ั上面所述的方แ式得到证明,但有些也用三段论的其他方แ式得到。例如,全称命题可以借助进步的假设,通过适合于特称结论的方法而得到证明。因为设定和是等同的,只属于,则属于所有;再者,确定和是相等同的。只为所表述,则ท不属于任何。我们也๣显然必须以这种方式考虑问题。

每类命题都能按照ั上面所述的方式得到证明,但有些也用三段论的其他方แ式得到เ。例如,全称命题可以借助进步的假设,通过适合于特称结论的方法而得到证明。因为设定和是等同的,只属于,则属于所有;再者,确定和是相等同的。只为所表述,则不属于任何。我们也๣显然必须ี以这种方แ式考虑问题。

【10】在第二格中,如果否定前提是必然的,则结果也是必然的;如果肯定前提是必然的,则结论就不是必然的。让我们首先设定否定前提是必然的。属于所有bຘ是不可能的,仅能ม属于。那么,因为ฦ否定前提是可以换位的,所以bຘ属于任何也不可能。但属于所有,则bຘ属于任何不可能,因为归属于。如果否定前提与相关,那ว么这同样适用。如果属于所有不可能ม,则属于所有也不可能ม。但属于所有bຘ,所以属于任何b不可能ม。这里我们再次得到了第格。b属于是不可能的,因为ฦ前提与以前样可以换位。

【10】在第二格中,如果否定前๩提是必然的,则结果也是必然的;如果肯定前๩提是必然的,则结论就不是必然的。让我们首先设定否定前提是必然的。属于所有b是不可能的,仅能ม属于。那么,因为否定前๩提是可以换位的,所以bຘ属于任何也๣不可能。但属于所有,则bຘ属于任何不可能,因为归属于。如果否定前提与相关,那么这同样适用。如果属于所有不可能,则属于所有也不可能ม。但属于所有bຘ,所以属于任何b不可能ม。这里我们再次得到了第格。b属于是不可能的,因为ฦ前提与以前样可以换位。

无论是肯定命题还是否定命题,必然或者具有全称主项,或者具有单称主ว项。若两个命题,个为肯定命题,个为否定命题,两者在形式上都是全称的,都具有个ฐ全称的主ว项,那么这两ä