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

5.473

Logic must take care of itself.

A possible sign must also be able to signify. Everything which is possible in logic is also permitted. ("Socrates is identical" means nothing because there is no property which is called "identical". The proposition is senseless beause we have not made some arbitrary determination, not because the symbol is in itself unpermissible.)

In a certain sense we cannot make mistakes in logic.

5.4731

Self-evidence, of which Russell has said so much, can only be discard in logic by language itself preventing every logical mistake. That logic is a priori consists in the fact that we cannot think illogically.

5.4732

We cannot give a sign the wrong sense.

5.4733

Frege says: Every legitimately constructed proposition msut have a sense; and I say: Every possible proposition is legitimately constructed, and if it has no sense this can only be because we have given no meaning to some of its constituent parts.

(Even if we believe that we have done so.)

Thus "Socrates is identical" says nothing, because we have given no meaning to the word "identical" as adjective. For when it occurs as the isng of equality it symbolizes in an entirely different way -- the symbolizing relation is another -- therefore the symbol is in the two cases entirely different; the two symbols have the sign in common with one another only by accident.