On 5/8/07, Taral <[EMAIL PROTECTED]> wrote:
I think deontic logic might be closer,
Closer than what to what?
but it axiomatizes the concept
that "ought implies can".
It's a decent axiom, one which we used to have in the ruleset, but
there's nothing that requires a deontic logic to include it as an
axiom.
--
C. Maud Image (Michael Slone)
Well, it's succinct, at least.
-- Kelly, in agora-discussion
