规则的重要性:逻辑推理主义的视野

The Importance of Rules:the Perspective of Logical Inferentialism

逻辑推理主义者认为,逻辑常项的意义是由它们的引入规则和消去规则共同建构的,但为了排除类似tonk这样的不足道的表达式,他们通常也要求建构逻辑常项及其意义的推理规则必须是和谐的。诉诸保守性和唯一性、倒置原则和归约转换以及普遍消去的和谐概念对“和谐”的分析,既为理解逻辑常项的引入规则和消去规则之间的和谐提供了不同的理论视角,也为逻辑推理主义充分严格论证这一性质奠定了基础。由于规则是建构逻辑常项及其意义的关键,是形成“意义空间”的决定性因素,对逻辑推理主义而言,规则至关重要。

Logical inferentialists believe that the meanings of the logical constants are fixed by their introduction and elimination rules.In order to rule out trivial expressions such as tonk,logical inferentialists usually demand that the inference rules for fixing the logical constants and their meanings must be harmonious.The analysis of harmony by resorting to conservativeness and uniqueness,inversion principle and reduction conversion,and the general-elimination harmony,not only provides a different theoretical perspective for understanding harmony between the introduction and elimination rules of logical constants,but also lays the foundation for logical inferentialists to fully and strictly demonstrate this nature.Because rules are the key to constructing logical constants and their meaning and the determinants of the formation of“space of meaningfulness”,rules are very important to logical inferentialism.