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

《逻辑学》 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) ?Fx 2）主项为其他普遍名词 “有些学生是男性”，不是 (?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）一个变项不在某个量词的辖域内，如N