That is rather misleading, given than in mathematical logic we keep well the distinction between syntax (the theories, proofs, …), and the semantics (usually infinite non syntactical mathematical object). The physical reality can be seen as a semantics of a physical theory, but physics cannot be seen as a semantic for many other mathematical theories. Then with mechanism, there is no physical universe at the ontological level. It is a phenomenological first person plural reality. That Butterfield remarks will add to the confusion of many between a theory and a semantic in mathematics. It looks like the older conventionalist view of mathematics, which does no more make sense since Gödel (Imo), and even less with Mechanism (the ultimate reaiity becomes any models (in the logician sense) of arithmetic or of any Turing complete theory). > There is an open question on Lob's theorem, where this has a modal > construction called semantic soundness. ? > In the case of state reduction or why we observe certain outcomes we might > just be faced with this as a hard emergence that has no causal or prior > reason for being. There is no derived reason for it, but it just is. Then it is like the (classical) first person indeterminacy. You are read and cut in Helsinki, and reconstitute in Sidney and Beijing: the 1p-ouctome of that experience is indeterminate, even for God. But I would not say it has no reason or no cause: on the contrary, it is because everything is 3p determinate that the 1p is absolutely not determinate. Bruno > > LC > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to everything-list+unsubscr...@googlegroups.com > <mailto:everything-list+unsubscr...@googlegroups.com>. > To post to this group, send email to email@example.com > <mailto:firstname.lastname@example.org>. > Visit this group at https://groups.google.com/group/everything-list > <https://groups.google.com/group/everything-list>. > For more options, visit https://groups.google.com/d/optout > <https://groups.google.com/d/optout>. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to everything-list+unsubscr...@googlegroups.com. To post to this group, send email to email@example.com. Visit this group at https://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.