性质词和动作词的逻辑纲要-北京大学哲学系.DOCVIP

性质词和动作词的逻辑（纲要） 北京大学哲学系 刘壮虎 一、一阶逻辑。 1.1 性质词的逻辑和动作词的逻辑是一阶逻辑的精细化，而且使用一种简单的一阶逻辑，其中非逻辑符号只有个体词和一元谓词。以下所说的一阶逻辑都是指这种一阶逻辑。 1.2 一阶逻辑刻画的对象是个体和个体的类。一阶逻辑的谓词是类谓词。原子公式是R(t)，R它的意义它是“个体t是类R的成员”。当我们形式化“t是红的”和“s飞”成F(t)和D(s)时，F和D并不指“红的”、“飞”，实际上指的是类谓词“红的东西”和“飞的物体”。以下所说的谓词都是指类谓词。 1.3 对于刻画个体和个体的类来说，一阶逻辑是最完善的逻辑。仅仅在刻画个体和个体的类方面，去寻找其它的逻辑是没有必要的。 1.4 问题在于我们还需要刻画“红的”这样的性质词，“飞”这样的动作词。在一阶逻辑中将它们化归成谓词“红的东西”、“飞的物体”等，不一定是合适的。 二、性质词的逻辑。 2.1 自然想到的是用F(t)表示“个体t有性质F”，然而这语句的表示是有问题，关键在于t有没有性质F和t是哪一个类的成员有关。设t是一个大的蚂蚁，当t作为蚂蚁的成员时，“t是大的”成立，当t作为蚂蚁的成员时，“t是大的”不成立，“t是大的”是否成立是不确定的。 2.2 我们采用以下方法解决以上问题：先将性质和类复合得到一个子类，如“大”和“蚂蚁”的复合得到“大蚂蚁”，“大”