论文部分内容阅读
首先，通过对现有逻辑系统中存在的争议问题进行分析与讨论，以汉语为语义模型，构造了一个的主体语言系统，探讨了逻辑机械化问题在认识论上的基础；然后，文章对命题的可推理性进行了分析，证明了命题间的可推理性暗含着谓词上的偏序结构，这表明逻辑与数学相比，并不具有某种特殊的优先性；最后，通过对命题真的分析，将逻辑真定义为可能世界的真实性的考证，并从内涵逻辑的角度讨论了逻辑机械化的数学基础，给出了相应的求解过程及算法复杂性分析，理论及例子分析表明，逻辑机械化方法具有简明、易用的特点，为处理一阶谓词逻辑的不可判定问题提供了新的解决方案。