复合谓词的逻辑系统.PDFVIP

实际上不是有不同的“大”，而是同一个“大”在不同的类 上的作用不一样。所以，不应该将复合谓词“大蚂蚁”化归为 复合谓词的逻辑系统* “大”和“蚂蚁”，而是应该直接去刻画复合谓词“大蚂蚁”。 为了刻画复合谓词，我们采用区分性质谓词和类谓词的方 法，并遵照以下原则： 有两类不同的谓词：性质谓词和类谓词。一阶逻辑把两者 原则一 个体只和类谓词相联系。在原子公式R(t)中，R 只 都作为类谓词来处理，有时是不合适的。本文在一阶逻辑的基 能是类谓词。 础上，区别性质谓词与类谓词，构造更为精细的逻辑系统。并 原则二 性质谓词可以与类谓词复合得到新的类谓词。性 对由此产生的问题作一些简单的讨论。 质谓词F 与类谓词R 的复合记为F◦R 。 原则三 F◦R 是R 的限制，即F◦R 刻画的类是R 刻画的类 1 基本思想 的子类。 除了性质谓词限制类谓词这种复合以外，还有同类谓词间 我们来看一个熟悉的例子，考虑“蚂蚁是动物”到“大蚂 的复合，这样的复合本文称为联接，主要有交() 、并()和非 蚁是大动物”的推理。用R, Q, F 分别表示蚂蚁、动物和大的， () ，如“高大”( “高”和“大”的交) 、“中小学生”( “中学 则“蚂蚁是动物”和“大蚂蚁是大动物”分别表示为 生”和“小学生”的并) 、“不大”( “大”的非)等。 x(R(x)Q(x))， 对于性质谓词的联接来说，因为类谓词没有改变，所以性 x(F(x) R(x)F(x) Q(x)) 。 质谓词的联接可以化归为单个性质谓词。具体的化归是： 从一阶逻辑可知， ((F G)◦R)(x)等值于(F◦R)(x) (G◦R)(x) ， x(R(x)Q(x))到x(F(x) R(x)F(x) Q(x)) ((F G)◦R)(x)等值于(F◦R)(x) (G◦R)(x) ， 的推理是正确的，但“蚂蚁是动物”到“大蚂蚁是大动物”的 ((F)◦R)(x)的情况稍为复杂，它不等值于(F◦R)(x) ，而是 推理是错误的。 等值于(F◦R)(x) R(x) 。 有一种方法可以避免以上矛盾。这种方法认为“大蚂蚁” 对于类谓词的复合来说，因为类谓词已经改变，所以性质 中的“大”和“大动物”中的“大”是不同的，分别用F, G 表 谓词的作用改变了。这种改变是如此强烈，以至性质谓词限制