逻辑常项与保守性：以tonk为例.pdfVIP

逻辑学研究 2013 年第4 期，79–92 文章编号：1674-3202(2013)-04-0079-14 逻辑常项与保守性：以tonk 为例* 周志荣 中南财经政法大学哲学院 zhouzhirong50@126.com 摘 要：根据逻辑推理论，逻辑常项的意义是由它的引入和消去规则确定的。普莱 尔（Arthur Prior）提出的tonk 对推理论构成了严重挑战。库克（Roy Cook）最近构 造了一个禁止传递性的相干的逻辑系统，即Tonk-逻辑，并借助四值语义学重新定义 了Tonk-后承概念，在这种概念之下，tonk 的引入规则和消去规则都是有效的，同时 系统还不是平凡的。本文探讨了保守性与常项的引入和消去规则的协调性之间的联系， 并定义了两种较强的协调性概念，即HCU-协调性和HML-协调性概念。借助这两个概 念，本文论证，tonk 不是HCU-协调的也不是HML-协调的，因而它不是合法的逻辑常项， Tonk-逻辑也不是一种合法的逻辑系统。 关键词：逻辑推理论；逻辑常项；tonk；协调性；保守性