再论逻辑常项的归约

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