6.12 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.