[Hilpinen, 1981, pages 26-27]
This system was published by Georg Henrik von Wright in 1956 in a paper called "A Note on Deontic Logic and Derived Obligation" that appeared in "Mind".
This system was an effort to cure some of the problems of his 1951 system.
The basic operator here is a dyadic operator P. von Wright uses the notation P(r|s) as meaning r is permissible under circumstances s. I will break with his notation and use P(r,s) instead, as I find that more readable.
The operator O (obligation) is defined in terms of P in axiom I3 below
von Wright later introduced another dyadic system, his 1964 system
I'm not aware of any...
© Copyright 2000, by John Halleck, All Rights Reserved.
This page is http://www.cc.utah.edu/~nahaj/logic/structures/systems/vonwright1956.html
This page was last modified on October 14th, 2005