西溪逻辑论坛第27期 （本活动受中央高校基本科研业务费专项资金资助） 主题：逻辑学的实践转向（The Practical Turn in Logic） 报告人：赵佳花 时间：2016年01月20日上午9:30—11:30 地点：浙大西溪校区主楼259会议室 摘要：20世纪70年代以来，通过对逻辑学第一次重大转向即数学转向的反思，逻辑学的发展逐步形成了一些新的特点，盖比和伍兹等将其概括为逻辑学的实践转向。各种新兴的逻辑学分支都考虑人的推理在现实生活语境中怎样完成，这便是逻辑中实践转向的实质。实践转向引起了对逻辑观念、心理主义、形式化的价值、推理评价标准、谬误观等的一系列新思考和新判断，也把人的认知和逻辑紧密联系起来。

西溪逻辑论坛第25期 （本活动受中央高校基本科研业务费专项资金资助） 主题：信念修正（Belief Revision） 报告人：徐康 时间：2015年12月30日上午9:30—11:30 地点：浙大西溪校区主楼259会议室 摘要：信念修正理论产生于上个世纪八十年代，在现实生活中，人们不断接受新知识，从而导致认知状态也随之改变。新知识通常会与原来的信念发生冲突，如何修正已有的信念状态，以获得一个一致的新的信念状态，这是信念修正的主要内容。信念修正的理论及其具体的操作方法有很多，具有代表性的是Alchourron，Gardenfors和Makinson提出的AGM理论。在AGM理论中，信念集合被表示为一个一致的、演绎封闭的语句集K。AGM考察了三种不同类型的信念变化：扩充、收缩与修正。本文主要介绍修正的假设和定义，以及修正之间的运算。