# 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

- PC
- Axioms (Following the numbering of Halpinen):
- D1: Op > ~O~p
- D2: O(p&q) == (Op & Oq)
- D3: O(p+~p)

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