[FOM] A minor issue in modal logic
Michael Carroll
mcarroll at pobox.com
Mon Jul 5 00:53:22 EDT 2010
Richard Heck wrote:
> Of course, one might sensibly argue that any reasonable notion of
> necessity must validate "N\phi --> \phi" and so argue that any modal
> logic modelling any reasonable notion of necessity must have only models
> in which the accessibility relation is reflexive. But that is a
> substantive---i.e., not purely logical---claim.
I'm sorry but I fail to see how that differs from :
"One might sensibly argue that any reasonable notion of conjunction must
validate "((A & B) -> (B & A))", so that any logic modeling any reasonable
notion of conjunction must have only models in which conjunction is
commutative. But that is a substantive -- i.e., not purely logical --
claim."
Michael Carroll
More information about the FOM
mailing list