HOME TOP UP PREV NEXT 0 1 2 3 4 5 6 7 ENGLISH MAP      Logisch-philosophische Abhandlung 6.12

6.12

Daß die Sätze der Logik Tautologien sind, das zeigt die formalen -- logischen -- Eigenschaften der Sprache, der Welt.

Daß ihre Bestandteile so vernknüpft eine Tautologie ergeben, das charakterisiert die Logik ihrer Bestandteile.

Damit Sätze, auf bestimmte Art und Weise verknüpft, eine Tautologie ergeben, dazu müssen sie bestimmte Eigenschaften der Struktur haben. Daß sie so verbunden eine Tautologie ergeben, zeigt also, daß sie diese Eigenschaften der Struktur besitzen.

6.120

6.121

Die Sätze der Logik demonstrieren die logischen Eigenschaften der Sätze, indem sie sie zu nichtssagenden Sätzen verbinden.

Diese Methode könnte man auch eine Nullmethode nenne. Im logischen Satz werden Sätze miteinander ins Gleichgewicht gebracht und der Zustand des Gleichgewichts zeigt dann an, wie diese Sätze logisch beschaffen sein müssen.

6.122

Daraus ergibt sich, daß wir auch ohne die logischen Sätze auskommen können, da wir ja in einer entsprechenden Notation die formalen Eigenschaften der Sätze durch das bloße Ansehen dieser Sätze erkennen können.

6.123

Es ist klar: Die logischen Gesetze dürfen nicht selbst wieder logischen Gesetzen unterstehen.

(Es gibt nicht, wie Russell meinte, für jede "Type" ein eigenes Gesetze des Widerspruches, sondern Eines genügt, da es auf sich selbst nicht angewendet wird.)

6.124

Die logischen Sätze beschreiben das Gerüst der Welt, oder vielmehr, sie stellen es dar. Sie "handeln" von nichts. Sie setzen voraus, daß Namen Bedeutung, und Elementarsätze Sinn haben: und dies ist ihre Verbindung mit der Welt. Es ist klar, daß es etwas über die Welt anzeigen muß, daß gewisse Verbindungen von Symbolen -- welche wesentlich einen bestimmten Charakter haben -- Tautologien sind. Hierin liegt das Entscheidende. Wir sagten, manches an den Symbolen, die wir gebrauchen, wäre willkürlich, manches nicht. In der Logik drückt nur dieses aus: Das heißt aber, in der Logik drücken nicht wir mit Hilfe der Zeichen aus, was wir wollen, sondern in der Logik sagt die Natur der naturnotwendigen Zeichen selbst aus: Wenn wir die logische Syntax irgend einer Zeichesprache kennen, dann sind bereits alle Sätze der Logik gegeben.

6.125

Es ist möglich, und zwar auch nach der alten Auffassung der Logik, von vornherein eine Beschreibung aller "wahren" logischen Sätze zu geben.

6.126

Ob ein Satz der Logik angehört, kann man berechnen, indem man die logischen Eigenschaften des Symbols brechnet.

Und dies tun wir, wenn wir einen logischen Satz "beweisen". Denn, ohne uns um einen Sinn und eine Bedeutung zu kümmern, bilden wir den logischen Satz aus anderen nach bloßen Zeichenregeln.

Der Beweis der logischen Sätze besteht darin, daß wir sie aus anderen durch successive Anwendung gewisser Operationen entstehen lassen, die aus den ersten immer wieder Tautologien erzeugen. (Und zwar folgen aus einer Tautologie nur Tautologien.)

Natürlich ist diese Art zu zeigen, daß ihre Sätze Tautologien sind, der Logik durchaus unwesentlich. Schon darum, weil die Sätze, von welchen der Beweis ausgeht, ja ohne Beweis zeigen müssen, daß sie Tautologien sind.

6.127

Alle Sätze der Logik sind gleichberechtigt, es gibt unter ihnen nicht wesentlich Grundgesetze und abgeleitete Sätze.

Jede Tautologie zeigt selbst, daß sie eine Tautologie ist.