|
| 文章编号：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 |
| |
|
