A formal characterisation of Hamblin's action-state semantics
A formal characterisation of Hamblin's action-state semantics
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.
Action logics, Delegation, Hamblin, Imperatives
415-448
Reed, Chris
e6798f01-9625-4305-978f-b333b8b7346f
Norman, Timothy J.
663e522f-807c-4569-9201-dc141c8eb50d
August 2007
Reed, Chris
e6798f01-9625-4305-978f-b333b8b7346f
Norman, Timothy J.
663e522f-807c-4569-9201-dc141c8eb50d
Reed, Chris and Norman, Timothy J.
(2007)
A formal characterisation of Hamblin's action-state semantics.
Journal of Philosophical Logic, 36 (4), .
(doi:10.1007/s10992-006-9041-z).
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.
This record has no associated files available for download.
More information
Published date: August 2007
Keywords:
Action logics, Delegation, Hamblin, Imperatives
Identifiers
Local EPrints ID: 469190
URI: http://eprints.soton.ac.uk/id/eprint/469190
ISSN: 0022-3611
PURE UUID: dee852cf-4235-4df0-acb0-196330906d1f
Catalogue record
Date deposited: 08 Sep 2022 17:29
Last modified: 17 Mar 2024 03:41
Export record
Altmetrics
Contributors
Author:
Chris Reed
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics
