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