王宪钧的新旧版教材逻辑百科辞典现代逻辑辞典张尚水宋文淦外文.docVIP

命题逻辑语法完全性问题 杜国平1，2 （1.南京航空航天大学计算机系 210016；2.南京大学哲学系 210093） 内容提要：本文对学界普遍认可的命题逻辑语法完全性问题重新进行分析，认为：命题逻辑的语法完全性在逻辑上是一个关于形式系统和语义模型之间关系的二元谓词，是与具体的命题逻辑形式系统联系在一起的；指出：公理数有限、有代入规则的命题逻辑公理系统具有语法完全性；证明：由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。 关键词：命题逻辑；语法完全性；代入规则；公理模式 中图分类号：B81文献标识码：A 1 命题逻辑是否是语法完全的 形式系统的完全性问题是逻辑系统重要的元理论问题之一。一般而言，有如下三种意义的完全性：1、一个形式系统如果对于其中的任一公式，或者在系统中可证，或者在系统中可证，则称该系统是古典完全的；2、如果把系统中的任一不可证公式作为公理增加到已有的系统中将导致系统的不协调，则称该系统是语法完全的（或绝对完备的）；3、如果在一个形式系统的所有模型中都真的公式在该系统中都可以得到证明，则称该系统是语义完全的（相对完备的）。命题逻辑具有语义完全性。但因为命题逻辑系统中含有命题变元，从而不具有古典完全性。 命题逻辑是否具有语法完全性呢？《现代逻辑辞典》中认为命题逻辑具有语法完全性[1]。几本有影响的逻辑教材如王宪钧先生所著《数理逻辑引