推理修改的形式化提纲.docVIP

推理+修改的形式化（提纲） 1 缘 起 长期以来都是用集合论作为工具来处理内涵逻辑，集合论处理内涵的本质是将内涵“外延化”，因为集合论本身就是“外延”的。 是否可以用非集合论的方法来处理内涵逻辑？目前唯一的替代方法就是范畴论。用范畴论作为逻辑系统的语义，需要对语句意义的理解有一个根本的转变。 当时考虑从最简单的词项逻辑开始。全称命题很容易解决，处理特称命题时，碰上了很大的困难，至今没有解决。另一方面考虑到热门的“企鹅问题”，就将全称命题作一定的推广。和概称句的处理方法不同，仍然考虑全称句，但对谓项的种类加以区别，将谓项分为类和性质。实际上谓项还有其它种类，如动作“飞”等，暂时全把它们（不是类的谓项）都看作性质。而主项必须是类。 类谓词S, P, Q等，性质谓词F, G, H等，性质谓词否定F, G, H等，因为只考虑全称，量项可以省略，只有三种句子SP、SF和SF。 “鸟飞”、“企鹅是鸟”、“企鹅飞”、“企鹅不飞”分别表示为PF、SP、SF、SF。 为了解决“企鹅问题”，提出了一种“推理+修改”的形式化方法。 最后发现研究中所提出的范畴论语义学过于特殊，难以推广到特称命题，更不要说其它广义量项。 以上系统可以称为性质词的词项逻辑，在本文中特记为L0。 但这种“推理+修改”的形式化方法是可以推广到一般的逻辑系统。 2 推理和修改 一个推理和修改的形式系统由两部分组成； 一是推理