The propositions of logic are tautologies.
6.11 (3) The propositions of logic therefore say nothing. (They are the analytical propositions.)
6.12 (03+7) The fact that the propositions of logic are tautologies shows the formal - logical - properties of language, of the world.
That its constituent parts connected together in this way give a tautology characterizes the logic of its constituent parts. In order that propositions connected together in a definite way may give a tautology they must have definite properties of structure. That they give a tautology when so connected shows therefore that they possess these properties of structure.
6.13 Logic is not a theory but a reflexion of the world.
Logic is transcendental.