Overview of fundamental work in deontic logic.

Standard dyadic deontic logic (as well as standard deontic logic) has recently come under attack by moral philosophers who maintain that the axioms of standard dyadic deontic logic are biased against moral theories which generate moral conflicts. Since moral theories which generate conflicts are at least logically tenable, it is argued, standard dyadic deontic logic should be modified so that the set of logically possible moral theories includes those which generate such conflicts. I argue that (1) there are only certain (...) types of moral conflicts which are interesting, and which have worried moral theorists, (2) the modification of standard dyadic deontic logic along the lines suggested by those who defend the possibility of moral conflicts makes possible only uninteresting types of moral conflicts, and (3) the general strategy of piecemeal modification standard dyadic deontic logic is misguided: the possibility of interesting moral conflicts cannot be achieved in that way. (shrink)

Monomodal logic has exactly two maximally normal logics, which are also the only quasi-normal logics that are Post complete, and they are complete for validity in Kripke frames. Here we show that addition of a propositional constant to monomodal logic allows the construction of continuum many maximally normal logics that are not valid in any Kripke frame, or even in any complete modal algebra. We also construct continuum many quasi-normal Post complete logics that are not normal. The set of extensions (...) of S4.3 is radically altered by the addition of a constant: we use it to construct continuum many such normal extensions of S4.3, and continuum many non-normal ones, none of which have the finite model property. But for logics with weakly transitive frames there are only eight maximally normal ones, of which five extend K4 and three extend S4. (shrink)