传统逻辑协调化、经典化和自动化的实现

摘要

传统逻辑主要指亚里士多德的三段论,它能否被一阶语言表达并被自动证明,长期以来是不清楚的.通过研究证明传统逻辑经典化(一阶语言表达和数理化)的障碍在于它的不协调性,进而消除了传统逻辑的不协调性,建立了改进的三段论推理的数学模型,同时改进了一阶逻辑,使之能够表达改进后的三段论.这些工作使得传统逻辑完全实现了协调化、经典化和自动化.%Traditional logic mainly refers to Aristotelian syllogisms,which is uncertain to be expressed in first-order logic (FOL)and be deducted in a common logic programming languages based on FOL.It is shown that the obstacle transforming traditional logic for FOL lies in its inconsistency,and the study realizes the consistency,expression in FOL and automatic deduction of improved syllogisms by mathematically modeling.