逻辑常项与保守性:以tonk为例

摘要：

根据逻辑推理论,逻辑常项的意义是由它的引入和消去规则确定的.普莱尔(Arthur Prior)提出的tonk对推理论构成了严重挑战.库克(Roy Cook)最近构造了一个禁止传递性的相干的逻辑系统,即Tonk-逻辑,并借助四值语义学重新定义了Tonk-后承概念,在这种概念之下,tonk的引入规则和消去规则都是有效的,同时系统还不是平凡的.本文探讨了保守性与常项的引入和消去规则的协调性之间的联系,并定义了两种较强的协调性概念,即HCU-协调性和HML-协调性概念.借助这两个概念,本文论证,tonk不是HCU-协调的也不是HML-协调的,因而它不是合法的逻辑常项,Tonk-逻辑也不是一种合法的逻辑系统.

关键词：逻辑推理论、逻辑常项、tonk、协调性、保守性

所属期刊栏目：6

分类号：B81(逻辑学(论理学))

在线出版日期：2014-03-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共14页

页码：79-92