On 5/9/07, Taral <[EMAIL PROTECTED]> wrote:
Sorry, I'm going on what wikipedia says: deontic logics are modal logics with axiom D: O(A) -> P(A).
But P(A) means that A is permissible, not that A is possible.
I'm working through one of von Wright's books on logic right now. I
hope to have something more useful to say on the subject after that.
--
C. Maud Image (Michael Slone)
Haha! This is mildly amusing!
-- Manu, in agora-discussion
