This is a file in the archives of the Stanford Encyclopedia of Philosophy.

Stanford Encyclopedia of Philosophy
Supplement to Deontic Logic
Citation Information


The Paradox of Derived Obligation/Commitment (Prior 1954)

Consider the following statements:

(1a) Bob's promising to meet you commits him to meeting you.
(1b) It is obligatory that Bob meets you if he promises to do so.

It was suggested that these might be represented in either of two ways in SDL:

(1′) pOBm[1]
(1″) OB(pm)[2]

Consider (1′) first. The following are both simply tautologies: ~r → (rOBs) and OBs → (rOBs). So if (1′) reflected a proper analysis of (1a/1b), anything false would commit us to anything whatsoever (e.g., since I am not now standing on my head, it would follow that my standing on my head commits me to giving you all my money) and everything commits us to anything obligatory (e.g., if I'm obligated to call you, then my standing on my head commits me to doing so). What of (1″) then? The following are theorems of SDL: OB~rOB(rs) and OBsOB(rs). So if (1″) reflected an apt analysis of commitment, it would follow from SDL that anything impermissible commits us to everything, and once again, everything commits us to anything obligatory. So, these seem to be troublesome candidates for symbolizing (1a) or (1b) in SDL. The problems are reminiscent of paradoxes about material implication (reading (1′)), and strict implication (reading (1″)), respectively.[3] So the question arose, are there any special problems associated with the interaction of deontic notions and conditionality? The next paradox (Chisholm's), increased the perception that there might very well be. Many consider it to be the most challenging and distinctive puzzle of deontic logic.

Return to Deontic Logic.

Copyright © 2006
Paul McNamara
mcnamara.p@comcast.net

Supplement to Deontic Logic
Stanford Encyclopedia of Philosophy