报告题目: 做活动的逻辑（Logics for doing actions）

　　报告人：李小五，中山大学逻辑与认知研究所教授

　　主持人：陈慕泽  中国人民大学哲学院教授

　　评论人：刘壮虎   北京大学哲学系教授

　　时  间：2011年5月13日（周五）15：00—17：30，

　　地  点：人文楼6层会议室

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

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

　　中国人民大学现代逻辑与科学哲学研究所 http://philo.ruc.edu.cn/logic/