不用联结词的“舍…取…”型自然推演系统  

A“not…but…”-Type Natural Deduction System Without Connectives

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

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

出　　处：《湖南科技大学学报（社会科学版）》2019年第3期21-24,共4页Journal of Hunan University of Science and Technology(Social Science Edition)

基　　金：国家社会科学基金重点项目(13AZX019);国家社会科学基金重大招标项目(14ZDB014)

摘　　要："不…而…"("舍…取…")是汉语常用的一个二元联结词,在形式语言中可以不用联结词,直接使用括号来表达"不…而…"("舍…取…")的语法功能。在括号表示法的形式语言中,"( )"有既有结构性功能,也有联结词功能,还有量词功能。基于纯粹的括号表示法,建立了以"舍…取…"作为初始联结词的命题逻辑自然推理系统Z_1和一阶自然推理系统QZ_1,它们与通常的命题逻辑系统和一阶系统等价,具有可靠性和完全性。The expression "not…but…" is a binary connective commonly used in Chinese. In formal language,there is no need to use connectives but directly express the grammatical function of "not … but …" using parentheses. In the formal language of parenthesis notation,"()" functions as a structure,connective and quantifier. Based on the pure parenthesis notation,the natural inference system Z1 of propositional logic and the first-order natural inference system QZ1 which take "not…but…" as the initial connective are equivalent with the reliability and completeness of the usual propositional logic system and the first-order system.

关 键 词：“舍…取…”型联结词 括号表示法 量词 自然推理系统 

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