If squirrel A puts a peanut in an empty nook in a tree, and then later puts another nut there, and does that twice more, and nothing removes nuts from that nook, and later a squirrel B comes along and eats all the nuts in that nook, my expectation is that squirrel B will eat four nuts.
That expectation depends on certain facts about the world, and among those facts is something that can be expressed as "1+1+1+1=4," which I would label a statement of mathematics. The squirrels don't necessarily have access to that fact, and certainly don't have access to that expression of it.
What is your expectation of how many nuts B eats? Do you agree that "1+1+1+1=4" expresses something that's related in some way to that expectation? If so, do you agree that that's a statement of mathematics?
If the thing "1+1+1+1=4" expresses exists only in minds, whose mind does it exist in, in this case? Squirrel A? Squirrel B? Somewhere else? What would be different if it existed somewhere else?
The statement "1+1+1+1=4" exists in your mind. Your mind generated this expression as a result of contemplating your observations (from the story). This statement is a abstraction of your observations, specified in the terms of arithmetic. Your observations were formed based on your sensory input combined with your prior experience. Your sensory input depended on your relative context, your body's physical capabilities, and the physical laws of the universe.
The statement is only related to the physical reality of the nuts through a chain of infer...
Certain kinds of philosophy and speculative fiction, including kinds that get discussed here all the time, tend to cause a ridiculous thing to happen: I start doubting the difference between existence and non-existence. This bothers me, because it's clearly a useless dead end. Can anyone help with this?
The two concepts that tend to do it for me are
* Substrate independence/strong AI: The idea that a simulation of my mind is still me. That I could survive the process of uploading myself into a computer running Windows, a cellular automaton run by this guy, or even something that didn't look like a computer, mind, or universe at all to anyone in the outside world. That we could potentially create or discover a simulated universe that we could have ethical obligations towards. This is all pretty intuitive to me and largely accepted by the sort of people who think about these things.
* Multiverses: The idea that the world is bigger than the universe.
My typical line of thought goes something like this: suppose I run a Turing Machine that encodes a universe containing conscious beings. That universe now exists as a simulation within my own. It's just as real as mine, just more precarious because events in my reality can mess with its substrate. If I died and nobody knew how it worked, it would still be real (so I should make provisions for that scenario). Okay, but Turing Machines are simple. A Turing Machine simulating a coherent universe containing conscious beings can probably arise naturally, by chance. In that case, those beings are still real even if nobody on the outside, looking at the substrate, realizes what they're looking at. Okay, but now consider Turing Machines like John Conway's Fractran, which are encoded into an ordered set of rational numbers and run by multiplication. I think it's fair to say that rational numbers and multiplication occur naturally, everywhere. Arithmetic lives everywhere. But furthermore, arithmetic lives *nowhere*. It's not just substrate-independent; it's independent of whether or not there is a substrate. 2+2=4 no matter whether two bottlecaps are being combined with two other bottlecaps to make four bottlecaps. So every Turing-computable reality already exists to the extent that math itself does.
I think this is stupid. Embarrassingly stupid. But I can't stop thinking it.