HOME TOP UP PREV NEXT 1 2 3 GERMAN MAP      Tractatus Logico-Philosophicus 6.232

6.232

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.