[Hilpinen, 1981, pages 1-6]
This system was published by Ernst Mally in 1926 in his Monograph "Grundgesetze des Sollens: Elemente der Logik des Willens". It has the distinction of being the first formal axiomatic Deontic logic I can find.
It also has the unfortunate characteristic of being wrong. It is wrong in the sense that it (unknown to him) reduces to the Trivial Modal Logic where Lp==p and Mp==p. [Hilpinen, 1981, page 5]
This system uses a modality "O", where Op is taken as meaning p is something that Ought to be done.
Nothing... It has serious problems as a Deontic logic.
© Copyright 2000, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/mally.html
This page was last modified on October 14th, 2005