On 11/23/2012 8:54 AM, Bruno Marchal wrote:

How does the comparison occur? I will not ask what or who is involved, only how.What means exists to compare and contrast a pair of logics?## Advertising

The logic exists, because, by UDA, when translated in arithmetic, makes a relativephysical certainty into a true Sigma_1 sentence, which has to be provable, andconsistent. So the observability with measure one is given by []p = Bp & Dt & p, with parithmetical sigma_1 (this is coherent with the way the physical reality has to beredefined through UDA). Then the quantum logic is given by the quantization []<>p,thanks to the law p -> []<>p, and this makes possible to reverse the Goldblatt modaltranslation of quantum logic into arithmetic.Comparison is used in the everyday sense. Just look if we get the quantum propositions,new one, different one, etc.

`The question is why is the sentence about anything. It's easy to write down axioms and`

`prove theorems from them, but that doesn't make them true of anything.`

Brent -- You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to everything-list@googlegroups.com. To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.