基于广文量词理论的直言三段论推理规则的形式化辨析
在国内外新近研究成果的基础上,作者通过对作为广义量词特例的四个亚里斯多德量词的普遍语义性质和推理特征的研究,形式化地揭示了如何从广义量词理论的角度来解释直言三段论的推理规则.此研究对一阶逻辑和广义量词理论的发展、自然语言信息处理以及计算机科学中的知识表示和知识推理,都具有重要的理论意义和实践价值.
广义量词理论、亚里斯多德量词、三段论、推理规则
B813(逻辑学(论理学))
国家社会科学基金;教育部人文社会科学研究项目
2015-03-11(万方平台首次上网日期,不代表论文的发表时间)
35-39