5,953
edits
No edit summary |
No edit summary |
||
Line 21: | Line 21: | ||
{{ParTBde|22. 8. 14.}} | {{ParTBde|22. 8. 14.}} | ||
Die Logik muß für sich selber sorgen. [''S''. 5.473.] | Die Logik muß für sich selber sorgen.<!-- [''S''. 5.473.]--> | ||
Wenn sich syntaktische Regeln für Funktionen ''überhaupt'' aufstellen lassen, dann ist die ganze Theorie der Dinge, Eigenschaften etc. überflüssig. Es ist auch gar zu auffällig, daß weder in den "Grundgesetzen" noch in den "Principia Mathematica" von dieser Theorie die Rede ist. Nochmals: denn die Logik muß für sich selbst sorgen. Ein ''mögliches'' Zeichen muß auch bezeichnen können. Alles, was überhaupt möglich ist, ist auch legitim (erlaubt). Erinnern wir uns an die Erklärung, warum "Sokrates ist Plato" unsinnig ist. Nämlich darum, weil ''wir'' eine willkürliche Bestimmung nicht getroffen haben, aber NICHT darum, weil das Zeichen an und für sich etwa illegitim sei! [''Vgl.'' 5.473.] | Wenn sich syntaktische Regeln für Funktionen ''überhaupt'' aufstellen lassen, dann ist die ganze Theorie der Dinge, Eigenschaften etc. überflüssig. Es ist auch gar zu auffällig, daß weder in den "Grundgesetzen" noch in den "Principia Mathematica" von dieser Theorie die Rede ist. Nochmals: denn die Logik muß für sich selbst sorgen. Ein ''mögliches'' Zeichen muß auch bezeichnen können. Alles, was überhaupt möglich ist, ist auch legitim (erlaubt). Erinnern wir uns an die Erklärung, warum "Sokrates ist Plato" unsinnig ist. Nämlich darum, weil ''wir'' eine willkürliche Bestimmung nicht getroffen haben, aber NICHT darum, weil das Zeichen an und für sich etwa illegitim sei!<!-- [''Vgl.'' 5.473.]--> | ||
{{ParTBde|2. 9. 14.}} | {{ParTBde|2. 9. 14.}} | ||
Wir müssen in einem gewissen Sinne uns nicht in der Logik irren können. Dies ist schon teilweise darin ausgedrückt: Die Logik muß für sich selbst sorgen. Dies ist eine ungemein tiefe und wichtige Erkenntnis. [''Vgl.'' 5.473.] | Wir müssen in einem gewissen Sinne uns nicht in der Logik irren können. Dies ist schon teilweise darin ausgedrückt: Die Logik muß für sich selbst sorgen. Dies ist eine ungemein tiefe und wichtige Erkenntnis.<!-- [''Vgl.'' 5.473.]--> | ||
Frege sagt: jeder rechtmäßig gebildete Satz muß einen Sinn haben, und ich sage: jeder mögliche Satz ist rechtmäßig gebildet, und wenn er keinen Sinn hat, so kann das nur daran liegen daß wir einigen seiner Bestandteilen keine Bedeutung ''gegeben'' haben. Wenn wir auch glauben, es getan zu haben. [''Vgl.'' 5.4733.] | Frege sagt: jeder rechtmäßig gebildete Satz muß einen Sinn haben, und ich sage: jeder mögliche Satz ist rechtmäßig gebildet, und wenn er keinen Sinn hat, so kann das nur daran liegen daß wir einigen seiner Bestandteilen keine Bedeutung ''gegeben'' haben. Wenn wir auch glauben, es getan zu haben.<!-- [''Vgl.'' 5.4733.]--> | ||
Line 84: | Line 84: | ||
{{ParTBde|8. 9. 14.}} | {{ParTBde|8. 9. 14.}} | ||
Das "Einleuchten", von dem Russell so viel sprach, kann nur dadurch in der Logik entbehrlich werden, daß die Sprache selbst jeden logischen Fehler verhindert. Und es ist klar, daß Jenes Einleuchten immer gänzlich trügerisch ist und war. [''Vgl.'' 5.4731.] | Das "Einleuchten", von dem Russell so viel sprach, kann nur dadurch in der Logik entbehrlich werden, daß die Sprache selbst jeden logischen Fehler verhindert. Und es ist klar, daß Jenes Einleuchten immer gänzlich trügerisch ist und war.<!-- [''Vgl.'' 5.4731.]--> | ||
Line 108: | Line 108: | ||
Der Ausdruck der Grammatik: "Ein Wort bezieht sich auf ein anderes" wird hier beleuchtet. | Der Ausdruck der Grammatik: "Ein Wort bezieht sich auf ein anderes" wird hier beleuchtet. | ||
Es handelt sich in den obigen Fällen darum anzugeben, wie Sätze in sich zusammenhängen. Wie der ''Satz-Verband'' zustande kommt. [''Vgl.'' 4.221.] | Es handelt sich in den obigen Fällen darum anzugeben, wie Sätze in sich zusammenhängen. Wie der ''Satz-Verband'' zustande kommt.<!-- [''Vgl.'' 4.221.]--> | ||
Wie kann sich eine Funktion ''auf einen Satz beziehen''?? Immer die uralten Fragen! | Wie kann sich eine Funktion ''auf einen Satz beziehen''?? Immer die uralten Fragen! | ||
Line 168: | Line 168: | ||
Der allgemeine Begriff des Satzes führt auch einen ganz allgemeinen Begriff der Zuordnung von Satz und Sachverhalt mit Sich: Die Losung aller meiner Fragen muß ''höchst'' einfach sein! | Der allgemeine Begriff des Satzes führt auch einen ganz allgemeinen Begriff der Zuordnung von Satz und Sachverhalt mit Sich: Die Losung aller meiner Fragen muß ''höchst'' einfach sein! | ||
Im Satz wird eine Welt probeweise zusammengestellt. (Wie wenn im Pariser Gerichtssaal ein Automobilunglück mit Puppen etc. dargestellt wird.)<!--<ref>Diese Bemerkung weist auf ein Ereignis hin, von dem Wittgenstein später mehreren seiner Freunde erzählt hat. (Vgl. G. H. von Wright, ''Ludwig Wittgenstein, a Biographical Sketch'' in ''The Philosophical Review'', Vol. LXIV, 1955, Ss. 532-533.) Nach den Datierungen des hier gredruckten Textes zu beurteilen, dürfte die Angabe, daß es sich in einem Schützengraben an der Ostfront zugetragen hatte, nicht stichaltig sein. (Herausg.)</ref>--> [''Vgl.'' 4.031.] | Im Satz wird eine Welt probeweise zusammengestellt. (Wie wenn im Pariser Gerichtssaal ein Automobilunglück mit Puppen etc. dargestellt wird.)<!--<ref>Diese Bemerkung weist auf ein Ereignis hin, von dem Wittgenstein später mehreren seiner Freunde erzählt hat. (Vgl. G. H. von Wright, ''Ludwig Wittgenstein, a Biographical Sketch'' in ''The Philosophical Review'', Vol. LXIV, 1955, Ss. 532-533.) Nach den Datierungen des hier gredruckten Textes zu beurteilen, dürfte die Angabe, daß es sich in einem Schützengraben an der Ostfront zugetragen hatte, nicht stichaltig sein. (Herausg.)</ref>--><!-- [''Vgl.'' 4.031.]--> | ||
Daraus muß sich (wenn ich nicht blind wäre) sofort das Wesen der Wahrheit ergeben. | Daraus muß sich (wenn ich nicht blind wäre) sofort das Wesen der Wahrheit ergeben. | ||
Denken wir an hieroglyphische Schriften, bei denen jedes Wort seine Bedeutung darstellt! Denken wir daran, daß auch ''wirkliche'' Bilder von Sachverhalten ''stimmen'' und ''nicht stimmen'' können. [''Vgl.'' 4.016.] | Denken wir an hieroglyphische Schriften, bei denen jedes Wort seine Bedeutung darstellt! Denken wir daran, daß auch ''wirkliche'' Bilder von Sachverhalten ''stimmen'' und ''nicht stimmen'' können.<!-- [''Vgl.'' 4.016.]--> | ||
"[[File:Illustrazione 29.9.14.png|100px|link=]]": Wenn in diesem Bild der rechte Mann den Menschen A vorstellt, und bezeichnet der linke den Menschen B, so könnte etwa das ganze aussagen "A ficht mit B". Der Satz in Bilderschrift kann wahr und falsch sein. Er hat einen Sinn unabhängig von seiner Wahr- oder Falschheit. An ihm muß sich alles Wesentliche demonstrieren lassen. | "[[File:Illustrazione 29.9.14.png|100px|link=]]": Wenn in diesem Bild der rechte Mann den Menschen A vorstellt, und bezeichnet der linke den Menschen B, so könnte etwa das ganze aussagen "A ficht mit B". Der Satz in Bilderschrift kann wahr und falsch sein. Er hat einen Sinn unabhängig von seiner Wahr- oder Falschheit. An ihm muß sich alles Wesentliche demonstrieren lassen. | ||
Line 194: | Line 194: | ||
Was in "aRb.bSc" a und c verbindet ist nicht das "." Zeichen sondern ''das Vorkommen desselben Buchstabe'' "b" in den beiden einfachen Sätzen. | Was in "aRb.bSc" a und c verbindet ist nicht das "." Zeichen sondern ''das Vorkommen desselben Buchstabe'' "b" in den beiden einfachen Sätzen. | ||
Man kann geradezu sagen: statt, dieser Satz hat diesen und diesen Sinn: dieser Satz stellt diesen und diesen Sachverhalt dar! [''S.'' 4.031.] | Man kann geradezu sagen: statt, dieser Satz hat diesen und diesen Sinn: dieser Satz stellt diesen und diesen Sachverhalt dar!<!-- [''S.'' 4.031.]--> | ||
Er bildet ihn logisch ab. | Er bildet ihn logisch ab. | ||
Nur so kann ''der Satz'' wahr oder falsch sein: nur dadurch kann er mit der Wirklichkeit übereinstimmen oder nicht übereinstimmen, daß er ''ein Bild'' eines Sachverhaltes ist. [''Vgl.'' 4.06.] | Nur so kann ''der Satz'' wahr oder falsch sein: nur dadurch kann er mit der Wirklichkeit übereinstimmen oder nicht übereinstimmen, daß er ''ein Bild'' eines Sachverhaltes ist.<!-- [''Vgl.'' 4.06.]--> | ||
{{ParTBde|3. 10. 14.}} | {{ParTBde|3. 10. 14.}} | ||
Nur in ''soweit'' ist der Satz ein Bild eines Sachverhalts, als er logisch gegliedert ist! (Ein einfaches – ungegliedertes – Zeichen kann weder wahr noch falsch sein.) [''Vgl.'' 4.032.] | Nur in ''soweit'' ist der Satz ein Bild eines Sachverhalts, als er logisch gegliedert ist! (Ein einfaches – ungegliedertes – Zeichen kann weder wahr noch falsch sein.)<!-- [''Vgl.'' 4.032.]--> | ||
Der ''Name'' ist ''kein'' Bild des Benannten! | Der ''Name'' ist ''kein'' Bild des Benannten! | ||
Der Satz ''sagt nur insoweit etwas aus'', als er ''ein Bild'' ist! [''S.'' 4.03.] | Der Satz ''sagt nur insoweit etwas aus'', als er ''ein Bild'' ist!<!-- [''S.'' 4.03.]--> | ||
Tautologien sagen nichts aus, sie sind nicht Bilder von Sachverhalten: Sie sind selber logisch vollkommen neutral. (Das logische Produkt einer Tautologie und eines Satzes sagt nicht mehr noch weniger aus als dieser allein.) [''Vgl.'' 4.462 ''u.'' 4.465.] | Tautologien sagen nichts aus, sie sind nicht Bilder von Sachverhalten: Sie sind selber logisch vollkommen neutral. (Das logische Produkt einer Tautologie und eines Satzes sagt nicht mehr noch weniger aus als dieser allein.)<!-- [''Vgl.'' 4.462 ''u.'' 4.465.]--> | ||
Line 245: | Line 245: | ||
{{ParTBde|7. 10. 14.}} | {{ParTBde|7. 10. 14.}} | ||
Wenn ein Satz ''ϕ''a gegeben ist, so sind mit ihm auch ''schon'' alle seine logischen Funktionen (~''ϕ''a etc.) mitgegeben! [''Vgl.'' 5.442.] | Wenn ein Satz ''ϕ''a gegeben ist, so sind mit ihm auch ''schon'' alle seine logischen Funktionen (~''ϕ''a etc.) mitgegeben!<!-- [''Vgl.'' 5.442.]--> | ||
Line 270: | Line 270: | ||
Die Frage nach der Möglichkeit von Existenzsätzen steht nicht in der Mitte sondern am Uranfang der Logik. | Die Frage nach der Möglichkeit von Existenzsätzen steht nicht in der Mitte sondern am Uranfang der Logik. | ||
Alle Probleme, die das "Axiom of Infinity" mit sich bringt, sind schon im Satze "(∃ x) x = x" zu lösen! [''Vgl.'' 5.535.] | Alle Probleme, die das "Axiom of Infinity" mit sich bringt, sind schon im Satze "(∃ x) x = x" zu lösen!<!-- [''Vgl.'' 5.535.]--> | ||
Line 300: | Line 300: | ||
{{ParTBde|13. 10. 14.}} | {{ParTBde|13. 10. 14.}} | ||
Die Logik sorgt für sich selbst; wir müssen ihr nur zusehen, wie sie es macht. [''Vgl.'' 5.473.] | Die Logik sorgt für sich selbst; wir müssen ihr nur zusehen, wie sie es macht.<!-- [''Vgl.'' 5.473.]--> | ||
Betrachten wir den Satz: "Es gibt eine Klasse mit nur einem Glied". Oder, was auf dasselbe hinauskommt, den Satz: | Betrachten wir den Satz: "Es gibt eine Klasse mit nur einem Glied". Oder, was auf dasselbe hinauskommt, den Satz: | ||
Line 352: | Line 352: | ||
Der Satz soll einen Sachverhalt logisch vorbilden. Das kann er aber doch nur dadurch, daß seinen Elementen willkürlich Gegenstände zugeordnet wurden. Wenn dies nun im ganz allgemeinen Satz nicht der Fall ist, so ist nicht einzusehen, wie er etwas außerhalb ihm darstellen soll. | Der Satz soll einen Sachverhalt logisch vorbilden. Das kann er aber doch nur dadurch, daß seinen Elementen willkürlich Gegenstände zugeordnet wurden. Wenn dies nun im ganz allgemeinen Satz nicht der Fall ist, so ist nicht einzusehen, wie er etwas außerhalb ihm darstellen soll. | ||
Im Satze stellen wir – sozusagen – ''zur Probe'' die Dinge zusammen, wie sie sich in Wirklichkeit aber ''nicht'' zu verhalten brauchen, wir können aber nicht etwas ''Unlogisches'' zusammenstellen, denn dazu müßten wir in der Sprache aus der Logik heraus können. – Wenn aber der ganz allgemeine Satz ''nur'' "''logische'' Konstante" enthält, so kann er für uns nicht mehr sein als – einfach – ein logisches Gebilde, und kann nicht mehr tun als uns seine eigenen logischen Eigenschaften zu zeigen. –– Wenn es ganz allgemeine Sätze gibt, – ''was'' stellen wir in ihnen probeweise zusammen?? [''Vgl.'' 4.031 ''u.'' 3.03.] | Im Satze stellen wir – sozusagen – ''zur Probe'' die Dinge zusammen, wie sie sich in Wirklichkeit aber ''nicht'' zu verhalten brauchen, wir können aber nicht etwas ''Unlogisches'' zusammenstellen, denn dazu müßten wir in der Sprache aus der Logik heraus können. – Wenn aber der ganz allgemeine Satz ''nur'' "''logische'' Konstante" enthält, so kann er für uns nicht mehr sein als – einfach – ein logisches Gebilde, und kann nicht mehr tun als uns seine eigenen logischen Eigenschaften zu zeigen. –– Wenn es ganz allgemeine Sätze gibt, – ''was'' stellen wir in ihnen probeweise zusammen??<!-- [''Vgl.'' 4.031 ''u.'' 3.03.]--> | ||
Wenn man sich vor der Wahrheit fürchtet (wie ich jetzt), so ahnt man nie die ''volle'' Wahrheit. | Wenn man sich vor der Wahrheit fürchtet (wie ich jetzt), so ahnt man nie die ''volle'' Wahrheit. | ||
Ich habe hier die Beziehungen der Satz-Elemente zu ihren Bedeutungen gleichsam als Fühler betrachtet, durch welche der Satz mit der Außenwelt in Berührung steht; und das Verallgemeinern eines Satzes gleicht dann dem Einziehen der Fühler; bis endlich der ganz allgemeine Satz ganz isoliert ist. Aber stimmt dieses Bild? (Ziehe ich wirklich einen Fühler ein, wenn ich statt ''ϕ''a, (∃x).''ϕ''x sage?) [''Vgl.'' 2.1515.] | Ich habe hier die Beziehungen der Satz-Elemente zu ihren Bedeutungen gleichsam als Fühler betrachtet, durch welche der Satz mit der Außenwelt in Berührung steht; und das Verallgemeinern eines Satzes gleicht dann dem Einziehen der Fühler; bis endlich der ganz allgemeine Satz ganz isoliert ist. Aber stimmt dieses Bild? (Ziehe ich wirklich einen Fühler ein, wenn ich statt ''ϕ''a, (∃x).''ϕ''x sage?)<!-- [''Vgl.'' 2.1515.]--> | ||
Line 374: | Line 374: | ||
Kann man denn aber nicht die ganze Welt vollständig mit ganz allgemeinen Sätzen beschreiben? (Das Problem zeigt sich von allen Seiten.) | Kann man denn aber nicht die ganze Welt vollständig mit ganz allgemeinen Sätzen beschreiben? (Das Problem zeigt sich von allen Seiten.) | ||
Ja, man könnte die Welt vollständig durch ganz allgemeine Sätze beschreiben, also ganz ohne irgend einen Namen oder sonst ein bezeichnendes Zeichen zu verwenden. Und um auf die gewöhnliche Sprache zu kommen, brauchte man Namen etc. nur dadurch einzuführen, indem man nach einem "(∃x)" sagte "und dieses x ist A" u.s.w. [''Vgl.'' 5.526.] | Ja, man könnte die Welt vollständig durch ganz allgemeine Sätze beschreiben, also ganz ohne irgend einen Namen oder sonst ein bezeichnendes Zeichen zu verwenden. Und um auf die gewöhnliche Sprache zu kommen, brauchte man Namen etc. nur dadurch einzuführen, indem man nach einem "(∃x)" sagte "und dieses x ist A" u.s.w.<!-- [''Vgl.'' 5.526.]--> | ||
Man kann also ein Bild der Welt entwerfen, ohne zu sagen, was was darstellt. | Man kann also ein Bild der Welt entwerfen, ohne zu sagen, was was darstellt. | ||
Line 408: | Line 408: | ||
Beleuchtung von Kants Frage "Wie ist reine Mathematik möglich?" durch die Theorie der Tautologien! | Beleuchtung von Kants Frage "Wie ist reine Mathematik möglich?" durch die Theorie der Tautologien! | ||
Es leuchtet ein, daß man den Bau der Welt ohne irgend welche ''Namen'' zu ''nennen'' beschreiben können muß. [''Vgl.'' 5.526.] | Es leuchtet ein, daß man den Bau der Welt ohne irgend welche ''Namen'' zu ''nennen'' beschreiben können muß.<!-- [''Vgl.'' 5.526.]--> | ||
Line 415: | Line 415: | ||
Aus dem Satz muß man den logischen Bau des Sachverhaltes ersehen, der ihn wahr oder falsch macht. (Wie ein Bild zeigen muß, in welchen räumlichen Beziehungen die darauf wiedergegebenen Dinge stehen müssen, wenn das Bild richtig (wahr) ist.) | Aus dem Satz muß man den logischen Bau des Sachverhaltes ersehen, der ihn wahr oder falsch macht. (Wie ein Bild zeigen muß, in welchen räumlichen Beziehungen die darauf wiedergegebenen Dinge stehen müssen, wenn das Bild richtig (wahr) ist.) | ||
Die Form eines Bildes könnte man dasjenige nennen, worin das Bild mit der Wirklichkeit stimmen MUSS (um sie überhaupt abbilden zu können). [''Vgl.'' 2.17 ''u.'' 2.18.] | Die Form eines Bildes könnte man dasjenige nennen, worin das Bild mit der Wirklichkeit stimmen MUSS (um sie überhaupt abbilden zu können).<!-- [''Vgl.'' 2.17 ''u.'' 2.18.]--> | ||
Die Theorie der logischen Abbildung durch die Sprache gibt als erste einen Aufschluß über das Wesen der Wahrheits-Beziehung. | Die Theorie der logischen Abbildung durch die Sprache gibt als erste einen Aufschluß über das Wesen der Wahrheits-Beziehung. | ||
Die Theorie der logischen Abbildung durch die Sprache sagt – ganz allgemein: Damit es möglich ist, daß ein Satz wahr oder falsch sei – daß er mit der Wirklichkeit übereinstimme oder nicht – dazu muß im Satze etwas mit der Wirklichkeit ''identisch'' sein. [''Vgl.'' 2.18.] | Die Theorie der logischen Abbildung durch die Sprache sagt – ganz allgemein: Damit es möglich ist, daß ein Satz wahr oder falsch sei – daß er mit der Wirklichkeit übereinstimme oder nicht – dazu muß im Satze etwas mit der Wirklichkeit ''identisch'' sein.<!-- [''Vgl.'' 2.18.]--> | ||
Das was in "~p" verneint, ist nicht das "~" vor dem "p" sondern dasjenige, was allen Zeichen, die in dieser Notation mit "~p" gleichbedeutend sind, gemeinsam ist; also das Gemeinsame von | Das was in "~p" verneint, ist nicht das "~" vor dem "p" sondern dasjenige, was allen Zeichen, die in dieser Notation mit "~p" gleichbedeutend sind, gemeinsam ist; also das Gemeinsame von | ||
Line 445: | Line 445: | ||
</p> | </p> | ||
[''Vgl.'' 5.512.] | <!--[''Vgl.'' 5.512.]--> | ||
Scheinsätze sind solche, die, wenn analysiert, das, was sie ''sagen'' sollten, doch nur wieder ''zeigen.'' | Scheinsätze sind solche, die, wenn analysiert, das, was sie ''sagen'' sollten, doch nur wieder ''zeigen.'' | ||
Line 451: | Line 451: | ||
Das Gefühl, daß der Satz einen Komplex auf die Art der Russellschen Beschreibungen beschreibe, rechtfertigt sich jetzt: Der Satz beschreibt den Komplex durch seine logischen Eigenschaften. | Das Gefühl, daß der Satz einen Komplex auf die Art der Russellschen Beschreibungen beschreibe, rechtfertigt sich jetzt: Der Satz beschreibt den Komplex durch seine logischen Eigenschaften. | ||
Der Satz konstruiert eine Welt mit Hilfe seines logischen Gerüstes, und darum kann man am Satz auch sehen, wie sich alles Logische verhielte, wenn er wahr wäre: man kann aus einem falschen Satz ''Schlüsse ziehen'' etc. (So kann ich sehen daß, wenn "(x,''ϕ'').''ϕ''x" wahr wäre, dieser Satz im Widerspruch stünde mit einem Satze "''ψ''a".) [''Vgl.'' 4.023.] | Der Satz konstruiert eine Welt mit Hilfe seines logischen Gerüstes, und darum kann man am Satz auch sehen, wie sich alles Logische verhielte, wenn er wahr wäre: man kann aus einem falschen Satz ''Schlüsse ziehen'' etc. (So kann ich sehen daß, wenn "(x,''ϕ'').''ϕ''x" wahr wäre, dieser Satz im Widerspruch stünde mit einem Satze "''ψ''a".)<!-- [''Vgl.'' 4.023.]--> | ||
Daß sich von materiellen Sätzen auf ganz allgemeine Sätze schließen läßt – daß diese zu jenen in ''bedeutungsvollen'' internen Beziehungen stehen können – zeigt, daß die ganz allgemeinen Sätze logische Konstruktionen von Sachverhalten sind. | Daß sich von materiellen Sätzen auf ganz allgemeine Sätze schließen läßt – daß diese zu jenen in ''bedeutungsvollen'' internen Beziehungen stehen können – zeigt, daß die ganz allgemeinen Sätze logische Konstruktionen von Sachverhalten sind. | ||
Line 468: | Line 468: | ||
:<math>0 = \widehat{\hat{u}(\phi u)} \{(x)\sim \phi x\}</math>.)<!--<ref>Gesprochen: Die Klasse aller derjenigen Klassen der Elemente ''u'', für welche ''ϕ''u, für welche kein Element ''ϕ'' ist. (Herausg.)</ref>--> | :<math>0 = \widehat{\hat{u}(\phi u)} \{(x)\sim \phi x\}</math>.)<!--<ref>Gesprochen: Die Klasse aller derjenigen Klassen der Elemente ''u'', für welche ''ϕ''u, für welche kein Element ''ϕ'' ist. (Herausg.)</ref>--> | ||
Der Satz muß die ''Möglichhit seiner Wahrheit enthalten'' (und so zeigen). Aber nicht mehr als die ''Möglichkeit.'' [''Vgl.'' 2.203'' u.'' 3.02 ''u.'' 3.13.] | Der Satz muß die ''Möglichhit seiner Wahrheit enthalten'' (und so zeigen). Aber nicht mehr als die ''Möglichkeit.''<!-- [''Vgl.'' 2.203'' u.'' 3.02 ''u.'' 3.13.]--> | ||
Nach meiner Definition der Klassen ist <math>(x). \sim \hat{x}(\phi x)</math> die Aussage, daß <math>\hat{x}(\phi x)</math> null ist, und die Definition der Null ist dann <math>0 = \hat{\alpha} [(x). \sim \alpha ] \text{ Def.}</math> | Nach meiner Definition der Klassen ist <math>(x). \sim \hat{x}(\phi x)</math> die Aussage, daß <math>\hat{x}(\phi x)</math> null ist, und die Definition der Null ist dann <math>0 = \hat{\alpha} [(x). \sim \alpha ] \text{ Def.}</math> | ||
Line 496: | Line 496: | ||
Wie, wenn unsere Zeichen ebenso unbestimmt wären, wie die Welt, welche sie spiegeln? | Wie, wenn unsere Zeichen ebenso unbestimmt wären, wie die Welt, welche sie spiegeln? | ||
Um das Zeichen im Zeichen zu erkennen, muß man auf den Gebrauch achten. [''Vgl.'' 3.326.] | Um das Zeichen im Zeichen zu erkennen, muß man auf den Gebrauch achten.<!-- [''Vgl.'' 3.326.]--> | ||
Wollten wir dasjenige, welches wir durch "(x).''ϕ''x" ausdrücken, durch das Vorsetzen eines Index vor "''ϕ''x" ausdrücken, etwa so "Alg. ''ϕ''x", es würde nicht genügen (wir wüßten nicht, was verallgemeinert wurde). | Wollten wir dasjenige, welches wir durch "(x).''ϕ''x" ausdrücken, durch das Vorsetzen eines Index vor "''ϕ''x" ausdrücken, etwa so "Alg. ''ϕ''x", es würde nicht genügen (wir wüßten nicht, was verallgemeinert wurde). | ||
Line 504: | Line 504: | ||
Wollten wir es durch Einfüllen einer Marke in die leeren Argumentstellen versuchen, etwa so "(A, A).''ψ''(A, A)", es würde nicht genügen (wir könnten die Identität der Variablen nicht feststellen). | Wollten wir es durch Einfüllen einer Marke in die leeren Argumentstellen versuchen, etwa so "(A, A).''ψ''(A, A)", es würde nicht genügen (wir könnten die Identität der Variablen nicht feststellen). | ||
Alle diese Bezeichnungsweisen genügen nicht, ''weil sie nicht die notwendigen logischen Eigenschaften haben.'' Alle jene Zeichenverbindungen vermögen den gewünschten Sinn – auf die vorgeschlagene Weise – nicht abzubilden. [''Vgl.'' 4.0411.] | Alle diese Bezeichnungsweisen genügen nicht, ''weil sie nicht die notwendigen logischen Eigenschaften haben.'' Alle jene Zeichenverbindungen vermögen den gewünschten Sinn – auf die vorgeschlagene Weise – nicht abzubilden.<!-- [''Vgl.'' 4.0411.]--> | ||
{{ParTBde|24. 10. 14.}} | {{ParTBde|24. 10. 14.}} | ||
Um überhaupt eine Aussage machen zu können, müssen wir – in einem Sinne – wissen, wie es sich verhält, wenn die Aussage wahr ist (und dies bilden wir eben ab). [''Vgl.'' 4.024.] | Um überhaupt eine Aussage machen zu können, müssen wir – in einem Sinne – wissen, wie es sich verhält, wenn die Aussage wahr ist (und dies bilden wir eben ab).<!-- [''Vgl.'' 4.024.]--> | ||
Der Satz ''drückt aus'', was ich nicht weiß, was ich aber doch wissen muß, um ihn überhaupt aussagen zu können, das ''zeige ich in ihm.'' | Der Satz ''drückt aus'', was ich nicht weiß, was ich aber doch wissen muß, um ihn überhaupt aussagen zu können, das ''zeige ich in ihm.'' | ||
Line 543: | Line 543: | ||
Es handelt sich ja nur darum, daß das Logische des Bezeichneten durch das Logische des Zeichens und der Bezeichnungsweise allein vollständig bestimmt ist. Man könnte sagen: Zeichen und Bezeichnungsweise ''zusammen'' müssen mit dem Bezeichneten logisch identisch sein. | Es handelt sich ja nur darum, daß das Logische des Bezeichneten durch das Logische des Zeichens und der Bezeichnungsweise allein vollständig bestimmt ist. Man könnte sagen: Zeichen und Bezeichnungsweise ''zusammen'' müssen mit dem Bezeichneten logisch identisch sein. | ||
Der Sinn des Satzes ist das, was er vorstellt. [''Vgl.'' 2.221.] | Der Sinn des Satzes ist das, was er vorstellt.<!-- [''Vgl.'' 2.221.]--> | ||
{{ParTBde|27. 10. 14.}} | {{ParTBde|27. 10. 14.}} | ||
Line 559: | Line 559: | ||
Wie geschieht die unpersönliche Darstellung der Welt? | Wie geschieht die unpersönliche Darstellung der Welt? | ||
Der Satz ist ein Modell der Wirklichkeit, so wie wir sie uns denken. [''S.'' 4.01.] | Der Satz ist ein Modell der Wirklichkeit, so wie wir sie uns denken.<!-- [''S.'' 4.01.]--> | ||
Line 568: | Line 568: | ||
Das, was die ganz allgemeinen Sätze beschreiben, sind allerdings in gewissem Sinne strukturelle Eigenschaften der Welt. Dennoch können diese Sätze noch immer wahr oder falsch sein. Auch nachdem sie ''Sinn haben'', bleibt der Welt noch immer jener Spielraum. | Das, was die ganz allgemeinen Sätze beschreiben, sind allerdings in gewissem Sinne strukturelle Eigenschaften der Welt. Dennoch können diese Sätze noch immer wahr oder falsch sein. Auch nachdem sie ''Sinn haben'', bleibt der Welt noch immer jener Spielraum. | ||
Schließlich verändert ja die Wahr- oder Falschheit ''jedes'' Satzes etwas an der allgemeinen ''Struktur'' der Welt. Und der Spielraum, der ihrer Struktur durch die GESAMTHEIT aller Elementarsätze gelassen wird, ist eben derjenige, welchen die ganz allgemeinen Sätze begrenzen. [''Vgl.'' 5.5262.] | Schließlich verändert ja die Wahr- oder Falschheit ''jedes'' Satzes etwas an der allgemeinen ''Struktur'' der Welt. Und der Spielraum, der ihrer Struktur durch die GESAMTHEIT aller Elementarsätze gelassen wird, ist eben derjenige, welchen die ganz allgemeinen Sätze begrenzen.<!-- [''Vgl.'' 5.5262.]--> | ||
{{ParTBde|29. 10. 14.}} | {{ParTBde|29. 10. 14.}} | ||
Denn, wenn ein Elementarsatz wahr ist, so ist doch jedenfalls ''ein'' Elementarsatz ''mehr.'' [''S.'' 5.5262.] | Denn, wenn ein Elementarsatz wahr ist, so ist doch jedenfalls ''ein'' Elementarsatz ''mehr.''<!-- [''S.'' 5.5262.]--> | ||
Damit ein Satz wahr sei, muß er vor allem wahr sein ''können'', und nur das geht die Logik etwas an. | Damit ein Satz wahr sei, muß er vor allem wahr sein ''können'', und nur das geht die Logik etwas an. | ||
Line 579: | Line 579: | ||
Der Satz muß zeigen, was er sagen will. – Er muß sich zu seiner Bedeutung ähnlich verhalten, wie eine Beschreibung zu ihrem Gegenstand. | Der Satz muß zeigen, was er sagen will. – Er muß sich zu seiner Bedeutung ähnlich verhalten, wie eine Beschreibung zu ihrem Gegenstand. | ||
Die logische Form des Sachverhaltes aber, läßt sich nicht beschreiben. –– [''Vgl.'' 4.12 ''u.'' 4.121.] | Die logische Form des Sachverhaltes aber, läßt sich nicht beschreiben. ––<!-- [''Vgl.'' 4.12 ''u.'' 4.121.]--> | ||
Die interne Relation zwischen dem Satz und seiner Bedeutung, die Bezeichnungsweise – ist das System von Koordinaten, das den Sachverhalt in dem Satz abbildet. Der Satz entspricht den Grundkoordinaten. | Die interne Relation zwischen dem Satz und seiner Bedeutung, die Bezeichnungsweise – ist das System von Koordinaten, das den Sachverhalt in dem Satz abbildet. Der Satz entspricht den Grundkoordinaten. | ||
Line 612: | Line 612: | ||
''Jeder Satz'' kann verneint werden. Und das zeigt, daß für alle Sätze "Wahr" und "Falsch" dasselbe bedeuten. (Dies ist von allerhöchster Wichtigkeit.) (Im Gegensatz zu Russell.) | ''Jeder Satz'' kann verneint werden. Und das zeigt, daß für alle Sätze "Wahr" und "Falsch" dasselbe bedeuten. (Dies ist von allerhöchster Wichtigkeit.) (Im Gegensatz zu Russell.) | ||
Die Bedeutung des Satzes muß durch ''ihn und seine Darstellungsweise'' auf ja oder nein fixiert sein. [''Vgl.'' 4.023.] | Die Bedeutung des Satzes muß durch ''ihn und seine Darstellungsweise'' auf ja oder nein fixiert sein.<!-- [''Vgl.'' 4.023.]--> | ||
In der Logik gibt es kein Nebeneinander, kann es keine Klassifikation geben! [''S.'' 5.454.] | In der Logik gibt es kein Nebeneinander, kann es keine Klassifikation geben!<!-- [''S.'' 5.454.]--> | ||
{{ParTBde|31. 10. 14.}} | {{ParTBde|31. 10. 14.}} | ||
Ein Satz wie "(∃x,''ϕ'').''ϕ''x" ist gerade so gut zusammengesetzt wie ein elementarer; dies zeigt sich darin, daß wir in der Klammer "''ϕ''" und "x" ''extra'' erwähnen müssen. Beide stehen – unabhängig – in bezeichnenden Beziehungen zur Welt, gerade wie im Falle eines Elementarsatzes "''ψ''a". [''Vgl.'' 5.5261.] | Ein Satz wie "(∃x,''ϕ'').''ϕ''x" ist gerade so gut zusammengesetzt wie ein elementarer; dies zeigt sich darin, daß wir in der Klammer "''ϕ''" und "x" ''extra'' erwähnen müssen. Beide stehen – unabhängig – in bezeichnenden Beziehungen zur Welt, gerade wie im Falle eines Elementarsatzes "''ψ''a".<!-- [''Vgl.'' 5.5261.]--> | ||
Verhält es sich nicht so: Die logischen Konstanten charakterisieren die Darstellungsweise der Elementarformen des Satzes? | Verhält es sich nicht so: Die logischen Konstanten charakterisieren die Darstellungsweise der Elementarformen des Satzes? | ||
Die Bedeutung des Satzes muß durch ihn und seine Darstellungsweise auf ja oder nein fixiert sein. Dazu muß sie durch ihn vollständig beschrieben sein. [''Vgl.'' 4.023.] | Die Bedeutung des Satzes muß durch ihn und seine Darstellungsweise auf ja oder nein fixiert sein. Dazu muß sie durch ihn vollständig beschrieben sein.<!-- [''Vgl.'' 4.023.]--> | ||
Die Darstellungsweise bildet ''nicht'' ab; nur der Satz ist Bild. | Die Darstellungsweise bildet ''nicht'' ab; nur der Satz ist Bild. | ||
Line 642: | Line 642: | ||
Untersuche doch den Elementarsatz: welches ist denn die Form von "''ϕ''a" und wie verhält sie sich zu "~''ϕ''a". | Untersuche doch den Elementarsatz: welches ist denn die Form von "''ϕ''a" und wie verhält sie sich zu "~''ϕ''a". | ||
Jener Präzedenzfall, auf den man sich immer berufen möchte, muß schon im Zeichen selber liegen. [''Vgl.'' 5.525.] | Jener Präzedenzfall, auf den man sich immer berufen möchte, muß schon im Zeichen selber liegen.<!-- [''Vgl.'' 5.525.]--> | ||
Die logische Form des Satzes muß schon durch die Formen seiner Bestandteile gegeben sein. (Und diese haben nur mit dem ''Sinn'' der Sätze, nicht mit ihrer Wahr- und Falschheit zu tun.) | Die logische Form des Satzes muß schon durch die Formen seiner Bestandteile gegeben sein. (Und diese haben nur mit dem ''Sinn'' der Sätze, nicht mit ihrer Wahr- und Falschheit zu tun.) | ||
Line 652: | Line 652: | ||
Analogie zwischen Satz und Beschreibung: ''Der Komplex, welcher'' mit diesem Zeichen kongruent ist. (Genau so in der graphischen Darstellung.) | Analogie zwischen Satz und Beschreibung: ''Der Komplex, welcher'' mit diesem Zeichen kongruent ist. (Genau so in der graphischen Darstellung.) | ||
Nur kann man eben nicht ''sagen'', dieser Komplex ist mit jenem kongruent (oder dergleichen), sondern dies zeigt sich. Und daher nimmt auch die Beschreibung einen anderen Charakter an. [''Vgl.'' 4.023.] | Nur kann man eben nicht ''sagen'', dieser Komplex ist mit jenem kongruent (oder dergleichen), sondern dies zeigt sich. Und daher nimmt auch die Beschreibung einen anderen Charakter an.<!-- [''Vgl.'' 4.023.]--> | ||
Es muß ja die Abbildungsmethode vollkommen bestimmt sein ehe man überhaupt die Wirklichkeit mit dem Satze vergleichen kann, um zu sehen, ob er wahr oder falsch ist. Die Vergleichsmethode muß mir gegeben sein, ehe ich vergleichen kann. | Es muß ja die Abbildungsmethode vollkommen bestimmt sein ehe man überhaupt die Wirklichkeit mit dem Satze vergleichen kann, um zu sehen, ob er wahr oder falsch ist. Die Vergleichsmethode muß mir gegeben sein, ehe ich vergleichen kann. | ||
Line 666: | Line 666: | ||
Nur sich nicht in Teilfragen verstricken, sondern immer dort hinaus flüchten, wo man freien Überblick über das ganze ''eine'' große Problem hat, wenn auch dieser Überblick noch unklar ist! | Nur sich nicht in Teilfragen verstricken, sondern immer dort hinaus flüchten, wo man freien Überblick über das ganze ''eine'' große Problem hat, wenn auch dieser Überblick noch unklar ist! | ||
"Ein Sachverhalt ist denkbar" ("vorstellbar") heißt: Wir können uns ein Bild von ihm machen. [''S.'' 3.001.] | "Ein Sachverhalt ist denkbar" ("vorstellbar") heißt: Wir können uns ein Bild von ihm machen.<!-- [''S.'' 3.001.]--> | ||
Der Satz muß einen logischen Ort bestimmen. | Der Satz muß einen logischen Ort bestimmen. | ||
Die Existenz dieses logischen Orts ist durch die Existenz der Bestandteile allein verbürgt, durch die Existenz des sinnvollen Satzes. Wenn auch kein Komplex in dem logischen Ort ist, so ist doch Einer: nicht in dem logischen Ort. [''Vgl.'' 3.4.] | Die Existenz dieses logischen Orts ist durch die Existenz der Bestandteile allein verbürgt, durch die Existenz des sinnvollen Satzes. Wenn auch kein Komplex in dem logischen Ort ist, so ist doch Einer: nicht in dem logischen Ort.<!-- [''Vgl.'' 3.4.]--> | ||
{{ParTBde|2. 11. 14.}} | {{ParTBde|2. 11. 14.}} | ||
In der Tautologie heben die Bedingungen der Übereinstimmung mit der Welt (die Wahrheitsbedingungen) – die darstellenden Beziehungen – einander auf, sodaß sie in keiner darstellenden Beziehung zur Wirklichkeit steht (nichts sagt.). [''Vgl.'' 4.462.] | In der Tautologie heben die Bedingungen der Übereinstimmung mit der Welt (die Wahrheitsbedingungen) – die darstellenden Beziehungen – einander auf, sodaß sie in keiner darstellenden Beziehung zur Wirklichkeit steht (nichts sagt.).<!-- [''Vgl.'' 4.462.]--> | ||
a = a ist nicht in demselben Sinne eine Tautologie wie p ⊃ p. Daß ein Satz wahr ist, besteht nicht darin, daß er eine ''bestimmte'' Beziehung zur Wirklichkeit hat, sondern darin, daß er zu ihr eine bestimmte Beziehung wirklich ''hat.'' | a = a ist nicht in demselben Sinne eine Tautologie wie p ⊃ p. Daß ein Satz wahr ist, besteht nicht darin, daß er eine ''bestimmte'' Beziehung zur Wirklichkeit hat, sondern darin, daß er zu ihr eine bestimmte Beziehung wirklich ''hat.'' | ||
Line 686: | Line 686: | ||
{{ParTBde|3. 11. 14.}} | {{ParTBde|3. 11. 14.}} | ||
Damit es den negativen Sachverhalt geben kann, muß es das Bild des positiven geben. [''Vgl.'' 5.5151.] | Damit es den negativen Sachverhalt geben kann, muß es das Bild des positiven geben.<!-- [''Vgl.'' 5.5151.]--> | ||
Die Kenntnis der darstellenden Relation ''darf'' sich ja auch nur auf die Kenntnis der Bestandteile des Sachverhalts gründen! | Die Kenntnis der darstellenden Relation ''darf'' sich ja auch nur auf die Kenntnis der Bestandteile des Sachverhalts gründen! | ||
Line 694: | Line 694: | ||
Auch dies ist streng genommen nicht richtig, da wir kein bestimmtes Subjekt oder Prädikat zu kennen brauchen. | Auch dies ist streng genommen nicht richtig, da wir kein bestimmtes Subjekt oder Prädikat zu kennen brauchen. | ||
''Offenbar'', daß wir den Elementarsatz als das Bild eines Sachverhalts empfinden. – Wie geht das zu? [''Vgl.'' 4.012.] | ''Offenbar'', daß wir den Elementarsatz als das Bild eines Sachverhalts empfinden. – Wie geht das zu?<!-- [''Vgl.'' 4.012.]--> | ||
Muß nicht die Möglichkeit der darstellenden Beziehung durch den Satz ''selbst'' gegeben sein? | Muß nicht die Möglichkeit der darstellenden Beziehung durch den Satz ''selbst'' gegeben sein? | ||
Line 708: | Line 708: | ||
Was gesagt werden kann, kann mir durch einen Satz gesagt werden, also kann nichts, was zum Verständnis ''aller'' Sätze nötig ist, gesagt werden. | Was gesagt werden kann, kann mir durch einen Satz gesagt werden, also kann nichts, was zum Verständnis ''aller'' Sätze nötig ist, gesagt werden. | ||
Jene willkürliche Zuordnung von Zeichen und Bezeichnetem, die die Möglichkeit der Sätze bedingt, und die ich in den ganz allgemeinen Sätzen vermißte, geschieht dort durch die Allgemeinheitsbezeichnung geradeso wie beim Elementarsatz durch Namen (denn die Allgemeinheitsbezeichnung gehört nicht zum ''Bild''). Daher empfand man auch immer, daß die Allgemeinheit ganz wie ein Argument auftritt. [''Vgl.'' 5.523.] | Jene willkürliche Zuordnung von Zeichen und Bezeichnetem, die die Möglichkeit der Sätze bedingt, und die ich in den ganz allgemeinen Sätzen vermißte, geschieht dort durch die Allgemeinheitsbezeichnung geradeso wie beim Elementarsatz durch Namen (denn die Allgemeinheitsbezeichnung gehört nicht zum ''Bild''). Daher empfand man auch immer, daß die Allgemeinheit ganz wie ein Argument auftritt.<!-- [''Vgl.'' 5.523.]--> | ||
Verneinen kann man nur einen fertigen Satz. (Ähnliches gilt von allen ab-Funktionen.<!--<ref>ab-Funktionen sind die Wahrheitsfunktionen. S. Appendix I. (Herausg.)</ref>-->) [''Vgl.'' 4.064 ''u.'' 4.0641.] | Verneinen kann man nur einen fertigen Satz. (Ähnliches gilt von allen ab-Funktionen.<!--<ref>ab-Funktionen sind die Wahrheitsfunktionen. S. Appendix I. (Herausg.)</ref>-->)<!-- [''Vgl.'' 4.064 ''u.'' 4.0641.]--> | ||
Der Satz ist das logische Bild eines Sachverhaltes. | Der Satz ist das logische Bild eines Sachverhaltes. | ||
Die Verneinung bezieht sich auf den ''fertigen'' Sinn des verneinten Satzes und nicht auf dessen Darstellungsweise. [''Vgl.'' 4.064 ''u.'' 4.0641.] | Die Verneinung bezieht sich auf den ''fertigen'' Sinn des verneinten Satzes und nicht auf dessen Darstellungsweise.<!-- [''Vgl.'' 4.064 ''u.'' 4.0641.]--> | ||
Wenn ein Bild auf die vorhin erwähnte Weise darstellt was-nicht-der-Fall-ist, so geschieht dies auch nur dadurch, daß es ''dasjenige'' darstellt, das nicht der Fall ''ist.'' | Wenn ein Bild auf die vorhin erwähnte Weise darstellt was-nicht-der-Fall-ist, so geschieht dies auch nur dadurch, daß es ''dasjenige'' darstellt, das nicht der Fall ''ist.'' | ||
Line 720: | Line 720: | ||
Denn das Bild sagt gleichsam: "''so'' ist es ''nicht''", und auf die Frage "''wie'' ist es nicht?" ist eben die Antwort der positive Satz. | Denn das Bild sagt gleichsam: "''so'' ist es ''nicht''", und auf die Frage "''wie'' ist es nicht?" ist eben die Antwort der positive Satz. | ||
Man könnte sagen: Die Verneinung bezieht sich schon auf den logischen Ort, den der verneinte Satz bestimmt. [''S.'' 4.0641.] | Man könnte sagen: Die Verneinung bezieht sich schon auf den logischen Ort, den der verneinte Satz bestimmt.<!-- [''S.'' 4.0641.]--> | ||
Nur den festen Grund, auf dem man einmal gestanden ist, nicht verlieren! | Nur den festen Grund, auf dem man einmal gestanden ist, nicht verlieren! | ||
Der verneinende Satz bestimmt einen ''anderen'' logischen Ort als der verneinte. [''S.'' 4.0641.] | Der verneinende Satz bestimmt einen ''anderen'' logischen Ort als der verneinte.<!-- [''S.'' 4.0641.]--> | ||
Der verneinte Satz zieht nicht nur die Grenzlinie zwischen dem verneinten Gebiet und dem übrigen, sondern er deutet auch schon auf das verneinte Gebiet. | Der verneinte Satz zieht nicht nur die Grenzlinie zwischen dem verneinten Gebiet und dem übrigen, sondern er deutet auch schon auf das verneinte Gebiet. | ||
Der verneinende Satz bestimmt seinen logischen Ort mit Hilfe des logischen Ortes des verneinten Satzes. Indem er jenen als den außerhalb diesem liegenden beschreibt. [''S.'' 4.0641.] | Der verneinende Satz bestimmt seinen logischen Ort mit Hilfe des logischen Ortes des verneinten Satzes. Indem er jenen als den außerhalb diesem liegenden beschreibt.<!-- [''S.'' 4.0641.]--> | ||
Der Satz ist wahr, wenn es das gibt, was er vorstellt. | Der Satz ist wahr, wenn es das gibt, was er vorstellt. | ||
Line 740: | Line 740: | ||
Selbst ist es doch nicht der Sachverhalt, ja dieser braucht gar nicht der Fall zu sein. | Selbst ist es doch nicht der Sachverhalt, ja dieser braucht gar nicht der Fall zu sein. | ||
Ein Name repräsentiert ein Ding, ein anderer ein anderes Ding und selbst sind sie verbunden; so stellt das Ganze – wie ein lebendes Bild – den Sachverhalt vor. [''Vgl.'' 4.0311.] | Ein Name repräsentiert ein Ding, ein anderer ein anderes Ding und selbst sind sie verbunden; so stellt das Ganze – wie ein lebendes Bild – den Sachverhalt vor.<!-- [''Vgl.'' 4.0311.]--> | ||
Die logische Verbindung muß natürlich unter den repräsentierten Dingen möglich sein, und dies wird immer der Fall sein, wenn die Dinge wirklich repräsentiert sind. Wohlgemerkt, jene Verbindung ist keine Relation, sondern nur das ''Bestehen'' einer Relation. | Die logische Verbindung muß natürlich unter den repräsentierten Dingen möglich sein, und dies wird immer der Fall sein, wenn die Dinge wirklich repräsentiert sind. Wohlgemerkt, jene Verbindung ist keine Relation, sondern nur das ''Bestehen'' einer Relation. | ||
Line 757: | Line 757: | ||
Das Satzzeichen verbürgt die Möglichkeit der Tatsache, welche es darstellt (nicht, daß diese Tatsache wirklich der Fall ist), das gilt auch für die allgemeinen Sätze. | Das Satzzeichen verbürgt die Möglichkeit der Tatsache, welche es darstellt (nicht, daß diese Tatsache wirklich der Fall ist), das gilt auch für die allgemeinen Sätze. | ||
Denn, wenn die positive Tatsache ''ϕ''a gegeben ist, dann ist auch die ''Möglichkeit'' für (x).''ϕ''x, ~(∃x).''ϕ''x, ~''ϕ''a etc. etc. gegeben. (Alle logischen Konstanten sind bereits im Elementarsatz enthalten.) [''Vgl.'' 5.47.] | Denn, wenn die positive Tatsache ''ϕ''a gegeben ist, dann ist auch die ''Möglichkeit'' für (x).''ϕ''x, ~(∃x).''ϕ''x, ~''ϕ''a etc. etc. gegeben. (Alle logischen Konstanten sind bereits im Elementarsatz enthalten.)<!-- [''Vgl.'' 5.47.]--> | ||
So entsteht das Bild. | So entsteht das Bild. | ||
Line 770: | Line 770: | ||
Und der Fall ist hier ganz der gleiche, wie bei ~''ϕ''a, obwohl das Bild von dem handelt, was nicht geschehen ''soll'', statt von dem, was nicht geschieht. | Und der Fall ist hier ganz der gleiche, wie bei ~''ϕ''a, obwohl das Bild von dem handelt, was nicht geschehen ''soll'', statt von dem, was nicht geschieht. | ||
Daß man den verneinten Satz wieder verneinen kann, zeigt, daß das, was verneint wird, schon ein Satz und nicht erst die Vorbereitung zu einem Satz ist. [''S.'' 4.0641.] | Daß man den verneinten Satz wieder verneinen kann, zeigt, daß das, was verneint wird, schon ein Satz und nicht erst die Vorbereitung zu einem Satz ist.<!-- [''S.'' 4.0641.]--> | ||
Könnte man sagen: Hier ist das Bild, aber ob es stimmt oder nicht, kann man nicht sagen, ehe man weiß, was damit gesagt sein soll? | Könnte man sagen: Hier ist das Bild, aber ob es stimmt oder nicht, kann man nicht sagen, ehe man weiß, was damit gesagt sein soll? | ||
Line 779: | Line 779: | ||
{{ParTBde|7. 11. 14.}} | {{ParTBde|7. 11. 14.}} | ||
Der räumliche und der logische Ort stimmen darin überein, daß beide die Möglichkeit einer Existenz sind. [''Vgl.'' 3.411.] | Der räumliche und der logische Ort stimmen darin überein, daß beide die Möglichkeit einer Existenz sind.<!-- [''Vgl.'' 3.411.]--> | ||
{{ParTBde|8. 11. 14.}} | {{ParTBde|8. 11. 14.}} | ||
Was sich in den Sätzen über Wahrscheinlichkeit durch das Experiment bestätigen läßt, kann unmöglich Mathematik sein! [''Vgl.'' 5.154.] | Was sich in den Sätzen über Wahrscheinlichkeit durch das Experiment bestätigen läßt, kann unmöglich Mathematik sein!<!-- [''Vgl.'' 5.154.]--> | ||
Wahrscheinlichkeitssätze sind Auszüge naturwissenschaftlicher Gesetze. [''Vgl.'' 5.156.] | Wahrscheinlichkeitssätze sind Auszüge naturwissenschaftlicher Gesetze.<!-- [''Vgl.'' 5.156.]--> | ||
Sie sind Verallgemeinerungen und drücken eine unvollständige Kenntnis jener Gesetze aus. [''Vgl.'' 5.156.] | Sie sind Verallgemeinerungen und drücken eine unvollständige Kenntnis jener Gesetze aus.<!-- [''Vgl.'' 5.156.]--> | ||
Wenn ich z. B. schwarze und weiße Ballen aus einer Urne ziehe, so kann ich nicht vor einem Zug sagen, ob ich einen weißen oder schwarzen Ballen ziehen werde, da ich hierzu die Naturgesetze nicht genau genug kenne; aber ''das weiß ich doch'', daß, im Falle gleich viel schwarze und weiße Ballen vorhanden sind, die Zahl der gezogenen schwarzen sich der der weißen bei fortgesetztem Ziehen nähern wird, ''so'' genau kenne ich die Naturgesetze eben ''doch.'' [''Vgl.'' 5.154.] | Wenn ich z. B. schwarze und weiße Ballen aus einer Urne ziehe, so kann ich nicht vor einem Zug sagen, ob ich einen weißen oder schwarzen Ballen ziehen werde, da ich hierzu die Naturgesetze nicht genau genug kenne; aber ''das weiß ich doch'', daß, im Falle gleich viel schwarze und weiße Ballen vorhanden sind, die Zahl der gezogenen schwarzen sich der der weißen bei fortgesetztem Ziehen nähern wird, ''so'' genau kenne ich die Naturgesetze eben ''doch.''<!-- [''Vgl.'' 5.154.]--> | ||
{{ParTBde|9. 11. 14.}} | {{ParTBde|9. 11. 14.}} | ||
Was ich nun in den Wahrscheinlichkeitssätzen kenne, sind gewisse allgemeine Eigenschaften der unverallgemeinerten naturwissenschaftlichen Sätze, wie z. B. ihre Symmetrie in gewissen Beziehungen, ihre Asymmetrie in anderen etc. [''Vgl.'' 5.156.] | Was ich nun in den Wahrscheinlichkeitssätzen kenne, sind gewisse allgemeine Eigenschaften der unverallgemeinerten naturwissenschaftlichen Sätze, wie z. B. ihre Symmetrie in gewissen Beziehungen, ihre Asymmetrie in anderen etc.<!-- [''Vgl.'' 5.156.]--> | ||
Vexierbilder und das Sehen von Sachverhalten. [''Vgl.'' 5.5423.] | Vexierbilder und das Sehen von Sachverhalten.<!-- [''Vgl.'' 5.5423.]--> | ||
Es war das, was ich mein starkes scholastisches Gefühl nennen möchte, was die Ursache meiner besten Entdeckungen war. | Es war das, was ich mein starkes scholastisches Gefühl nennen möchte, was die Ursache meiner besten Entdeckungen war. | ||
Line 812: | Line 812: | ||
Wenn ich sage "p ist möglich", heißt das "'p' hat einen Sinn"? Redet jener Satz von der Sprache, sodaß also für seinen Sinn die Existenz eines Satzzeichens ("p") wesentlich ist? (Dann wäre er ganz unwichtig.) Aber will er nicht vielmehr das sagen, was "p ∨ ~p" zeigt? | Wenn ich sage "p ist möglich", heißt das "'p' hat einen Sinn"? Redet jener Satz von der Sprache, sodaß also für seinen Sinn die Existenz eines Satzzeichens ("p") wesentlich ist? (Dann wäre er ganz unwichtig.) Aber will er nicht vielmehr das sagen, was "p ∨ ~p" zeigt? | ||
Entspricht nicht mein Studium der Zeichensprache dem Studium der Denkprozesse, welches die Philosophen für die Philosophie der Logik immer für so wesentlich hielten? – Nur verwickelten sie sich immer in unwesentliche psychologische Untersuchungen und eine analoge Gefahr gibt es auch bei meiner Methode. [''S''. 4.1121.] | Entspricht nicht mein Studium der Zeichensprache dem Studium der Denkprozesse, welches die Philosophen für die Philosophie der Logik immer für so wesentlich hielten? – Nur verwickelten sie sich immer in unwesentliche psychologische Untersuchungen und eine analoge Gefahr gibt es auch bei meiner Methode.<!-- [''S''. 4.1121.]--> | ||
Line 833: | Line 833: | ||
Die Verneinung ist im selben Sinne ''eine Beschreibung'' wie der Elementarsatz selbst. | Die Verneinung ist im selben Sinne ''eine Beschreibung'' wie der Elementarsatz selbst. | ||
Man könnte die Wahrheit eines Satzes möglich, die einer Tautologie gewiß, und die einer Kontradiktion unmöglich nennen. Hier tritt schon das Anzeichen einer Gradation auf, die wir in der Wahrscheinlichkeitsrechnung brauchen. [''Vgl.'' 4.464.] | Man könnte die Wahrheit eines Satzes möglich, die einer Tautologie gewiß, und die einer Kontradiktion unmöglich nennen. Hier tritt schon das Anzeichen einer Gradation auf, die wir in der Wahrscheinlichkeitsrechnung brauchen.<!-- [''Vgl.'' 4.464.]--> | ||
In der Tautologie bildet der Elementarsatz selbstverständlich noch immer ab, aber er ist mit der Wirklichkeit so lose verbunden, daß diese unbeschränkte Freiheit hat. Die Kontradiktion wieder setzt solche Schranken, daß keine Wirklichkeit in ihnen existieren kann. | In der Tautologie bildet der Elementarsatz selbstverständlich noch immer ab, aber er ist mit der Wirklichkeit so lose verbunden, daß diese unbeschränkte Freiheit hat. Die Kontradiktion wieder setzt solche Schranken, daß keine Wirklichkeit in ihnen existieren kann. | ||
Line 855: | Line 855: | ||
{{ParTBde|14. 11. 14.}} | {{ParTBde|14. 11. 14.}} | ||
Denke an die Darstellung ''negativer'' Tatsachen, durch Modelle etwa: So und so dürfen zwei Eisenbahnzüge nicht auf den Gleisen stehen. Der Satz, das Bild, das Modell sind – im negativen Sinn – wie ein fester Körper, der die Bewegungsfreiheit der anderen beschränkt, im positiven Sinne, wie der von fester Substanz begrenzte Raum, worin ein Körper Platz hat. [''Vgl.'' 4. 463.] | Denke an die Darstellung ''negativer'' Tatsachen, durch Modelle etwa: So und so dürfen zwei Eisenbahnzüge nicht auf den Gleisen stehen. Der Satz, das Bild, das Modell sind – im negativen Sinn – wie ein fester Körper, der die Bewegungsfreiheit der anderen beschränkt, im positiven Sinne, wie der von fester Substanz begrenzte Raum, worin ein Körper Platz hat.<!-- [''Vgl.'' 4. 463.]--> | ||
[[File:Illustrazione 14.11.14.png|380px|center|link=]] | [[File:Illustrazione 14.11.14.png|380px|center|link=]] | ||
Line 878: | Line 878: | ||
Es ist das Geheimnis der Negation: Es verhält sich nicht so, und doch können wir sagen, ''wie'' es sich ''nicht'' verhält. –– | Es ist das Geheimnis der Negation: Es verhält sich nicht so, und doch können wir sagen, ''wie'' es sich ''nicht'' verhält. –– | ||
Der Satz ist eben nur die ''Beschreibung'' eines Sachverhalts. (Aber das ist alles noch an der Oberfläche.) [''Vgl.'' 4.023.] | Der Satz ist eben nur die ''Beschreibung'' eines Sachverhalts. (Aber das ist alles noch an der Oberfläche.)<!-- [''Vgl.'' 4.023.]--> | ||
''Eine'' Einsicht am Ursprung ist mehr wert als noch so viele irgendwo in der Mitte. | ''Eine'' Einsicht am Ursprung ist mehr wert als noch so viele irgendwo in der Mitte. | ||
Line 902: | Line 902: | ||
{{ParTBde|19. 11. 14.}} | {{ParTBde|19. 11. 14.}} | ||
Der Satz und die logischen Koordinaten: das ist der logische Ort. [''Vgl.'' 3.41.] | Der Satz und die logischen Koordinaten: das ist der logische Ort.<!-- [''Vgl.'' 3.41.]--> | ||
Line 926: | Line 926: | ||
{{ParTBde|23. 11. 14.}} | {{ParTBde|23. 11. 14.}} | ||
Obwohl der Satz nur auf einen Ort des logischen Raumes deuten darf, so muß doch durch ihn ''schon'' der ganze logische Raum gegeben sein. – Sonst würden durch Verneinung, Disjunktion etc. immer ''neue'' Elemente – und zwar in Koordination – eingeführt, was natürlich nicht geschehen darf. [''Vgl.'' 3.42.] | Obwohl der Satz nur auf einen Ort des logischen Raumes deuten darf, so muß doch durch ihn ''schon'' der ganze logische Raum gegeben sein. – Sonst würden durch Verneinung, Disjunktion etc. immer ''neue'' Elemente – und zwar in Koordination – eingeführt, was natürlich nicht geschehen darf.<!-- [''Vgl.'' 3.42.]--> | ||
Line 943: | Line 943: | ||
''Muß'' das Zeichen des negativen Satzes mit dem Zeichen des positiven gebildet werden? (Ich glaube, ja!) | ''Muß'' das Zeichen des negativen Satzes mit dem Zeichen des positiven gebildet werden? (Ich glaube, ja!) | ||
Warum sollte man den negativen Satz nicht durch eine negative Tatsache ausdrücken können?! Es ist, wie wenn man statt des Meterstabes den Raum außerhalb des Meterstabes als Vergleichsobjekt nähme. [''Vgl.'' 5.5151.] | Warum sollte man den negativen Satz nicht durch eine negative Tatsache ausdrücken können?! Es ist, wie wenn man statt des Meterstabes den Raum außerhalb des Meterstabes als Vergleichsobjekt nähme.<!-- [''Vgl.'' 5.5151.]--> | ||
Wie widerspricht eigentlich der ''Satz'' "~p" dem ''Satze'' "p"? Die internen Relationen der beiden Zeichen müssen Widerspruch bedeuten. | Wie widerspricht eigentlich der ''Satz'' "~p" dem ''Satze'' "p"? Die internen Relationen der beiden Zeichen müssen Widerspruch bedeuten. | ||
Line 988: | Line 988: | ||
{{ParTBde|27. 11. 14.}} | {{ParTBde|27. 11. 14.}} | ||
"~p" ist wahr, wenn p falsch ist. Also, in dem wahren Satz "~p" ist der Teil ein falscher Satz. Wie kann ihn nun der Haken "~" mit der Wirklichkeit zum Stimmen bringen? Wir haben freilich schon gesagt, daß es nicht der Haken "~" allein ist, sondern alles, was den verschiedenen Verneinungszeichen gemeinsam ist. Und was diesen allen gemeinsam ist, muß offenbar aus der Bedeutung der Verneinung selbst hervorgehen. Und so muß sich also in dem Negationszeichen doch seine eigene Bedeutung spiegeln. [''Vgl.'' 5.512.] | "~p" ist wahr, wenn p falsch ist. Also, in dem wahren Satz "~p" ist der Teil ein falscher Satz. Wie kann ihn nun der Haken "~" mit der Wirklichkeit zum Stimmen bringen? Wir haben freilich schon gesagt, daß es nicht der Haken "~" allein ist, sondern alles, was den verschiedenen Verneinungszeichen gemeinsam ist. Und was diesen allen gemeinsam ist, muß offenbar aus der Bedeutung der Verneinung selbst hervorgehen. Und so muß sich also in dem Negationszeichen doch seine eigene Bedeutung spiegeln.<!-- [''Vgl.'' 5.512.]--> | ||
Line 1,000: | Line 1,000: | ||
Die ab-Funktion bleibt nicht ''vor'' dem Elementarsatz stehen, sondern sie durchdringt ihn. | Die ab-Funktion bleibt nicht ''vor'' dem Elementarsatz stehen, sondern sie durchdringt ihn. | ||
Was gezeigt werden ''kann'', kann nicht gesagt werden. [''S.'' 4.1212.] | Was gezeigt werden ''kann'', kann nicht gesagt werden.<!-- [''S.'' 4.1212.]--> | ||
Ich glaube, man könnte das Gleichheitszeichen ganz aus unserer Notation entfernen und die Gleichheit immer nur durch die Gleichheit der Zeichen (u. U.) andeuten. Es wäre dann freilich ''ϕ''(a,a) kein spezieller Fall von (x,y).''ϕ''(x,y) und ''ϕ''a keiner von (∃x,y).''ϕ''x.''ϕ''y. Dann aber könnte man statt ''ϕ''x.''ϕ''y ⊃<sub>x,y</sub> x = y einfach schreiben ~(∃x,y).''ϕ''x.''ϕ''y. [''Vgl.'' 5.53 ''u.'' 5.533.] | Ich glaube, man könnte das Gleichheitszeichen ganz aus unserer Notation entfernen und die Gleichheit immer nur durch die Gleichheit der Zeichen (u. U.) andeuten. Es wäre dann freilich ''ϕ''(a,a) kein spezieller Fall von (x,y).''ϕ''(x,y) und ''ϕ''a keiner von (∃x,y).''ϕ''x.''ϕ''y. Dann aber könnte man statt ''ϕ''x.''ϕ''y ⊃<sub>x,y</sub> x = y einfach schreiben ~(∃x,y).''ϕ''x.''ϕ''y.<!-- [''Vgl.'' 5.53 ''u.'' 5.533.]--> | ||
Durch diese Notation verlören auch der Scheinsatz (x)x = a oder ähnliche allen Schein von Berechtigung. [''Vgl.'' 5.534.] | Durch diese Notation verlören auch der Scheinsatz (x)x = a oder ähnliche allen Schein von Berechtigung.<!-- [''Vgl.'' 5.534.]--> | ||
Line 1,031: | Line 1,031: | ||
Die Newtonsche Mechanik bringt die Weltbeschreibung auf eine einheitliche Form. Denken wir uns eine weiße Fläche, auf der unregelmäßige schwarze Flecken wären. Wir sagen nun: Was immer für ein Bild hierdurch entsteht, immer werde ich seiner Beschreibung beliebig nahe kommen können, indem ich die Fläche mit einem entsprechend feinem quadratischen Netzwerk bedecke und nun von jedem Quadrat sage, daß es weiß oder schwarz ist. Ich werde auf diese Weise die Beschreibung dieser Fläche auf eine einheitliche Form gebracht haben. Diese Form ist beliebig, denn ich hätte mit dem gleichen Erfolge ein dreieckiges oder sechseckiges Netz verwenden können. Es kann sein, daß die Beschreibung mit Hilfe eines dreieckigen Netzes einfacher geworden wäre, d. h., daß wir die Fläche mit einem gröberen Dreiecksnetz genauer beschreiben könnten als mit einem feineren quadratischen (oder umgekehrt) etc. Den verschiedenen Netzen entsprechen verschiedene Systeme der Weltbeschreibung. Die Mechanik bestimmt die Form der Weltbeschreibung, indem sie sagt: Alle Sätze der Weltbeschreibung müssen aus einer Anzahl gegebener Sätze – den mechanischen Axiomen – auf eine gegebene Art und Weise erhalten werden können. Hierdurch liefert sie die Bausteine zum Bau des wissenschaftlichen Gebäudes und sagt: Welches Gebäude du immer aufführen willst, jedes mußt du irgendwie mit diesen und nur diesen Bausteinen zusammenbringen. | Die Newtonsche Mechanik bringt die Weltbeschreibung auf eine einheitliche Form. Denken wir uns eine weiße Fläche, auf der unregelmäßige schwarze Flecken wären. Wir sagen nun: Was immer für ein Bild hierdurch entsteht, immer werde ich seiner Beschreibung beliebig nahe kommen können, indem ich die Fläche mit einem entsprechend feinem quadratischen Netzwerk bedecke und nun von jedem Quadrat sage, daß es weiß oder schwarz ist. Ich werde auf diese Weise die Beschreibung dieser Fläche auf eine einheitliche Form gebracht haben. Diese Form ist beliebig, denn ich hätte mit dem gleichen Erfolge ein dreieckiges oder sechseckiges Netz verwenden können. Es kann sein, daß die Beschreibung mit Hilfe eines dreieckigen Netzes einfacher geworden wäre, d. h., daß wir die Fläche mit einem gröberen Dreiecksnetz genauer beschreiben könnten als mit einem feineren quadratischen (oder umgekehrt) etc. Den verschiedenen Netzen entsprechen verschiedene Systeme der Weltbeschreibung. Die Mechanik bestimmt die Form der Weltbeschreibung, indem sie sagt: Alle Sätze der Weltbeschreibung müssen aus einer Anzahl gegebener Sätze – den mechanischen Axiomen – auf eine gegebene Art und Weise erhalten werden können. Hierdurch liefert sie die Bausteine zum Bau des wissenschaftlichen Gebäudes und sagt: Welches Gebäude du immer aufführen willst, jedes mußt du irgendwie mit diesen und nur diesen Bausteinen zusammenbringen. | ||
Wie man mit dem Zahlensystem jede beliebige Anzahl muß hinschreiben können, so muß man mit dem System der Mechanik jeden beliebigen Satz der Physik hinschreiben können. [''S.'' 6.341.] | Wie man mit dem Zahlensystem jede beliebige Anzahl muß hinschreiben können, so muß man mit dem System der Mechanik jeden beliebigen Satz der Physik hinschreiben können.<!-- [''S.'' 6.341.]--> | ||
Und hier sehen wir nun die gegenseitige Stellung von Logik und Mechanik. | Und hier sehen wir nun die gegenseitige Stellung von Logik und Mechanik. | ||
Line 1,037: | Line 1,037: | ||
(Man könnte das Netz auch aus verschiedenartigen Figuren bestehen lassen.) | (Man könnte das Netz auch aus verschiedenartigen Figuren bestehen lassen.) | ||
Daß sich ein Bild, wie das vorher erwähnte, durch ein Netz von gegebener Form beschreiben läßt, sagt über das Bild nichts aus (denn dies gilt für jedes solche Bild). Das aber charakterisiert das Bild, daß es sich durch ein bestimmtes Netz von ''bestimmter'' Feinheit beschreiben läßt. So auch sagt es nichts über die Welt aus, daß sie sich durch die Newtonsche Mechanik beschreiben läßt; aber wohl, daß sie sich so durch jene beschreiben läßt, wie dies eben der Fall ist. (Dies habe ich schon seit ''langer'' Zeit gefühlt). – Auch das sagt etwas von der Welt, daß sie sich durch die eine Mechanik einfacher beschreiben läßt, als durch die andere. [''Vgl.'' 6.342.] | Daß sich ein Bild, wie das vorher erwähnte, durch ein Netz von gegebener Form beschreiben läßt, sagt über das Bild nichts aus (denn dies gilt für jedes solche Bild). Das aber charakterisiert das Bild, daß es sich durch ein bestimmtes Netz von ''bestimmter'' Feinheit beschreiben läßt. So auch sagt es nichts über die Welt aus, daß sie sich durch die Newtonsche Mechanik beschreiben läßt; aber wohl, daß sie sich so durch jene beschreiben läßt, wie dies eben der Fall ist. (Dies habe ich schon seit ''langer'' Zeit gefühlt). – Auch das sagt etwas von der Welt, daß sie sich durch die eine Mechanik einfacher beschreiben läßt, als durch die andere.<!-- [''Vgl.'' 6.342.]--> | ||
Die Mechanik ist ''ein'' Versuch, alle Sätze, welche wir zur Weltbeschreibung benötigen, nach ''einem'' Plan zu konstruieren. (Die unsichtbaren Massen Hertz's.) [''Vgl.'' 6.343.] | Die Mechanik ist ''ein'' Versuch, alle Sätze, welche wir zur Weltbeschreibung benötigen, nach ''einem'' Plan zu konstruieren. (Die unsichtbaren Massen Hertz's.)<!-- [''Vgl.'' 6.343.]--> | ||
Die unsichtbaren Massen Hertz's sind ''eingestandenermaßen'' Scheingegenstände. | Die unsichtbaren Massen Hertz's sind ''eingestandenermaßen'' Scheingegenstände. | ||
Line 1,056: | Line 1,056: | ||
{{ParTBde|12. 12. 14.}} | {{ParTBde|12. 12. 14.}} | ||
p. Taut = p; d. h. Taut sagt nichts! [''Vgl.'' 4.465.] | p. Taut = p; d. h. Taut sagt nichts!<!-- [''Vgl.'' 4.465.]--> | ||
Line 1,072: | Line 1,072: | ||
Es ist offenbar: wir können als Schriftzeichen der ab-Funktionen einführen, welche wir wollen, das eigentliche Zeichen wird sich automatisch bilden. Und welche Eigenschaften werden sich hierbei von selbst herausbilden? | Es ist offenbar: wir können als Schriftzeichen der ab-Funktionen einführen, welche wir wollen, das eigentliche Zeichen wird sich automatisch bilden. Und welche Eigenschaften werden sich hierbei von selbst herausbilden? | ||
Das logische Gerüst um das Bild (des Satzes) herum bestimmt den logischen Raum. [''Vgl.'' 3.42.] | Das logische Gerüst um das Bild (des Satzes) herum bestimmt den logischen Raum.<!-- [''Vgl.'' 3.42.]--> | ||
{{ParTBde|16. 12. 14.}} | {{ParTBde|16. 12. 14.}} | ||
Der Satz muß den ganzen logischen Raum durchgreifen. [''Vgl.'' 3.42] | Der Satz muß den ganzen logischen Raum durchgreifen.<!-- [''Vgl.'' 3.42.]--> | ||
{{ParTBde|17. 12. 14.}} | {{ParTBde|17. 12. 14.}} | ||
Die ab-Funktionszeichen sind nicht materiell, sonst könnten sie nicht verschwinden. [''Vgl.'' 5.44 ''u.'' 5.441.] | Die ab-Funktionszeichen sind nicht materiell, sonst könnten sie nicht verschwinden.<!-- [''Vgl.'' 5.44 ''u.'' 5.441.]--> | ||
{{ParTBde|18. 12. 14.}} | {{ParTBde|18. 12. 14.}} | ||
Am eigentlichen Satzzeichen muß geradesoviel zu unterscheiden sein, als am Sachverhalt zu unterscheiden ist. Darin besteht ihre Identität. [''Vgl.'' 4.04.] | Am eigentlichen Satzzeichen muß geradesoviel zu unterscheiden sein, als am Sachverhalt zu unterscheiden ist. Darin besteht ihre Identität.<!-- [''Vgl.'' 4.04.]--> | ||
Line 1,108: | Line 1,108: | ||
"Der Satz sagt etwas", ist identisch mit: Er hat ein bestimmtes Verhältnis zur Wirklichkeit, ''was immer diese sein mag.'' Und wenn ''sie'' gegeben ist und jenes Verhältnis, so ist der Sinn des Satzes bekannt. "p ∨ q" hat ein anderes Verhältnis zur Wirklichkeit als "p.q", etc. | "Der Satz sagt etwas", ist identisch mit: Er hat ein bestimmtes Verhältnis zur Wirklichkeit, ''was immer diese sein mag.'' Und wenn ''sie'' gegeben ist und jenes Verhältnis, so ist der Sinn des Satzes bekannt. "p ∨ q" hat ein anderes Verhältnis zur Wirklichkeit als "p.q", etc. | ||
Die Möglichkeit des Satzes basiert natürlich auf dem Prinzip der VERTRETUNG von Gegenständen durch Zeichen. [''Vgl.'' 4.0312.] | Die Möglichkeit des Satzes basiert natürlich auf dem Prinzip der VERTRETUNG von Gegenständen durch Zeichen.<!-- [''Vgl.'' 4.0312.]--> | ||
Im Satz haben wir also die Vertretung von etwas durch ''etwas Anderes.'' | Im Satz haben wir also die Vertretung von etwas durch ''etwas Anderes.'' | ||
Line 1,114: | Line 1,114: | ||
Aber auch das ''gemeinsame'' Bindemittel. | Aber auch das ''gemeinsame'' Bindemittel. | ||
Mein Grundgedanke ist, daß die logischen Konstanten nicht vertreten. Daß sich die ''Logik'' der Tatsache nicht vertreten ''läßt.'' [''S.'' 4.0312.] | Mein Grundgedanke ist, daß die logischen Konstanten nicht vertreten. Daß sich die ''Logik'' der Tatsache nicht vertreten ''läßt.''<!-- [''S.'' 4.0312.]--> | ||
{{ParTBde|29. 12. 14.}} | {{ParTBde|29. 12. 14.}} | ||
Im Satze vertritt den Gegenstand der Name. [''S.'' 3.22.] | Im Satze vertritt den Gegenstand der Name.<!-- [''S.'' 3.22.]--> | ||
Line 1,139: | Line 1,139: | ||
{{ParTBde|16. 1. 15.}} | {{ParTBde|16. 1. 15.}} | ||
Der Satz ist einem hypothetischen Sachverhalt zugeordnet. Dieser Sachverhalt ist durch seine Beschreibung gegeben. Der Satz ist die Beschreibung eines Sachverhalts. [''S.'' 4.023.] | Der Satz ist einem hypothetischen Sachverhalt zugeordnet. Dieser Sachverhalt ist durch seine Beschreibung gegeben. Der Satz ist die Beschreibung eines Sachverhalts.<!-- [''S.'' 4.023.]--> | ||
Wie die Beschreibung eines Gegenstandes nach seinen externen Eigenschaften, so beschreibt der Satz die Tatsache nach ihren internen Eigenschaften. [''S.'' 4.023.] | Wie die Beschreibung eines Gegenstandes nach seinen externen Eigenschaften, so beschreibt der Satz die Tatsache nach ihren internen Eigenschaften.<!-- [''S.'' 4.023.]--> | ||
Die Beschreibung stimmt, wenn der Gegenstand die besagten Eigenschaften hat: Der Satz stimmt, wenn der Sachverhalt die durch den Satz angegebenen internen Eigenschaften hat. | Die Beschreibung stimmt, wenn der Gegenstand die besagten Eigenschaften hat: Der Satz stimmt, wenn der Sachverhalt die durch den Satz angegebenen internen Eigenschaften hat. | ||
Line 1,150: | Line 1,150: | ||
Der Sachverhalt p.q ''fällt unter'' den Satz "p ∨ q". | Der Sachverhalt p.q ''fällt unter'' den Satz "p ∨ q". | ||
In dem Netz-Gleichnis der Physik: Obwohl die Flecke geometrische Figuren sind, so kann uns doch selbstverständlich die Geometrie gar nichts über ihre Form und Lage sagen. Das Netz aber ist ''rein'' geometrisch, alle seine Eigenschaften können a priori angegeben werden. [''S.'' 6.35.] | In dem Netz-Gleichnis der Physik: Obwohl die Flecke geometrische Figuren sind, so kann uns doch selbstverständlich die Geometrie gar nichts über ihre Form und Lage sagen. Das Netz aber ist ''rein'' geometrisch, alle seine Eigenschaften können a priori angegeben werden.<!-- [''S.'' 6.35.]--> | ||
Line 1,195: | Line 1,195: | ||
{{ParTBde|23. 1. 15.}} | {{ParTBde|23. 1. 15.}} | ||
Die Verneinung ist eine Operation. [''Vgl.'' 5.2341.] | Die Verneinung ist eine Operation.<!-- [''Vgl.'' 5.2341.]--> | ||
Eine Operation bezeichnet eine Operation. | Eine Operation bezeichnet eine Operation. | ||
Line 1,201: | Line 1,201: | ||
Das Wort ist eine Sonde, manches reicht tief; manches nur wenig tief. | Das Wort ist eine Sonde, manches reicht tief; manches nur wenig tief. | ||
Eine Operation sagt natürlich nichts aus, nur ihr Resultat; und dies hängt von ihrem Gegenstand ab. [''Vgl.'' 5.25.] | Eine Operation sagt natürlich nichts aus, nur ihr Resultat; und dies hängt von ihrem Gegenstand ab.<!-- [''Vgl.'' 5.25.]--> | ||
Line 1,208: | Line 1,208: | ||
Die logischen Scheinfunktionen ''sind'' Operationen. | Die logischen Scheinfunktionen ''sind'' Operationen. | ||
Nur Operationen können verschwinden! [''Vgl.'' 5.254.] | Nur Operationen können verschwinden!<!-- [''Vgl.'' 5.254.]--> | ||
Der negative Satz schließt die Wirklichkeit aus. | Der negative Satz schließt die Wirklichkeit aus. | ||
Wie kann die allumfassende, weltspiegelnde Logik so spezielle Haken und Manipulationen gebrauchen?! Nur, indem sich alle diese zusammen zu einem ''unendlich'' feinen Netzwerk, zu dem großen Spiegel verknüpfen! [''S.'' 5.511.]. | Wie kann die allumfassende, weltspiegelnde Logik so spezielle Haken und Manipulationen gebrauchen?! Nur, indem sich alle diese zusammen zu einem ''unendlich'' feinen Netzwerk, zu dem großen Spiegel verknüpfen!<!-- [''S.'' 5.511.]-->. | ||
Line 1,222: | Line 1,222: | ||
{{ParTBde|29. 1. 15.}} | {{ParTBde|29. 1. 15.}} | ||
Die Sprache ist artikuliert. [''Vgl.'' 3.141.] | Die Sprache ist artikuliert.<!-- [''Vgl.'' 3.141.]--> | ||
Line 1,234: | Line 1,234: | ||
Gäbe es mathematische Gegenstände – logische Konstante – so wäre der Satz "ich esse 5 Pflaumen" ein Satz der Mathematik. Und er ist auch kein Satz der angewandten Mathematik. | Gäbe es mathematische Gegenstände – logische Konstante – so wäre der Satz "ich esse 5 Pflaumen" ein Satz der Mathematik. Und er ist auch kein Satz der angewandten Mathematik. | ||
Der Satz muß seine Bedeutung ''vollständig'' beschreiben. [''Vgl.'' 4.023.] | Der Satz muß seine Bedeutung ''vollständig'' beschreiben.<!-- [''Vgl.'' 4.023.]--> | ||
Line 1,244: | Line 1,244: | ||
{{ParTBde|5. 3. 15.}} | {{ParTBde|5. 3. 15.}} | ||
Die Menschheit hat immer geahnt, daß es ein Gebiet von Fragen geben muß, worin die Antworten – a priori – symmetrisch und zu einem abgeschlossenen, regelmäßigen Gebilde vereint-liegen. [''S.'' 5.4541.] | Die Menschheit hat immer geahnt, daß es ein Gebiet von Fragen geben muß, worin die Antworten – a priori – symmetrisch und zu einem abgeschlossenen, regelmäßigen Gebilde vereint-liegen.<!-- [''S.'' 5.4541.]--> | ||
(Je älter ein Wort ist, desto tiefer reicht es.) | (Je älter ein Wort ist, desto tiefer reicht es.) | ||
Line 1,276: | Line 1,276: | ||
{{ParTBde|29. 3. 15.}} | {{ParTBde|29. 3. 15.}} | ||
Das Kausalitätsgesetz ist kein Gesetz, sondern die Form ''eines'' Gesetzes. [''Vgl.'' 6.32.] | Das Kausalitätsgesetz ist kein Gesetz, sondern die Form ''eines'' Gesetzes.<!-- [''Vgl.'' 6.32.]--> | ||
"Kausalitätsgesetz", das ist ein Gattungsname. Und wie es in der Mechanik – sagen wir – Minimumgesetze gibt – etwa der kleinsten Wirkung – so gibt es in der Physik ''ein'' Kausalitätsgesetz, ein Gesetz von der Kausalitätsform. [''Vgl.'' 6.321.] | "Kausalitätsgesetz", das ist ein Gattungsname. Und wie es in der Mechanik – sagen wir – Minimumgesetze gibt – etwa der kleinsten Wirkung – so gibt es in der Physik ''ein'' Kausalitätsgesetz, ein Gesetz von der Kausalitätsform.<!-- [''Vgl.'' 6.321.]--> | ||
Wie die Menschen ja auch eine Ahnung davon gehabt haben, daß es ''ein'' "Gesetz der kleinsten Wirkung" geben müsse, ehe sie genau wußten, wie es lautete. | Wie die Menschen ja auch eine Ahnung davon gehabt haben, daß es ''ein'' "Gesetz der kleinsten Wirkung" geben müsse, ehe sie genau wußten, wie es lautete. | ||
(Hier, wie so oft, stellt sich das Aprioristische als etwas rein Logisches heraus.) [''Vgl.'' 6.3211.] | (Hier, wie so oft, stellt sich das Aprioristische als etwas rein Logisches heraus.)<!-- [''Vgl.'' 6.3211.]--> | ||
Line 1,296: | Line 1,296: | ||
{{ParTBde|5. 4. 15.}} | {{ParTBde|5. 4. 15.}} | ||
Der Satz ist kein Wörtergemisch. [''S.'' 3.141.] | Der Satz ist kein Wörtergemisch.<!-- [''S.'' 3.141.]--> | ||
{{ParTBde|11. 4. 15.}} | {{ParTBde|11. 4. 15.}} | ||
Auch die Melodie ist kein Tongemisch, wie alle Unmusikalischen glauben. [''Vgl.'' 3.141.] | Auch die Melodie ist kein Tongemisch, wie alle Unmusikalischen glauben.<!-- [''Vgl.'' 3.141.]--> | ||
Line 1,341: | Line 1,341: | ||
{{ParTBde|19. 4. 15.}} | {{ParTBde|19. 4. 15.}} | ||
Was sich in der Sprache spiegelt, kann ich nicht mit ihr ausdrücken. [''Vgl.'' 4.121.] | Was sich in der Sprache spiegelt, kann ich nicht mit ihr ausdrücken.<!-- [''Vgl.'' 4.121.]--> | ||
{{ParTBde|23. 4. 15.}} | {{ParTBde|23. 4. 15.}} | ||
Wir glauben nicht ''a priori'' an ein Erhaltungsgesetz, sondern wir ''wissen'' a priori die Möglichkeit seiner logischen Form. [''S.'' 6.33.] | Wir glauben nicht ''a priori'' an ein Erhaltungsgesetz, sondern wir ''wissen'' a priori die Möglichkeit seiner logischen Form.<!-- [''S.'' 6.33.]--> | ||
Alle jene a priori gewissen Sätze, wie der Satz vom Grunde, von der Kontinuität in der Natur, etc., etc., alle diese sind aprioristische Einsichten bezüglich der möglichen Formgebung der Sätze der Wissenschaft. [''Vgl.'' 6.34.] | Alle jene a priori gewissen Sätze, wie der Satz vom Grunde, von der Kontinuität in der Natur, etc., etc., alle diese sind aprioristische Einsichten bezüglich der möglichen Formgebung der Sätze der Wissenschaft.<!-- [''Vgl.'' 6.34.]--> | ||
"Occams Devise" ist ''natürlich'' keine willkürliche oder durch ihren praktischen Erfolg gerechtfertigte Regel. Sie besagt, daß unnötige Zeichen-Einheiten nichts bedeuten. [''S.'' 5.47321.] | "Occams Devise" ist ''natürlich'' keine willkürliche oder durch ihren praktischen Erfolg gerechtfertigte Regel. Sie besagt, daß unnötige Zeichen-Einheiten nichts bedeuten.<!-- [''S.'' 5.47321.]--> | ||
Es ist klar daß Zeichen die denselben Zweck erfüllen, logisch identisch sind. Das rein Logische ''ist'' eben das, was ''alle'' diese leisten können. [''Vgl.'' 5.47321.] | Es ist klar daß Zeichen die denselben Zweck erfüllen, logisch identisch sind. Das rein Logische ''ist'' eben das, was ''alle'' diese leisten können.<!-- [''Vgl.'' 5.47321.]--> | ||
{{ParTBde|24. 4. 15.}} | {{ParTBde|24. 4. 15.}} | ||
In der Logik (Mathematik) sind Prozeß und Resultat gleichwertig. (Darum keine Überraschungen.) [''S.'' 6.1261.] | In der Logik (Mathematik) sind Prozeß und Resultat gleichwertig. (Darum keine Überraschungen.)<!-- [''S.'' 6.1261.]--> | ||
Line 1,372: | Line 1,372: | ||
Es ist klar: Weder ein Bleistiftstrich noch ein Dampfschiff sind einfach: Besteht zwischen diesen beiden wirklich eine logische Äquivalenz? | Es ist klar: Weder ein Bleistiftstrich noch ein Dampfschiff sind einfach: Besteht zwischen diesen beiden wirklich eine logische Äquivalenz? | ||
"Gesetze", wie der Satz vom Grunde etc., handeln vom Netz, nicht von dem, was das Netz beschreibt. [''S''. 6.35.] | "Gesetze", wie der Satz vom Grunde etc., handeln vom Netz, nicht von dem, was das Netz beschreibt.<!-- [''S''. 6.35.]--> | ||
Line 1,381: | Line 1,381: | ||
Wir müßen erkennen, ''wie'' die Sprache für sich selbst sorgt. | Wir müßen erkennen, ''wie'' die Sprache für sich selbst sorgt. | ||
Der Satz, welcher vom "Komplex" handelt, steht in interner Beziehung zum Satze, welcher von dessen Bestandteil handelt. [''S''. 3.24.] | Der Satz, welcher vom "Komplex" handelt, steht in interner Beziehung zum Satze, welcher von dessen Bestandteil handelt.<!-- [''S''. 3.24.]--> | ||
{{ParTBde|27. 4. 15.}} | {{ParTBde|27. 4. 15.}} | ||
Die Willensfreiheit besteht darin, daß zukünftige Ereignisse jetzt nicht ''gewußt'' werden ''können.'' Nur dann könnten wir sie wissen, wenn die Kausalität eine INNERE Notwendigkeit wäre – wie etwa die des logischen Schlusses. – Der Zusammenhang von Wissen und Gewußtem ist ''der'' der logischen Notwendigkeit. [''S''. 5.1362.] | Die Willensfreiheit besteht darin, daß zukünftige Ereignisse jetzt nicht ''gewußt'' werden ''können.'' Nur dann könnten wir sie wissen, wenn die Kausalität eine INNERE Notwendigkeit wäre – wie etwa die des logischen Schlusses. – Der Zusammenhang von Wissen und Gewußtem ist ''der'' der logischen Notwendigkeit.<!-- [''S''. 5.1362.]--> | ||
Ich darf mich nicht um die Sprache kümmern brauchen. | Ich darf mich nicht um die Sprache kümmern brauchen. | ||
Line 1,415: | Line 1,415: | ||
Das Vorkommen einer ''Operation'' kann ''natürlich'' allein nichts besagen! | Das Vorkommen einer ''Operation'' kann ''natürlich'' allein nichts besagen! | ||
p wird von allen Sätzen bejaht, aus denen es folgt. [''S.'' 5.124.] | p wird von allen Sätzen bejaht, aus denen es folgt.<!-- [''S.'' 5.124.]--> | ||
Jeder Satz, der p widerspricht, verneint p. [''S.'' 5.1241.] | Jeder Satz, der p widerspricht, verneint p.<!-- [''S.'' 5.1241.]--> | ||
{{ParTBde|1. 5. 15.}} | {{ParTBde|1. 5. 15.}} | ||
Daß p.~p eine Kontradiktion ist, zeigt, daß ~p p widerspricht. [''Vgl.'' 6.1201.] | Daß p.~p eine Kontradiktion ist, zeigt, daß ~p p widerspricht.<!-- [''Vgl.'' 6.1201.]--> | ||
Skeptizismus ist ''nicht'' unwiderleglich sondern ''offenbar unsinnig'', wenn er bezweifeln will, wo nicht gefragt werden kann. [''S.'' 6.51.] | Skeptizismus ist ''nicht'' unwiderleglich sondern ''offenbar unsinnig'', wenn er bezweifeln will, wo nicht gefragt werden kann.<!-- [''S.'' 6.51.]--> | ||
Denn Zweifel kann nur bestehen, wo eine Frage besteht; eine Frage kann nur bestehen, wo eine Antwort besteht, und diese nur, wo etwas ''gesagt'' werden ''kann.'' [''S.'' 6.51.] | Denn Zweifel kann nur bestehen, wo eine Frage besteht; eine Frage kann nur bestehen, wo eine Antwort besteht, und diese nur, wo etwas ''gesagt'' werden ''kann.''<!-- [''S.'' 6.51.]--> | ||
Alle Theorien, die besagen: "Es ''muß'' sich doch so verhalten, sonst könnten wir ja nicht philosophieren" oder "sonst könnten wir doch nicht leben" etc., etc., müssen natürlich verschwinden. | Alle Theorien, die besagen: "Es ''muß'' sich doch so verhalten, sonst könnten wir ja nicht philosophieren" oder "sonst könnten wir doch nicht leben" etc., etc., müssen natürlich verschwinden. | ||
Line 1,439: | Line 1,439: | ||
{{ParTBde|2. 5. 15.}} | {{ParTBde|2. 5. 15.}} | ||
Die Klasse aller Zeichen, die sowohl p als auch q bejahen, ist das Zeichen für p.q. Die Klasse aller Zeichen, die entweder p oder q bejahen, ist der Satz "p ∨ q". [''Vgl.'' 5.513.] | Die Klasse aller Zeichen, die sowohl p als auch q bejahen, ist das Zeichen für p.q. Die Klasse aller Zeichen, die entweder p oder q bejahen, ist der Satz "p ∨ q".<!-- [''Vgl.'' 5.513.]--> | ||
Line 1,446: | Line 1,446: | ||
Man kann nicht sagen, daß sowohl Tautologien als Kontradiktionen ''nichts'' sagen in dem Sinne, daß sie etwa beide Nullpunkte in der Skala der Sätze wären. Denn zum Mindesten sind sie ''entgegengesetzte'' Pole. | Man kann nicht sagen, daß sowohl Tautologien als Kontradiktionen ''nichts'' sagen in dem Sinne, daß sie etwa beide Nullpunkte in der Skala der Sätze wären. Denn zum Mindesten sind sie ''entgegengesetzte'' Pole. | ||
Kann man sagen: Zwei Sätze sind einander entgegengesetzt, wenn es kein Zeichen gibt, das sie beide bejaht – was eigentlich heißt: wenn sie kein gemeinsames Glied haben. [''Vgl.'' 5.1241.] | Kann man sagen: Zwei Sätze sind einander entgegengesetzt, wenn es kein Zeichen gibt, das sie beide bejaht – was eigentlich heißt: wenn sie kein gemeinsames Glied haben.<!-- [''Vgl.'' 5.1241.]--> | ||
Man stellt sich also die Sätze als Klassen von Zeichen vor – die Sätze "p" und "q" haben das Glied "p.q" gemeinsam – und zwei Sätze sind einander entgegengesetzt, wenn sie ganz außerhalb einander liegen. [''Vgl.'' 5.513.] | Man stellt sich also die Sätze als Klassen von Zeichen vor – die Sätze "p" und "q" haben das Glied "p.q" gemeinsam – und zwei Sätze sind einander entgegengesetzt, wenn sie ganz außerhalb einander liegen.<!-- [''Vgl.'' 5.513.]--> | ||
{{ParTBde|4. 5. 15.}} | {{ParTBde|4. 5. 15.}} | ||
Das sogenannte Gesetz der Induktion kann jedenfalls kein logisches Gesetz sein, denn es ist offenbar ein Satz. [''S.'' 6.31.] | Das sogenannte Gesetz der Induktion kann jedenfalls kein logisches Gesetz sein, denn es ist offenbar ein Satz.<!-- [''S.'' 6.31.]--> | ||
Die Klasse aller Sätze von der Form Fx ist der Satz (x)''ϕ''x. | Die Klasse aller Sätze von der Form Fx ist der Satz (x)''ϕ''x. | ||
Line 1,462: | Line 1,462: | ||
Gibt es die allgemeine Satzform? | Gibt es die allgemeine Satzform? | ||
Ja, wenn darunter die eine "logische Konstante" verstanden ist! [''Vgl.'' 5.47.] | Ja, wenn darunter die eine "logische Konstante" verstanden ist!<!-- [''Vgl.'' 5.47.]--> | ||
Immer wieder scheint die Frage einen Sinn zu haben: "Gibt es einfache Dinge?" Und doch muß diese Frage unsinnig sein! – | Immer wieder scheint die Frage einen Sinn zu haben: "Gibt es einfache Dinge?" Und doch muß diese Frage unsinnig sein! – | ||
Line 1,500: | Line 1,500: | ||
Es ist doch klar, daß Bestandteile unserer Sätze durch Definitionen zerlegt werden können und müssen, wenn wir uns der eigentlichen Struktur des Satzes nähern wollen. ''Jedenfalls gibt es also einen Prozeß der Analyse.'' Und kann nun nicht gefragt werden, ob dieser Prozeß einmal zu einem Ende kommt? Und wenn ja: Was wird das Ende sein?? | Es ist doch klar, daß Bestandteile unserer Sätze durch Definitionen zerlegt werden können und müssen, wenn wir uns der eigentlichen Struktur des Satzes nähern wollen. ''Jedenfalls gibt es also einen Prozeß der Analyse.'' Und kann nun nicht gefragt werden, ob dieser Prozeß einmal zu einem Ende kommt? Und wenn ja: Was wird das Ende sein?? | ||
Wenn es wahr ist, daß jedes definierte Zeichen via seine Definitionen bezeichnet, dann muß wohl die Kette der Definitionen einmal ein Ende haben. [''Vgl.'' 3.261.] | Wenn es wahr ist, daß jedes definierte Zeichen via seine Definitionen bezeichnet, dann muß wohl die Kette der Definitionen einmal ein Ende haben.<!-- [''Vgl.'' 3.261.]--> | ||
Der zerlegte Satz redet von mehr als der unzerlegte. | Der zerlegte Satz redet von mehr als der unzerlegte. | ||
Line 1,548: | Line 1,548: | ||
{{ParTBde|14. 5. 15.}} | {{ParTBde|14. 5. 15.}} | ||
Die Sprache ist ein Teil unseres Organismus und nicht weniger kompliziert als dieser. [''Vgl.'' 4.002.] | Die Sprache ist ein Teil unseres Organismus und nicht weniger kompliziert als dieser.<!-- [''Vgl.'' 4.002.]--> | ||
Das alte Problem von Komplex und Tatsache. | Das alte Problem von Komplex und Tatsache. | ||
Line 1,557: | Line 1,557: | ||
Die Komplex-Theorie drückt sich in Sätzen aus wie dieser: "Wenn ein Satz wahr ist, dann existiert Etwas"; es scheint ein Unterschied zu sein zwischen der Tatsache, welche der Satz ausdrückt: a steht in der Relation R zu b, und dem Komplex: ''a in der Relation R zu b'', welcher eben dasjenige ist, welches "existiert", wenn jener Satz wahr ist: Es scheint, als könnten wir dieses Etwas ''bezeichnen'', und zwar mit einem eigentlichen "zusammengesetzten Zeichen". – Die Gefühle, die sich in diesen Sätzen ausdrücken, sind ganz natürlich und ungekünstelt; es muß ihnen also eine Wahrheit zu Grunde liegen. Aber welche? | Die Komplex-Theorie drückt sich in Sätzen aus wie dieser: "Wenn ein Satz wahr ist, dann existiert Etwas"; es scheint ein Unterschied zu sein zwischen der Tatsache, welche der Satz ausdrückt: a steht in der Relation R zu b, und dem Komplex: ''a in der Relation R zu b'', welcher eben dasjenige ist, welches "existiert", wenn jener Satz wahr ist: Es scheint, als könnten wir dieses Etwas ''bezeichnen'', und zwar mit einem eigentlichen "zusammengesetzten Zeichen". – Die Gefühle, die sich in diesen Sätzen ausdrücken, sind ganz natürlich und ungekünstelt; es muß ihnen also eine Wahrheit zu Grunde liegen. Aber welche? | ||
Soviel ist klar, daß ein Komplex nur durch seine Beschreibung gegeben sein kann; und diese stimmen oder nicht stimmen wird. [''S.'' 3.24.] | Soviel ist klar, daß ein Komplex nur durch seine Beschreibung gegeben sein kann; und diese stimmen oder nicht stimmen wird.<!-- [''S.'' 3.24.]--> | ||
Der Satz, in welchem von einem Komplex die Rede ist, wird, wenn dieser nicht existiert, nicht unsinnig sondern einfach falsch sein! [''S.'' 3.24.] | Der Satz, in welchem von einem Komplex die Rede ist, wird, wenn dieser nicht existiert, nicht unsinnig sondern einfach falsch sein!<!-- [''S.'' 3.24.]--> | ||
Line 1,566: | Line 1,566: | ||
Wenn ich den Raum sehe, sehe ich alle seine Punkte? | Wenn ich den Raum sehe, sehe ich alle seine Punkte? | ||
Etwas "der Logik widersprechendes" in der Sprache darstellen kann man ebensowenig, wie in der Geometrie eine den Gesetzen des Raumes widersprechende Figur durch ihre Koordinaten darstellen, oder etwa die Koordinaten eines Punktes geben, welcher nicht existiert. [''S.'' 3.032.] | Etwas "der Logik widersprechendes" in der Sprache darstellen kann man ebensowenig, wie in der Geometrie eine den Gesetzen des Raumes widersprechende Figur durch ihre Koordinaten darstellen, oder etwa die Koordinaten eines Punktes geben, welcher nicht existiert.<!-- [''S.'' 3.032.]--> | ||
Gäbe es Sätze, welche die Existenz von Urbildern besagten, dann wären diese unik und eine Art "logische Sätze", und die Anzahl dieser Sätze würde der Logik eine unmögliche Realität geben. Es gäbe Koordination in der Logik. | Gäbe es Sätze, welche die Existenz von Urbildern besagten, dann wären diese unik und eine Art "logische Sätze", und die Anzahl dieser Sätze würde der Logik eine unmögliche Realität geben. Es gäbe Koordination in der Logik. | ||
Line 1,573: | Line 1,573: | ||
{{ParTBde|18. 5. 15.}} | {{ParTBde|18. 5. 15.}} | ||
Die Möglichkeit aller Gleichnisse, der ganzen Bildhaftigkeit unserer Ausdrucksweise, ruht in der Logik der Abbildung. [''S.'' 4.015.] | Die Möglichkeit aller Gleichnisse, der ganzen Bildhaftigkeit unserer Ausdrucksweise, ruht in der Logik der Abbildung.<!-- [''S.'' 4.015.]--> | ||
Line 1,592: | Line 1,592: | ||
{{ParTBde|21. 5. 15.}} | {{ParTBde|21. 5. 15.}} | ||
Wohl können wir einen Tatbestand räumlich darstellen, welcher den Gesetzen der Physik, aber keinen, der den Gesetzen der Geometrie zuwiderliefe. [''S.'' 3.0321.] | Wohl können wir einen Tatbestand räumlich darstellen, welcher den Gesetzen der Physik, aber keinen, der den Gesetzen der Geometrie zuwiderliefe.<!-- [''S.'' 3.0321.]--> | ||
Line 1,606: | Line 1,606: | ||
{{ParTBde|23. 5. 15.}} | {{ParTBde|23. 5. 15.}} | ||
''Die Grenzen meiner Sprache'' bedeuten die Grenzen meiner Welt. [''S.'' 5.6.] | ''Die Grenzen meiner Sprache'' bedeuten die Grenzen meiner Welt.<!-- [''S.'' 5.6.]--> | ||
Es gibt wirklich nur eine Weltseele, welche ich vorzüglich ''mein'' Seele nenne, und als welche allein ich das erfasse, was ich die Seelen anderer nenne. | Es gibt wirklich nur eine Weltseele, welche ich vorzüglich ''mein'' Seele nenne, und als welche allein ich das erfasse, was ich die Seelen anderer nenne. | ||
Die vorige Bemerkung gibt den Schlüssel zur Entscheidung, inwieweit der Solipsismus eine Wahrheit ist. [''S.'' 5.62.] | Die vorige Bemerkung gibt den Schlüssel zur Entscheidung, inwieweit der Solipsismus eine Wahrheit ist.<!-- [''S.'' 5.62.]--> | ||
Schon lange war es mir bewußt, daß ich ein Buch schreiben könnte "Was für eine Welt ich vorfand". [''Vgl.'' 5.631.] | Schon lange war es mir bewußt, daß ich ein Buch schreiben könnte "Was für eine Welt ich vorfand".<!-- [''Vgl.'' 5.631.]--> | ||
Haben wir nicht eben das Gefühl von der Einfachen Relation, welches uns immer als Hauptgrund für die Annahmen der Existenz "einfacher Gegenstände" vorschwebt, haben wir nicht dieses selbe Gefühl, wenn wir an die Relation zwischen Namen und komplexem Gegenstand denken? | Haben wir nicht eben das Gefühl von der Einfachen Relation, welches uns immer als Hauptgrund für die Annahmen der Existenz "einfacher Gegenstände" vorschwebt, haben wir nicht dieses selbe Gefühl, wenn wir an die Relation zwischen Namen und komplexem Gegenstand denken? | ||
Nehmen wir an der komplexe Gegenstand sei dies Buch; es heiße "A". Dann zeigt doch das Vorkommen des "A" im Satz das Vorkommen des Buches in der Tatsache an. ''Er löst sich eben auch bei der Analyse nicht willkürlich auf, so daß etwa seine Auflösung in jedem Satzgefüge eine gänzlich verschiedene wäre''. [''S''. 3.3442.] | Nehmen wir an der komplexe Gegenstand sei dies Buch; es heiße "A". Dann zeigt doch das Vorkommen des "A" im Satz das Vorkommen des Buches in der Tatsache an. ''Er löst sich eben auch bei der Analyse nicht willkürlich auf, so daß etwa seine Auflösung in jedem Satzgefüge eine gänzlich verschiedene wäre''.<!-- [''S''. 3.3442.]--> | ||
Und so wie das Vorkommen eines Ding-Namens in verschiedenen Sätzen, so zeigt das Vorkommen des Namens zusammengesetzter Gegenstände die Gemeinsamkeit einer Form und eines Inhalts. | Und so wie das Vorkommen eines Ding-Namens in verschiedenen Sätzen, so zeigt das Vorkommen des Namens zusammengesetzter Gegenstände die Gemeinsamkeit einer Form und eines Inhalts. | ||
Line 1,626: | Line 1,626: | ||
Deswegen, weil eine Redewendung unsinnig ist, kann man sie noch immer gebrauchen – siehe die letzte Bemerkung. | Deswegen, weil eine Redewendung unsinnig ist, kann man sie noch immer gebrauchen – siehe die letzte Bemerkung. | ||
In dem Buch "Die Welt, welche ich vorfand" wäre auch über meinen Leib zu berichten und zu sagen, welche Glieder meinem Willen unterstehen etc. Dies ist nämlich eine Methode, das Subjekt zu isolieren oder vielmehr zu zeigen, daß es in einem wichtigen Sinne kein Subjekt gibt. Von ihm allein nämlich könnte in diesem Buche ''nicht'' die Rede sein. – [''S''. 5.631.] | In dem Buch "Die Welt, welche ich vorfand" wäre auch über meinen Leib zu berichten und zu sagen, welche Glieder meinem Willen unterstehen etc. Dies ist nämlich eine Methode, das Subjekt zu isolieren oder vielmehr zu zeigen, daß es in einem wichtigen Sinne kein Subjekt gibt. Von ihm allein nämlich könnte in diesem Buche ''nicht'' die Rede sein. –<!-- [''S''. 5.631.]--> | ||
Line 1,644: | Line 1,644: | ||
Erscheint uns das Gesichtsbild eines minimum visibile wirklich als unteilbar? Was Ausdehnung hat, ist teilbar. Gibt es Teile in unserem Gesichtsbild, die ''keine'' Ausdehnung haben? Etwa die der Fixsterne? – | Erscheint uns das Gesichtsbild eines minimum visibile wirklich als unteilbar? Was Ausdehnung hat, ist teilbar. Gibt es Teile in unserem Gesichtsbild, die ''keine'' Ausdehnung haben? Etwa die der Fixsterne? – | ||
Der Trieb zum Mystischen kommt von der Unbefriedigtheit unserer Wünsche durch die Wissenschaft. Wir ''fühlen'', daß selbst wenn alle ''möglichen'' wissenschaftlichen Fragen beantwortet sind, ''unser Problem noch gar nicht berührt ist.'' Freilich bleibt dann eben keine Frage mehr; und eben dies ist die Antwort. [''Vgl.'' 6.52.] | Der Trieb zum Mystischen kommt von der Unbefriedigtheit unserer Wünsche durch die Wissenschaft. Wir ''fühlen'', daß selbst wenn alle ''möglichen'' wissenschaftlichen Fragen beantwortet sind, ''unser Problem noch gar nicht berührt ist.'' Freilich bleibt dann eben keine Frage mehr; und eben dies ist die Antwort.<!-- [''Vgl.'' 6.52.]--> | ||
Die Tautologie wird von ''jedem'' Satz bejaht; die Kontradiktion von jedem verneint. (Man könnte ja an jeden Satz, ohne seinen Sinn zu ändern, irgend eine Tautologie mit "und" anhängen und ebenso die Verneinung einer Kontradiktion.) | Die Tautologie wird von ''jedem'' Satz bejaht; die Kontradiktion von jedem verneint. (Man könnte ja an jeden Satz, ohne seinen Sinn zu ändern, irgend eine Tautologie mit "und" anhängen und ebenso die Verneinung einer Kontradiktion.) | ||
Und "ohne seinen Sinn zu ändern" heißt: ohne das ''Wesentltche'' am Zeichen selbst zu ändern. Denn man kann das ''Zeichen'' nicht ändern, ohne seinen Sinn zu ändern. [''Vgl.'' 4.465.] | Und "ohne seinen Sinn zu ändern" heißt: ohne das ''Wesentltche'' am Zeichen selbst zu ändern. Denn man kann das ''Zeichen'' nicht ändern, ohne seinen Sinn zu ändern.<!-- [''Vgl.'' 4.465.]--> | ||
"aRa" ''muß'' Sinn haben, wenn "aRb" Sinn hat. | "aRa" ''muß'' Sinn haben, wenn "aRb" Sinn hat. | ||
Line 1,659: | Line 1,659: | ||
Das Gegenstück zum Satze bilden die Gegenstände. | Das Gegenstück zum Satze bilden die Gegenstände. | ||
Die Gegenstände kann ich nur ''nennen.'' Zeichen vertreten sie. [''S.'' 3.221.] | Die Gegenstände kann ich nur ''nennen.'' Zeichen vertreten sie.<!-- [''S.'' 3.221.]--> | ||
{{ParTBde|27. 5. 15.}} | {{ParTBde|27. 5. 15.}} | ||
Ich kann nur ''von'' ihnen sprechen, sie aussprechen kann ich nicht. [''S.'' 3.221.] | Ich kann nur ''von'' ihnen sprechen, sie aussprechen kann ich nicht.<!-- [''S.'' 3.221.]--> | ||
"Aber könnte es nicht etwas geben, was durch einen ''Satz'' sich nicht ausdrücken läßt (und auch kein Gegenstand ist)?" Das ließe sich eben dann durch die ''Sprache'' nicht ausdrücken; und wir können auch nicht darnach ''fragen''. | "Aber könnte es nicht etwas geben, was durch einen ''Satz'' sich nicht ausdrücken läßt (und auch kein Gegenstand ist)?" Das ließe sich eben dann durch die ''Sprache'' nicht ausdrücken; und wir können auch nicht darnach ''fragen''. | ||
Line 1,722: | Line 1,722: | ||
Woher dies Gefühl: "Allem, was ich sehe, dieser Landschaft, dem Fliegen der Samen in der Luft, all diesem kann ich einen Namen zuordnen; ja, was, wenn nicht dieses, sollten wir Namen benennen"?! | Woher dies Gefühl: "Allem, was ich sehe, dieser Landschaft, dem Fliegen der Samen in der Luft, all diesem kann ich einen Namen zuordnen; ja, was, wenn nicht dieses, sollten wir Namen benennen"?! | ||
Namen kennzeichnen die Gemeinsamkeit ''einer'' Form und ''eines'' Inhalts. – Sie kennzeichnen erst ''mit'' ihrer syntaktischen Verwendung zusammen ''eine bestimmte'' logische Form. [''Vgl.'' 3.327.] | Namen kennzeichnen die Gemeinsamkeit ''einer'' Form und ''eines'' Inhalts. – Sie kennzeichnen erst ''mit'' ihrer syntaktischen Verwendung zusammen ''eine bestimmte'' logische Form.<!-- [''Vgl.'' 3.327.]--> | ||
Line 1,766: | Line 1,766: | ||
Aber geht es nicht so: Wenn p aus q folgt, aber nicht q aus p, dann sagt q mehr als p? | Aber geht es nicht so: Wenn p aus q folgt, aber nicht q aus p, dann sagt q mehr als p? | ||
Nun aber folgt aus einer Tautologie gar nichts. – Sie aber folgt aus jedem Satz. [''Vgl.'' 5.142.] | Nun aber folgt aus einer Tautologie gar nichts. – Sie aber folgt aus jedem Satz.<!-- [''Vgl.'' 5.142.]--> | ||
Analoges gilt von ihrem Gegenteil. | Analoges gilt von ihrem Gegenteil. | ||
Line 1,772: | Line 1,772: | ||
Aber wie! Wäre da die Kontradiktion nicht der vielsagendste Satz? Aus "p.~p" folgt ja nicht nur "p" sondern auch "~p"! Aus ihnen folgt jeder Satz und sie folgen aus keinem!? Aber ich kann doch aus einer Kontradiktion nichts schließen, eben ''weil'' sie eine Kontradiktion ist! | Aber wie! Wäre da die Kontradiktion nicht der vielsagendste Satz? Aus "p.~p" folgt ja nicht nur "p" sondern auch "~p"! Aus ihnen folgt jeder Satz und sie folgen aus keinem!? Aber ich kann doch aus einer Kontradiktion nichts schließen, eben ''weil'' sie eine Kontradiktion ist! | ||
Aber wenn die Kontradiktion die Klasse ''aller Sätze'' ist, so wird die Tautologie das Gemeinsame aller Klassen von Sätzen, welche nichts Gemeinsames haben, und verschwindet gänzlich. [''Vgl.'' 5.143.] | Aber wenn die Kontradiktion die Klasse ''aller Sätze'' ist, so wird die Tautologie das Gemeinsame aller Klassen von Sätzen, welche nichts Gemeinsames haben, und verschwindet gänzlich.<!-- [''Vgl.'' 5.143.]--> | ||
"p ∨ ~p" wäre also nur scheinbar ein Zeichen. In Wirklichkeit aber die Auflösung des Satzes. | "p ∨ ~p" wäre also nur scheinbar ein Zeichen. In Wirklichkeit aber die Auflösung des Satzes. | ||
Die Tautologie verschwindet sozusagen innerhalb aller Sätze, die Kontradiktion außerhalb aller Sätze. [''S.'' 5.143.] | Die Tautologie verschwindet sozusagen innerhalb aller Sätze, die Kontradiktion außerhalb aller Sätze.<!-- [''S.'' 5.143.]--> | ||
Bei diesen Betrachtungen scheine ich übrigens immer unbewußt vom Elementarsatz auszugehen. – | Bei diesen Betrachtungen scheine ich übrigens immer unbewußt vom Elementarsatz auszugehen. – | ||
Die Kontradiktion ist die äußere Grenze der Sätze; kein Satz bejaht sie. Die Tautologie ist ihr substanzloser Mittelpunkt. (Man kann den Mittelpunkt einer Kreisfläche als deren innere Begrenzung auffassen.) [''Vgl.'' 5.143.] | Die Kontradiktion ist die äußere Grenze der Sätze; kein Satz bejaht sie. Die Tautologie ist ihr substanzloser Mittelpunkt. (Man kann den Mittelpunkt einer Kreisfläche als deren innere Begrenzung auffassen.)<!-- [''Vgl.'' 5.143.]--> | ||
(Das erlösende Wort ist übrigens hier noch nicht gesprochen.) | (Das erlösende Wort ist übrigens hier noch nicht gesprochen.) | ||
Line 1,841: | Line 1,841: | ||
Dadurch daß ich an "p" das "~" hänge, tritt der Satz in eine andere Satzklasse. | Dadurch daß ich an "p" das "~" hänge, tritt der Satz in eine andere Satzklasse. | ||
Jeder Satz hat nur ein Negativ; ... Es gibt nur einen Satz der ganz außerhalb von "p" liegt. [''Vgl.'' 5.513.] | Jeder Satz hat nur ein Negativ; ... Es gibt nur einen Satz der ganz außerhalb von "p" liegt.<!-- [''Vgl.'' 5.513.]--> | ||
Man könnte auch so sagen: Der Satz, welcher p und ~p bejaht, wird von allen Sätzen verneint; der Satz, welcher p oder ~p bejaht, wird von allen Sätzen bejaht. | Man könnte auch so sagen: Der Satz, welcher p und ~p bejaht, wird von allen Sätzen verneint; der Satz, welcher p oder ~p bejaht, wird von allen Sätzen bejaht. | ||
Line 1,865: | Line 1,865: | ||
{{ParTBde|8. 6. 15.}} | {{ParTBde|8. 6. 15.}} | ||
Jeder "mathematische Satz" ist ein in Zeichen dargestellter Modus ponens. (Und es ist klar, daß man den Modus ponens nicht in einem Satz ausdrücken kann.) [''Vgl.'' 6.1264.] | Jeder "mathematische Satz" ist ein in Zeichen dargestellter Modus ponens. (Und es ist klar, daß man den Modus ponens nicht in einem Satz ausdrücken kann.)<!-- [''Vgl.'' 6.1264.]--> | ||
Die Gemeinsamkeit der Grenze von p und ~p drückt sich dadurch aus, daß das Negativ eines Satzes nur mit Hilfe eben dieses bestimmt wird. Wir sagen ja eben: das Negativ eines Satzes ist der Satz, welcher... und nun folgt die Beziehung von ~p zu p. – | Die Gemeinsamkeit der Grenze von p und ~p drückt sich dadurch aus, daß das Negativ eines Satzes nur mit Hilfe eben dieses bestimmt wird. Wir sagen ja eben: das Negativ eines Satzes ist der Satz, welcher... und nun folgt die Beziehung von ~p zu p. – | ||
Line 1,897: | Line 1,897: | ||
"p.r ∨ ~r" | "p.r ∨ ~r" | ||
was immer q und r besagen mag: Alle Tautologien besagen dasselbe. (Nämlich nichts.) [''Vgl.'' 5.43.] | was immer q und r besagen mag: Alle Tautologien besagen dasselbe. (Nämlich nichts.)<!-- [''Vgl.'' 5.43.]--> | ||
Aus der letzten Erklärung der Verneinung folgt, daß alle von p allein abhängigen Sätze, welche p nicht bejahen – und nur solche – p verneinen. Also sind "p v ~p" und "p.~p" keine Sätze, denn das erste Zeichen bejaht weder noch verneint es p, und das zweite müßte beide bejahen. | Aus der letzten Erklärung der Verneinung folgt, daß alle von p allein abhängigen Sätze, welche p nicht bejahen – und nur solche – p verneinen. Also sind "p v ~p" und "p.~p" keine Sätze, denn das erste Zeichen bejaht weder noch verneint es p, und das zweite müßte beide bejahen. | ||
Da ich nun aber doch p ∨ ~p und p.~p hinschreiben kann, zumal in Verbindung mit anderen Sätzen, so muß klar gestellt werden, welche Rolle diese Scheinsätze nun, besonders ''in'' jenen Verbindungen, spielen. Denn sie sind natürlich nicht als ein völlig bedeutungsloses Anhängsel – wie etwa ein bedeutungsloser Name – zu behandeln. Sie gehören vielmehr mit in den Symbolismus – wie die "0" in der Arithmetik. [''Vgl.'' 4.4611.] | Da ich nun aber doch p ∨ ~p und p.~p hinschreiben kann, zumal in Verbindung mit anderen Sätzen, so muß klar gestellt werden, welche Rolle diese Scheinsätze nun, besonders ''in'' jenen Verbindungen, spielen. Denn sie sind natürlich nicht als ein völlig bedeutungsloses Anhängsel – wie etwa ein bedeutungsloser Name – zu behandeln. Sie gehören vielmehr mit in den Symbolismus – wie die "0" in der Arithmetik.<!-- [''Vgl.'' 4.4611.]--> | ||
Da ist es klar, daß p ∨ ~p die Rolle eines wahren Satzes spielt, der aber ''zero'' sagt. | Da ist es klar, daß p ∨ ~p die Rolle eines wahren Satzes spielt, der aber ''zero'' sagt. | ||
Line 1,991: | Line 1,991: | ||
Wenn ein Satz uns etwas sagt, so muß er, wie er da steht, ein Bild der Wirklichkeit sein und zwar ein vollständiges. – Es wird natürlich auch etwas geben, was er ''nicht'' sagt – aber ''was'' er sagt, sagt er vollständig, und es muß sich SCHARF begrenzen lassen. | Wenn ein Satz uns etwas sagt, so muß er, wie er da steht, ein Bild der Wirklichkeit sein und zwar ein vollständiges. – Es wird natürlich auch etwas geben, was er ''nicht'' sagt – aber ''was'' er sagt, sagt er vollständig, und es muß sich SCHARF begrenzen lassen. | ||
Ein Satz mag also zwar ein unvollständiges Bild einer gewissen Tatsache sein, aber er ist IMMER ''ein vollständiges Bild''. [''Vgl.'' 5.156.] | Ein Satz mag also zwar ein unvollständiges Bild einer gewissen Tatsache sein, aber er ist IMMER ''ein vollständiges Bild''.<!-- [''Vgl.'' 5.156.]--> | ||
Daraus schiene es nun, als ob in gewissem Sinne alle Namen ''echte Namen'' wären. Oder wie ich auch sagen könnte, als ob alle Gegenstände in gewissem Sinne einfache Gegenstände wären. | Daraus schiene es nun, als ob in gewissem Sinne alle Namen ''echte Namen'' wären. Oder wie ich auch sagen könnte, als ob alle Gegenstände in gewissem Sinne einfache Gegenstände wären. | ||
Line 2,022: | Line 2,022: | ||
Ob nicht die Darstellung durch unzerlegbare Namen ''nur ein System'' ist? | Ob nicht die Darstellung durch unzerlegbare Namen ''nur ein System'' ist? | ||
Alles, was ich will, ist ja nur vollständige Zerlegtheit ''meines Sinnes''!! Mit anderen Worten, der Satz muß vollkommen artikuliert sein. Alles, was sein Sinn mit einem anderen Sinn gemeinsam hat, muß im Satz separat enthalten sein. Kommen Verallgemeinerungen vor, so müssen die Formen der besonderen Fälle ersichtlich sein. – Und es ist klar, daß diese Forderung berechtigt ist, sonst kann der Satz überhaupt kein Bild von ''irgend etwas'' sein. [''Vgl.'' 3.251.] | Alles, was ich will, ist ja nur vollständige Zerlegtheit ''meines Sinnes''!! Mit anderen Worten, der Satz muß vollkommen artikuliert sein. Alles, was sein Sinn mit einem anderen Sinn gemeinsam hat, muß im Satz separat enthalten sein. Kommen Verallgemeinerungen vor, so müssen die Formen der besonderen Fälle ersichtlich sein. – Und es ist klar, daß diese Forderung berechtigt ist, sonst kann der Satz überhaupt kein Bild von ''irgend etwas'' sein.<!-- [''Vgl.'' 3.251.]--> | ||
Denn wenn im Satze Möglichkeiten ''offen gelassen werden'', so muß ''eben das bestimmt'' sein: ''was'' offen gelassen wird. Die Verallgemeinerungen der Form – z. B. – müssen bestimmt sein. Was ich nicht weiß, das weiß ich nicht, aber der Satz muß mir zeigen, WAS ich weiß. Und ist dann nicht dies Bestimmte, zu dem ich kommen muß, gerade einfach in dem Sinn, der mir immer vorgeschwebt hat? Es ist sozusagen das Harte. | Denn wenn im Satze Möglichkeiten ''offen gelassen werden'', so muß ''eben das bestimmt'' sein: ''was'' offen gelassen wird. Die Verallgemeinerungen der Form – z. B. – müssen bestimmt sein. Was ich nicht weiß, das weiß ich nicht, aber der Satz muß mir zeigen, WAS ich weiß. Und ist dann nicht dies Bestimmte, zu dem ich kommen muß, gerade einfach in dem Sinn, der mir immer vorgeschwebt hat? Es ist sozusagen das Harte. | ||
Line 2,035: | Line 2,035: | ||
Ist die Zusammengesetztheit eines Gegenstandes für den Sinn eines Satzes bestimmend, dann muß sie soweit im Satze abgebildet sein, als sie seinen Sinn bestimmt. Und soweit die Zusammensetzung für ''diesen'' Sinn ''nicht'' bestimmend ist, soweit sind die Gegenstände dieses Satzes ''einfach.'' SIE ''können'' nicht weiter zerlegt werden. – | Ist die Zusammengesetztheit eines Gegenstandes für den Sinn eines Satzes bestimmend, dann muß sie soweit im Satze abgebildet sein, als sie seinen Sinn bestimmt. Und soweit die Zusammensetzung für ''diesen'' Sinn ''nicht'' bestimmend ist, soweit sind die Gegenstände dieses Satzes ''einfach.'' SIE ''können'' nicht weiter zerlegt werden. – | ||
Die Forderung der einfachen Dinge ''ist'' die Forderung der Bestimmtheit des Sinnes. [''Vgl.'' 3.23.] | Die Forderung der einfachen Dinge ''ist'' die Forderung der Bestimmtheit des Sinnes.<!-- [''Vgl.'' 3.23.]--> | ||
Denn rede ich etwa von dieser Uhr und meine damit etwas Komplexes, und es kommt auf die Zusammensetzung nicht an, so wird im Satz eine Verallgemeinerung auftreten, und ihre Grundformen werden, ''soweit sie überhaupt gegeben sind'', vollkommen bestimmt sein. | Denn rede ich etwa von dieser Uhr und meine damit etwas Komplexes, und es kommt auf die Zusammensetzung nicht an, so wird im Satz eine Verallgemeinerung auftreten, und ihre Grundformen werden, ''soweit sie überhaupt gegeben sind'', vollkommen bestimmt sein. | ||
Line 2,078: | Line 2,078: | ||
Das Aufstellen einer Art logischen Inventars, wie ich mir das früher vorstellte, scheint es doch wohl nicht zu geben. | Das Aufstellen einer Art logischen Inventars, wie ich mir das früher vorstellte, scheint es doch wohl nicht zu geben. | ||
Die Bestandteile des Satzes müssen einfach sein = Der Satz muß vollkommen artikuliert sein. [''Vgl.'' 3.251.] | Die Bestandteile des Satzes müssen einfach sein = Der Satz muß vollkommen artikuliert sein.<!-- [''Vgl.'' 3.251.]--> | ||
Nun SCHEINT dies aber den Tatsachen zu widersprechen? – | Nun SCHEINT dies aber den Tatsachen zu widersprechen? – | ||
Line 2,160: | Line 2,160: | ||
Es scheint immer so, als ob es komplexe Gegenstände gäbe, die als einfache fungieren und dann auch ''wirklich'' einfache, wie die materiellen Punkte der Physik, etc. | Es scheint immer so, als ob es komplexe Gegenstände gäbe, die als einfache fungieren und dann auch ''wirklich'' einfache, wie die materiellen Punkte der Physik, etc. | ||
Daß ein Name einen komplexen Gegenstand bezeichnet sieht man aus einer Unbestimmtheit in den Sätzen, in welchen er vorkommt, die eben von der Allgemeinheit solcher Sätze herrührt. Wir ''wissen'', durch diesen Satz ist noch nicht alles bestimmt. Die Allgemeinheitsbezeichnung ''enthält'' ja ein Urbild. [''Vgl.'' 3.24.] | Daß ein Name einen komplexen Gegenstand bezeichnet sieht man aus einer Unbestimmtheit in den Sätzen, in welchen er vorkommt, die eben von der Allgemeinheit solcher Sätze herrührt. Wir ''wissen'', durch diesen Satz ist noch nicht alles bestimmt. Die Allgemeinheitsbezeichnung ''enthält'' ja ein Urbild.<!-- [''Vgl.'' 3.24.]--> | ||
Alle unsichtbaren Massen etc. etc. müssen unter die Allgemeinheitsbezeichnung kommen. | Alle unsichtbaren Massen etc. etc. müssen unter die Allgemeinheitsbezeichnung kommen. | ||
Line 2,177: | Line 2,177: | ||
Es ist also auch ''dem'' UNBEFANGENEN ''Geist'' klar, daß der Sinn des Satzes "die Uhr liegt auf dem Tisch" komplizierter ist als der Satz selbst. | Es ist also auch ''dem'' UNBEFANGENEN ''Geist'' klar, daß der Sinn des Satzes "die Uhr liegt auf dem Tisch" komplizierter ist als der Satz selbst. | ||
Die Abmachungen unserer Sprache sind außerordentlich kompliziert. Es wird enorm viel zu jedem Satz dazugedacht, was nicht gesagt wird. (Diese Abmachungen sind ganz wie die "Conventions" Whiteheads. Sie sind wohl Definitionen mit ''einer gewissen Allgemeinheit der Form''.) [''Vgl.'' 4.002.] | Die Abmachungen unserer Sprache sind außerordentlich kompliziert. Es wird enorm viel zu jedem Satz dazugedacht, was nicht gesagt wird. (Diese Abmachungen sind ganz wie die "Conventions" Whiteheads. Sie sind wohl Definitionen mit ''einer gewissen Allgemeinheit der Form''.)<!-- [''Vgl.'' 4.002.]--> | ||
Ich will nur die Vagheit der gewöhnlichen Sätze rechtfertigen, denn sie ''läßt'' sich rechtfertigen. | Ich will nur die Vagheit der gewöhnlichen Sätze rechtfertigen, denn sie ''läßt'' sich rechtfertigen. | ||
Line 2,204: | Line 2,204: | ||
{{ParTBde|15. 4. 16.}} | {{ParTBde|15. 4. 16.}} | ||
Nur was wir selbst konstruieren, können wir voraussehen! [''S.'' 5.556.] | Nur was wir selbst konstruieren, können wir voraussehen!<!-- [''S.'' 5.556.]--> | ||
Aber wo bleibt da der Begriff des einfachen Gegenstandes? Dieser Begriff kommt hier überhaupt noch nicht in Betracht. | Aber wo bleibt da der Begriff des einfachen Gegenstandes? Dieser Begriff kommt hier überhaupt noch nicht in Betracht. | ||
Line 2,219: | Line 2,219: | ||
Darum darf man aus dieser Form alle einfachen Sätze zusammen stellen. | Darum darf man aus dieser Form alle einfachen Sätze zusammen stellen. | ||
Angenommen, mir wären ''alle'' einfachen Sätze gegeben: Dann läßt sich einfach fragen: welche Sätze kann ich aus ihnen bilden. Und das sind ''alle'' Sätze, und ''so'' sind sie ''begrenzt.'' [''S.'' 4.51.] | Angenommen, mir wären ''alle'' einfachen Sätze gegeben: Dann läßt sich einfach fragen: welche Sätze kann ich aus ihnen bilden. Und das sind ''alle'' Sätze, und ''so'' sind sie ''begrenzt.''<!-- [''S.'' 4.51.]--> | ||
<p style="text-align:center;">(p): p = aRx.xRy ... zRb</p> | <p style="text-align:center;">(p): p = aRx.xRy ... zRb</p> | ||
Line 2,242: | Line 2,242: | ||
{{ParTBde|26. 4. 16.}} | {{ParTBde|26. 4. 16.}} | ||
So und nur so ist das Fortschreiten von einer Type zur anderen möglich. [''Vgl.'' 5.252] | So und nur so ist das Fortschreiten von einer Type zur anderen möglich.<!-- [''Vgl.'' 5.252] | ||
Und man kann sagen, alle Typen stehen in Hierarchien. | Und man kann sagen, alle Typen stehen in Hierarchien. | ||
Line 2,250: | Line 2,250: | ||
Die empirische Realität ist begrenzt durch die Zahl der Gegenstände. | Die empirische Realität ist begrenzt durch die Zahl der Gegenstände. | ||
Die Grenze zeigt sich wieder in der Gesamtheit der einfachen Sätze. [''S''. 5.5561.] | Die Grenze zeigt sich wieder in der Gesamtheit der einfachen Sätze.<!-- [''S''. 5.5561.]--> | ||
Die Hierarchien sind und müssen unabhängig sein von der Realität. [''S''. 5.5561.] | Die Hierarchien sind und müssen unabhängig sein von der Realität.<!-- [''S''. 5.5561.]--> | ||
Die Bedeutungen ihrer Glieder werden erst durch Zuordnung der Gegenstände zu den Namen bestimmt. | Die Bedeutungen ihrer Glieder werden erst durch Zuordnung der Gegenstände zu den Namen bestimmt. | ||
Line 2,268: | Line 2,268: | ||
{{ParTBde|6. 5. 16.}} | {{ParTBde|6. 5. 16.}} | ||
Der ganzen Weltanschauung der Modernen liegt diese Täuschung zu Grunde, daß die sogenannten Naturgesetze die Erklärungen der Naturerscheinungen seien. [''S.'' 6.371.] | Der ganzen Weltanschauung der Modernen liegt diese Täuschung zu Grunde, daß die sogenannten Naturgesetze die Erklärungen der Naturerscheinungen seien.<!-- [''S.'' 6.371.]--> | ||
So bleiben sie bei den "Naturgesetzen" als bei etwas ''Unantastbarem'' stehen, wie die Älteren bei Gott und dem Schicksal. [''S''. 6.372.] | So bleiben sie bei den "Naturgesetzen" als bei etwas ''Unantastbarem'' stehen, wie die Älteren bei Gott und dem Schicksal.<!-- [''S''. 6.372.]--> | ||
Und sie haben ja beide recht und unrecht. Die Alten sind allerdings insofern klarer, als sie einen klaren Abschluß anerkannten, während es bei dem neuen System scheinen soll, als sei ''alles'' begründet. [''S''. 6.372.] | Und sie haben ja beide recht und unrecht. Die Alten sind allerdings insofern klarer, als sie einen klaren Abschluß anerkannten, während es bei dem neuen System scheinen soll, als sei ''alles'' begründet.<!-- [''S''. 6.372.]--> | ||
Line 2,300: | Line 2,300: | ||
Daß etwas an ihr problematisch ist, was wir ihren Sinn nennen. | Daß etwas an ihr problematisch ist, was wir ihren Sinn nennen. | ||
Daß dieser Sinn nicht in ihr liegt sondern außer ihr. [''Vgl.'' 6.41.] | Daß dieser Sinn nicht in ihr liegt sondern außer ihr.<!-- [''Vgl.'' 6.41.]--> | ||
Daß das Leben die Welt ist. [''Vgl.'' 5.621.] | Daß das Leben die Welt ist.<!-- [''Vgl.'' 5.621.]--> | ||
Daß mein Wille die Welt durchdringt. | Daß mein Wille die Welt durchdringt. | ||
Line 2,323: | Line 2,323: | ||
{{ParTBde|5. 7. 16.}} | {{ParTBde|5. 7. 16.}} | ||
Die Welt ist unabhängig von meinem Willen. [''S.'' 6.373.] | Die Welt ist unabhängig von meinem Willen.<!-- [''S.'' 6.373.]--> | ||
Auch wenn alles, was wir wünschen, geschähe, so wäre das doch nur sozusagen eine Gnade des Schicksals, denn es ist kein logischer Zusammenhang zwischen Willen und Welt, der dies verbürgte, und den angenommenen physikalischen könnten wir doch nicht wieder wollen. [''S.'' 6.374.] | Auch wenn alles, was wir wünschen, geschähe, so wäre das doch nur sozusagen eine Gnade des Schicksals, denn es ist kein logischer Zusammenhang zwischen Willen und Welt, der dies verbürgte, und den angenommenen physikalischen könnten wir doch nicht wieder wollen.<!-- [''S.'' 6.374.]--> | ||
Wenn das gute oder böse Wollen eine Wirkung auf die Welt hat, so kann es sie nur auf die Grenzen der Welt haben, nicht auf die Tatsachen, auf das, was durch die Sprache nicht abgebildet, sondern nur in der Sprache gezeigt werden kann. [''Vgl.'' 6.43.] | Wenn das gute oder böse Wollen eine Wirkung auf die Welt hat, so kann es sie nur auf die Grenzen der Welt haben, nicht auf die Tatsachen, auf das, was durch die Sprache nicht abgebildet, sondern nur in der Sprache gezeigt werden kann.<!-- [''Vgl.'' 6.43.]--> | ||
Kurz, die ''Welt'' muß dann dadurch überhaupt eine andere werden. [''S.'' 6.43.] | Kurz, die ''Welt'' muß dann dadurch überhaupt eine andere werden.<!-- [''S.'' 6.43.]--> | ||
Sie muß sozusagen als Ganzes zunehmen oder abnehmen. Wie durch Dazukommen oder Wegfallen eines Sinnes. [''Vgl.'' 6.43.] | Sie muß sozusagen als Ganzes zunehmen oder abnehmen. Wie durch Dazukommen oder Wegfallen eines Sinnes.<!-- [''Vgl.'' 6.43.]--> | ||
Wie auch beim Tod die Welt sich nicht ändert, sondern aufhört zu sein. [''S.'' 6.431.] | Wie auch beim Tod die Welt sich nicht ändert, sondern aufhört zu sein.<!-- [''S.'' 6.431.]--> | ||
Line 2,342: | Line 2,342: | ||
Oder man könnte auch so sagen, der erfüllt den Zweck des Daseins, der keinen Zweck außer dem Leben mehr braucht. Das heißt nämlich, der befriedigt ist. | Oder man könnte auch so sagen, der erfüllt den Zweck des Daseins, der keinen Zweck außer dem Leben mehr braucht. Das heißt nämlich, der befriedigt ist. | ||
Die Lösung des Problems des Lebens merkt man am Verschwinden dieses Problems. [''S.'' 6.521.] | Die Lösung des Problems des Lebens merkt man am Verschwinden dieses Problems.<!-- [''S.'' 6.521.]--> | ||
Kann man aber so leben, daß das Leben aufhört, problematisch zu sein? Daß man im Ewigen ''lebt'' und nicht in der Zeit? | Kann man aber so leben, daß das Leben aufhört, problematisch zu sein? Daß man im Ewigen ''lebt'' und nicht in der Zeit? | ||
Line 2,349: | Line 2,349: | ||
{{ParTBde|7. 7. 16.}} | {{ParTBde|7. 7. 16.}} | ||
Ist nicht dies der Grund, warum Menschen, denen der Sinn des Lebens nach langen Zweifeln klar wurde, warum diese dann nicht sagen konnten, worin dieser Sinn bestand. [''S.'' 6.521.] | Ist nicht dies der Grund, warum Menschen, denen der Sinn des Lebens nach langen Zweifeln klar wurde, warum diese dann nicht sagen konnten, worin dieser Sinn bestand.<!-- [''S.'' 6.521.]--> | ||
Wenn ich mir eine "''Art'' von Gegenständen" denken kann, ohne zu wissen, ob es solche Gegenstände gibt, so muß ich mir ihr Urbild konstruiert haben. | Wenn ich mir eine "''Art'' von Gegenständen" denken kann, ohne zu wissen, ob es solche Gegenstände gibt, so muß ich mir ihr Urbild konstruiert haben. | ||
Line 2,386: | Line 2,386: | ||
Für das Leben in der Gegenwart gibt es keinen Tod. | Für das Leben in der Gegenwart gibt es keinen Tod. | ||
Der Tod ist kein Ereignis des Lebens. Er ist keine Tatsache der Welt. [''Vgl.'' 6.4311.] | Der Tod ist kein Ereignis des Lebens. Er ist keine Tatsache der Welt.<!-- [''Vgl.'' 6.4311.]--> | ||
Wenn man unter Ewigkeit nicht unendliche Zeitdauer, sondern Unzeitlichkeit versteht, dann kann man sagen, daß der ewig lebt, der in der Gegenwart lebt. [''S.'' 6.4311.] | Wenn man unter Ewigkeit nicht unendliche Zeitdauer, sondern Unzeitlichkeit versteht, dann kann man sagen, daß der ewig lebt, der in der Gegenwart lebt.<!-- [''S.'' 6.4311.]--> | ||
Um glücklich zu leben, muß ich in Übereinstimmung sein mit der Welt. Und dies ''heißt'' ja "glücklich sein". | Um glücklich zu leben, muß ich in Übereinstimmung sein mit der Welt. Und dies ''heißt'' ja "glücklich sein". | ||
Line 2,426: | Line 2,426: | ||
Wenn alle bestimmten Gegenstände gegeben sind, sind "alle Gegenstände" gegeben. | Wenn alle bestimmten Gegenstände gegeben sind, sind "alle Gegenstände" gegeben. | ||
Kurz, mit den bestimmten Gegenständen sind alle Gegenstände gegeben. [''Vgl.'' 5.524.] | Kurz, mit den bestimmten Gegenständen sind alle Gegenstände gegeben.<!-- [''Vgl.'' 5.524.]--> | ||
Wenn es Gegenstände gibt, gibt es damit auch "alle Gegenstände". [''Vgl.'' 5.524.] | Wenn es Gegenstände gibt, gibt es damit auch "alle Gegenstände".<!-- [''Vgl.'' 5.524.]--> | ||
Darum muß sich auch die Einheit der Elementarsätze und der allgemeinen Sätze herstellen lassen. | Darum muß sich auch die Einheit der Elementarsätze und der allgemeinen Sätze herstellen lassen. | ||
Wenn nämlich die Elementarsätze gegeben sind, so sind damit auch ''alle'' Elementarsätze gegeben und damit der allgemeine Satz. – Und ist damit nicht schon die Einheit hergestellt? [''Vgl.'' 5. 524.] | Wenn nämlich die Elementarsätze gegeben sind, so sind damit auch ''alle'' Elementarsätze gegeben und damit der allgemeine Satz. – Und ist damit nicht schon die Einheit hergestellt?<!-- [''Vgl.'' 5. 524.]--> | ||
Line 2,474: | Line 2,474: | ||
{{ParTBde|24. 7. 16.}} | {{ParTBde|24. 7. 16.}} | ||
Die Welt und das Leben sind Eins. [''S.'' 5.621.] | Die Welt und das Leben sind Eins.<!-- [''S.'' 5.621.]--> | ||
Das physiologische Leben ist natürlich nicht "das Leben". Und auch nicht das psychologische. Das Leben ist die Welt. | Das physiologische Leben ist natürlich nicht "das Leben". Und auch nicht das psychologische. Das Leben ist die Welt. | ||
Line 2,480: | Line 2,480: | ||
Die Ethik handelt nicht von der Welt. Die Ethik muß eine Bedingung der Welt sein, wie die Logik. | Die Ethik handelt nicht von der Welt. Die Ethik muß eine Bedingung der Welt sein, wie die Logik. | ||
Ethik und Aesthetik sind Eins. [''S.'' 6.421.] | Ethik und Aesthetik sind Eins.<!-- [''S.'' 6.421.]--> | ||
{{ParTBde|29. 7. 16.}} | {{ParTBde|29. 7. 16.}} | ||
Denn daß der Wunsch mit seiner Erfüllung in keinem logischen Zusammenhang steht, ist eine logische Tatsache. Und daß die Welt des Glücklichen eine ''andere'' ist als die Welt des Unglücklichen, ist auch klar. [''Vgl.'' 6.43.] | Denn daß der Wunsch mit seiner Erfüllung in keinem logischen Zusammenhang steht, ist eine logische Tatsache. Und daß die Welt des Glücklichen eine ''andere'' ist als die Welt des Unglücklichen, ist auch klar.<!-- [''Vgl.'' 6.43.]--> | ||
Ist sehen eine Tätigkeit? | Ist sehen eine Tätigkeit? | ||
Line 2,507: | Line 2,507: | ||
Man scheint nicht mehr sagen zu können als: Lebe glücklich! | Man scheint nicht mehr sagen zu können als: Lebe glücklich! | ||
Die Welt des Glücklichen ist eine andere als die des Unglücklichen. [''S.'' 6.43.] | Die Welt des Glücklichen ist eine andere als die des Unglücklichen.<!-- [''S.'' 6.43.]--> | ||
Die Welt des Glücklichen ist ''eine glückliche Welt.'' | Die Welt des Glücklichen ist ''eine glückliche Welt.'' | ||
Line 2,520: | Line 2,520: | ||
Es ist aber klar, daß die Ethik nichts mit Strafe und Lohn zu tun hat. Also muß diese Frage nach den Folgen einer Handlung belanglos sein. Zum mindesten dürfen diese Folgen nicht Ereignisse sein. Denn etwas muß doch an jener Fragestellung richtig sein. Es muß zwar eine ''Art'' von ethischem Lohn und ethischer Strafe geben, aber diese müssen in der Handlung selbst liegen. | Es ist aber klar, daß die Ethik nichts mit Strafe und Lohn zu tun hat. Also muß diese Frage nach den Folgen einer Handlung belanglos sein. Zum mindesten dürfen diese Folgen nicht Ereignisse sein. Denn etwas muß doch an jener Fragestellung richtig sein. Es muß zwar eine ''Art'' von ethischem Lohn und ethischer Strafe geben, aber diese müssen in der Handlung selbst liegen. | ||
Und das ist auch klar, daß der Lohn etwas Angenehmes, die Strafe etwas Unangenehmes sein muß. [''S.'' 6.422.] | Und das ist auch klar, daß der Lohn etwas Angenehmes, die Strafe etwas Unangenehmes sein muß.<!-- [''S.'' 6.422.]--> | ||
Immer wieder komme ich darauf zurück, daß einfach das glückliche Leben gut, das unglückliche schlecht ist. Und wenn ich mich ''jetzt'' frage: aber ''warum'' soll ich gerade glücklich leben, so erscheint mir das von selbst als eine tautologische Fragestellung; es scheint, daß sich das glückliche Leben von selbst rechtfertigt, daß es das einzig richtige Leben ''ist.'' | Immer wieder komme ich darauf zurück, daß einfach das glückliche Leben gut, das unglückliche schlecht ist. Und wenn ich mich ''jetzt'' frage: aber ''warum'' soll ich gerade glücklich leben, so erscheint mir das von selbst als eine tautologische Fragestellung; es scheint, daß sich das glückliche Leben von selbst rechtfertigt, daß es das einzig richtige Leben ''ist.'' | ||
Alles dies ist eigentlich in gewissem Sinne tief geheimnisvoll! ''Es ist klar'', daß sich die Ethik nicht aussprechen ''läßt''! [''Vgl.'' 6.421.] | Alles dies ist eigentlich in gewissem Sinne tief geheimnisvoll! ''Es ist klar'', daß sich die Ethik nicht aussprechen ''läßt''!<!-- [''Vgl.'' 6.421.]--> | ||
Man könnte aber so sagen: Das glückliche Leben scheint in irgend einem Sinne ''harmonischer'' zu sein als das unglückliche. In welchem aber?? | Man könnte aber so sagen: Das glückliche Leben scheint in irgend einem Sinne ''harmonischer'' zu sein als das unglückliche. In welchem aber?? | ||
Line 2,532: | Line 2,532: | ||
Dies Merkmal kann kein physisches, sondern nur ein metaphysisches, ein transcendentes sein. | Dies Merkmal kann kein physisches, sondern nur ein metaphysisches, ein transcendentes sein. | ||
Die Ethik ist transcendent. [''S.'' 6.421.] | Die Ethik ist transcendent.<!-- [''S.'' 6.421.]--> | ||
Line 2,558: | Line 2,558: | ||
Denn es muß für die Existenz der Ethik gleich bleiben, ob es auf der Welt lebende Materie gibt oder nicht. Und es ist klar, daß eine Welt, in der nur tote Materie ist, an sich weder gut noch böse ist, also kann auch die Welt der Lebewesen an sich weder gut noch böse sein. | Denn es muß für die Existenz der Ethik gleich bleiben, ob es auf der Welt lebende Materie gibt oder nicht. Und es ist klar, daß eine Welt, in der nur tote Materie ist, an sich weder gut noch böse ist, also kann auch die Welt der Lebewesen an sich weder gut noch böse sein. | ||
Gut und Böse tritt erst durch das ''Subjekt'' ein. Und das Subjekt gehört nicht zur Welt, sondern ist eine Grenze der Welt. [''Vgl.'' 5.632.] | Gut und Böse tritt erst durch das ''Subjekt'' ein. Und das Subjekt gehört nicht zur Welt, sondern ist eine Grenze der Welt.<!-- [''Vgl.'' 5.632.]--> | ||
Man könnte (Schopenhauerisch) sagen: Die Welt der Vorstellung ist weder gut noch böse, sondern das wollende Subjekt. | Man könnte (Schopenhauerisch) sagen: Die Welt der Vorstellung ist weder gut noch böse, sondern das wollende Subjekt. | ||
Line 2,577: | Line 2,577: | ||
Ist nicht am Ende das vorstellende Subjekt bloßer Aberglaube? | Ist nicht am Ende das vorstellende Subjekt bloßer Aberglaube? | ||
Wo in der Welt ist ein metaphysisches Subjekt zu merken? [''S.'' 5.633.] | Wo in der Welt ist ein metaphysisches Subjekt zu merken?<!-- [''S.'' 5.633.]--> | ||
Du sagst, es verhält sich hier ganz wie bei Auge und Gesichtsfeld. Aber das Auge siehst du wirklich ''nicht''. [''S.'' 5.633.] | Du sagst, es verhält sich hier ganz wie bei Auge und Gesichtsfeld. Aber das Auge siehst du wirklich ''nicht''.<!-- [''S.'' 5.633.]--> | ||
Und ich glaube, daß nichts am Gesichtsfeld darauf schließen läßt, daß es von einem Auge gesehen wird. [''Vgl.'' 5.633.] | Und ich glaube, daß nichts am Gesichtsfeld darauf schließen läßt, daß es von einem Auge gesehen wird.<!-- [''Vgl.'' 5.633.]--> | ||
{{ParTBde|5. 8. 16.}} | {{ParTBde|5. 8. 16.}} | ||
Das vorstellende Subjekt ist wohl leerer Wahn. Das wollende Subjekt aber gibt es. [''Vgl.'' 5.631.] | Das vorstellende Subjekt ist wohl leerer Wahn. Das wollende Subjekt aber gibt es.<!-- [''Vgl.'' 5.631.]--> | ||
Wäre der Wille nicht, so gäbe es auch nicht jenes Zentrum der Welt, das wir das Ich nennen, und das der Träger der Ethik ist. | Wäre der Wille nicht, so gäbe es auch nicht jenes Zentrum der Welt, das wir das Ich nennen, und das der Träger der Ethik ist. | ||
Line 2,604: | Line 2,604: | ||
Jedem Gegenstand stehe ich objektiv gegenüber. Dem Ich nicht. | Jedem Gegenstand stehe ich objektiv gegenüber. Dem Ich nicht. | ||
Es gibt also wirklich eine Art und Weise, wie in der Philosophie ''in einem nicht psychologischen Sinne '' vom Ich die Rede sein kann und muß. [''Vgl.'' 5.641.] | Es gibt also wirklich eine Art und Weise, wie in der Philosophie ''in einem nicht psychologischen Sinne '' vom Ich die Rede sein kann und muß.<!-- [''Vgl.'' 5.641.]--> | ||
{{ParTBde|12. 8. 16.}} | {{ParTBde|12. 8. 16.}} | ||
Das Ich tritt in die Philosophie dadurch ein, daß die Welt ''meine'' Welt ist. [''S.'' 5.641.] | Das Ich tritt in die Philosophie dadurch ein, daß die Welt ''meine'' Welt ist.<!-- [''S.'' 5.641.]--> | ||
Das Gesichtsfeld hat nämlich nicht etwa eine solche Form: | Das Gesichtsfeld hat nämlich nicht etwa eine solche Form: | ||
Line 2,615: | Line 2,615: | ||
[[File:Illustrazione 12.8.16.png|200px|center|link=]] | [[File:Illustrazione 12.8.16.png|200px|center|link=]] | ||
[''S.'' 5.6331.] | [''S.'' 5.6331.]--> | ||
Das hängt damit zusammen, daß kein Teil unserer Erfahrung a priori ist. [''S.'' 5.634.] | Das hängt damit zusammen, daß kein Teil unserer Erfahrung a priori ist.<!-- [''S.'' 5.634.]--> | ||
Alles, was wir sehen, könnte auch anders sein. | Alles, was wir sehen, könnte auch anders sein. | ||
Alles, was wir überhaupt beschreiben können, könnte auch anders sein. [''S.'' 5.634.] | Alles, was wir überhaupt beschreiben können, könnte auch anders sein.<!-- [''S.'' 5.634.]--> | ||
Line 2,649: | Line 2,649: | ||
Daß ein Teilchen nicht zu gleicher Zeit an zwei Orten sein kann, das sieht schon vielmehr aus wie eine ''logische'' Unmöglichkeit. | Daß ein Teilchen nicht zu gleicher Zeit an zwei Orten sein kann, das sieht schon vielmehr aus wie eine ''logische'' Unmöglichkeit. | ||
Fragen wir z. B. warum, so taucht sofort der Gedanke auf: Nun wir würden eben Teilchen, die sich an zwei Orten befänden, verschiedene nennen, und das scheint alles wieder aus der Struktur des Raumes und der Teilchen zu folgen. [''Vgl.'' 6.3751.] | Fragen wir z. B. warum, so taucht sofort der Gedanke auf: Nun wir würden eben Teilchen, die sich an zwei Orten befänden, verschiedene nennen, und das scheint alles wieder aus der Struktur des Raumes und der Teilchen zu folgen.<!-- [''Vgl.'' 6.3751.]--> | ||
Line 2,672: | Line 2,672: | ||
Hier sieht man, daß der Solipsismus streng durchgeführt mit dem reinen Realismus zusammenfällt. | Hier sieht man, daß der Solipsismus streng durchgeführt mit dem reinen Realismus zusammenfällt. | ||
Das Ich des Solipsismus schrumpft zum ausdehnungslosen Punkt zusammen, und es bleibt die ihm koordinierte Realität bestehen. [''S.'' 5.64.] | Das Ich des Solipsismus schrumpft zum ausdehnungslosen Punkt zusammen, und es bleibt die ihm koordinierte Realität bestehen.<!-- [''S.'' 5.64.]--> | ||
Was geht mich die Geschichte an? Meine Welt ist die erste und einzige! | Was geht mich die Geschichte an? Meine Welt ist die erste und einzige! | ||
Line 2,682: | Line 2,682: | ||
''Ich'' habe die Welt zu beurteilen, die Dinge zu messen. | ''Ich'' habe die Welt zu beurteilen, die Dinge zu messen. | ||
Das philosophische Ich ist nicht der Mensch, nicht der menschliche Körper oder die menschliche Seele mit den psychologischen Eigenschaften, sondern das metaphysische Subjekt, die Grenze (nicht ein Teil) der Welt. Der menschliche Körper aber, ''mein'' Körper insbesondere, ist ein Teil der Welt unter anderen Teilen der Welt, unter Tieren, Pflanzen, Steinen etc. etc. [''Vgl.'' 5.641.] | Das philosophische Ich ist nicht der Mensch, nicht der menschliche Körper oder die menschliche Seele mit den psychologischen Eigenschaften, sondern das metaphysische Subjekt, die Grenze (nicht ein Teil) der Welt. Der menschliche Körper aber, ''mein'' Körper insbesondere, ist ein Teil der Welt unter anderen Teilen der Welt, unter Tieren, Pflanzen, Steinen etc. etc.<!-- [''Vgl.'' 5.641.]--> | ||
Wer das einsieht, wird seinem Körper oder dem menschlichen Körper nicht eine bevorzugte Stelle in der Welt einräumen wollen. | Wer das einsieht, wird seinem Körper oder dem menschlichen Körper nicht eine bevorzugte Stelle in der Welt einräumen wollen. | ||
Line 2,705: | Line 2,705: | ||
{{ParTBde|19. 9. 16.}} | {{ParTBde|19. 9. 16.}} | ||
Die Menschheit hat immer nach einer Wissenschaft gesucht in welcher simplex sigillum veri ist. [''Vgl.'' 5.4541.] | Die Menschheit hat immer nach einer Wissenschaft gesucht in welcher simplex sigillum veri ist.<!-- [''Vgl.'' 5.4541.]--> | ||
Es kann nicht eine ordentliche oder eine unordentliche Welt geben, so daß man sagen könnte, unsere Welt ist ordentlich. Sondern in Jeder möglichen Welt ist eine, wenn auch komplizierte Ordnung, geradeso, wie es im Raum auch nicht unordentliche und ordentliche Punktverteilungen gibt, sondern jede Punktverteilung ist ordentlich. | Es kann nicht eine ordentliche oder eine unordentliche Welt geben, so daß man sagen könnte, unsere Welt ist ordentlich. Sondern in Jeder möglichen Welt ist eine, wenn auch komplizierte Ordnung, geradeso, wie es im Raum auch nicht unordentliche und ordentliche Punktverteilungen gibt, sondern jede Punktverteilung ist ordentlich. | ||
Line 2,763: | Line 2,763: | ||
Es ist wahr: der Mensch ''ist'' der Mikrokosmos: | Es ist wahr: der Mensch ''ist'' der Mikrokosmos: | ||
Ich bin meine Welt. [''Vgl.'' 5.63.] | Ich bin meine Welt.<!-- [''Vgl.'' 5.63.]--> | ||
{{ParTBde|15. 10. 16.}} | {{ParTBde|15. 10. 16.}} | ||
Was man sich nicht denken kann, darüber kann man auch nicht reden. [''Vgl.'' 5.61.] | Was man sich nicht denken kann, darüber kann man auch nicht reden.<!-- [''Vgl.'' 5.61.]--> | ||
"Bedeutung" bekommen die Dinge erst durch ihr Verhältnis zu meinem Willen. | "Bedeutung" bekommen die Dinge erst durch ihr Verhältnis zu meinem Willen. | ||
Line 2,786: | Line 2,786: | ||
Ist etwa das böse Gesicht an sich böse oder bloß, weil es empirisch mit böser Laune verbunden ist? | Ist etwa das böse Gesicht an sich böse oder bloß, weil es empirisch mit böser Laune verbunden ist? | ||
Aber es ist klar, daß der Kausalnexus gar kein Nexus ist. [''Vgl.'' 5.136.] | Aber es ist klar, daß der Kausalnexus gar kein Nexus ist.<!-- [''Vgl.'' 5.136.]--> | ||
Ist es denn wahr, daß sich mein Charakter nach der psychophysischen Auffassung nur im Bau ''meines '' Körpers oder meines Gehirns und nicht ebenso im Bau der ganzen übrigen Welt ausdrückt? | Ist es denn wahr, daß sich mein Charakter nach der psychophysischen Auffassung nur im Bau ''meines '' Körpers oder meines Gehirns und nicht ebenso im Bau der ganzen übrigen Welt ausdrückt? | ||
Line 2,808: | Line 2,808: | ||
Und dann wäre er freilich auch den unbelebten Dingen gemeinsam. | Und dann wäre er freilich auch den unbelebten Dingen gemeinsam. | ||
Der Weg, den ich gegangen bin, ist der: Der Idealismus scheidet aus der Welt als unik die Menschen aus, der Solipsismus scheidet mich allein aus, und endlich sehe ich, daß auch ich zur übrigen Welt gehöre, auf der einen Seite bleibt also ''nichts'' übrig, auf der anderen als unik ''die Welt.'' So führt der Idealismus streng durchdacht zum Realismus. [''Vgl.'' 5.64.] | Der Weg, den ich gegangen bin, ist der: Der Idealismus scheidet aus der Welt als unik die Menschen aus, der Solipsismus scheidet mich allein aus, und endlich sehe ich, daß auch ich zur übrigen Welt gehöre, auf der einen Seite bleibt also ''nichts'' übrig, auf der anderen als unik ''die Welt.'' So führt der Idealismus streng durchdacht zum Realismus.<!-- [''Vgl.'' 5.64.]--> | ||
Line 2,828: | Line 2,828: | ||
Trotzdem aber ist es wahr, daß ich das Subjekt nicht sehe. | Trotzdem aber ist es wahr, daß ich das Subjekt nicht sehe. | ||
Es ist wahr, daß das erkennende Subjekt nicht in der Welt ist, daß es kein erkennendes Subjekt gibt. [''Vgl.'' 5.631.] | Es ist wahr, daß das erkennende Subjekt nicht in der Welt ist, daß es kein erkennendes Subjekt gibt.<!-- [''Vgl.'' 5.631.]--> | ||
Ich kann mir jedenfalls vorstellen, daß ich den Willensakt ausführe, um meinen Arm zu heben, aber mein Arm sich nicht bewegt. (Eine Sehne sei etwa gerissen.) Ja, aber, wird man sagen, die Sehne bewegt sich doch, und dies zeigt eben, daß sich mein Willensakt auf die Sehne und nicht auf den Arm bezogen hat. Aber sehen wir weiter und nehmen an, auch die Sehne bewegte sich nicht und so fort. Wir würden dann dazu kommen, daß sich der Willensakt überhaupt nicht auf einen Körper bezieht, daß es also im gewöhnlichen Sinne des Wortes keinen Willensakt gibt. | Ich kann mir jedenfalls vorstellen, daß ich den Willensakt ausführe, um meinen Arm zu heben, aber mein Arm sich nicht bewegt. (Eine Sehne sei etwa gerissen.) Ja, aber, wird man sagen, die Sehne bewegt sich doch, und dies zeigt eben, daß sich mein Willensakt auf die Sehne und nicht auf den Arm bezogen hat. Aber sehen wir weiter und nehmen an, auch die Sehne bewegte sich nicht und so fort. Wir würden dann dazu kommen, daß sich der Willensakt überhaupt nicht auf einen Körper bezieht, daß es also im gewöhnlichen Sinne des Wortes keinen Willensakt gibt. | ||
Line 2,974: | Line 2,974: | ||
Ohne diesen Begriff würden wir bei den Urzeichen einfach stehen bleiben und könnten nicht "''weiter''". | Ohne diesen Begriff würden wir bei den Urzeichen einfach stehen bleiben und könnten nicht "''weiter''". | ||
Der Begriff "und so weiter" ist äquivalent mit dem Begriffe der Operation. [''Vgl.'' 5.2523.] | Der Begriff "und so weiter" ist äquivalent mit dem Begriffe der Operation.<!-- [''Vgl.'' 5.2523.]--> | ||
Nach dem Operationszeichen folgt das Zeichen "...", welches bedeutet, daß das Resultat der Operation wieder zur Basis derselben Operation genommen werden kann, "und so weiter". | Nach dem Operationszeichen folgt das Zeichen "...", welches bedeutet, daß das Resultat der Operation wieder zur Basis derselben Operation genommen werden kann, "und so weiter". | ||
Line 3,016: | Line 3,016: | ||
{{ParTBde|2. 12. 16.}} | {{ParTBde|2. 12. 16.}} | ||
Die Ähnlichkeit der Allgemeinheitsbezeichnung mit dem Argument zeigt sich, wenn wir statt ''ϕ''a schreiben (ax)''ϕ''x. [''Vgl.'' 5.523.] | Die Ähnlichkeit der Allgemeinheitsbezeichnung mit dem Argument zeigt sich, wenn wir statt ''ϕ''a schreiben (ax)''ϕ''x.<!-- [''Vgl.'' 5.523.]--> | ||
Man könnte die Argumente auch so einführen, daß sie nur auf einer Seite des Gleichheitszeichens auftreten. Also immer analog "(∃x).''ϕ''x.x = a" statt "''ϕ''a". | Man könnte die Argumente auch so einführen, daß sie nur auf einer Seite des Gleichheitszeichens auftreten. Also immer analog "(∃x).''ϕ''x.x = a" statt "''ϕ''a". | ||
Die richtige Methode in der Philosophie wäre eigentlich die, nichts zu sagen, als was sich sagen läßt, also Naturwissenschaftliches, also etwas, was mit Philosophie nichts zu tun hat, und dann immer, wenn ein anderer etwas Metaphysisches sagen wollte, ihm nachweisen, daß er gewissen Zeichen in seinen Sätzen keine Bedeutung gegeben hat. [''S.'' 6.53.] | Die richtige Methode in der Philosophie wäre eigentlich die, nichts zu sagen, als was sich sagen läßt, also Naturwissenschaftliches, also etwas, was mit Philosophie nichts zu tun hat, und dann immer, wenn ein anderer etwas Metaphysisches sagen wollte, ihm nachweisen, daß er gewissen Zeichen in seinen Sätzen keine Bedeutung gegeben hat.<!-- [''S.'' 6.53.]--> | ||
Diese Methode wäre für den anderen unbefriedigend (er hätte nicht das Gefühl, daß wir ihn Philosophie lehrten), aber sie wäre die einzig richtige. [''S.'' 6.53.] | Diese Methode wäre für den anderen unbefriedigend (er hätte nicht das Gefühl, daß wir ihn Philosophie lehrten), aber sie wäre die einzig richtige.<!-- [''S.'' 6.53.]--> | ||
Line 3,038: | Line 3,038: | ||
{{ParTBde|8. 1. 17.}} | {{ParTBde|8. 1. 17.}} | ||
Es ist klar, daß das logische Produkt zweier Elementarsätze nie eine Tautologie sein kann. [''Vgl.'' 6.3751.] | Es ist klar, daß das logische Produkt zweier Elementarsätze nie eine Tautologie sein kann.<!-- [''Vgl.'' 6.3751.]--> | ||
Ist das logische Produkt zweier Sätze eine Kontradiktion und die Sätze scheinen Elementarsätze zu sein, so sieht man, daß in diesem Falle der Schein trügt. (Z. B.: A ist rot und A ist grün.) | Ist das logische Produkt zweier Sätze eine Kontradiktion und die Sätze scheinen Elementarsätze zu sein, so sieht man, daß in diesem Falle der Schein trügt. (Z. B.: A ist rot und A ist grün.) |