祈使句和逻辑(英文)

Imperatives and Logic

本文基于更新框架定义了一种动态的祈使句语义,并在此基础之上讨论了关于祈使句的逻辑。这个语义对于祈使句的一致性问题和Ross悖论提供了一种直接的解决方案。我们的工作在祈使句和祈使力结构之间的对应之上展开。首先,根据处理祈使句相容性的不同方式,我们给出了几种不同的祈使句一致性定义。然后,祈使句的意义被处理为祈使力机构上的依赖相容性的更新函项。最后,祈使句之间的蕴涵关系被归约为祈使力结构之间的某种关系。基于不同的相容性定义,我们给出了几种不同的蕴涵关系。

In this paper we 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 carded 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 defining 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.