厘清形式系统的几个概念  

Clearing Some Concepts of Formal System

作　　者：甘进[1] 张学立[2] 

机构地区：[1]贵州大学科技学院基础部,贵州贵阳550004 [2]毕节学院逻辑语言信息研究中心,贵州毕节551700

出　　处：《昆明学院学报》2010年第5期49-52,共4页Journal of Kunming University

摘　　要：一致性、可靠性、完全性、不完全性是形式系统的基本概念。在厘清上述概念的基础上,对其间相互关系的梳理使我们明晰了哥德尔完全性定理和不完全性定理的正确含义,以及其成立所需的条件。最后,依据上述分析,指出形式系统存在漏洞和局限性。同时,也看到了形式化方法的弊端和形式化的限度。Consistent,soundness,completeness,and incompleteness are the basic concepts of formal system.Clearing these notions and relations among them is helpful for us to understand the correct meaning of Gdel′s completeness theorem and Gdel′s incompleteness theorem,as well as the necessary and sufficient condition for both of two theorems.Based on the analysis above,the limitation of the method of formalization and the formal system are discussed.

关 键 词：形式系统 一致性 可靠性 不完全性 语义完全 语法完全 

分 类 号：B813[哲学宗教—逻辑学]