三色电子书 > 文学其他电子书 > 亚里士多德的三段论 >

第47部分

亚里士多德的三段论-第47部分

小说: 亚里士多德的三段论 字数: 每页4000字

按键盘上方向键 ← 或 → 可快速上下翻页,按键盘上的 Enter 键可回到本书目录页,按键盘上方向键 ↑ 可回到本页顶部!
————未阅读完?加入书签已便下次继续阅读!




    从箱子中抽出并为4除尽的号码的“性质”并不包含任何它可能被3除尽的“永久的必然性”。

    由此看来,亚里士多德排斥三段论()

    似乎是正确的。

    但是问题变得很复杂,因为它表明,正是这同一论证也可以用以反对三段论。

    (∈)CLAbaCAcbLAca。

    这已为德奥弗拉斯特斯和欧德谟斯所发现,他们用了亚里士多德用以否证()的同样的词项按另一种顺序去驳斥(∈)。

    设b表示“人”

    ,a表示“动物”

    ,而c表示“在运动”。

    他们同意亚里士多德的意见,命题“每一个人都是动物”必然是真的,即LAba,而他们断定“所有在运动的东西都是人”是事实上真的,即Acb。

    这样,(∈)

    的前提被证实了,但是很明显,结论“所有在运动的东西都是动物”

    ,即Aca,不是必然真的①。

    这个例子,正如亚里士多德相应的例子一样,是同样没有说服力的,因为我们不能允许前提Acb事实上是真的。

    我们可以将我们的箱子作为一个更好的例子。

    设:b表示

    ①亚历山大,124。

    21,“他们证明,按实际材料来说,情况也正是这样……

    (24)所有的人必然是动物,所有运动着的东西都是人,但是,并非必然地所有运动着的东西都是动物。“

…… 275

    57。争论的解决A                                                    362

    “用6除尽的号码”

    ,a表示“用3除尽的号码”

    ,并且c表示“从箱子中抽出的偶数号”。

    亚里士多德会接受:命题“每一个被6除尽的号码都可以被3除尽”必然是真的,即LAba,,但是,“每一个从箱子中抽出的偶数号能被6除尽”只能事实上是真的,即Acb,因此,“每一个从箱子中抽出的偶数号能被3除尽”也只能事实上是真的,即Aca。

    命题Acb和Aca,显然是相互等值的,而如果其中一个只是事实上为真的,那末另一个就不能是必然的。

    亚里士多德和德奥弗拉斯特斯之间关于带有一个必然前提和一个实然前提的各式的争论将我们带到一个自相矛盾的地步,因为存在表面上同样有力的论证去赞成和反对三段论(∈)

    和()。

    用Barbara式的例子所说明的争论可以推广到这一类所有其它式中去。

    这个争论表明:错误正潜伏在模态逻辑的基础之中,并且有它关于必然性的错误概念的根源。

    57。争论的解决A上面所说的自相矛盾的情况与我们将模态逻辑运用于“同一理论”时所遇到的困难十分类似。

    一方面,这里所谈的三段论不仅是自明的,而且在我们的模态逻辑系统中是能够加以证明的。

    我这里根据强的L扩展定律以及其它定律给三段论(∈)和()一个充分的证明,这个扩展定律是亚里士多德已经知道的。

    前提:3。

    CLp18。

    CpqCLpLq

…… 276

    462第八章 亚里士多德的模态三段论

    24。

    CpqCqrCpr3。

    CpCqrCqCpr102。

    CAbaCAcbAca推演:

    18。

    pAba,qAca×107'107。

    CAbaAcaCLAbaLAca

    3。

    pAba,qAcb,rAca×C102—108'108。

    CAcbCAbaAca

    24。

    PAcb,qCAbaAca'

    rCLAbaLAca×C108—C107—109'109。

    CAcbCLAbaLAca

    3。

    PAcb,qLAba,rLAca×C109—110'10。

    CLAbaCAcbLAca(∈)

    18。

    pAcb,qAca×1'               '1。

    CAcbAca

    CLAcbLAca

    24。

    pAba,qCAcbAca,'               '

    rCLAcbLAca×C102—C1—112'12。

    CAbaCLAcbLAca()。

    我们看到,三段论(∈)和()

    (这里用10和12标志)

    ,是我们模态逻辑的断定的表达式。

    另一方面,我们从10通过替代ba得出(断定)

    命题13,'以及从12通过替代bc和交换前件得出断定命题14:'13。

    CLAaCAcaLAca14。

    CLAcCAcaLAca。

    这两个命题在后件中都包含表达式CAcaLAca,即命题:“如果每一个c是a,那末,必然每一个c是a”。

    如果这个命题被

…… 277

    57。争论的解决A                                                          562

    断定,则所有真的全称肯定命题都是必然真的,这与直观相矛盾。

    不但如此,由于CAcaLAca是与CNLAcaNAca等值的,而Aca与NOca意义相同,我们就有了CNLNOcaNOca或CMOcaOca。

    这最后的命题,它表示:“如果可能有些c不是a,那末有些c不是a”

    ,就不是真的,因为,从箱子中抽出的号码不是偶数号,的确是可能的,因此,如果这个命题是真的,则从箱子中抽出的每一组都须包含一个奇数——这个结果显然与事实相矛盾。

    因此,表达式CAcaLAca是应当被排斥的,而我们就得到:

    P15。

    CAcaLAca,从这个表达式,按照我们关于排斥的表达式的规则,就推出:13。×CP116—P115P16。

    LAa。

    亚里士多德的必然的同一律正如必然的同一原则LFx一样,应当被排斥。

    这符合于我们一般的观点,按照这个观点,任何必然命题都不是真的。

    表达式13的后件,即CACcaLAca,不能分离出,而承认有真的必然命题和断定强的L-扩展定律之间的不相容性,得到了有利于扩展定律的解决。

    我不相信,任何其它模态逻辑系统能够圆满地解决这个古代的争论。

    我在前面已经提到,亚里士多德企图驳斥三段论()不仅借助于例证,而且借助于一个纯粹逻辑的论证。

    他断定:前提Aba和LAcb不能给出一个必然的结论,他说:“如果结论是必然的,那末,通过三段论第一格或第三格,从它就将推

…… 278

    62第八章 亚里士多德的模态三段论

    出有些b必然是a,但这是不正确的,因为b可以是这样:即可能任何一个b都不是a“

    ①。

    亚里士多德这里指的是必然的Dari式和Darapti式,因为()与一个这样的式相结合,我们就能从它得出结果CAbaCLAcb-LIba。

    从Darapti所作的证明是:17。

    CpCqrCrCqsCpCqs12。

    CAbaCLAcbLAca()

    18。

    CLAcaCLAcbLIba(Darapti)

    17。

    PAba,qLAcb,rLAca,SLIba×'C12—C18—11919。

    CAba

    CLAcbLIba从Dari所作的证明提供同样的结果,但是比较复杂一些。

    亚里士多德似乎不注意前提LAcb,并且将这个结果解释为一个简单的蕴涵式:

    P120

    CAbaLIba,它显然是假的,而应予排斥。

    或者也可能他想通过适当地对c的替代和省略,可以使LAcb成为真的。

    如果是这样,他就错了,并且他的证明是失败的。

    除此以外,我们还看到在这个例子中,借助于产生某些似乎是真的必然前提的词项去确定像19,12或10这样的断定命题的正确性,是多么困难。

    因为很多逻辑学家相信,这样的命题实际上是真的,要用例子去

    ①《前分析篇》i。

    9,30a25,(继续第25页注②的引文)

    “因为,如果结论是必然的,那末,按照第一格和第三格,A也必然属于有些B。

    但是,这是不正确的,因为B完全可能是这样的,即A可能根本不属于它。“

…… 279

    58。有可能前提的各式A                                                                          762

    使他们信服这些三段论的正确性是不可能的。

    在结束这些讨论时,我们可以说,亚里士多德断定(∈)是正确的,而排斥()却是错误的。

    德奥弗拉斯特斯和欧德谟斯在两个问题上都是错误的。

    58。有可能前提的各式A亚里士多德的或然三段论的学说显露出一个非常奇怪的缺陷:为了有利于带有偶然前提的各式,带有可能前提的各式完全被忽略了。

    按照大卫罗斯爵士的意见,“亚里士多德W经常在一个前提中,在‘既非不可能也非必然的意义上使用’∈‘δ∈D    ∈αι一词,这里唯一正确的结论是其中∈’δ∈D F L H F∈αι表示‘不是不可能的’的意思,他象通常那样细心地指L      H出了这一点”

    ①。

    亚里士多德的确似乎细心地区分了∈‘δ∈D L F∈δθαι的两种涵义,当他说到,例如在阐述带有两个或然前提的第一格的各式时,在这些式中,∈’δ∈D     ∈δθαι一词按照他F         L所给的定义,即作为“偶然的”

    ,而不是在“可能的”的意义上去理解。

    但是,他又说,这有时是被忽略的②。

    谁能忽略这一点呢?

    自然是亚里士多德自己或者他的某些学生,正由于∈‘δF∈D     ∈σθαι一词的歧义性而造成的。

    在《解释篇》中,∈‘δ∈D L Fóμ∈与δαó表示同一涵义③,而在《前分析篇》中,它L F J F H F①大卫罗斯编《前分析篇》,第4页;也参阅载于第286页的有效各式的表。

    W②《前分析篇》,i。

    14,3b21……“不应该在‘必然的’意义上来理解‘可能的’,而应该按照上面引述的定义来理解,但是这有时被忽视。”

    ③参阅第16页。

…… 280

    862第八章 亚里士多德的模态三段论

    具有两种意义。

    一个词在两种意义上使用总是危险的,这两种意义可能在无意中被混淆,这种危险正象使用具有同一意义的两个不同的词一样。

    亚里士多德有时说‘γωριf以代替∈’δM L M F∈∈αι,而也将后者在两种意义上使用①我们不能总有把握L H地确定他在什么意义上使用∈‘δ∈∈

返回目录 上一页 下一页 回到顶部 0 0

你可能喜欢的