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.