自然科学版 英文版
自然科学版 英文版
自然科学版 英文版
 

中南大学学报(社会科学版)
ZHONGNAN DAXUE XUEBAO(SHEHUI KEXUE BAN)

2003年02月第9卷第1期
   
本文已被:浏览2095次    下载655次   在线阅读463
文章编号:1672-3104(2003)01-0021-05
 
逻辑演算与形式化方法
 
孙明湘,李霞飞
 
(中南大学政治学与行政管理学院,湖南长沙,410083)
 
摘  要: 逻辑演算对推理形式有效性的研究,比传统逻辑更抽象、更严格,其原因是形式化方法的运用。形式化方法包括构造形式系统(语法的)和对该系统进行解释(语义的)两个阶段。以一阶逻辑演算KL系统为例,形式化方法的前期阶段,又包括符号化和系统化两个步骤:符号化是用特制的人工语言符号将推理形式或演绎关系公式化;系统化是在符号化基础上构造形式系统,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释,也称模型化。经过解释,该系统的符号、公式有了内涵,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰。
 
关键字: 逻辑演算; 形式化; 形式系统; 解释
 
 
Logical calculus and formalized method
 
SUN Ming-xiang,LI Xia-fei
 
(School of Political Science and Executive Administration,
Central South University, Changsha  410083, China)
 
Abstract: 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.
 
Key words: logical calculus; formalization; formal system; interpretation
 
 
版权所有:《中南大学学报(社会科学版)》编辑部 
地 址:湖南省长沙市岳麓区麓山南路932号     邮编: 410083
电 话: 0731-88830141
电子邮箱: znsk@csu.edu.cn 湘ICP备09001153号