报告人：北京大学博士生琚凤魁

报告题目：祈使句的语义和逻辑

时间：2010年9月7日(星期二） 上午10:00 -- 12:00
地点：社科院大楼957室(逻辑研究室）

摘要：We will present a series of dynamic semantics for imperatives in the framework of update semantics, and specify several alternative logics for imperatives.  In these semantics the consistency problem and Ross’s paradox have straightforward solutions. All the work is carried out based on the correspondence between imperatives and force structures. According to different ways of dealing with compatibility between imperatives, we give a few choices of de?ning the notion of consistency for imperatives. Meaning of imperatives is an update function on force structures, which is also dependent on compatibility. Entailment for imperatives is reduced to some relation between force structures. We also give some
choices of the notion of entailment, each of which is coincident with a certain kind of compatibility.