主题：走进非单调推理-2 (How to Go Nomonotonic-II)

报告人： 何键枫（逻辑学专业博士生）、周海燕（逻辑学专业硕士生）

时间： 2015年11月25日上午9-11时

地点： 浙大西溪校区主楼259会议室

内容提要： 上次大致介绍了经典命题逻辑以外，用于刻画非单调逻辑的超经典后承的概念。而对非单调的刻画可以从三方面入手：1.引入背景假设(background assumptions), 2.限定赋值域(set of valuations), 3.引入附加规则(additional rules). 此次讲座内容将先介绍背景假设内的中心赋值后承与缺省赋值后承，再介绍限定赋值域与引入附加规则的刻画方法。