I feel it may be necessary to expand on this by stating the 7
propositions from
Wittgenstein's Tractatus Logico-Philosophicus.
From the
CK Ogden translation:
1: The world is all that is the case.
2: What is the case, the fact, is the existence of atomic facts.
3: The logical picture of the facts is the thought.
4: The thought is the significant proposition.
5: Propositions are truth functions of elementary propositions.
(An elementary proposition is a truth-function of itself)
6: The general form of a truth-function is:
|ρ ,Ε, N(Ε)|
7: Whereof one cannot speak, thereof one must be silent.
And in the original German as given in my copy:
1: Die Welt ist alles, was der Fall ist.
2: Was der Fall ist, die Tatsache, ist das Bestehen von Sachverhalten.
3: Das logische Bild der Tatsachen ist der Gedanke.
4: Der Gedanke ist der sinnvolle Satz.
5: Der Satz ist eine Wahrheitsfunktion der Elementarsätze.
(Der Elementarsatz ist eine Wahrheitsfunktion seiner selbst.)
6: Die allgemeine Form der Wahrheitsfunktion ist:
|ρ ,Ε, N(Ε)|
7: Wovon man nicht sprechen kann, darüber muss man schweigen.
One final note, you may have noticed in 5 and 6 the notion of the truth function. In any logic class you may find yourself in, you learn how to process logical statements by using their form to denote their meaning, for ease of notation Wittgenstein created the Truth table, which logic students know and love. It is in the expansion on the 4th proposition that he develops this form.