其他
讲座分享｜刘壮虎：蕴涵的邻域语义学
✦逸仙逻辑讲坛✦
第 二 期
第二期
蕴涵的邻域语义学
主讲人：刘壮虎 北京大学哲学系
主持人：王 轶 中山大学哲学系（珠海）
评议人：刘佶鑫 四川大学哲学系
时 间：6月10日（周五）19:00
地 点：腾讯会议 196-347-864
主办方：中山大学逻辑与认知研究所
讲座摘要
蕴涵是逻辑中的重要概念，本次讲座在邻域语义学中给出了蕴涵的刻画条件，并证明了蕴涵的一些重要的性质。建立了只有一个蕴涵联结词的纯蕴涵系统，使用典范模型方法，证明任何纯蕴涵系统的模型完全性。并简单介绍了带蕴涵逻辑的邻域语义学。
通过保真性的分析，将蕴涵扩充为弱蕴涵，给出了蕴涵的刻画条件和重要性质，用类似的方法证明了纯弱蕴涵系统的模型完全性。
主讲人简介
刘壮虎，男，北京大学哲学系教授，博士生导师。1982年毕业于北京大学数学系，曾任逻辑教研室主任、系学术委员会委员。
研究领域涉及逻辑学的多个分支，最重要的工作是建立了适合各种逻辑的邻域语义学，并进行深入研究。另外，在认知逻辑、语言逻辑、非经典逻辑等方面也有一些有影响的研究成果。
刘壮虎认为，数理逻辑为现代逻辑研究提供了基本和重要的思想和方法，是任何逻辑分支研究的基础。在研究方法上强调逻辑技术的重要性。
点击“阅读原文”即可跳转至中山大学逻辑与认知研究所官网下载讲座相关参考文献
转发自“中山大学哲学系”公众号
往期回顾
1.时间并不真的存在
编辑/刘晋国
审核/范 杰