Hmm, I did not mean “actively looking”. I imagined something along the lines of being unable to tell whether something that is a good thing (say, in a CEV sense) in a model universe is good or bad in the actual universe. Presumably if you weren’t expecting this to be an issue, you would not be spending your time on non-standard numbers and other esoteric mathematical models not usually observed in the wild. Again, I must be missing something in my presumptions.
The model theory is just for understanding logic in general and things like Lob’s theorem, and possibly being able to reason about universes using second-order logic. What you’re talking about is the ontological shift problem which is a separate set of issues.
Hmm, I did not mean “actively looking”. I imagined something along the lines of being unable to tell whether something that is a good thing (say, in a CEV sense) in a model universe is good or bad in the actual universe. Presumably if you weren’t expecting this to be an issue, you would not be spending your time on non-standard numbers and other esoteric mathematical models not usually observed in the wild. Again, I must be missing something in my presumptions.
The model theory is just for understanding logic in general and things like Lob’s theorem, and possibly being able to reason about universes using second-order logic. What you’re talking about is the ontological shift problem which is a separate set of issues.