Tractatus logico-philosophicus 0.00 punto 4.5

4.5 Nun scheint es möglich zu sein, die allgemeinste Satzform anzugeben: das heißt, eine Beschreibung der Sätze irgend einer Zeichensprache zu geben so dass jeder mögliche Sinn durch ein Symbol, auf welches die Beschreibung passt, ausgedrückt werden kann, under dass jedes Symbol, worauf die Beschribung passt, einen Sinn austrücken kann, wenn die Bedeutungen der Namen entsprechend gewählt werden.

Es ist klar, daß bei der Beschreibung der allgemeinsten Satzform nur ihr Wesentliches beschrieben werden darf, -- sonst wäre sie nämlich nicht die allgemeinste.

Daß es eine allgemeine Satzform gibt, wird dadurch bewiesen, daß es keinen Satz geben darf, dessen Form man nicht hätte voraussehen (d. h. konstruieren) können. Die allgemeine Form des Satzes ist: Es verhält sich so und so.

4.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.

4.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.

4.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.)

4.53 The general proposition form is a variable.

4.5 Ora appare possibile dare la forma più generale della proposizione; cioè dare una descrizione delle proposizioni di qualche linguaggio segnico, in modo che ogni possibile senso possa essere espresso da un simbolo, che sottostà alla descrizione, cosicché ogni simbolo che sottostà alla descrizione possa esprimere un senso, se i significati dei nomi sono scelti conseguentemente.

E' chiaro che nella descrizione della forma più generale di proposizione solo ciò che è essenziale ad essa può essere descritto - altrimenti non sarebbe la forma più generale.

4.51 Supposto che mi fossero date tutte le proposizioni elementari, si può semplicemente domandare: Quali proposizioni posso formare da esse? E queste sono tutte le proposizioni e così esse sono limitate.