中国人民大学“科学-社会-人文论坛”第33期
2011-05-10
报告题目: 做活动的逻辑（Logics for doing actions）
报 告 人：李小五，中山大学逻辑与认知研究所教授
主 持 人：陈慕泽 中国人民大学哲学院教授
评 论 人：刘壮虎 北京大学哲学系教授
时 间：2011年5月13日（周五）15:00-17:30
地 点：人文楼6层会议室
报告人简介：李小五，北京大学哲学系80级本科生，1989年获北京大学哲学系逻辑专业硕士学位，后任解放军国防大学教师、中国社会科学院哲学所研究员，现为中山大学逻辑与认知研究所教授，出版逻辑学专著7部，研究方向为现代逻辑，近年来关注人工智能逻辑，动态认知逻辑。
内容简介：通常人们关注做活动的逻辑，主要是描述主体做了活动后命题的真值情况，这样的逻辑只能间接描述做活动的情况。我们提出一系列的逻辑系统直接刻画做活动的状态。这些系统主要对主体“做了活动”、“想要做活动”和“正在做活动”的真值情况进行刻画，最后将证明这些系统在相应的语义下具有可靠性和完全性。
中国人民大学现代逻辑与科学技术哲学研究所