Blueprint for a dynamic deontic logic (Q846521)

Building on work in some of his earlier publications, the author constructs a semantic framework for deontic logic that (1) is dynamic, in the sense that it is based on a logic of actions in time (rather than just a logic of propositions), and (2) deals with normative actions (modifying the norms in force) as well as ordinary ones (that alter the world to which the norms apply). The construction is spartan, omitting notions such as agency, causality, and intention that have a strong claim to inclusion in a comprehensive deontic logic; their integration could be attempted if and when it becomes clear that the basic system is on the right track. A feature of the semantics is that it includes a `homogeneity' condition to the effect that whenever an action is obligatory or permitted, then any manner, context or occasion of performing it will discharge the obligation or exercise the permission. This is done expressly, so as to invalidate implications giving rise to the well-known Ross paradox, which the author takes at face value. Incidentally, in the course of the exposition, the author introduces the term `omissible' as a positive, one-word and welcome substitute for `non-obligatory'.