论逻辑常项的归约

On Reduction of Logical Constants

逻辑联结词和量词都是逻辑的核心概念之一。2004年以来陆续出版的多卷本《逻辑史手册》，计划在第11卷专门以一卷的篇幅来研究后承关系、量词、否定、联结词、模态、自然推演、逻辑图等逻辑核心概念的发展过程。

Based on a kind of combining of the existential quantifier and the multigrade-connective nand, the paper surveys the history of reduction of logical constants from C·S·Peirce s works in 1880s to M·Sch? nfinkel's works in 1920s, and generalizes this kind of reduction to first order logic fromthe functional algebraic point of view·