Fox, C (2012) 'Imperatives: a Judgemental Analysis.' Studia Logica, 100 (4). pp. 879-905. ISSN 0039-3215
Full text not available from this repository.Abstract
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.
Item Type: | Article |
---|---|
Uncontrolled Keywords: | Imperatives; Satisfaction; Consistency; Coherence; Paradoxes |
Subjects: | P Language and Literature > P Philology. Linguistics Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
Divisions: | Faculty of Science and Health Faculty of Science and Health > Computer Science and Electronic Engineering, School of |
SWORD Depositor: | Elements |
Depositing User: | Elements |
Date Deposited: | 12 Feb 2013 09:32 |
Last Modified: | 15 Jan 2022 01:04 |
URI: | http://repository.essex.ac.uk/id/eprint/5503 |
Actions (login required)
![]() |
View Item |