逸仙逻辑学生论坛第六期｜黄晨：Lewisian连接逻辑

主题：Lewisian 连接逻辑

报告人：黄晨

主持人：李广荣

指导老师：文学锋 教授

时间：5月27日（周一）15:00

地点：锡昌堂322室

内容简介

       连接逻辑的两个基本思想为：没有一个命题可以蕴涵自己的否定，以及由前件蕴涵后件可以得到并非前件蕴涵后件的否定。但在经典命题逻辑里，这两个思想都不成立。我们结合了 Lewis 条件句逻辑和 Kleene 三值语义给出了一种新的连接逻辑语义。由此，我们定义了四种不同的条件句逻辑，给出了它们的公理系统，并证明了它们的可靠性和完全性，我们同时也验证了四个逻辑的连接性，讨论其满足哪些连接性质。最后，我们比较了我们的逻辑与常见的条件句逻辑和连接逻辑。