摘要
逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质。
Owing to the utilization of the formalized method, logical calculus is more abstract and strict than the traditional logic in the study of the valid inferential form. This method includes constructing and explaining a formal system. The construction of the system involves symbolization and systematization. The interpretation of the system results in the application of the symbol and formula.
出处
《中南大学学报（社会科学版）》
2003年第1期21-25,共5页
Journal of Central South University：Social Sciences
关键词
逻辑演算
形式化
形式系统
解释
logical calculus
formalization
formal system
interpretation
