题 目：斯多葛命题逻辑系统不完全性的新证明
主讲人：李章吕
时 间：10月26日（星期三）17:00-19:00
地 点：外国语学院711；Bilibili（https://b23.tv/3xwNfj）
主讲人简介：
李章吕，（南开大学、美国哥伦比亚大学联合培养）博士，西南大学国家治理学院哲学系教授、博士生导师、逻辑学教研室主任、重庆市人文社会科学重点研究基地“西南大学逻辑与智能研究中心”副主任。出版专著《贝叶斯决策理论的演进》（独著）、《认识信息的逻辑理论与应用研究》（合著）；主持国家社科基金一般项目《贝叶斯决策理论的概率基础与应用研究》；完成国家社科基金后期资助项目《贝叶斯决策理论的演进和新发展》。
讲座简介：
斯多葛学派的命题逻辑理论是古希腊人对逻辑学的第二次伟大贡献。从现代逻辑的角度来看，应该把它理解为一个有且仅有五条推演规则的自然演绎系统而不是公理系统。陈志美和胡泽洪在承认它是自然演绎系统的基础上，运用算数解释方法证明了它的不完全性，然而，他们所证明的是添加了两条“元逻辑规则”之后的系统，而且证明过程还缺少了一个关键步骤。为此，我们拟构建了一个辅助语义，运用语义比较方法给出了斯多葛命题逻辑系统不完全性的新证明，以及完善该系统的方法，从而使得我们对斯多葛命题逻辑有一个更加深入的认识。