

Among the possible groups of truthconditions there are two extreme cases. In the one case the proposition is true for all the truthpossibilities of the elementary propositions. We say that the truthconditions are tautological. In the second case the proposition is false for all the truthpossibilities. The truthconditions are selfcontradictory. In the first case we call the proposition a tautology, in the second case a contradiction. 4.461 (1) The proposition shows what it says, the tautology and the contradiction that they say nothing. The tautology has no truthconditions, for it is unconditionally true; and the contradiction is on no condition true. Tautology and contradiction are without sense. (Like the point from which two arrows go out in opposite directions.) (I know, e.g. nothing about the weather, when I know that it rains or does not rain.) 4.462 Tautology and contradiction are not pictures of the reality. They present no possible state of affairs. For the one allows every possible state of affairs, the other none. In the tautology the conditions of agreement with the world  the presenting relations  cancel one another, so that it stands in no presenting relation to reality. 4.463 The truthconditions determine the range, which is left to the facts by the proposition. (The proposition, the picture, the model, are in a negative sense like a solid body, which restricts the free movement of another: in a positive sense, like the space limited by solid substance, in which a body may be placed.) Tautology leaves to reality the whole infinite logical space; contradiction fills the whole logical space and leaves no point to reality. Neither of them, therefore, can in any way determine reality. 4.464 The truth of tautology is certain, of propositions possible, of contradiction impossible. (Certain, possible, impossible: here we have an indication of that gradation which we need in the theory of probability.) 4.465 The logical product of a tautology and a proposition says the same as the proposition. Therefore that product is identical with the proposition. For the essence of the symbol cannot be altered without altering its sense. 4.466 (1) To a definite logical combination of signs corresponds a definite logical combination of their meanings; every arbitrary combination only corresponds to the unconnected signs. That is, propositions which are true for every state of affairs cannot be combinations of signs at all, for otherwise there could only correspond to them definite combinations of objects. (And to no logical combination corresponds no combination of the objects.) Tautology and contradiction are the limiting cases of the combination of symbols, namely their dissolution. 