关于“不用联结词的逻辑系统”的注记  

A note on “logical systems without connectives”

作　　者：杜国平[1] DU Guoping(Institute of Philosophy,Chinese Academy of Social Sciences,Beijing 100732,China)

机构地区：[1]中国社会科学院哲学研究所,北京100732

出　　处：《重庆理工大学学报（社会科学）》2019年第4期7-12,共6页Journal of Chongqing University of Technology（Social Science）

基　　金：国家社会科学基金重点项目"提高国民逻辑素质的理论和实践探索研究"(13AZX019);国家社会科学基金重大项目"应用逻辑与逻辑应用研究"(14ZDB014)

摘　　要：张清宇先生在20世纪90年代创建了不用联结词的逻辑系统,在其中使用括号表达命题联结词和量词的功能,这是一项逻辑符号技术的创新性工作。波兰表示法和括号表示法是逻辑符号表示法的两个相互映衬的典范。在括号表示法中,"不用联结词"指的仅仅是语形层面上的,而不是语义层面上的。基于括号表示法的命题逻辑公理系统H和一阶逻辑系统QH都可以进一步简化。In the 1990s,Mr. Zhang Qingyu created a logical system without connectives,in which parentheses were used to express the functions of propositional connectives and quantifiers,which is an innovative work of logical symbol technology. Polish notation and parenthesis notation are two mutually complementary examples of logical symbolic notation. In the parenthetical notation,“without connectives” refers only to morphological level rather than semantic level. Both the axiom system H of propositional logic and the first-order logic system QH based on parenthesis notation can all be further simplified.

关 键 词：命题联结词 波兰表示法 括号表示法 独立性 公理系统 

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