| 逻辑演算与形式化方法 |
| |
| 引用本文： | 孙明湘,李霞飞.逻辑演算与形式化方法[J].中南大学学报(社会科学版),2003,9(1):21-25. |
| |
| 作者姓名： | 孙明湘 李霞飞 |
| |
| 作者单位： | 中南大学政治学与行政管理学院,湖南,长沙,410083 |
| |
| 摘 要： | 逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰
|
| 关 键 词： | 逻辑演算 形式化 形式系统 解释 |
| 文章编号： | 1672-3104(2003)01-0021-05 |
| 修稿时间： | 2002年5月16日 |
Logical calculus and formalized method |
| |
| SUN Ming xiang,LI Xia fei.Logical calculus and formalized method[J].Journal of Central South Huiversity: Social Science,2003,9(1):21-25. |
| |
| Authors: | SUN Ming xiang LI Xia fei |
| |
| 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. |
| |
| Keywords: | logical calculus formalization formal system interpretation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
