thought clearly. Everything that can be said can be said clearly.
4.12 Propositions can represent the whole reality, but they cannot represent what they must have in common with reality in order to be able to represent it—the logical form.
To be able to represent the logical form, we should have to be able to put ourselves with the propositions outside logic, that is outside the world.
4.121 Propositions cannot represent the logical form: this mirrors itself in the propositions.
That which mirrors itself in language, language cannot represent.
That which expresses itself in language, we cannot express by language.
The propositions show the logical form of reality.
They exhibit it.
4.1211 Thus a proposition “fa” shows that in its sense the object a occurs, two propositions “fa” and “ga” that they are both about the same object.
If two propositions contradict one another, this is shown by their structure; similarly if one follows from another, etc.
4.1212 What can be shown cannot be said.
4.1213 Now we understand our feeling that we are in possession of the right logical conception, if only all is right in our symbolism.
4.122 We can speak in a certain sense of formal properties of objects and atomic facts, or of properties of the structure of facts, and in the same sense of formal relations and relations of structures.
(Instead of property of the structure I also say