逻辑常项可以消失吗？

逻辑学研究 2026 年第 2 期， 75–91                           文章编号： 1674­3202(2026)­02­0075­17

作者：宋鹏飞

摘要：本文以逻辑常项的可归约性为起点，逐步探讨逻辑常项能否消失这一问题。对于可归约性，本文论述了谢弗竖作为单一元素的联结词充分集的一系列性质，并举例说明以谢弗竖作为唯一逻辑常项的逻辑系统的不足之处，进而提出建构逻辑系统需要在奥卡姆剃刀原则和表达式的繁琐冗长之间寻找平衡。对于逻辑常项能否消失这一问题，本文以根岑的矢列演算为基础在元语言层面提出了“前逻辑”这一概念，在前逻辑中不存在任何逻辑常项。本文进一步对扩充逻辑和变异逻辑加以辨析，提出所有的逻辑都是在前逻辑的基础上经过扩充得到的。最后，本文讨论了几条判定逻辑常项的原则，论证了这些原则对前逻辑提供了支持。

关键词： 逻辑常项；矢列演算；前逻辑

中图分类号： B81                                文献标识码： A