HOME TOP UP PREV NEXT GERMAN MAP Tractatus Logico-Philosophicus 4.442

**4.442****Thus***e.g.*``

**p****q**T T T F T T T F F F F

'' is a propositional sign.(Frege's assertion sign "" is logically altogether meaningless; in Frege (and Russell) it only shows that these authors hold as true the propositions marked in this way.

"" belongs therefore to the propositions no more than does the number of the proposition. A proposition cannot possible assert of itself that it is true.)

If the sequence of the truth-possibilities in the scheme 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 - 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.)

HOME TOP UP PREV NEXT GERMAN MAP Tractatus Logico-Philosophicus 4.442