逻辑演算与形式化方法

摘要：

逻辑演算对推理形式有效性的研究,比传统逻辑更抽象、更严格,其原因是形式化方法的运用.形式化方法包括构造形式系统(语法的)和对该系统进行解释(语义的)两个阶段.以一阶逻辑演算K L系统为例,形式化方法的前期阶段,又包括符号化和系统化两个步骤:符号化是用特制的人工语言符号将推理形式或演绎关系公式化;系统化是在符号化基础上构造形式系统,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统,这是逻辑演算的主要内容.形式化方法的后期阶段或第三步骤是对系统的解释,也称模型化.经过解释,该系统的符号、公式有了内涵,从而就有了更普遍的适用价值.纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰.

关键词：逻辑演算、形式化、形式系统、解释

所属期刊栏目：9

分类号：B813;O141(逻辑学(论理学))

在线出版日期：2004-01-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：21-25