关于广义量词m any的广义三段论推理

摘要

三段论在自然语言信息处理和知识推理中占据着突出的地位，它们在自亚里士多德以来的逻辑中也一直扮演着重要作用。我们用广义量词many对传统三段论推理进行了扩展，利用广义量词理论和集合论，从语法上证明了14个广义三段论推理的有效性。这一方法为其他广义量词的广义三段论提供了一个简单合理的数学模式。%Syllogistic arguments are prominent in natural language information processing and knowledge reasoning,and they have played important role in logic since Aristotle .The general-ized quantifier “many”is applied in this paper to expand the traditional reasoning of generalized syllogisms,and the validity of 14 generalized syllogisms is syntactically proved by means of gen-eralized quantifier theory and set theory.This method provides a simple and reasonable mathe-matical model of generalized syllogisms for other generalized quantifiers.