试论谓词演算的几何化问题

本文试图进一步实现G.W.Leibniz提出的数理逻辑几何化设想。为此,探讨了谓词演算的几何建模与图象算法。文中提出了:①量词状态图象及其分析的新理论;②量词对联结词的约束及谓词公式图象算法的独特见解。所举实例表明,这种几何化理论与方法通过作图与符号的结合来进行逻辑运算(推理)及其应用,因而比较直观、简明、快速、方便。