Absolutely -- but what is missing is a discussion of context. It isn't enough to just say that 2+2=4 is true, or that a particular octopus is false; we need to know what the context of evaluation is.
2+2=4 has a standard context, namely the natural numbers N. "2+2=4" (without qualification) asserts that N satisfies 2+2=4. So the fact that one can imagine a non-standard context where "2+2=4" means something false (like "Paris is the capital of the UK") doesn't really have any bearing.
In my use of the expression "2+2=4" I refer not merely to a function that maps contexts to propositions, but to one specific proposition, which has meaning in and of itself. (That's basically what a proposition is - a little chunk of semantics.)
And about that proposition it is meaningless to affirm or deny that it exists only in people's minds. To be fair, I think it's equally meaningless to say that the proposition "exists in" physical processes where someone puts two nuts next to two other nuts and then has four nuts.
2+2=4 has a standard context, namely the natural numbers N...
Agreed. For efficiency in communication we often assume normative contexts. For the statement "2+2=4" it makes sense for us to rely on its implicit context. To make sense of a statement like "Is that octopus true or false?", we will need to make the context of evaluation explicit.
In my use of the expression "2+2=4" I refer not merely to a function that maps contexts to propositions, but to one specific proposition, which has meaning in and of itself.
I'm not ce...
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.