学术资讯｜若海逻辑论坛第八期：模态逻辑中的弱模型及其应用

01

讲座主题

模态逻辑中的弱模型及其应用

02

主讲人

徐明

武汉大学哲学学院

03

时间

2025年12月21日

周日 15:00

04

地点

珠海校区海琴六号楼A542室

内容简介

模态逻辑中的弱模型是指这样一种模型，其中只有有穷多个命题变号的赋值不是空集。这种模型在模态逻辑的某些研究中——尤其是在关于某一类模态逻辑的完全性或有穷模型性的研究中——具有独特的作用。本次讲座将讨论弱典范模型和有可分辨性的弱模型，介绍它们在建立某些经典定理中的作用，并运用它们证明几个简单的一般性结果。

主讲人简介

徐明，Ph.D.(University of Pittsburgh,1996)，哲学教授。2004–2025年在武汉大学哲学学院任教，主要研究方向是哲学逻辑。出版作品包括与 N.Belnap 和 M.Perloff 合著的 Facing the Future:Agents and Choices in Our Indeterminist World（牛津大学出版社，2001 年）以及发表在国际学术期刊上的一系列论文。受聘武大前，曾在美国的West Virginia University, University of Pittsburgh 和 Indiana University at Bloomington 任过临时教职，还在美国的一家软件公司任职数年。

来源｜哲珠新媒体

编辑｜钱敦云

初审｜韩　珩

审核｜卢　毅

审核发布｜屈琼斐