《逻辑学》第六章 谓词自然推理

《逻辑学》6.1概述用现代逻辑的形式方法研究词项逻辑。在命题自然推理系统的基础上，添加关于量词的规则，就可以判定变项为词项的那种推理的有效性。性质命题的符号化单称命题延安是革命圣地李白不是逻辑学家现代逻辑认为，单称命题与全称命题是完全不同的两类命题，不能象传统逻辑那样，把单称归入全称个体词：表示个体的语词，指称一个一个对象。个体词的符号包括：个体常项和个体变项。个体常项表示一个确定的个体，如“延安”；个体变项表示不确定的个体，如“某个事物”，意为有那样的个体但不能确认具体是哪个。个体词表示个体的语词指示代词人称代词摹状词专名确定的—个体常项a，b，c，a1不确定的—个体变项x，y，z，x1谓词：表示性质或关系的语词。说明一个个体词的谓词叫一元谓词，它表示性质；表示关系的叫二元或三元以至n元谓词。一元谓词用E、F、G、H，E1等表示。谓词公式：a＝延安，E=是革命圣地，b＝李白，F＝是逻辑学家（¬F＝不是逻辑学家），Ea＝延安是革命圣地，¬Fb＝李白不是逻辑学家。单称命题的命题函项：Fx，¬Fx是命题函项，Fa，¬Fb却是命题，但Fx中的x可以代入个体常项，因此，任何单称命题都是Fx，¬Fx的实例。全称命题个体变项的域是所有事物的集合。因此，个体变项x代表的是一个个体事物。有两种形式应严格区分。1）主项是事物本身的：“万物有生死”意为，对任何一个事物而言（（x）），该事物有生死（x）Fx（F＝有生死，x的域为事物）2）主项是其他普通名词的：“所有团员是青年”若将它翻译为（x）Fx则意为“任一事物是团员”，因此，x不能直接代表“团员”。我们首先得规定x是“团员”，即我们所说的x指“团员”，所以，正确的表达是：对于任一事物，如果它是团员，则它是青年，这就有(x)(SxPx)否定式是(x)(Sx¬Px)注意，全称命题的主项也是谓词，整个命题是一个蕴涵式，其特例才是（x）Fx，即主词直接指的是事物本身，而不是事物的一个子类。不过，如果我们对变项的域加以限制，如，x的域为“团员”，则（x）Fx也可表示“所有团员是青年”。但是，每翻译一个具体的语句，我们就得对x的域作一次不同的限制，不太方便，因此，x的域一般仍取事物。特称命题同样，有两种语句的翻译应加以区分。1）主项为事物如，“有些事物是有害的”，“有些事物是无有害的”，即存在一个事物（(x)），该事物是有害的；存在一个事物，该事物是无害的(x)Fx(x)¬Fx2）主项为其他普遍名词“有些学生是男性”，不是(x)Sx，该公式意为“有事物是男性”或“存在是男性的东西”。原语句的意思是，至少存在一个事物，它既是学生，又是男性，因此形式是(x)(Sx∧Px)否定式(x)(Sx∧¬Px)A：(x)(SxPx)E：(x)(Sx¬Px)I：(x)(Sx∧Px)O：(x)(Sx∧¬Px)A、E、I、O的谓词公式是量词的辖域、约束变项和自由变项量词的辖域量词以及紧接该量词的最短公式，如(x)Mx∨Nx(x)（Fx→Gxy）最短公式最短公式在量词辖域中的所有和量词里的变项相同的变项都受此量词的约束，因此就有自由变项与约束变项的区别。自由变项即不受量词约束的变项。1）一个变项不在某个量词的辖域内，如Nx中的x；2）一个虽在辖域内，但与量词里的变项不同的变项，如，第二个公式中的y。约束变项在量词辖域内的，与量词里变项相同的变项，如，Mx中的x，第二个公式中的x。可见，一个变项是约束的还是自由的取决于两个条件：在辖域内且与量词相同的变项。只含约束变项，不含自由变项的公式是命题，否则是命题函项。要使一个命题函项，如Fx，成为命题，需：1）以适当的词项（个体常项）代替自由变项；2）加上量词使其成为约束变项，(x)Fx。对当关系的变化在谓词逻辑中，性质命题的结构分析有一些不同于传统逻辑的分析。特别是，这种分析基于命题逻辑。因为，全称命题成了一个蕴涵式，特称命题成了合取式。矛盾关系仍成立：例如，否定(x)(Sx¬Px)，即¬(x)(Sx¬Px),它等于(x)¬(Sx¬Px),即(x)(Sx∧Px)，这就是E假等值于I真反对关系、下反对关系和差等关系只有假定Sx真即预设主项存在才成立：A与E不同真，预设Sx，再假定(x)(SxPx)和(x)(Sx¬Px)同真，则可得出既有Px，又有¬Px，即，既是P又不是P的事物，矛盾，故AE不同真。IO不同假，因为(x)(Sx∧Px)假，根据矛盾关系，它等于(x)(Sx¬Px)，根据反对关系（预设Sx），(x)(SxPx)假；再据矛盾关系，(x)(Sx∧¬Px)即O真。差等关系也需预设主项存在。因为一蕴涵式真，推不出其前后件均真。在预设主项存在的情况下，即有Sx，再加上(x)(SxPx)，就可得出（肯定前件式推理）(x)(Sx∧Px)，即由A推出I。自然语言命题符号化将自然语言命题翻译为一谓词公式时，用到的符号是5个基本真值联结词和全称量词、存在量词、谓词、个体词。区分可翻译与不可翻译的成分如，“在巴塞罗那奥运会上，某球赛赛场的所有观众是中国人或美国人”其中的“在巴塞罗那奥运会上”是不可翻译的成分。分析量词对“所有观众是中国人或美国人”，要析出全称量词(x)。该命题意为：对任一事物（x）而言，如果该事物是巴塞罗那奥运会上的某球赛赛场的观众，则该事物或是中国人，或是美国人对“如果所有的牛是食草动物，那么，有些动物是食草动物”，要析出全称量词(x)和存在量词(x)分析谓词凡是不直接表示事物本身的普遍语词，都要析为谓词。如，“在巴塞罗那奥运会上，某球赛赛场的所有观众是中国人或美国人”，其中要析出谓词“观众”、“中国人”、“美国人”。同样的谓词用同样的谓词符号。分析联结词“如果所有的牛是食草动物，那么，有些动物是食草动物”，“在巴塞罗那奥运会上，某球赛赛场的所有观众是中国人或美国人”，分别要析出联结词“如果，那么（）”、“或（∨）”。有时“和”不一定是合取，要根据实际含义选择。弹琴和舞剑是他的爱好V＝弹琴C＝舞剑G＝他的爱好若翻译为(x)((Vx∧Cx)Gx）意思成了“既弹琴又舞剑是他的爱好”即“一边弹琴一边舞剑是他的爱好”不符合原意。原意实际是“弹琴是他的爱好，且舞剑也是他的爱好”(x)(VxGx）∧(x)(CxGx）＝(x)(（Vx∨Cx）Gx）即“无论弹琴还是舞剑都是他的爱好”选用不同的个体变项符号当涉及到两类对象时，某些情况下有必要选用不同的个体变项符号，以区别属于不同类的个体对象。“人人有父亲”S＝人F＝是父亲Fyx＝y是x的父亲原句意为：对任一事物，如果该事物是人，那么，存在一个事物，使得该事物是人，且该事物是前一事物的父亲。(x)(Sx(y)(Sy∧Fyx)这里，前一类“人”用x，作为x的父亲的这一类“人”用了y。否则，都用x的话，会得出荒谬的翻译(x)(Sx(x)(Sx∧Fxx)其意为“人人有父亲”（但这个“人”和其“父亲”是同一个人），因此成了“人人是自己的父亲”个体变项都翻译为约束变项一个意见，如果是正确的，则它就会得到支持F＝意见正确的＝G得到支持＝B应是(x)(（Fx∧Gx）Bx)而不是(x)（Fx∧Gx）Bx后者的意思是：一个意见，如果正确，那么，某个事物就得到支持，因为后面的x未受约束，不指意见，而是不确定的事物。一个有问题的例析教科书p212如果游泳这块金牌被中国选手夺得，那么，人人都会高兴a＝游泳这块金牌C＝中国选手夺得＝BM＝人G＝高兴首先翻译出联结词游泳这块金牌被中国选手夺得人人都会高兴“被中国选手夺得”意为“被某个中国选手夺得”而不是“被每一个中国选手夺得”，因此，有“存在一个x，x是中国选手，x夺得游泳这块金牌”即“存在一个x，x是中国选手，游泳这块金牌被他夺得”，全句的前件为(x)(Cx∧Bxa)后件是(x)(MxGx)（用y也可）整句是(x)(Cx∧Bxa)(x)(MxGx)教科书的错误在于将个体常项“游泳这块金牌”翻译为一个谓词。“x是这块游泳金牌”的说法是不对的。6.2量化理论量化规则谓词自然推理所运用的推理规则是在命题逻辑10条规则的基础上，再加上关于量词的规则（量词添加规则和量词消去规则）。全称例示规则（全称量词消去U.I.）＿如果某类中的每一个体（x）都具有某性质（φ），那么，任取该类中的某一个体（γ），它也具有某性质（φ）。(x)φx∴φγ或(x)Fx∴Fa所有的事物变化的所以，延安是变化的所有哲学家是思想家所有逻辑家是哲学家所以，所有逻辑家是思想家1.(x)(MxPx)P2.(x)(SxMx)P/∴(x)(SxPx)3.MaPa1,＿4.SaMa2,＿5.SaAP6.Ma4,5-7.Pa3,6-8.SaPa5,7+9.(x)(SxPx)8,+全称概括规则（全称量词引入＋U.G.）如果在某类中任意选取的一个体（y）具有某性质（φ），那么，该类中的任一个体（x），也具有某性质（φ）。φy∴(x)φxFa∴(x)Fx或这条规则有一个重要的限制：y是任意选取的个体。也就是说，给一个公式添加全称量词有一个条件，即个体变项y是不带标记的。什么是不带标记的？即一个原来受全称量词约束的个体变项，在消去全称量词后，它在形式上不受量词约束了，但实际上，我们的头脑中仍记得它们原来是受全称量词约束的，这样的个体称为不带标记的，它是任意选取的个体。一个变项是否可用全称概括，就看它是否从去掉全称量词得来。1.(x)(MxPx)P2.(x)(SxMx)P/∴(x)(SxPx)3.MaPa1,＿4.SaMa2,＿5.SaAP6.Ma4,5-7.Pa3,6-8.SaPa5,7+9.(x)(SxPx)8,+M＝动物S＝海绵P＝…新陈代谢教科书p215例证明中的第5步错误，10条命题逻辑证明规则中无“假言三段论；p216例2证明中的第5步错误，证明规则中无“否定后件”。误用+规则的例子重庆很大，所以一切东西都很大。a＝重庆L＝很大1.LaP/∴(x)Lx2.(x)Lx1,+错误a并不是从去掉全称量词得来的并非一切东西都是甜的，所以，一切东西都是不甜的甜的＝E1.¬(x)ExP/∴(x)¬Ex2.EaAP3.(x)Ex2,+4.¬(x)Ex∧(x)Ex1,3,∧+5.¬Ea2,4,¬+6.(x)¬Ex5,+证明思路结论不是蕴涵、析取时，用反证法，即假设结论的矛盾命题，进而推出矛盾，则假设假，欲证结论得证。错误a不是从去掉全称量词得来的存在概括规则（存在量词引入+E.G.）任一个体（υ）有某性质（φ），当然就存在一个体（x）有性质（φ）。φυ∴（x）φxFa∴（x）Fx或延安是城市所以，有事物是城市这条规则有一个限制：由消除存在量词得到的公式中，用来表示个体词的符号，不得与推理序列中前面已出现过的个体符号相同。此外，a不是任意一个个体常项，而是某个个体常项，但究竟是哪一个，并不确定。存在例示规则（存在量词消去－E.I.）（x）φx∴φυ（x）FxFa或1.(x)(Bx∧Ix)P2.(x)(Bx∧¬Ix)P/∴(x)(Ix∧¬Ix)3.(Ba∧Ia)1,-4.(Ba∧¬Ia)2,-5.Ia3,∧_6.¬Ia4,∧_7.Ia∧¬Ia5,6,∧+8.(x)(Ix∧¬Ix)7,+矛盾！有些书是有趣味的书，有些书是没趣味的书所以，有些有趣味的书是没趣味的书为了保证遵守－规则的限制，在遇到有全称命题和存在命题去掉量词的时候，先运用－规则，再运用＿规则。P217例所有的牛是食草动物，有些动物是牛，所以，有些动物是食草动物牛＝O食草动物＝G动物＝A1.(x)(OxGx)P2.(x)(Ax∧Ox)P/∴(x)(Ax∧Gx)3.Aa∧Oa2,－4.OaGa1,＿5.Aa3,∧_6.Oa3,∧_7.Ga4,6,-8.Aa∧Ga5,7,∧+9.(x)(Ax∧Gx)8,+对当关系分析反对关