基于广义量词理论的直言三段论推理规则的形式化辨析

在国内外新近研究成果的基础上,作者通过对作为广义量词特例的四个亚里斯多德量词的普遍语义性质和推理特征的研究,形式化地揭示了如何从广义量词理论的角度来解释直言三段论的推理规则。此研究对一阶逻辑和广义量词理论的发展、自然语言信息处理以及计算机科学中的知识表示和知识推理,都具有重要的理论意义和实践价值。