Obligation and the conditional in stit theory
type: Item
instance of: scholarly article
title: Obligation and the conditional in stit theory
zbMATH Open document ID: 1020.03016
DOI: 10.1023/A:1021841323244
published in: Studia Logica
publication date: 2003-04-27T00:00:00Z
review text: The discussion of conditional obligations is an intricate issue in deontic logic. Do we use modus ponens to derive obligation statements from conditional obligation statements (B, (B implies Oblg:A) / Oblg:A) or do we argue as follows: B, Oblg:(B implies A) / Oblg:A? The author investigates the issue of conditions under which the latter type of argument is valid in the context of a particular deontic logic based on Belnap, Perloff and Xu's stit theory (seeing-to-it-that theory) of agency. Necessary and sufficient conditions on X in the inference X, Oblg:[a stit: (B implies A)] / Oblg:[a stit: A] are developed. This is a significant and illuminating contribution to the discussion of problems related to the formalization of conditional obligations.
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 1901331
zbMATH Keywords: conditional obligations
zbMATH Keywords: deontic logic
zbMATH Keywords: stit theory
author: Kevin J. Davey
reviewed by: Heinrich Wansing
MaRDI profile type: Publication
full work available at URL: a:1021841323244
OpenAlex ID: W1484321482
description: scientific article; zbMATH DE number 1901331