再论逻辑常项的归约

Reduction of Logical Constants Revisited

逻辑常项的刻画蕴涵着逻辑作为整体的刻画,语义进路和句法进路对逻辑常项的刻画分别遇到了难以解决的问题,而逻辑常项沿着皮尔士传统的归约将为其引入"镜像性"这个性质。这一归约可以追溯到皮尔士1880年的一篇手稿。本文主要研究皮尔士这篇手稿,指出其中建立的推理系统所存在的问题,并在其中发现了对2010年提出的"肖菲克尔(型)算子"的最早表述;在此基础上,结合维特根斯坦在《逻辑哲学论》中的思想,为逻辑常项的镜像性问题给出部分回答,从而试图为逻辑常项问题提出"第三种"进路。