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

A Formal Characterisation of Hamblin's Action-State Semantics. / Reed, C.; Norman, Timothy James Forester.

In: Journal of Philosophical Logic, Vol. 36, No. 4, 08.2007, p. 415-448.

Research output: Contribution to journalArticle

Reed, C. ; Norman, Timothy James Forester. / A Formal Characterisation of Hamblin's Action-State Semantics. In: Journal of Philosophical Logic. 2007 ; Vol. 36, No. 4. pp. 415-448.
@article{a77dc6bdd0154ec7b574f02e2e6636d9,
title = "A Formal Characterisation of Hamblin's Action-State Semantics",
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.",
keywords = "imperatives, action logics, delegation, Hamblin, logic, calculus, events, STIT",
author = "C. Reed and Norman, {Timothy James Forester}",
year = "2007",
month = "8",
doi = "10.1007/S10992-006-9041-Z",
language = "English",
volume = "36",
pages = "415--448",
journal = "Journal of Philosophical Logic",
issn = "0022-3611",
publisher = "Springer Netherlands",
number = "4",

}

TY - JOUR

T1 - A Formal Characterisation of Hamblin's Action-State Semantics

AU - Reed, C.

AU - Norman, Timothy James Forester

PY - 2007/8

Y1 - 2007/8

N2 - 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.

AB - 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.

KW - imperatives

KW - action logics

KW - delegation

KW - Hamblin

KW - logic

KW - calculus

KW - events

KW - STIT

U2 - 10.1007/S10992-006-9041-Z

DO - 10.1007/S10992-006-9041-Z

M3 - Article

VL - 36

SP - 415

EP - 448

JO - Journal of Philosophical Logic

JF - Journal of Philosophical Logic

SN - 0022-3611

IS - 4

ER -