报告人简介
王彦晶,阿姆斯特丹大学逻辑学博士,现任北京大学哲学系教授,北京大学哲学系副系主任,北京大学逻辑、语言与认知中心主任,Journal of Philosophical Logic期刊副主编,入选国家“万人计划”哲学与社会科学领军人才、“四个一批”人才、国家“万人计划”青年拔尖人才支持计划。专长为模态逻辑的基础理论及其在哲学、理论计算机以及人工智能中的应用。近年来系统性地提出并推动了关于“知道如何”、“知道为何”等知识表达式的新一代知识逻辑的研究,提出了量词与模态词结合的“打包算子”的思想,并由此发现了一系列新的一阶模态逻辑的可判定片段,以及直觉主义逻辑等非经典逻辑的认知语义。学术研究之外,积极推动学术伦理与规范的传播与实践,出版译著《君子与顽童:大学教师的职业伦理》。
内容简介
“打包算子”的思想是把一个复杂的逻辑结构打包成一个模态词。在这个报告中,我们将综述基于打包算子的模态逻辑进路。特别的,我们会侧重于量词与正规模态词组合的打包算子及其在一阶模态逻辑、非经典逻辑与非正规模态逻辑中的各种应用。我们将看到打包算子的思想可以让我们发现隐藏在很多概念背后的逻辑结构,从而更好的理解看似反常的逻辑现象,也可以在技术上帮我们更好的平衡逻辑语言的表达力和复杂度。