论文部分内容阅读
广义量词理论的基础是集合论。该理论注重广义量词的语义性质和推理特征的研究，比一阶逻辑具有更为强大的表达力。利用广义量词理论既能证明亚里士多德三段论的有效性，也能证明广义三段论的有效性．还能证明广义三段论的不同推理模式之间有可化归关系。由于广义量词普遍存在于自然语言中，广义量词理论的成果将有利于计算机科学中的知识表示和知识推理。