逻辑常项的使用规则的生成与证成  

On Generating and Justification of Rules of Logical Constants

作　　者：周志荣[1] Zhirong Zhou(School of Philosophy,Zhongnan University of Economics and Law)

机构地区：[1]中南财经政法大学哲学院

出　　处：《逻辑学研究》2023年第1期1-18,共18页Studies in Logic

基　　金：国家社科基金重大项目“逻辑词汇的历史演进与哲学问题研究”(20&ZD046);国家社科基金项目“证明论语义学的核心问题研究”(16CZX052)。

摘　　要：在证明论语义学中,一个逻辑常项的I-规则通常作为该常项的意义定义是自我证成的,而其E-规则就是通过其与I-规则的协调性来证成的。这种思想遭受到tonk-问题挑战,而解决这个问题实质上就是解决逻辑常项的使用规则的协调性问题。E-规则的普遍形式所包含的GE-协调性没有对I-规则如何“协调地导致”相应的GE-规则做出清楚的描述,也无法用于解答普通E-规则的证成问题。基于GE-规则的生成机制的GM-协调性能够弥补这两点不足,但是它仍然无法排除具有弱E-规则的不协调的常项。由GE-和Ge-规则的生成机制所共同保证的Ge-协调性则可以克服以上这三点不足,从而能够为逻辑常项的使用规则的协调性问题以及证成问题提供更好的解答。In Proof-Theoretic Semantics,the I-rule(s)of a logical constant is/are commonly taken to be self-justified,as the definition of the meaning of the constant,and its Erule(s)to be justified by its being in harmony with the I-rule(s)in question.However,the thought is challenged seriously by the problem of tonk,which should be essentially viewed as the problem of harmony between the rules of logical constants.The GEharmony,shown in the general form of E-rules,provides neither a clear description of how the GE-rules’harmoniously induced by’the I-rules in question nor an answer to the question of justification of the usual E-rules.The GM-harmony,supported by the generating mechanism of the GE-rule from the I-rules,can overcome these two defects.But like the GE-harmony,it cannot rule out the inharmonious constants with weaker Erules as unjustified.The Ge-harmony,warranted by both the generating mechanism of the GE-rule from I-rules and of the Ge-rule from the E-rules,can remove all of these difficulties and provides a better response to the problem of harmony as well as that of justification of the rules of logical constants.

关 键 词：证明论语义学 逻辑常项 协调性 tonk-问题 规则的证成 

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