命题逻辑语法完全性问题  

The Syntax Perfectibility Problem of Proposition Logic

作　　者：杜国平[1] 

机构地区：[1]南京大学哲学系

出　　处：《浙江社会科学》2004年第1期156-160,共5页Zhejiang Social Sciences

基　　金：国家社科基金项目 ( 0 2CZX0 0 8);南京大学引进人才基金项目;南京大学笹川青年教育基金项目

摘　　要：本文对学界普遍认可的命题逻辑语法完全性问题重新进行分析 ,认为 :命题逻辑的语法完全性在逻辑上是一个关于形式系统和语义模型之间关系的二元谓词 ,是与具体的命题逻辑形式系统联系在一起的 ;指出 :公理数有限、有代入规则的命题逻辑公理系统具有语法完全性 ;证明 :由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。

关 键 词：命题逻辑 语法完全性 形式系统 公理模式 分离规则 代入规则 

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