6.232

Home
Su
1.
2.
3.
4.
5.
6.

 

Frege says that these expressions have the same meaning but different senses.

But what is essential about equation is that it is not necessary in order to show that both expressions, which are connected by the sign of equality, have the same meaning: for this can be perceived from the two expressions themselves.

6.2321    And, that the propositions of mathematics can be proved means nothing else than that their correctness can be seen without our having to compare what they express with the facts as regards correctness.

6.2322    The identity of the meaning of two expressions cannot be asserted. For in order to be able to assert anything about their meaning, I must know their meaning, and if I know their meaning, I know whether they mean the same or something different.

6.2323    The equation characterizes only the standpoint from which I consider the two expressions, that is to say from the standpoint of their equality of meaning.