The "Standard" System of Deontic Logic

Notes

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 http://www.cc.utah.edu/~nahaj/logic/structures/systems/standard-deontic.html
This page was last modified on January 24th, 2007