A Formal Characterisation of Hamblin's Action-State Semantics

C. Reed, Timothy James Forester Norman

Research output: Contribution to journalArticle

5 Citations (Scopus)

Abstract

Hamblin's Action-State Semantics provides a sound philosophical foundation for understanding the character of the imperative. Taking this as our inspiration, in this paper we present a logic of action, which we call ST, that captures the clear ontological distinction between being responsible for the achievement of a state of affairs and being responsible for the performance of an action. We argue that a relativised modal logic of type RT founded upon a ternary relation over possible worlds integrated with a basic tense logic captures intuitions of the Hamblinian model of imperatives. The logic implements a direct mapping of each of Hamblin's key concepts: strategies, partial strategies and wholehearted satisfaction.

Original languageEnglish
Pages (from-to)415-448
Number of pages33
JournalJournal of Philosophical Logic
Volume36
Issue number4
DOIs
Publication statusPublished - Aug 2007

Keywords

  • imperatives
  • action logics
  • delegation
  • Hamblin
  • logic
  • calculus
  • events
  • STIT

Cite this