友情提示:如果本网页打开太慢或显示不完整,请尝试鼠标右键“刷新”本网页!
富士康小说网 返回本书目录 加入书签 我的书架 我的书签 TXT全本下载 『收藏到我的浏览器』

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

快捷操作: 按键盘上方向键 ← 或 → 可快速上下翻页 按键盘上的 Enter 键可回到本书目录页 按键盘上方向键 ↑ 可回到本页顶部! 如果本书没有阅读完,想下次继续接着阅读,可使用上方 "收藏到我的浏览器" 功能 和 "加入书签" 功能!



    παιVω~ B。“

    〕)。

    短语H F H U F Hò

    A ιιVω~ B (A〔属于〕有些B)在换位定律中出现;其它地方,如H F H F在Disamis式中,我们看到ò

    A ιιVω~ B (A〔属于〕有些B)

    (见第17H F页注④〔《前分析篇》ii7〕,59α17ψγàρò

    παιVω~ B,ò

    δW D M                               H          U            F H         H                   H∈V)

    A ιιVω~ B áγηò

    A ιιVω~  πáρι。

    ])。

    逻辑上H F H F G H F H U L M F重要的字παιV(所有的)在Barbara式的一个公式中完全省去了(见第10页注①F H〔“《后分析篇》i。

    16,98B510‘Dσω

    γàρòρρι~ ‘  A,C R M H F Q J M Jò

    δVπαD                            ‘ B,α’Dμπs

    δV ‘   。

    ∈R                            R                                                                             R H M Q H F Q J F J M Q J M J Uι‘

    δηD Vω~ B πáριò(πγàρ

    πα ρρι~)

    ,R H H                                      L M        H            I                   F                     Q H F      F Q J F          F Q J       J Mω~〕)

    δV  πáρι ò

    B(πγàρ

    παs)

    ,ω~  πáριR U L M U L M F H F Q H F Q J H Mò

    A,αι

    πσα‘Dμπsρρι~。

    ])

    ,连接词“并且”大部分都是由R H G M Q J F Q J Mμ∈D     …

    δD 〔且〕来表示的(例如,见第16页注①〔《前分析篇》i6,28b7

    W F         M∈ι‘

    γàρò

    μ∈DP

    παιVω~  ò∈D       ιιD,áγηò

    H Y H F G H Y H F                     F H XιιDω~ P πáρι。

    〕或第19页注②〔《前分析篇》i426a25∈ι‘ò

    μ∈D W H F H L M F

    AμηδιVω~ πáρι,ò

    δ∈DBιιDω~  ,áγηò

    AH U F G H F M F H L M H FιιDω~ A ιιDω~  μηDπáρι。

    〕)

    ,有时由αιD表示(见第1页注①L M F                                G H F H F H U〔同前〕,第20页注①〔同前〕)。

    三段论的必然性通常是由áγηπáρι〔必F      G                       L M F定属于〕来表达的(见第16页注①〔同前〕,或第17页注④〔同前〕)

    ,在Felapton式中它是由πáρξι

    ∈‘ξγáγηs〔必定不属于〕来表示的(见第18页注③M G〔《前分析篇》i6,28a26α’V Dò

    μDP

    παιVω~  ò

    δπηδW H             M      Y               M F H M F H Xι‘’Vπαρη,Dδαιδγιδμòs,ιòP  πáρξι∈‘ξ L M H F Q J H J F L Máγηs。

    〕)。

    有一次它被省去了(见第20页注①〔同前〕)。

    F G

…… 45

    7。什么是形式化A                                                             33

    些不严格之处对于这系统没有坏的后果,但无论如何它们不会对这个系统的明晰与简洁有所帮助。

    亚里士多德的这种处理大概不是偶然的,而像是从某些先入之见引出的。

    亚里士多德有时说我们应当交换等值的词项:词换词,短语换短语。

    ①亚历山大在注释这一段时宣称三段论的本质不依赖于某些词而依赖于这些词的意义。

    ②这个明明是反对斯多亚派的断定,可以了解成这样:如果三段论的某些表达词由与之等值的其他表达词所替换,如表达词“表述所有的”代之以等值的表达词“属于所有的”

    ,那么这个三段论并不改变它的本质,也就是说,它仍旧是一个三段论。

    斯多亚派持有直接相反的见解。

    他们会说三段论的本质依赖于词,而不依赖于这些词的意义。

    因为如果词改变了,这个三段论就不复存在了。

    亚历山大用一个从斯多亚派的逻辑中挑来的例子来解说这一点。

    称为“肯定前件的假言推理”

    (modus

    ponens)的推论规则:如果α,那么β;然而α;因此β,是斯多亚派的第一个“不可证明的”

    三段论。

    斯多亚派与逍遥学派两派人似乎都错误地把短语“如果α,那么β”与“α推出β”当作具有相同的意义。

    但在上述三段论中,如果你把前

    ①《前分析篇》i。

    39,49b3,“我们也应当交换有相同的值的词项:词换词,短语换短语”。

    ②亚历山大372。

    29,“三段论不在于词而在于词的意义。”

…… 46

    43第一章 亚里士多德三段论系统的要素

    提“如果α,那么β”代之以“α推出β”而说:

    α推出β;然而α;因此β,根据斯多亚派的看法你得到的是一个正确的推论规则,但不是三段论。(奇*书*网。整*理*提*供)

    斯多亚派的逻辑是形式化的。

    ①

    ①  亚历山大373。

    28“亚里士多德这样断定,而且一些词可以由另一些代替(见第29页注①)。

    最新的一派人(即斯多亚派)

    从词引出结论,而不是从它们的意义来引出结论。

    他们说,当词项改变时,即使所使用的词项具有同一的意义,所得结论也将不复是它自身。

    例如,‘如果A,那么B’有着与‘A推出B’同样的意义,他们说,如果我们使用表达式‘如果A那么B,然而A;因此B’,那么我们就有一个三段论;如果我们使用表达式‘A推出B,然而A,因此B’,那么它就不再是三段论,而是一个推论规则。“

…… 47

    第二章 亚里士多德三段论系统的断定命题

    8。

    断定命题与推论规则A亚里士多德的三段论理论是关于A、E、I、O诸常项的一个真命题系统。

    一个演绎系统的真命题,我称之为断定命题。

    几乎亚里士多德的所有断定命题都是蕴涵式,也就是“如果α,那么β”

    形式的命题。

    已经知道这个逻辑系统仅有两个断定命题不是用“如果”

    开头,亦即所谓同一律:“A属于所有的A,”

    或“所有A是A”

    ,以及“A属于有些A”

    或“有些A是A”。

    这些定律都不是由亚里士多德明白地陈述的,但它们都是逍遥派学者所知道的。

    ①

    属于这个系统的蕴涵式或者是换位定律(逻辑方阵的对当定律在《前分析篇》中未曾提到)

    ,或者是三段论。

    换位定律是简单的蕴涵式,象“如果A属于所有的B,那么B属于有些A”。

    ②这个蕴涵式的前件是前提“A属于所有的B”

    ,后件是“B属于有些A”。

    对于变项A和B的所有值而言,这个蕴涵式都

    ①参见第18页注④,第19页注①,在后面这个注中所引证的那一段中,亚历山大说命题“A不属于有些A”

    是荒谬的,这就意味着矛盾命题“A属于所有A”

    是真的。

    ②《前分析篇》i。

    2,25a17,“如果每个B都是A,那么有些A是B。”

…… 48

    63第二章 亚里士多德三段论系统的断定命题

    被看作是真的。

    所有亚里士多德式三段论都是“如果α并且β,那么γ”

    这种类型蕴涵式,其中α和β是两个前提,γ是结论。

    两个前提的合取式“α并且β”

    是前件,结论γ是后件。

    以下面的Barbara式的公式为例:如果A属于所有的B并且B属于所有的C,那么A属于所有的C。

    在这个例子中,α指前提“A属于所有的B”

    ,β指前提“B属于所有的C”

    ,γ指结论“A属于所有的C。”

    对于变项A、B、C的所有值而言,这个蕴涵式也都被看作真的。

    必须着重指出:由亚里士多德构造的三段论没有一个是像传统逻辑所作的那种带着“所以”

    (ρα)

    一词的推论。

    这样形式的三段论:所有的B是A;所有的C是B;所以所有的C是A不是亚里士多德式的。

    直到亚历山大以前我们并没有遇到这样的三段论。

    ①亚里士多德式三段论从蕴涵式转写成为推论

    ①在亚历山大注释的第49页第9行,我们发现一个带着ρα〔所以〕一词的具体词项的三段论:“所有的动物都是物,所有的动物是有生命的,所以有些物是有生命的。”

    在第382页第18行有一个带着ρα一词的四个变项的复合三段论:“A属于所有的B,B属于所有的C,A属于无一D,所以D属于无一C”。

…… 49

    8。

    断定命题与推论规则A                                                                     73

    的形式大概是由于斯多亚派的影响。

    亚里士多德式的与传统的三段论之间的差别是根本性的。

    亚里士多德式的三段论作为蕴涵式是一个命题,而作为一个命题必定是或真或假的。

    传统的三段论不是一个命题,而是一组命题,它们没有合成为一个单个命题。

    通常写在不同两行的两个前提没有用合取式来陈述,而把这些松散的前提用“所以”

    与结论联系起来也没有给出一个新的复合命题。

    著名的笛卡儿原则:“我思,故我在”

    (“Cogito,ergo

    sum“)

    不是一个真正的原则,因为它不是一个命题。

    它是一个推论(inference)

    ;或者用经院派的术语说,是一个推断(consequence)。

    推论和推断,并非命题,是既不真也不假的,因为真假是仅属于命题的。

    它可以是正确的或者不是正确的。

    传统的三段论亦复如是。

    并非命题的传统三段论,既不是真的也不是假的;它能够是正确的或不正确的。

    传统三段论,当用具体词项陈述时,是一个推论,当用变项陈述时,则是一条推论规则。

    这样的规则的意思可以用上述的例子来解释:当你给A、B和C以一定的值使得前提“A属于所有的B”

    和“B属于所有的C”

    都真时,那么你必定要承认“A属于所有的C”

    这个结论是真的。

    假如你发现一本书或一篇论文对亚里士多德式的三段论与传统的三段论不加区别,你可以相信该作者对逻辑无知,或者未看过《工具论》希腊文版本。

    学者们,如《工具论》的现代编纂者与注释者外兹,《亚里士多德逻辑的要素》(Elementa

    logices

    Aristoteleae)

    的编纂人特伦德伦堡,逻辑史家普兰特尔都熟知《工具论》的希腊文本,然而他们毕竟没有看到亚里士多德式三段论与传统的三段论之间的差别。

    只有迈尔在

…… 50

    83第二章 亚里士多德三段论系统的断定命题

    要求允许以较熟悉和较方便的后来的逻辑形式代替亚里士多德式三段论时,似乎曾一度感到过这里有某些毛病;随后他立即以通常的传统形式引述了Barbara式而忽略了他曾看到过的这个形式与亚里士多德的形式之间的差异,并且甚至没有谈到他所看到的差异。

    ①当我们感到断定命题与推论规则之间的差别从逻辑观点看来乃是一个根本的差别时,我们就必须承认:阐明亚里士多德逻辑而不考虑这一点不能是完善的。

    直到今天我们还没有对亚里士多德逻辑的真正阐明。

    从蕴涵式形式的断定命题推导出相应的推论规则总是容易的。

    设蕴涵式命题“如果α,那么β”

    是真的;如果α真,我们用分离规则总可以得到β,因之,“α所以β”

    这条规则是正确的,当蕴涵式的前件是一个合取式,如亚里士多德三段论那样,我们必须首先将合取形式“如果α并且β,那么γ”

    变为纯蕴涵形式“如果α,那么如果β,那么γ”。

    稍加思索就足以令我们信服这变形是对的。

    现在,设α与β都是三段论的真前提,我们两次用分离规则于该三段论的纯蕴涵形式,从而得到结论γ。

    因此,如果一个“如果α并且β,那么γ”

    形式的亚里士多德式三段论是真的,那么相应的传统形式“α,β,所以γ”

    就是

    ①迈尔,《亚里士多德的三段论》,卷iia,第74页注2:“也许可以说,在这里和后面用晚期逻辑流行的表达式来代替亚里士多德的逻辑表达形式,要比较容易掌握一点。”

    同书第75页所引的Barbara式乃是:所有B是A所有C是B所有C是A其中的横线代表“所以”

    一词。

…… 51

    9。

    三段论的格A                                                           93

    正确的。

    但是,反过来,用已知的逻辑规则似乎不可能从正确的传统的式推导出相应的亚里士多德式三段论来。

    9。

    三段论的格A与亚里士多德逻辑相联系的某些争论问题,富有历史的趣味而并无任何巨大的逻辑上的重要性。

    三段论的格的问题就是这样的问题之一。

    我认为,把三段论划分为各个格只有一个实际的目的:我们需要确实知道没有真的三段论式被漏掉。

    亚里士多德把三段论的各式划分为三个格。

    这些格的最简短和最明白的描述不见之于《前分析篇》的系统解说部分,而是在该书后面的各章。

    亚里士多德说,如果我们要用三段论证明A属于B,我们必须找出某些与此两者有共同关系的东西,而这可能有三种方式:或以A表述C并且以C表述B,或以C表述A、B二者,或以A、B二者表述C。

    这些就是我们曾经讲过的三个格,并且很明显,每一个三段论必定用这些格的某一个格构成。

    ①

    由此可见,在我们必须用三段论证明的结论中,A是谓项,B是主项。

    我们在后面将会看到:A叫大项,B叫小项;C

    ①《前分析篇》i。

    23,40a30,“如果一个人要用三段论证明A属于B,不论作为它的一种质性还是不作为它的一种属性,他也必须断定某些东西属于某些东西”。

    41a,“如果我们必须选取某种对两者都是共同有关的东西,而这可能有三种方式(或者以A表述C,并且以C表述B,或以C表述A、B两者,或以A、B两者表述C)

    ,而这就是我们已经说过的各个格,显然,每一个三段论必定用这些格的某一个格或另一个格构成。“

…… 52

    04第二章 亚里士多德三段论系统的断定命题

    为中项。

    中项在两前提中作为主项或谓项的位置是亚里士多德用以将三段论各式划分为各个格的原则。

    亚里士多德明白地说过我们将由中项的位置而认识格。

    ①在第一格中,中项是大项的主项并且是小项的谓项,在第二格中,中项是其他两项的谓项,而在第三格中,中项是其它两项的主项。

    可是,当亚里士多德说每一个三段论必在这三格之一之中时,他是错了。

    还有第四个可能性,即中项是大项的谓项并是小项的主项,这类的式现在看作属于第四格。

    在上面引述的那一段中,亚里士多德忽略了这个第四种可能性,虽然稍过几章他本人就用第四格的三段论作了一个证明。

    问题也同样是:我们要用三段论证明A属于E,A是大项,E是小项。

    亚里士多德提出了如何解决这问题的实际指示。

    我们必须构造一个有词项A和E作为主项或谓项的全称命题的一览表。

    在这个一览表中我们会有四种类型的全称肯定命题(我省去了否定命题)

    ,“B属于所有的A”

    ,“A属于所有的C”

    ,“Z属于所有的E”

    ,和“E属于所有的H”。

    字母B,C,Z,H中的每一个各自代表满足上述条件的任何词项,当我们在C分子中找到一个词项与Z分子中的一个词项等同时,我们就得到两个有共同词项(如Z)

    的前提:“A属于所有的Z”

    和“Z属于所有的E”

    ,从而命题“A属于所有的E”

    就在BarCbara式中得到了证明。

    现在,设我们不能证明全称命题“A属于所有的E”

    ,因为C与Z的分子中没有共同词项,但我们至少要证明特称命题:“A属于有些E”。

    我们能用两种不同的办

    ①《前分析篇》i。

    32,47b13,“我们将由中项的位置来识别一个格”。

…… 53

    9。

    三段论的格A                                                                           14

    法来证明:如果C的分子中有一词项与H分子中的一个词项(如H)

    等同,我们得到第三格的Darapti式:“A属于所有的H”

    ,“E属于所有的H”

    ,所以“A必属于有些E”。

    但还有另一种办法:当我们在H的分子中找到一个词项与B分子中的一个词项(如B)

    等同时,则我们可得到一个三段论,它的前提是:“E属于所有的B”

    和“B属于所有的A”

    ,从这两个前提由Barbara式得到“E属于所有的A”

    ,将结论加以换位,由之可推导出命题“A属于有些E”。

    ①

    最后这一个三段论:“如果E属于所有的B,并且B属于所有的A,那么A属于有些E”

    ,既不是第一格的式,也不是第二或第三格的式,这个三段论的中项B是大项A的谓项和小项E的主项。

    它是第四格Bramantip式。

    然而它如像任何其它亚里士多德的式一样正确。

    亚里士多德把它叫做“换位的三段论”

    (Con-verted

    sylogism,α‘ραμμD s

    σγισμDs)

    ,F E           M F J           F Q J          J①《前分析篇》i。

    28,4a12—35,“设B表示伴随A,而A自己又伴随C,……

    再者:设Z是属于E的,而E自己又伴随H,……如果有些C的分子与有些Z的分子是等同的,那么,A必定属于所有的E,因为Z属于所有的E,而A属于所有的C,从而A属于所有的E。

    但如果C与H是等同的,那么A必定属于有些E,因为A属于所有的C,而E属于所有的H,……如果B与H等同,就将有一个换位的三段论:E将属于所有的A,因为B属于A,而E属于B(因为B已经与H等同)。

    A并不必定属于所有的E,然而它必定属于有些E,因为由全称肯定判断转换为特称是可能的“。

    我读由全称肯定判断转换为特称(ηV     αθD  αηγριDαH F G J Q J F G H J Fη~)

    是根据古抄本B(见外兹本i。

    196;贝克尔本对4a34的脚注似乎是一个印刷H错误)

    与亚历山大306。

    16,我反对贝克尔本和外兹本的读法:由特称判断转换为全称肯定(ηαθD  αηγριDαηV    )。

    我高兴地看到我这个读法也是W。

    D。

    罗斯H    ~L J Q J F G H J E F爵士所同意的。

…… 54

    24第二章 亚里士
返回目录 上一页 下一页 回到顶部 0 1
快捷操作: 按键盘上方向键 ← 或 → 可快速上下翻页 按键盘上的 Enter 键可回到本书目录页 按键盘上方向键 ↑ 可回到本页顶部!
温馨提示: 温看小说的同时发表评论,说出自己的看法和其它小伙伴们分享也不错哦!发表书评还可以获得积分和经验奖励,认真写原创书评 被采纳为精评可以获得大量金币、积分和经验奖励哦!