思想力论坛第19期

报告题目：什么是逻辑常项？──从证明论的观点看

报告人：梁飞 副研究员

主持人：荣立武 副教授

报告时间：2018年11月16（周五）18:30-20:30

报告地点：中心校区知新楼A座1618

报告主要内容：

关于“逻辑常项”定义的讨论是逻辑哲学关注的核心问题之一，它直接关系着对“逻辑学的限度”和“逻辑学的研究主题”等问题的理解与回答。本文讨论三种关于“逻辑常项”的研究进路：语法进路、语义进路和语用进路，并分别指出三种进路的优势与不足。在此基础上，本文从结构推理的角度出发，认为将“逻辑常项”理解为“结构连结词”是一种最为适切的定义。

报告人简介：

梁飞，金沙集团1862cc成色副研究员，荷兰代尔夫特理工大学（Technische Universiteit Delft）逻辑学博士，广州中山大学哲学博士（逻辑学）；研究兴趣在于非经典逻辑、代数证明论、模态逻辑、逻辑哲学与分析哲学；在国内外许多学术期刊中发表学术论文，如Studia Logica、Fuzzy Sets and Systems与《逻辑学研究》。