科研之友
微信
新浪微博
Facebook
分享链接
摘要
逻辑推理主义者认为，逻辑常项的意义是由它们的引入规则和消去规则共同建构的，但为了排除类似tonk这样的不足道的表达式，他们通常也要求建构逻辑常项及其意义的推理规则必须是和谐的。诉诸保守性和唯一性、倒置原则和归约转换以及普遍消去的和谐概念对“和谐”的分析，既为理解逻辑常项的引入规则和消去规则之间的和谐提供了不同的理论视角，也为逻辑推理主义充分严格论证这一性质奠定了基础。由于规则是建构逻辑常项及其意义的关键，是形成“意义空间”的决定性因素，对逻辑推理主义而言，规则至关重要。
-
单位南京大学; 淮阴师范学院
