logical propositions, and this explains our feeling that, if true, they can only be true by a happy chance.
6.1233 We can imagine a world in which the axiom of reducibility is not valid. But it is clear that logic has nothing to do with the question whether our world is really of this kind or not.
6.124 The logical propositions describe the scaffolding of the world, or rather they present it. They "treat" of nothing. They presuppose that names have meaning, and that elementary propositions have sense. And this is their connexion with the world. It is clear that it must show something about the world that certain combinations of symbols—which essentially have a definite character—are tautologies. Herein lies the decisive point. We said that in the symbols which we use something is arbitrary, something not. In logic only this expresses: but this means that in logic it is not we who express, by means of signs, what we want, but in logic the nature of the essentially necessary signs itself asserts. That is to say, if we know the logical syntax of any sign language, then all the propositions of logic are already given.
6.125 It is possible, also with the old conception of logic, to give at the outset a description of all "true" logical propositions.
6.1251 Hence there can never be surprises in logic.
6.126 Whether a proposition belongs to logic can be calculated by calculating the logical properties of the symbol.
And this we do when we prove a logical proposition. For without troubling ourselves about a sense and a meaning, we form the logical propositions out of others by mere symbolic rules.
