The hierarchies are and must be independent of reality.

5.5562 If we know on purely logical grounds, that there must be elementary propositions, then this must be known by everyone who understands propositions in their unanalysed form.

5.5563 All propositions of our colloquial language are actually, just as they are, logically completely in order. That simple thing which we ought to give here is not a model of the truth but the complete truth itself.

(Our problems are not abstract but perhaps the most concrete that there are.)

5.557 The *application* of logic decides what elementary propositions there are.

What lies in its application logic cannot anticipate.

It is clear that logic may not conflict with its application.

But logic must have contact with its application.

Therefore logic and its application may not overlap one another.

5.5571 If I cannot give elementary propositions a priori then it must lead to obvious nonsense to try to give them.

5.6 *The limits of my language* mean the limits of my world.

5.61 Logic fills the world: the limits of the world are also its limits.

We cannot therefore say in logic: This and this there is in the world, that there is not.

For that would apparently presuppose that we exclude certain possibilities, and this cannot be the case since otherwise logic must get outside the limits of the world: that is, if it could consider these limits from the other side

also.