规则的重要性:逻辑推理主义的视野 |
| |
作者姓名: | 武庆荣 |
| |
作者单位: | 淮阴师范学院法政学院;南京大学现代逻辑与逻辑应用研究所 |
| |
基金项目: | 国家社科基金后期资助项目(19FZXB038);;江苏省社会科学基金后期资助项目(17HQ006); |
| |
摘 要: | 逻辑推理主义者认为,逻辑常项的意义是由它们的引入规则和消去规则共同建构的,但为了排除类似tonk这样的不足道的表达式,他们通常也要求建构逻辑常项及其意义的推理规则必须是和谐的。诉诸保守性和唯一性、倒置原则和归约转换以及普遍消去的和谐概念对“和谐”的分析,既为理解逻辑常项的引入规则和消去规则之间的和谐提供了不同的理论视角,也为逻辑推理主义充分严格论证这一性质奠定了基础。由于规则是建构逻辑常项及其意义的关键,是形成“意义空间”的决定性因素,对逻辑推理主义而言,规则至关重要。
|
关 键 词: | 逻辑推理主义 逻辑常项 意义 规则 和谐 |
|
|