On 26 Nov 2012, at 17:09, meekerdb wrote:

## Advertising

On 11/23/2012 8:54 AM, Bruno Marchal wrote:How does the comparison occur? I will not ask what or who isinvolved, only how. What means exists to compare and contrast apair of logics?The logic exists, because, by UDA, when translated in arithmetic,makes a relative physical certainty into a true Sigma_1sentence, which has to be provable, and consistent. So theobservability with measure one is given by []p = Bp & Dt & p, withp arithmetical sigma_1 (this is coherent with the way the physicalreality has to be redefined through UDA). Then the quantum logic isgiven by the quantization []<>p, thanks to the law p -> []<>p, andthis makes possible to reverse the Goldblatt modal translation ofquantum logic into arithmetic.Comparison is used in the everyday sense. Just look if we get thequantum propositions, new one, different one, etc.The question is why is the sentence about anything.

Well, we are supposed to choose them accordingly.

It's easy to write down axioms and prove theorems from them, butthat doesn't make them true of anything.

`No. That is why we ask politely at the start if you agree with them,`

`if only temporarily for the sake of the argument.`

Bruno http://iridia.ulb.ac.be/~marchal/ -- 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.