摘要
根据逻辑推理论,逻辑常项的意义是由它的引入和消去规则确定的。普莱尔(Arthur Prior)提出的tonk对推理论构成了严重挑战。库克(Roy Cook)最近构造了一个禁止传递性的相干的逻辑系统,即Tonk-逻辑,并借助四值语义学重新定义了Tonk-后承概念,在这种概念之下,tonk的引入规则和消去规则都是有效的,同时系统还不是平凡的。本文探讨了保守性与常项的引入和消去规则的协调性之间的联系,并定义了两种较强的协调性概念,即HCU-协调性和HML-协调性概念。借助这两个概念,本文论证,tonk不是HCU-协调的也不是HML-协调的,因而它不是合法的逻辑常项,Tonk-逻辑也不是一种合法的逻辑系统。
According to logical inferentialism, the meaning of logical constants is fixed by their rules of introduction and of elimination. Tonk proposed by Prior has brought a serious challenge to inferentialism. In recent, Cook constructs a transitivity-banning relevant logical system, Tonk-Logic, and re-defines the Tonk-Consequence in terms of a four-valued semantics, by which the rule of introduction and of elimination of tonk are both valid and the system is also not trivial. In this paper, I make a study of the relation between conservativeness and harmony of the rule of introduction and of elimination for a constant, and define two stronger concepts of harmony, e.g., HCU- and HML-harmony, by means of which I argue that tonk is neither Hcunor HuL-harmonious, hence it is not a legitemate logical canstant and Tonk-Logic is also not a legitemate logical system.
出处
《逻辑学研究》
CSSCI
2013年第4期79-92,共14页
Studies in Logic
