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

报告人： 何键枫（逻辑学专业博士生）

时间： 2015年11月2日下午2-4时

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

内容提要： 经典命题逻辑具有单调性性质：扩充公式集△为公式集Θ，公式集Δ的后承依然为公式集Θ的后承。然而，在日常生活的推理之中，增加前提后导致原有结论不再为真的例子比比皆是，例如医生在初次诊断时得到的结论可能会在得到更详细的检查报告遭到推翻。服务于数学推理的经典命题逻辑不足以刻画日常生活中的非单调推理。为了满足日常生活推理中的非单调特点，研究者们提出了三类解决方案。本次报告将会对作为三类解决方法之一的额外背景假设（additional background assumptions）进行简要的介绍。