报告人：王昊玉 (北京大学哲学系)
题目：从知识逻辑的视角分析直觉主义模态词定义

时间：2023/11/14 15:10-18:00
地点：地学楼108

摘要：BHK解释给出了直觉主义联结词的直观，但是直觉主义模态词的直观是什么？关于直觉主义模态词的研究分为两类，一种从技术角度出发，通过定义逻辑系统定义模态词；另一种从哲学观点出发，先定义模态词的直观含义，再给出逻辑系统。然而，很难系统地比较这些定义的得失。文献中定义的模态词是否符合直觉主义精神？本次报告中，我将试图用知道如何逻辑的视角分析这些定义。