典型文献
规则的重要性:逻辑推理主义的视野
文献摘要:
逻辑推理主义者认为,逻辑常项的意义是由它们的引入规则和消去规则共同建构的,但为了排除类似tonk这样的不足道的表达式,他们通常也要求建构逻辑常项及其意义的推理规则必须是和谐的.诉诸保守性和唯一性、倒置原则和归约转换以及普遍消去的和谐概念对"和谐"的分析,既为理解逻辑常项的引入规则和消去规则之间的和谐提供了不同的理论视角,也为逻辑推理主义充分严格论证这一性质奠定了基础.由于规则是建构逻辑常项及其意义的关键,是形成"意义空间"的决定性因素,对逻辑推理主义而言,规则至关重要.
文献关键词:
逻辑推理主义;逻辑常项;意义;规则;和谐
中图分类号:
作者姓名:
武庆荣
作者机构:
淮阴师范学院法政学院,江苏淮安223001;南京大学现代逻辑与逻辑应用研究所,南京210093
文献出处:
引用格式:
[1]武庆荣-.规则的重要性:逻辑推理主义的视野)[J].科学技术哲学研究,2022(02):29-34
A类:
逻辑推理主义,tonk
B类:
主义者,逻辑常项,入规,消去,共同建构,不足道,建构逻辑,推理规则,诉诸,保守性,唯一性,倒置,归约,既为,理解逻辑,格论,意义空间
AB值:
0.232658
相似文献
机标中图分类号,由域田数据科技根据网络公开资料自动分析生成,仅供学习研究参考。