对哥德尔定理的辩证逻辑形式化解读  

Paraphrasing on Dialectical Logic Formalization of Gdel′s Law

作　　者：罗翊重[1] 

机构地区：[1]云南省社会科学院,云南昆明650034

出　　处：《昆明学院学报》2011年第4期23-31,共9页Journal of Kunming University

摘　　要：逻辑矛盾仅是"量词-质词-真值词"皆矛盾的非等值关系命题,辩证矛盾仅是"主词-谓词-命题词"皆矛盾的等值关系命题。在以事实验证了一元与二元真值函数的断定一致性和能指完全性基础上,说明哥德尔定理对包含扩充自然数后的代数理论并不适用。为了实现形式系统可兼容的一致性和完全性,必须引进所指有辩证矛盾和断言无逻辑矛盾之"指断合一"的哲学对象论。由此用基于负号而推广的辩证否定算子,才能彻底根治一阶逻辑形式系统的不完全性。Logic contradiction is only non equivalent relation proposition of all contradictive quantifier, quality word, true value word ; dialectical contradiction is only equivalent relation proposition of all contradictive subject term, object term and proposition term. Based on the fact to verify the posit consistence and integrity to show that Gtidel＇s law is not applicable to algebraic theory including expended natural number. In order to realize consistence and integrity compatible of formal system, philosophy object theory included dialectical contradiction and predictive non-logic contradiction must be introduced. So by using dialectical negative operator extended on negative sign can total solve the nonintegrity of first order logic formalization system.

关 键 词：逻辑否定 辩证否定 哥德尔定理 一致性 完全性 

分 类 号：B811.0[哲学宗教—逻辑学]