It is often said that in mathematical equations, such as ‘2+2=4’, the symbol ‘=’ represents the fact that on both sides of the equation there is the same thing. That’s wrong: on the one side there are three symbols, while on the other there is just one.
Even in the equation ‘1=1’ the same-thing-on-both-sides-reading is wrong, because there there are two separate things (the ‘1’ on the left and the ‘1’ on the right).
So how should we understand the ‘=’-symbol? It might seem reasonable to say that in the equation ‘2+2=4’ we should read ‘=’ as meaning that the things that the numbers refer to are the same (in number). If the numbers in the equation refer to apples, for example, then the equation merely states that if you add two apples to two apples you end up with four apples. The ‘=’-symbol tells you that two apples added to two apples is the same as four apples.
But this view is problematic. Mathematics is usually understood as a language or formalism that is independent of reality. Mathematics is, to put it disrespectfully, merely a bunch of tautologies, whose truth depends on the definitions that we ourselves choose. We can of course apply mathematical language/formalism to things we see, but then we are no longer doing mathematics – we’ve turned into physicists.
We can’t just say that the number of apples referred to by the symbols are the same, because mathematical terms have no meaning outside of mathematics.
so what is “=”?