On 5/9/07, Michael Slone <[EMAIL PROTECTED]> wrote:
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.
The axiom I quoted is actually part of some "standard" deontic logic,
apparently. (See wikipedia: Deontic logic.)
--
Taral <[EMAIL PROTECTED]>
"You can't prove anything."
-- Gödel's Incompetence Theorem
