友情提示:如果本网页打开太慢或显示不完整,请尝试鼠标右键“刷新”本网页!阅读过程发现任何错误请告诉我们,谢谢!! 报告错误
聚奇塔 返回本书目录 我的书架 我的书签 TXT全本下载 进入书吧 加入书签

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

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




    因为,排斥似乎是比量化较为简单的概念,让我们随着亚里士多德的步骤来考察。

    亚里士多德排斥绝大多数的不正确的三段论形式都是用具体词项来举例说明。

    这是我们唯一不能追随他的地方,因为我们不能把像“人”或“动物”这样的具体词项引入逻辑中来。

    有些形式必须公理地加以排斥。

    我曾发现①如果我们公理地排斥第二格的以下两个式:CKAcbAabIacCKEcbEabIac,那么借助于两条排斥的规则也可以排斥所有其它不正确的三段论形式:(c)排斥的分离规则:如果蕴涵式“如果α,则β”被断定了,但后件β被排斥,那么前件α必定也要被排

    ①见第20节。

…… 149

    27。排斥的表达式的公理和规则A                                                                         731

    斥。

    (d)

    排斥的代入规则:如果β是α的一个代入,而且β被排斥了,那么α也必定要被排斥。

    两条规则都是十分明显的。

    三段论形式的数目一共是4×43=256;24个形式是正确的三段论,2个形式是公理地排斥了的。

    证明其余230个不正确的形式都可以用我们的公理和规则来排斥,那将是冗长而可厌的。

    我将只用带有前提Abc和Eab的第一格三段论形式的例子来表明,我们的排斥规则如何在第一条排斥的公理的基础上进行证明。

    排斥的表达式我用一个星号加在它们的序数之前来表示。

    这样,我们有:

    P59。

    CKAcbAabIac(公理)

    P59a。

    CKEcbEabIac(公理)

    I。

    pIac,qKAcbAab×60'              '60。

    CIacCKAcbAabIac60×CP61—P59P61。

    Iac这里第一次应用了排斥的分离规则。

    断定的蕴涵式60有一个排斥的后件,P59;所以它的前件,P61,必定也被排斥。

    用同样的方法我得到排斥的表达式P64,P67,P71,P74,和P7。

    Ⅴ。

    pIac×62'62。

    CNIacIacIac62。

    RE×63

…… 150

    831第四章 用符号形式表达的亚里士多德系统

    63。

    CEacIacIac63×CP64—P61P64CEacIac1。

    ac×65'65。

    AcⅧ。

    pAc,qEac,rIac×C65—66'                 '              '6。

    CKAcEacIacCEacIac6×CP67—P64P67。

    CKAcEacIac

    P67×P68。

    bc' P68。

    CKAbcEabIac这里应用了排斥的代入规则。

    表达式P68必须被排斥,因为在P68中用c替代b,我们就得到排斥的表达式P67。

    这个同样的规则也用以得出P75。

    Ⅱ。

    qAab,rIab×C8—69'69。

    CpAabCpIab69。

    pKAbcEab,bc×70'                             '70。

    CKAbcEabAacCKAbcEabIac70×CP71—P68P71。

    CKAbcEabAacXIV。

    pAcb,qIac,rAab×72'72。

    CKAcbNIacNAabCKAcbAabIac72。

    RE,RO×7373。

    CKAcbEacOabCKAcbAabIac73×CP74—P59

…… 151

    28。我们的公理和规则不充分A                                                                  931

    P74。

    CKAcbEacOab

    P74×P75。

    bc

    cb' P75。

    CKAbcEabOac38。

    pKAbcEab,bc×76'76。

    CKAbcEabEacCKAbcEabOac76×CP77—P75P7。

    CKAbcEabEac排斥的表达式P68,P71,P75与P77是带有前提Abc与Eab的第一格的四个可能的形式。

    在第一格中,从这些前提不能得出任何正确的结论。

    用同样的方法,在两条公理地排斥的形式的基础上,我们能够证明所有四个格中的一切其它不正确的三段论形式也必定被排斥。

    28。我们的公理和规则不充分A用我们的公理和断定规则来证明亚里士多德逻辑的所有已知断定命题,以及用我们的公理和排斥规则来反驳所有不正确的三段论形式,虽然都是可能的,结果仍然远远不能令人满意。

    理由在于:在亚里士多德逻辑中,除了三段论的形式外,还有其它许多有意义的表达式。

    实际上它们是无穷的,以致于我们不能确信这个三段论系统的所有真表达式是否都能从我们的公理和规则的系统中推导出来,而所有的假表达式是否都能被排斥。

    事实上,要找出一个用我们的公理和排斥规则不能排斥的假表达式,是容易的。

    例如,那样的表达式有:(F1)CIabCNAabAba它的意思是:“如果有些a是b,那么如果并非所有a是b,则

…… 152

    041第四章 用符号形式表达的亚里士多德系统

    所有b是a“。

    这个表达式在亚里士多德逻辑中不是真的,而且不能用断定的公理来证明,但它与这些公理是不矛盾的,把它加在公理之中,并不推出任何不正确的三段论形式。

    我们来考虑一下如此扩展的这个三段论的系统是值得的。

    从亚里士多德的逻辑定律:8。

    CAabIab与50。

    CAbaIab以及演绎理论定律:(m)CCprCqrCNpqr我们能够得出下面的新断定命题78:(m)pAab

    qAba,rIab×C8—C50—78'78。

    CNAabAbaIab。

    这个断定命题是(F1)的换位蕴涵式,它与(F1)一起给出一个等值式。

    在这个等值式的基础上,我们可以用函子A定义函子I:(F2)

    Iab=CNAabAba。

    这个定义读作:“‘有些a是b’的意思同于‘如果并非所有a是b,则所有b是a。

    ‘“因为表达式”如果非p,则q“与另一表达式”或者p或者q“是等值的,我们也能够说:”’有些a是b‘,的意思同于’或者所有a是b或者所有b是a。

    ‘“

    现在,容易在所谓“欧拉圈”

    (Eulerian

    Circles)中找到这个扩展系统的一个解释。

    如同在通常解释中一样,用圆圈代表词项a,b,c,但是在任何两个圆圈都不会彼此相交的条件下,公理1—4得到确证,而形式P59CKAcbAabIac与59aCKCEcbEabIac遭到排斥,因为可能划出两个圆圈彼此位于对方

…… 153

    28。我们的公理和规则不充分A                                                                                             141

    之外而又都包含于第三个圆圈之中,这就驳倒了形式CKAcb-AabIac,并且又可能划出三个圆圈,它们每一个都独立于其它两个圆圈,这就驳倒了形式CKEcbEabIac。

    于是亚里士多德逻辑的所有定律都得到确证,而所有不正确的三段论形式都被排斥。

    然而,这个系统不同于亚里士多德三段论系统,因为公式(F1)是假的,如我们从以下例子中能够看出:“有些偶数可被3整除”是真的,但是不论是“所有偶数都可以被3整除”还是“凡被3整除的数都是偶数”都不是真的。

    从这个考虑可以得出结论,我们的公理和规则的系统不是范畴的(Categorical)

    ①,即并非我们系统的任何解释都确证并否证(Verify

    and

    falsify)

    同一个公式或者都是同构的(isomorphic)。

    刚才说明的这一解释确证了(F1)

    ,而(F1)是没有被亚里士多德逻辑确证的。

    所以,对于作出亚里士多德逻辑的全面和精确的描述来说,我们的公理和规则系统是不充分的。

    为了排除这个困难,我们可以把表达式(F1)

    作为公理来排斥。

    但是这个药方是否有效,也还是个疑问;还可以有其它的与(F1)同一类的公式,甚至无数的这种公式。

    问题是要为亚里士多德三段论系统找到一个公理和规则的系统,使得对于该三段论系统来说,我们能够判定所给出的其中任何有意

    ①一公理系统是范畴的,如果它具有一个模型,而且它的一切模型是彼此同构的。

    一个公理系统的两个模型称之为同构的,如果在这两个模型中所使用的个体的两个域之间有着一一对应的关系。

    参看阿隆若丘尔其:《数理逻辑导论》W(Alonzo

    Chur-ch:“Introduction

    tomathematical

    Logic“)

    ,1956版,卷1,第329—330页。

    ——译者注

…… 154

    241第四章 用符号形式表达的亚里士多德系统

    义的表达式是否应被断定或被排斥。

    这个最重要的判定问题将于下一章讨论。

…… 155

    第五章 判定问题

    29。不能判定的表达式的数目A我把以下的三段论系统的基本元素作为我现在的研究的基础:(1)四条断定的公理1—4。

    (2)断定表达式的代入规则(a)和分离规则(b)。

    (3)两条排斥的公理P59和P59a。

    (4)排斥表达式的分离规则(c)和代入规则(d)。

    必须把演绎理论作为一个辅助理论加在这个公理和规则的系统中。

    从断定的公理和规则能导出全部已知亚里士多德逻辑的断定命题,亦即逻辑方阵诸定律,换位诸定律,以及所有正确的三段论的式;在排斥的公理和规则的基础上,所有不正确的三段论的形式能被排斥。

    但是正如我们已经看到的,这个公理和规则的系统并不足以充分描述亚里士多德三段论系统,因为有着有意义的表达式,如CIabCNAabAba,它既不能被我们的断定的公理和规则所证明,也不能被我们的排斥的公理和规则所推翻。

    我把这样的表达式叫做在我们的基础上是不能判定的。

    不能判定的表达式在亚里士多德逻辑中可以是真的也可以是假的。
返回目录 上一页 下一页 回到顶部 0 0
未阅读完?加入书签已便下次继续阅读!
温馨提示: 温看小说的同时发表评论,说出自己的看法和其它小伙伴们分享也不错哦!发表书评还可以获得积分和经验奖励,认真写原创书评 被采纳为精评可以获得大量金币、积分和经验奖励哦!