中国人民大学科学-社会-人文论坛第33期

报告题目: 做活动的逻辑（Logics for doing actions）
报告人：李小五，中山大学逻辑与认知研究所教授
主持人：陈慕泽  中国人民大学哲学院教授
评论人：刘壮虎   北京大学哲学系教授
时  间：2011年5月13日（周五）15：00—17：30，
地  点：人文楼6层会议室

报告人简介：李小五，北京大学哲学系80级本科生，1989年获北京大学哲学系逻辑专业硕士学位，后任解放军国防大学教师、中国社会科学院哲学所研究员，现为中山大学逻辑与认知研究所教授，出版逻辑学专著7部，研究方向为现代逻辑，近年来关注人工智能逻辑，动态认知逻辑。

内容简介：通常人们关注做活动的逻辑，主要是描述主体做了活动后命题的真值情况，这样的逻辑只能间接描述做活动的情况。我们提出一系列的逻辑系统直接刻画做活动的状态。这些系统主要对主体“做了活动”、“想要做活动”和“正在做活动”的真值情况进行刻画，最后将证明这些系统在相应的语义下具有可靠性和完全性。

中国人民大学现代逻辑与科学哲学研究所