果茶小说网 > 其他电子书 > 亚里士多德的三段论 >

第36章

亚里士多德的三段论-第36章

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

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



    我的意思是指今天既没有那种真实存在的并且能引起明天发生一场海战的东西,也没有任何能引起明天不发生一场海战的东西,因此,如果说,真理在于思想符合于现实,那末,“明天将发生海战”这个命题在今天既不真也不假。

    我正是在这个意义上理解亚里士多德的“现在既不真也不假”这

    ①《解释篇》9,19a9。

    ②同上9,19a36。

…… 231

    45。亚里士多德的偶然性A                                                               912

    句话。

    但是这将导致一个结果:明天将有一场海战就今天来看既不是必然的,也不是不可能的,换句话说,“可能明天将有一场海战”和“可能明天将没有一场海战”这两个命题就今天来看都是真的,而这个未来的事件是偶然的。

    从上面的叙述得出:按照亚里士多德的意见,存在着真的偶然命题,也就是说公式Tp和它的等式KMpMNp对于p的某些值(如说α)是真的。

    例如,如果α表示“明天将有一场海战”那末亚里士多德就会断定Mα和MNα两个都是真的,这样他就要断定合取式:(A)KMαMNα但是,在借助于变项函子δ而扩充的古典命题演算中,存在着下述由列斯涅夫斯基所提出的原始命题演算系统(protothetCic)的断定命题:51。

    KMαMNα用语言表达就是:“如果δ属于p,那末,如果δ属于非p,δ就属于q”

    ,或者,简而言之:“如果某个东西对于命题p是真的,并且对于p的否定也是真的,那末,它对于任一命题q是真的”。

    命题51根据输入律和输出律CCpCqrCKpqr和CCKCpqrCpCqr与52。

    CKδpδNpq等值。

    从(A)和52式我们得出结果:52。

    δM,pα,qp×C(A)——(B)

    '             '          '(B)Mp。

    这就是,如果我们断定了任何一个偶然命题为真,那末,我们就不得不承认另外某个表述可能的命题。

    但是,这就要引起

…… 232

    022第六章 亚里士多德的模态命题逻辑

    模态逻辑的破坏,由此Mp必须被排斥,从而KMαMNα不能被断定。

    我们现在就将结束我们对亚里士多德命题的模态逻辑的分析。

    这种分析使我们遇到两个巨大的困难:第一个困难是与亚里士多德承认有真的必然命题相联系,第二个困难是与他承认有真的偶然命题相联系。

    两个困难都将在亚里士多德的模态三段论中重新出现:第一个困难重现在具有一个实然前提和一个必然前提的三段论理论中;第二个困难重现在他的偶然三段论的理论中。

    如果我们希望克服这些困难,并解释和评价他的模态三段论,我们必须首先建立一个可靠的并且前后一贯的模态逻辑系统。

…… 233

    第七章 模态逻辑系统

    46。真值表方法A为了充分了解在本章中所阐述的模态逻辑系统,必须熟悉真值表方法。

    这个方法可以运用于一切逻辑系统,在这些系统中会出现真值函项,即出现这样的函项,它的真值仅仅依赖于它们的主目的真值。

    古典命题演算是一个二值系统,它假定了两个真值:“真”

    (用1表示)和“假”

    (用0表示)。

    按照麦加拉的菲罗的意见,一个蕴涵式总是真的,除非它是以真起始而以假结尾。

    这用符号表示就是:C1=C01=C0=1,而只有C10=0。

    显然,真命题的否定是假的(即N1=0)

    ,而假命题的否定则是真的,(即N0=1)。

    这些符号等式常借助于“真值表”

    (或称为“矩阵”)来表示。

    C和N的二值真值表M1可以描述如下:C的真值排列成横行和纵栏而形成一个正方形,并且为左边和上端的直线所分开。

    第一个主目的真值放在正方形的左边,第二个主目的真值放在正方形的上端,而C的真值可以在正方形中找到,在这个正方形中,能够想象到的、从正方形的边沿的各真值划起的许多直线彼此交叉看。

    N的真值表则是容易了解的。

…… 234

    22第七章 模态逻辑系统

    借助于这个真值表,古典命题演算,即C—N—p演算中的任何表达式都可以机械地加以验证,即当它被断定时加以证明,和被排斥时加以否证。

    它满足于这样的目的,将值1和值0去代替变项的一切可能的结合时,如果每一种结合按照真值表所规定的等式最后导至1,那末,这个表达式就是被证明的;如果不是这样,它就是被否证的。

    例如,CpqCNpNq根据M1而被否证,因为当P=0和q=1时,我们有:C01CN0N1=C1C10=C10=0。

    相反,我们的C—N—p系统的公理之一CpCNpq①根据M1而得到证明,因为我们有:当p=1,q=1:C1CN1=C1C01=C1=1,当p=1,q=0:C1CN10=C1C0=C1=1,当p=0,q=1:C0CN01=C0C1=C01=1,当p=0,q=0:C0CN0=C0C10=C0=1。

    用同样的方法我们可以验证C—N—p系统另外两个公理CpqCqrCpr和CCNp。

    因为M1是这样构成的:关于断定的表达式的替代规则和分离规则永远产生1的这种特性是有传递性的,C—N—p系统中的所有断定的公式都能用真值表

    ①参阅第10页。

…… 235

    46。真值表方法A                                                             32

    M1加以证明。

    同样,因为关于被排斥的表达式的推论规则不经常产生1的这种特性是有传递性的,如果p按照公理是被排斥的,那末,C—N—p系统中的所有被排斥的公式都能用M1加以否证。

    一个真值表能验证一个系统中所有的公式,即证明被断定的公式和否证被排斥的公式,这个真值表对这个系统来说,称之为“足够的”。

    M1是古典的命题演算一个“足够的”真值表。

    M1对C—N—p系统来说不是唯一足够的真值表。

    我们通过M1和自身“相乘”

    而得出另一个足够的真值表M3。

    得出M3的过程可以描述如下:首先,我们形成1和0的有序对偶值,即:(1,1)

    ,(1,0)

    ,(0,1)

    ,(0、0)

    ,它们是新真值表的元素。

    其次,我们借助下述等式决定C和N的真值:(y)C(a,b)

    (c,d)=(Cac,Cbd)

    ,(2)N(a,b)=(Na,Nb)。

    然后,我们按照这些等式建立真值表M2,最后,通过简化式:(1,1)=1,(1,0)=2,(0,1)=3和(0,0)=0而将M2改变为M3。

…… 236

    422第七章 模态逻辑系统

    M3中的符号1仍旧标志真,而0仍旧标志假。

    新的符号2和3可以解释为真和假的补充记号。

    这通过将其中之一(究竟是哪一个这没有关系)等同于1,而另一个等同于0就可以看出来。

    请看M4,那里2=1,而3=0。

    M4的第二行和第一行相同,而第四行与第三行相同;同样,M4的第二栏和第一栏相同,而第四栏与第三栏相同。

    消除中间多余的各行和各栏,我们就得出M1。

    用同样的方式我们从M5得出M1,那里2=0和3=1。

    M3是一个四值的真值表。

    M3乘以M1,我们得出一个八值的真值表,继续乘以M1,就得出十六值真值表,并且一般

…… 237

    47。

    C—N—δ—p系统A                                                                             52

    地说,得出一个2n值的真值表。

    所有这些真值表对C—N—p系统来说都是足够的,并且如果我们通过导入变项函子的方式去扩充系统的话,对它继续是足够的。

    47。

    C—N—δ—p系统A我们已经遇到两个带有变项函子δ的断定命题:扩展原则CQpqCδpδq和断定命题CδpCδNpδq。

    由于后一断定命题是我们模态逻辑系统的一个公理,这就有必要对借助于δ而扩充的C—N—p系统给以充分的解释,这个扩充了的系统,我们跟随麦雷狄士称之为C—N—δ—p系统。

    这样做更有必要,是因为对带有δ的系统,甚至一些逻辑学家也几乎是完全无知的。

    将变项函子引入命题逻辑,应当归功于波兰逻辑学家列斯涅夫斯基。

    通过修改他的关于变项函子的替代规则,我就能得出简易而良好的证明①。

    首先须要解释一下这个规则。

    我用δ标志一个带有一个命题主目的变项函子,并且断定:如果p是一个有意义的表达式,那末,δp就是一个有意义的表达式。

    我们考察一下,带有一个变项函子的、最简单的、有意义的表达式,即δp的涵义是什么。

    一个变项是一个被看作关于一定值域的单个的字母,这些值可以用来替代这个字母。

    替代就意味着实际地书写它的

    ①参阅杨卢卡西维茨:《论命题主目的变项函子》(On

    Variable

    FuncW Ctors

    of

    propositional

    Arguments)

    ,载《爱尔兰皇家科学院院刊》,都柏林,1951年,54A2。

…… 238

    622第七章 模态逻辑系统

    一个值去代替这个变项,同一变项的每一次出现都用同样的值去代替。

    在C—N—p系统中,命题变项(如p或q)的值域是由这个系统中所有有意义的命题的表达式所组成的。

    除此以外,还可以导入两个常项:1和0,即一个恒真命题和一个恒假命题。

    那末,什么是函子变项δ的值域呢?

    很明显,我们可以将任何一值去代替δ,只要这个值与p一起能提供一个在我们系统中有意义的表达式。

    不仅带一个命题主目的常函子(例如N)是如此,就是与带一个主目的函子起相同作用的复合表达式也是如此(例如Cq或CNp)。

    通过替代δCq,我们从δp得出表达式Cqp,而通过'δCCNp,则得出表达式CCNp。

    但是,这种替代显然不能'包括所有可能的情况。

    我们不能用这个方法从δp得出Cpq或CpCNpq,因为没有任何一种对δ的替代能将p从它最后的位置上移开。

    但是毫无疑问,最后所说的两个表达式正如Cqp或CCNpp一样,也是对δp的替代,因为δp,正如我所知道的那样,是代表所有包含p的(包括p和δp本身)有意义的表达式。

    我可以用下述方法来克服这个困难,我首先用例子来说明这个方法。

    为了从δp通过对δ的替代而得出Cpq,我写作δC‘q,我通过消除δ并用δ的主目、即用p去填充由省略'符号所划出的空栏来实现这种替代。

    用同样的方法我从δp通过替代δC‘CN’q得出表达式CpCNpq。

    如果在表达式中出'现不止一个δ,如在CδpCδNpδq中所出现的那样,而我想对这个表达式作出替代δC‘r,那末,我就必须在每一次都消'除δ并在消除的地方写上C’r,以δ的相应的主目去填充空

…… 239

    47。

    C—N—δ—p系统A                                                                                           72

    栏。

    这样,我就从δp得出Cpr,从δNp得出CNpr,从δq得出Cqr,而从整个表达式得出CCprCNprCqr。

    从同一表达式CδpCδNpδq通过替代δC‘“推出公式CCpCNpNpCq。

    替'代δ‘表示δ应当省略;通过这样的替代,我们就可以例如'从CδpCδNpδq

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

你可能喜欢的