At 10:29 -0700 13/08/2002, Wei Dai wrote:
Does it mean anything that S4 and intuitionistic propositional
calculus (= 0-order intutionistic logic, right?) ...
Right.
have the same kind of models, or is
it just a coincidence? I guess Tim is saying that it does mean something,
but I
At 10:11 -0700 14/08/2002, Wei Dai wrote:
Let me generalize my question then. Is it true that for any modal logic
that has a semantics, any sentence in that logic has a corresponding
sentence in non-modal quantificational logic with the same meaning?
It depends of the semantics. It depends of
I have been following the latest very scholarly exchange involving different
logical models in relation to the MWI, however I fail to see how it relates
to my own perception of the world and my own consciousness unless I think
according to those formal systems which I think is unlikely.
Using
3 matches
Mail list logo