The "Standard" System of Deontic Logic


Hilpinen alleges that most formal Deontic sytems include this system. This gives it some claim to being the "Standard" system.

This system uses a modality "O" where Op is taken as meaning p is Obligitory

Based on

D2 can be replaced by O(p>q) > (Op>Oq) [This axiom is really modal logics Axiom K, with O standing in for L], and one gets the same system.

Basis for

Many systems that I don't know enough to categorize yet.

Compare with

Go to ...

© Copyright 2000, by John Halleck, All Rights Reserved.
This page is
This page was last modified on January 24th, 2007