Bruno Marchal [EMAIL PROTECTED] wrote:
logic B (KTB) can be used to capture a notion of vagueness, and, by a
theorem of Goldblatt, it can be used to formalise classicaly a
minimal
form of von Neuman quantum logic in a manner similar to the way the
modal logic S4, or S4Grz, capture
Le 05-mars-08, à 04:15, Brian Tenneson a écrit :
I'm trying to strike up a discussion of the MUH but my discussion
started at sci.logic and apparently, not many logicians are interested
in Physics, or something... :P
Logicians are not interested in physics, and still less in metaphysics.
Bruno Marchal wrote:
To tackle the math of that physical bord, I use the Godel Lob
Solovay modal logic of provability (known as G, or GL).
Can you derive any known (or unknown) physical laws from your theory?
or something that could be checked experimentally?
but rarely, Tegmark does send a post. Try a specific question perhaps,
There are approximately five or six specific questions in the 6 posts
I made in the link I posted here. I'm not sure if I should cut and
paste what those questions are because they take a while to set up and
I might as
4 matches
Mail list logo