11 research outputs found
Apparent counterexamples to the coordinate structure constraint: a canonical conspiracy
published or submitted for publicationis peer reviewe
A stress mess
published or submitted for publicationis peer reviewe
Imperatives: a Judgemental Analysis
This paper proposes a framework for formalising intuitions about the behaviour of imperative commands. It seeks to capture notions of satisfaction and coherence. Rules are proposed to express key aspects of the general logical behaviour of imperative constructions. A key objective is for the framework to allow patterns of behaviour to be described while avoiding making any commitments about how commands, and their satisfaction criteria, are to be interpreted. We consider the status of some conundrums of imperative logic in the context of this proposal