学术资讯｜说知逻辑讲堂讲座系列第十讲：“有盒子”的逻辑下潜

主题

主讲

王彦晶

北京大学哲学系教授

主持

王轶

中山大学哲学系（珠海）教授

时间

2023年11月16日 14:30

地点

讲座内容

模态逻辑作为哲学逻辑的一个重要分支，常被用来刻画与模态词相关的哲学理论，让一些看似“高高在上”的抽象概念可以“软着陆”，在一定范围内变成精确的、可计算的数学结构，在哲学与计算机科学中都扮演着重要的角色。 然而，在精确化哲学概念的过程中，我们往往会发现一些奇怪的逻辑现象，与我们熟悉的经典逻辑以及正规模态逻辑不相符。 我们在本次报告中将通过知识逻辑、直觉主义逻辑以及道义逻辑的实例说明，很多奇怪的现象是由于表面上的逻辑连接词和模态词背后隐藏着更加复杂的逻辑结构，我们提出并使用量词与模态词组成的“打包算子”还原了这些结构，得到了自然的技术结果，这个过程也使得我们可以从哲学及数学的角度更深刻的理解相关概念。