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

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

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




    此外,具有不同具体主项和谓项的命题既不彼此反对也不互相矛盾。

    迈尔又把亚里士多德指出的词项置于三段论的形式中:所有人都是动物   所有人都是动物没有马是人  没有石头是人

    ①《前分析篇》i。

    4,26a2。

    ②亚历山大5。

    2,“通过具有具体词项的前提的同样的一个组合既能够得到全称肯定的结论,也能得到全称否定的结论,提供了这个组合不具有三段论力量的最有说服力的证明,因为借助于它,彼此互相推翻的反对和矛盾的命题都得到证明。”

…… 112

    01第三章 亚里士多德三段论系统

    所有马都是动物没有石头是动物(他把前提放在横线之上,犹如在三段论里一样)

    ,并且说:从逻辑上等价的前提得出了(results,ergibt

    sich)一个全称肯定命题和一个全称否定命题。

    ①我们在下面将会看到亚里士多德所给出的词项并非意图置于三段论的形式中,并且没有什么东西从迈尔所引述的冒充的三段论中形式地得出。

    考虑到这些错误的了解,对这个问题的逻辑分析似乎是必要的。

    如果我们想证明下面的三段论形式:(1)

    如果A属于所有B并且B属于无一C,则A不属于有些C不是一个三段论,并且从而不是一个真的逻辑定理,我们必须指出变项A,B,C有那样的值,它们可以确证前提,而不能确证结论。

    因为一个包含变项的蕴涵式,只有当变项的一切值确证前件也确证后件,它才是真的。

    表明这一点的最容易的办法是找出具体词项确证前提“A属于所有B”

    和“B属于无一C”

    ,但不确证结论“A不属于有些C”。

    亚里士多德找到了那样的词项:以“动物”代A,“人”代B,“马”代C。

    前提“动物属于所有人”或“所有人都是动物”

    ,以及“人属于无一马”或“没有马是人”

    ,都可以确证;但结论“动物不属于

    ①《亚里士多德的三段论》,卷iia,第76页:“因而,这关系到以下的组合:所有人是动物   所有人是动物没有马是人 没有石头是人所有马是动物没有石头是动物由例子表明:通过我们看到的、由逻辑上完全等价的前提所建立的前提组合,既可以得出一个全称肯定命题也可以得出一个全称否定命题。”

…… 113

    20。排斥的形式A                                                   101

    有些马“或”有些马不是动物“是假的。

    因此公式(1)不是一个三段论。

    同理,下面的形式:(2)

    如果A属于所有B并且B属于无一C,则A属于无一C,也不是一个三段论,因为前提被与前面的相同词项所确证,但结论“动物属于无一马”或“没有马是动物”是假的。

    由(1)和(2)的假可知不能从已给定的前提中得到否定的结论。

    从它们也不能得出肯定结论。

    例如其次一个三段论形式:(3)

    如果A属于所有B并且B属于无一C,则A属于有些C。

    对于A、B和C,有值(亦即具体词项)确证前提而不确证结论。

    亚里士多德也举出了那样的词项:以“动物”代A,“人”代B,“石头”代C。

    于是前提被确证了,因为“所有人都是动物”和“没有石头是人”都是真的,但结论“有些石头是动物”明显是假的。

    因此,公式(3)不是一个三段论。

    最后一个形式:(4)

    如果A属于所有B并且B属于无一C,则A属于所有C,也不能是一个三段论,因为对于上面所举的词项来说,与前面一样,前提被确证了,而结论“所有石头都是动物”

    没有被确证。

    由以上所述得出:从前提“A属于所有B”与“B属于无一C”的组合中,无论什么结论(当A为结论的谓项、B为结论的主项时)

    都不能推出。

    这个前提的组合对三段论是无用的。

    这个排斥的过程的主要之点是找出一个真的全称肯定命题(像“所有马都是动物”)和一个真的全称否定命题(像

…… 114

    201第三章 亚里士多德三段论系统

    “没有石头是动物”)

    ,两者皆与前提相容。

    这种说法,例如说,只找出对某些词项来说是真的全称肯定陈述,而对另一些词项来说是真的特称否定陈述,是不够的。

    这个意见是由亚历山大的老师黑尔米鲁斯以及某些老的逍遥派学者们提出,并被亚历山大正确地驳斥了的。

    ①这又一次地证明了亚里士多德关于排斥的思想没有被恰当地了解。

    三段论形式(1)—(4)被亚里士多德排斥是基于有某些具体词项确证前提而不确证结论。

    然而,亚里士多德也还知道另一种对于排斥的证明。

    在研究第二格的三段论形式时,亚里士多德一般地说:在这个格中无论是两个肯定前提还是两个否定前提都不能产生必然的结论,接着他这样继续说:“令M属于无一N,并且不属于有些X。

    则对N来说,属于所有X或属于无一X都是可能的,属于无一的词项:黑色,雪,动物。

    属于所有的词项不能找到,如果M属于有些X并且不属于有些X的话。

    因为,如果N属于所有X而M属于无一N,则M将属于无一X;但已假定它属于有些X。

    在这种情况下,就不可能举出词项,而证明必须从特称前提的不确定的性质着手。

    因为,由于M不属于有些X是真的(甚至,当它属于无一X时,这也是真的)

    ,而且因为如果它属于无一X,一个三段论就是不可能的,很清楚,二者中的任一个都是不可能的。“

    ②

    ①亚历山大89。

    34—90。

    27,黑尔米鲁斯的话被引述于89。

    34:“黑尔米鲁斯说:‘从一个同样的前提组合能够得出矛盾的结论;那样的结论是完全能够合理地得出的,而不是用最坏的和非三段论方式得出的。

    它们是能够彼此不相容的。

    ‘“

    ②《前分析篇》,i。

    5,27b12-23

…… 115

    20。排斥的形式A                                                               301

    这里,亚里士多德以举出具体词项的办法开始排斥的证明,如第一个例子。

    但接着他破坏了他的证明,因为他不能找出具体词项能确证前提“M属于无一N”与“M不属于有些X”

    ,而不确证命题“N不属于有些X”

    ,倘若不属于有些X的M,在同时又属于有些(其它的)

    X的话。

    理由在于:从前提“M属于无一N”与“M属于有些X”

    ,由Festino式得出命题“N不属于有些X”。

    但当M不属于有些(其它的)

    X时,M应属于有些X并非必然的;M可以属于无一X。

    确证前提“M属于无一N”与“M属于无一X”而不确证命题“N不属于有些X”

    的具体词项能够容易地挑选出来,并且事实上亚里士多德在排斥带两个全称否定前提的第二格三段论形式时,找到了它们;所需要的词项是:M——“线”

    ,N——“动物”

    ,X——“人”。

    ①相同的词项可以用于反驳这个三段论形式:(5)如果M属于无一N并且M不属于有些X,则N不属于有些X。

    因为前提“没有动物是线”是真的,而第二个前提“有些人不是线”也是真的,因为“没有人是线”是真的,但结论“有些人不是动物”是假的。

    无论如何,亚里士多德并没有用这个方式完成他的证明,②因为他看到了另一种可能性:如果

    ①《前分析篇》i。

    5,27a20,“当M既不表述任何N也不表述任何X时,一个三段论是不可能的。

    表示属于的词项是线,动物,人;表示不属于的词项是线,动物,石头。

    ②亚历山大完成了这个证明,8。

    12,“表示N属于所有X的词项为M——线,N——动物,X——人。

    线不属于任何动物,并且不属于有些人,因为它并不属于任何人,所以动物属于所有的人。“

…… 116

    401第三章 亚里士多德三段论系统

    具有全称否定前提的形式:(6)如果M属于无一N并且M属于无一X,则N不属于有些X。

    被排斥了,(5)也必定被排斥,因为如果(5)成立,有着一个比(5)强的前提的(6)

    ,也必定成立。

    现代形式逻辑,就我所知,没有使用“排斥”作为与弗莱格的“断定”相对立的一种运算。

    “排斥”的规则还没有听说过。

    在上述亚里士多德证明的基础上,我们可以陈述下面的规则:(c)如果蕴涵式“如果α,则β”被断定了,但后件β被排斥,那么前件α必定也被排斥。

    这条规则不仅当(6)被排斥时可应用以排斥(5)

    ,而且当(1)被排斥时,也可以应用以排斥(2)。

    因为从一个E前提,得出一个O前提,而如果(2)是真的,则(1)必真。

    但如果(1)被排斥,则(2)必定被排斥。

    排斥的规则(c)

    相当于断定的分离规则。

    我们可以认为排斥的另外一条规则相当于断定的代入规则。

    它可以这样构成:(d)

    如果以α代β,而且α被排斥了,则β必定也被排斥。

    例如:假定“A不属于有些A”被排斥了;则“A不属于有些B”必定也被排斥,因为,如果第二个表达式被断定,我们就可以用替代从它得到第一个表达式。

    而第一个表达式是被排斥的。

    这些规则中的第一条是亚里士多德早已知道的,第二条则是他所不知道的。

    如果已有某些形式被排斥,这两条规则均可使我们排斥另外一些形式。

    亚里士多德排斥某些形式是借

…… 117

    21。一些未解决的问题A                                                           501

    助于具体词项,如“人”

    ,“动物”

    ,“石头”。

    这个处理是对的,但它往逻辑中引入了与它并无密切关系的词项和命题。

    “人”

    和“动物”都不是逻辑词项,而命题“所有人都是动物”并非逻辑断定命题。

    逻辑不能依赖于具体词项和命题。

    如果我们要避免这个困难,我们必须从公理上排斥某些形式。

    我发现如果我们从公理上排斥以下两个第二格的形式:(7)

    如果A属于所有B并且A属于所有C,则B属于有些C和,(8)

    如果A属于无一B并且A属于无一C,则B属于有些C。

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