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