Tractatus Logico-Philosophicus (English): Difference between revisions

Tractatus Logico-Philosophicus (English) (view source)

Revision as of 20:25, 14 January 2021

5,144 bytes added , 3 years ago

no edit summary

MLavazza

Bureaucrats, Editors, Interface administrators, Administrators

5,687

edits

@@ Line 854: / Line 854: @@
 "<math>\vdash</math>" belongs therefore to the propositions no more than does the number of the proposition. A proposition cannot possibly assert of itself that it is true.)
+If the sequence of the truth-possibilities in the schema is once for all determined by a rule of combination, then the last column is by itself an expression of the truth-conditions. If we write this column as a row the propositional sign becomes: "(T—T) (''p,q'')" or more plainly: "(T T F T) (''p,q'')".
+(The number of places in the left-hand bracket is determined by the number of terms in the right-hand bracket.)
+.45 For ''n'' elementary propositions there are ''L<sub>n</sub>'' possible groups of truth-conditions.
+The groups of truth-conditions which belong to the truth-possibilities of a number of elementary propositions can be ordered in a series.
+.46 Among the possible groups of truth-conditions there are two extreme cases.
+In the one case the proposition is true for all the truth-possibilities of the elementary propositions. We say that the truth-conditions are ''tautological''.
+In the second case the proposition is false for all the truth-possibilities. The truth-conditions are ''self-contradictory''.
+In the first case we call the proposition a tautology, in the second case a contradiction.
+.461 The proposition shows what it says, the tautology and the contradiction that they say nothing.
+The tautology has no truth-conditions, 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.)
+.4611 Tautology and contradiction are, however, not nonsensical; they are part of the symbolism, in the same way that "0" is part of the symbolism of Arithmetic.
+.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.
+.463 The truth-conditions 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.
+.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.)
+.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.
+.466 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 combinations of symbols, namely their dissolution.
+.4661 Of course the signs are also combined with one another in the tautology and contradiction, ''i.e.'' they stand in relations to one another, but these relations are meaningless, unessential to the ''symbol''.
+.5 Now it appears to be possible to give the most general form of proposition; ''i.e.'' to give a description of the propositions of some one sign language, so that every possible sense can be expressed by a symbol, which falls under the description, and so that every symbol which falls under the description can express a sense, if the meanings of the names are chosen accordingly.
+It is clear that in the description of the most general form of proposition ''only'' what is essential to it may be described — otherwise it would not be the most general form.
+That there is a general form is proved by the fact that there cannot be a proposition whose form could not have been foreseen (''i.e.'' constructed). The general form of proposition is: Such and such is the case.
+.51 Suppose ''all'' elementary propositions were given me: then we can simply ask: what propositions I can build out of them. And these are ''all'' propositions and ''so'' are they limited.
+.52 The propositions are everything which follows from the totality of all elementary propositions (of course also from the fact that it is the ''totality of them all''). (So, in some sense, one could say, that ''all'' propositions are generalizations of the elementary propositions.)
+.53 The general propositional form is a variable.