Supplement to Deontic Logic

Two Counter-Models Regarding Additions to SDL

We now provide a counter-model to show that A4, OB(OBpp), is indeed a genuine (non-derivable) addition to SDL:

counter-model 1

Here, seriality holds, since each of the three worlds has at least one world acceptable to it (in fact, exactly one), but secondary seriality fails, since although j is acceptable to i, j is not acceptable to itself. Now look at the top annotations regarding the assignment of truth or falsity to p at j and k. The lower deontic formuli derive from this assignment and the accessibility relations. (The value of p at i won't matter.) Since p holds at k, which exhausts the worlds acceptable to j, OBp must hold at j, but then, since p itself is false at j, (OBpp) must be false at j. But j is acceptable to i, so not all i-acceptable worlds are ones where (OBpp) holds, so OB(OBpp) must be false at i.[1] We have already proven that seriality, which holds in this model, automatically validates OB-D. It is easy to show that the remaining ingredients of SDL hold here as well.[2]

We proved above that (OBOBpOBp) is derivable from A4. Here is a model that shows that the converse fails. It is left to the reader to verify that given the accessibility relations and indicated assignments to p at j and k, OBOBpOBp must be (vacuously) true at i, while OB(OBpp) must be false at i.

converse fails

Return to Deontic Logic.

Copyright © 2010 by
Paul McNamara <>

Open access to the SEP is made possible by a world-wide funding initiative.
Please Read How You Can Help Keep the Encyclopedia Free

The SEP would like to congratulate the National Endowment for the Humanities on its 50th anniversary and express our indebtedness for the five generous grants it awarded our project from 1997 to 2007. Readers who have benefited from the SEP are encouraged to examine the NEH’s anniversary page and, if inspired to do so, send a testimonial to