Logisch-philosophische Abhandlung: Difference between revisions

no edit summary
No edit summary
No edit summary
Line 297: Line 297:
{{ParTLPde|3.22}} Der Name vertritt im Satz den Gegenstand.
{{ParTLPde|3.22}} Der Name vertritt im Satz den Gegenstand.


{{ParTLPde|3.221}} Die Gegenstände kann ich nur {{nowrap|n e n n e n}}. Zeichen vertreten sie. Ich kann nur {{nowrap|v o n}} ihnen sprechen, {{nowrap|s i e}} {{nowrap|a u s s p r e c h e n}} kann ich nicht. Ein Satz kann nur sagen, {{nowrap|w i e}} ein Ding ist, nicht {{nowrap|w a s}} es ist.
{{ParTLPde|3.221}} Die Gegenstände kann ich nur {{nowrap|n e n n e n}}. Zeichen vertreten sie. Ich kann nur {{nowrap|v o n}} ihnen sprechen, {{nowrap|s i e}} {{nowrap|a u s s p r e c h e n}} kann ich nicht. Ein Satz kann nur sagen, {{nowrap|w i e}} ein Ding ist, nicht {{nowrap|w a s}} es ist.


{{ParTLPde|3.23}} Die Forderung der Möglichkeit der einfachen Zeichen ist die Forderung der Bestimmtheit des Sinnes.
{{ParTLPde|3.23}} Die Forderung der Möglichkeit der einfachen Zeichen ist die Forderung der Bestimmtheit des Sinnes.
Line 353: Line 353:
{{ParTLPde|3.316}} Welche Werte die Satzvariable annehmen darf, wird festgesetzt. Die Festsetzung der Werte {{nowrap|i s t}} die Variable.
{{ParTLPde|3.316}} Welche Werte die Satzvariable annehmen darf, wird festgesetzt. Die Festsetzung der Werte {{nowrap|i s t}} die Variable.


{{ParTLPde|3.317}} Die Festsetzung der Werte der Satzvariablen ist die {{nowrap|A n g a b e}} {{nowrap|d e r}} {{nowrap|S ä t z e}}, deren gemeinsames Merkmal die Variable ist.
{{ParTLPde|3.317}} Die Festsetzung der Werte der Satzvariablen ist die {{nowrap|A n g a b e}} {{nowrap|d e r}} {{nowrap|S ä t z e}}, deren gemeinsames Merkmal die Variable ist.


Die Festsetzung ist eine Beschreibung dieser Sätze.
Die Festsetzung ist eine Beschreibung dieser Sätze.
Line 359: Line 359:
Die Festsetzung wird also nur von Symbolen, nicht von deren Bedeutung handeln.
Die Festsetzung wird also nur von Symbolen, nicht von deren Bedeutung handeln.


Und {{nowrap|n u r}} dies ist der Festsetzung wesentlich, {{nowrap|d a s s}} {{nowrap|s i e}} {{nowrap|n u r}} {{nowrap|e i n e}} {{nowrap|B e s c h r e i b u n g}} {{nowrap|v o n}} {{nowrap|S y m b o l e n}} {{nowrap|i s t}} {{nowrap|u n d}} {{nowrap|n i c h t s}} {{nowrap|ü b e r}} {{nowrap|d a s}} {{nowrap|B e z e i c h n e t e}} {{nowrap|a u s s a g t}}.
Und {{nowrap|n u r}} dies ist der Festsetzung wesentlich, {{nowrap|d a s s}} {{nowrap|s i e}} {{nowrap|n u r}} {{nowrap|e i n e}} {{nowrap|B e s c h r e i b u n g}} {{nowrap|v o n}} {{nowrap|S y m b o l e n}} {{nowrap|i s t}} {{nowrap|u n d}} {{nowrap|n i c h t s}} {{nowrap|ü b e r}} {{nowrap|d a s}} {{nowrap|B e z e i c h n e t e}} {{nowrap|a u s s a g t}}.


Wie die Beschreibung der Sätze geschieht, ist unwesentlich.
Wie die Beschreibung der Sätze geschieht, ist unwesentlich.
Line 375: Line 375:
So erscheint das Wort „ist“ als Kopula, als Gleichheitszeichen und als Ausdruck der Existenz; „existieren“ als intransitives Zeitwort wie „gehen“; „identisch“ als Eigenschaftswort; wir reden von {{nowrap|E t w a s}}, aber auch davon, dass {{nowrap|e t w a s}} geschieht.
So erscheint das Wort „ist“ als Kopula, als Gleichheitszeichen und als Ausdruck der Existenz; „existieren“ als intransitives Zeitwort wie „gehen“; „identisch“ als Eigenschaftswort; wir reden von {{nowrap|E t w a s}}, aber auch davon, dass {{nowrap|e t w a s}} geschieht.


(Im Satze „Grün ist grün“ – wo das erste Wort ein Personenname, das letzte ein Eigenschaftswort ist – haben diese Worte nicht einfach verschiedene Bedeutung, sondern es sind {{nowrap|v e r s c h i e d e n e}} {{nowrap|S y m b o l e}}.)
(Im Satze „Grün ist grün“ – wo das erste Wort ein Personenname, das letzte ein Eigenschaftswort ist – haben diese Worte nicht einfach verschiedene Bedeutung, sondern es sind {{nowrap|v e r s c h i e d e n e}} {{nowrap|S y m b o l e}}.)


{{ParTLPde|3.324}} So entstehen leicht die fundamentalsten Verwechslungen (deren die ganze Philosophie voll ist).
{{ParTLPde|3.324}} So entstehen leicht die fundamentalsten Verwechslungen (deren die ganze Philosophie voll ist).
Line 387: Line 387:
{{ParTLPde|3.327}} Das Zeichen bestimmt erst mit seiner logisch-syntaktischen Verwendung zusammen eine logische Form.
{{ParTLPde|3.327}} Das Zeichen bestimmt erst mit seiner logisch-syntaktischen Verwendung zusammen eine logische Form.


{{ParTLPde|3.328}} Wird ein Zeichen {{nowrap|n i c h t}} {{nowrap|g e b r a u c h t}}, so ist es bedeutungslos. Das ist der Sinn der Devise Occams.
{{ParTLPde|3.328}} Wird ein Zeichen {{nowrap|n i c h t}} {{nowrap|g e b r a u c h t}}, so ist es bedeutungslos. Das ist der Sinn der Devise Occams.


(Wenn sich alles so verhält als hätte ein Zeichen Bedeutung, dann hat es auch Bedeutung.)
(Wenn sich alles so verhält als hätte ein Zeichen Bedeutung, dann hat es auch Bedeutung.)
Line 425: Line 425:
{{ParTLPde|3.344}} Das, was am Symbol bezeichnet, ist das Gemeinsame aller jener Symbole, durch die das erste den Regeln der logischen Syntax zufolge ersetzt werden kann.
{{ParTLPde|3.344}} Das, was am Symbol bezeichnet, ist das Gemeinsame aller jener Symbole, durch die das erste den Regeln der logischen Syntax zufolge ersetzt werden kann.


{{ParTLPde|3.3441}} Man kann z. B. das Gemeinsame aller Notationen für die Wahrheitsfunktionen so ausdrücken: Es ist ihnen gemeinsam, dass sich alle – z. B. – durch die Notation von „∼''p''“ („nicht ''p''“) und „''p'' ∨ ''q''“ („''p'' oder ''q''“) {{nowrap|e r s e t z e n}} {{nowrap|l a s s e n}}.
{{ParTLPde|3.3441}} Man kann z. B. das Gemeinsame aller Notationen für die Wahrheitsfunktionen so ausdrücken: Es ist ihnen gemeinsam, dass sich alle – z. B. – durch die Notation von „∼''p''“ („nicht ''p''“) und „''p'' ∨ ''q''“ („''p'' oder ''q''“) {{nowrap|e r s e t z e n}} {{nowrap|l a s s e n}}.


(Hiermit ist die Art und Weise gekennzeichnet, wie eine spezielle mögliche Notation uns allgemeine Aufschlüsse geben kann.)
(Hiermit ist die Art und Weise gekennzeichnet, wie eine spezielle mögliche Notation uns allgemeine Aufschlüsse geben kann.)
Line 477: Line 477:
{{ParTLPde|4.012}} Offenbar ist, dass wir einen Satz von der Form „''aRb''“ als Bild empfinden. Hier ist das Zeichen offenbar ein Gleichnis des Bezeichneten.
{{ParTLPde|4.012}} Offenbar ist, dass wir einen Satz von der Form „''aRb''“ als Bild empfinden. Hier ist das Zeichen offenbar ein Gleichnis des Bezeichneten.


{{ParTLPde|4.013}} Und wenn wir in das Wesentliche dieser Bildhaftigkeit eindringen, so sehen wir, dass dieselbe durch {{nowrap|s ch e i n b a r e}} {{nowrap|U n r e g e l m ä s s i g k e i t e n}} (wie die Verwendung der ♯ und ♭ in der Notenschrift) {{nowrap|n i c h t}} gestört wird.
{{ParTLPde|4.013}} Und wenn wir in das Wesentliche dieser Bildhaftigkeit eindringen, so sehen wir, dass dieselbe durch {{nowrap|s ch e i n b a r e}} {{nowrap|U n r e g e l m ä s s i g k e i t e n}} (wie die Verwendung der ♯ und ♭ in der Notenschrift) {{nowrap|n i c h t}} gestört wird.


Denn auch diese Unregelmässigkeiten bilden das ab, was sie ausdrücken sollen; nur auf eine andere Art und Weise.
Denn auch diese Unregelmässigkeiten bilden das ab, was sie ausdrücken sollen; nur auf eine andere Art und Weise.
Line 507: Line 507:
Wie die Beschreibung einen Gegenstand nach seinen externen Eigenschaften, so beschreibt der Satz die Wirklichkeit nach ihren internen Eigenschaften.
Wie die Beschreibung einen Gegenstand nach seinen externen Eigenschaften, so beschreibt der Satz die Wirklichkeit nach ihren internen Eigenschaften.


Der Satz konstruiert eine Welt mit Hilfe eines logischen Gerüstes und darum kann man am Satz auch sehen, wie sich alles Logische verhält, {{nowrap|w e n n}} er wahr ist. Man kann aus einem falschen Satz {{nowrap|S c h l ü s s e}} {{nowrap|z i e h e n}}.
Der Satz konstruiert eine Welt mit Hilfe eines logischen Gerüstes und darum kann man am Satz auch sehen, wie sich alles Logische verhält, {{nowrap|w e n n}} er wahr ist. Man kann aus einem falschen Satz {{nowrap|S c h l ü s s e}} {{nowrap|z i e h e n}}.


{{ParTLPde|4.024}} Einen Satz verstehen, heisst, wissen was der Fall ist, wenn er wahr ist.
{{ParTLPde|4.024}} Einen Satz verstehen, heisst, wissen was der Fall ist, wenn er wahr ist.
Line 579: Line 579:
Um aber sagen zu können, ein Punkt sei schwarz oder weiss, muss ich vorerst wissen, wann man einen Punkt schwarz und wann man ihn weiss nennt; um sagen zu können: „''p''“ ist wahr (oder falsch), muss ich bestimmt haben, unter welchen Umständen ich „''p''“ wahr nenne, und damit bestimme ich den Sinn des Satzes.
Um aber sagen zu können, ein Punkt sei schwarz oder weiss, muss ich vorerst wissen, wann man einen Punkt schwarz und wann man ihn weiss nennt; um sagen zu können: „''p''“ ist wahr (oder falsch), muss ich bestimmt haben, unter welchen Umständen ich „''p''“ wahr nenne, und damit bestimme ich den Sinn des Satzes.


Der Punkt an dem das Gleichnis hinkt ist nun der: Wir können auf einen Punkt des Papiers zeigen, auch ohne zu wissen, was weiss und schwarz ist; einem Satz ohne Sinn aber entspricht gar nichts, denn er bezeichnet kein Ding (Wahrheitswert) dessen Eigenschaften etwa „falsch“ oder „wahr“ hiessen; das Verbum eines Satzes ist nicht „ist wahr“ oder „ist falsch“ – wie Frege glaubte – , sondern das, was „wahr ist“ muss das Verbum schon enthalten.
Der Punkt an dem das Gleichnis hinkt ist nun der: Wir können auf einen Punkt des Papiers zeigen, auch ohne zu wissen, was weiss und schwarz ist; einem Satz ohne Sinn aber entspricht gar nichts, denn er bezeichnet kein Ding (Wahrheitswert) dessen Eigenschaften etwa „falsch“ oder „wahr“ hiessen; das Verbum eines Satzes ist nicht „ist wahr“ oder „ist falsch“ – wie Frege glaubte –, sondern das, was „wahr ist“ muss das Verbum schon enthalten.


{{ParTLPde|4.064}} Jeder Satz muss {{nowrap|s c h o n}} einen Sinn haben; die Bejahung kann ihn ihm nicht geben, denn sie bejaht ja gerade den Sinn. Und dasselbe gilt von der Verneinung, etc.
{{ParTLPde|4.064}} Jeder Satz muss {{nowrap|s c h o n}} einen Sinn haben; die Bejahung kann ihn ihm nicht geben, denn sie bejaht ja gerade den Sinn. Und dasselbe gilt von der Verneinung, etc.
Line 711: Line 711:
So kann man z. B. nicht sagen „Es gibt Gegenstände“, wie man etwa sagt „Es gibt Bücher“. Und ebenso wenig „Es gibt 100 Gegenstände“, oder „Es gibt ℵ<sub>0</sub> Gegenstände“.
So kann man z. B. nicht sagen „Es gibt Gegenstände“, wie man etwa sagt „Es gibt Bücher“. Und ebenso wenig „Es gibt 100 Gegenstände“, oder „Es gibt ℵ<sub>0</sub> Gegenstände“.


Und es ist unsinnig, von der {{nowrap|A n z a h l}} {{nowrap|a l l e r}} {{nowrap|G e g e n s t ä n d e}} zu sprechen.
Und es ist unsinnig, von der {{nowrap|A n z a h l}} {{nowrap|a l l e r}} {{nowrap|G e g e n s t ä n d e}} zu sprechen.


Dasselbe gilt von den Worten „Komplex“, „Tatsache“, „Funktion“, „Zahl“, etc.
Dasselbe gilt von den Worten „Komplex“, „Tatsache“, „Funktion“, „Zahl“, etc.
Line 885: Line 885:
{{ParTLPde|4.465}} Das logische Produkt einer Tautologie und eines Satzes sagt dasselbe, wie der Satz. Also ist jenes Produkt identisch mit dem Satz. Denn man kann das Wesentliche des Symbols nicht ändern, ohne seinen Sinn zu ändern.
{{ParTLPde|4.465}} Das logische Produkt einer Tautologie und eines Satzes sagt dasselbe, wie der Satz. Also ist jenes Produkt identisch mit dem Satz. Denn man kann das Wesentliche des Symbols nicht ändern, ohne seinen Sinn zu ändern.


{{ParTLPde|4.466}} Einer bestimmten logischen Verbindung von Zeichen entspricht eine bestimmte logische Verbindung ihrer Bedeutungen; {{nowrap|j e d e}} {{nowrap|b e l i e b i g e}} Verbindung entspricht nur den unverbundenen Zeichen.
{{ParTLPde|4.466}} Einer bestimmten logischen Verbindung von Zeichen entspricht eine bestimmte logische Verbindung ihrer Bedeutungen; {{nowrap|j e d e}} {{nowrap|b e l i e b i g e}} Verbindung entspricht nur den unverbundenen Zeichen.


Das heisst, Sätze die für jede Sachlage wahr sind, können überhaupt keine Zeichenverbindungen sein, denn sonst könnten ihnen nur bestimmte Verbindungen von Gegenständen entsprechen.
Das heisst, Sätze die für jede Sachlage wahr sind, können überhaupt keine Zeichenverbindungen sein, denn sonst könnten ihnen nur bestimmte Verbindungen von Gegenständen entsprechen.
Line 903: Line 903:
{{ParTLPde|4.51}} Angenommen, mir wären {{nowrap|a l l e}} Elementarsätze gegeben: Dann lässt sich einfach fragen: welche Sätze kann ich aus ihnen bilden. Und das sind {{nowrap|a l l e}} Sätze und {{nowrap|s o}} sind sie begrenzt.
{{ParTLPde|4.51}} Angenommen, mir wären {{nowrap|a l l e}} Elementarsätze gegeben: Dann lässt sich einfach fragen: welche Sätze kann ich aus ihnen bilden. Und das sind {{nowrap|a l l e}} Sätze und {{nowrap|s o}} sind sie begrenzt.


{{ParTLPde|4.52}} Die Sätze sind Alles, was aus der Gesamtheit aller Elementarsätze folgt (natürlich auch daraus, dass es die {{nowrap|G e s a m t h e i t}} {{nowrap|a l l e r}} ist). (So könnte man in gewissem Sinne sagen, dass {{nowrap|a l l e}} Sätze Verallgemeinerungen der Elementarsätze sind.)
{{ParTLPde|4.52}} Die Sätze sind Alles, was aus der Gesamtheit aller Elementarsätze folgt (natürlich auch daraus, dass es die {{nowrap|G e s a m t h e i t}} {{nowrap|a l l e r}} ist). (So könnte man in gewissem Sinne sagen, dass {{nowrap|a l l e}} Sätze Verallgemeinerungen der Elementarsätze sind.)


{{ParTLPde|4.53}} Die allgemeine Satzform ist eine Variable.
{{ParTLPde|4.53}} Die allgemeine Satzform ist eine Variable.
Line 915: Line 915:
{{ParTLPde|5.02}} Es liegt nahe, die Argumente von Funktionen mit den Indices von Namen zu verwechseln. Ich erkenne nämlich sowohl am Argument wie am Index die Bedeutung des sie enthaltenden Zeichens.
{{ParTLPde|5.02}} Es liegt nahe, die Argumente von Funktionen mit den Indices von Namen zu verwechseln. Ich erkenne nämlich sowohl am Argument wie am Index die Bedeutung des sie enthaltenden Zeichens.


In Russell’s „+''<sub>c</sub>''“ ist z. B. „''c''“ ein Index, der darauf hinweist, dass das ganze Zeichen das Additionszeichen für Kardinalzahlen ist. Aber diese Bezeichnung beruht auf willkürlicher Übereinkunft und man könnte statt „+''<sub>c</sub>''“ auch ein einfaches Zeichen wählen; in „∼''p''“ aber ist „''p''“ kein Index, sondern ein Argument: der Sinn von „∼''p''“ {{nowrap|k a n n}} {{nowrap|n i c h t}} verstanden werden, ohne dass vorher der Sinn von „''p''“ verstanden worden wäre. (Im Namen Julius Cäsar ist „Julius“ ein Index. Der Index ist immer ein Teil einer Beschreibung des Gegenstandes, dessen Namen wir ihn anhängen. Z. B. {{nowrap|D e r}} Cäsar aus dem Geschlechte der Julier.)
In Russell’s „+''<sub>c</sub>''“ ist z. B. „''c''“ ein Index, der darauf hinweist, dass das ganze Zeichen das Additionszeichen für Kardinalzahlen ist. Aber diese Bezeichnung beruht auf willkürlicher Übereinkunft und man könnte statt „+''<sub>c</sub>''“ auch ein einfaches Zeichen wählen; in „∼''p''“ aber ist „''p''“ kein Index, sondern ein Argument: der Sinn von „∼''p''“ {{nowrap|k a n n}} {{nowrap|n i c h t}} verstanden werden, ohne dass vorher der Sinn von „''p''“ verstanden worden wäre. (Im Namen Julius Cäsar ist „Julius“ ein Index. Der Index ist immer ein Teil einer Beschreibung des Gegenstandes, dessen Namen wir ihn anhängen. Z. B. {{nowrap|D e r}} Cäsar aus dem Geschlechte der Julier.)


Die Verwechslung von Argument und Index liegt, wenn ich mich nicht irre, der Theorie Frege’s von der Bedeutung der Sätze und Funktionen zugrunde. Für Frege waren die Sätze der Logik Namen, und deren Argumente die Indices dieser Namen.
Die Verwechslung von Argument und Index liegt, wenn ich mich nicht irre, der Theorie Frege’s von der Bedeutung der Sätze und Funktionen zugrunde. Für Frege waren die Sätze der Logik Namen, und deren Argumente die Indices dieser Namen.
Line 1,181: Line 1,181:
{{ParTLPde|5.441}} Dieses Verschwinden der scheinbaren logischen Konstanten tritt auch ein, wenn „∼(∃''x'') ''.'' ∼''fx''“ dasselbe sagt wie „(''x'') ''. fx''“, oder „(∃''x'') ''. fx . x'' = ''a''“ dasselbe wie „''fa''“.
{{ParTLPde|5.441}} Dieses Verschwinden der scheinbaren logischen Konstanten tritt auch ein, wenn „∼(∃''x'') ''.'' ∼''fx''“ dasselbe sagt wie „(''x'') ''. fx''“, oder „(∃''x'') ''. fx . x'' = ''a''“ dasselbe wie „''fa''“.


{{ParTLPde|5.442}} Wenn uns ein Satz gegeben ist, so sind {{nowrap|m i t}} {{nowrap|i h m}} auch schon die Resultate aller Wahrheitsoperationen, die ihn zur Basis haben, gegeben.
{{ParTLPde|5.442}} Wenn uns ein Satz gegeben ist, so sind {{nowrap|m i t}} {{nowrap|i h m}} auch schon die Resultate aller Wahrheitsoperationen, die ihn zur Basis haben, gegeben.


{{ParTLPde|5.45}} Gibt es logische Urzeichen, so muss eine richtige Logik ihre Stellung zueinander klar machen und ihr Dasein rechtfertigen. Der Bau der Logik {{nowrap|a u s}} ihren Urzeichen muss klar werden.
{{ParTLPde|5.45}} Gibt es logische Urzeichen, so muss eine richtige Logik ihre Stellung zueinander klar machen und ihr Dasein rechtfertigen. Der Bau der Logik {{nowrap|a u s}} ihren Urzeichen muss klar werden.
Line 1,219: Line 1,219:
{{ParTLPde|5.4611}} Die logischen Operationszeichen sind Interpunktionen.
{{ParTLPde|5.4611}} Die logischen Operationszeichen sind Interpunktionen.


{{ParTLPde|5.47}} Es ist klar, dass alles was sich überhaupt {{nowrap|v o n}} {{nowrap|vo r n h e r e i n}} über die Form aller Sätze sagen lässt, sich {{nowrap|a u f e i n m a l}} sagen lassen muss.
{{ParTLPde|5.47}} Es ist klar, dass alles was sich überhaupt {{nowrap|v o n}} {{nowrap|vo r n h e r e i n}} über die Form aller Sätze sagen lässt, sich {{nowrap|a u f e i n m a l}} sagen lassen muss.


Sind ja schon im Elementarsatze alle logischen Operationen enthalten. Denn „''fa''“ sagt dasselbe wie „(∃''x'') ''. fx . x'' = ''a''“.
Sind ja schon im Elementarsatze alle logischen Operationen enthalten. Denn „''fa''“ sagt dasselbe wie „(∃''x'') ''. fx . x'' = ''a''“.
Line 1,253: Line 1,253:
(Wenn wir auch glauben, es getan zu haben.)  
(Wenn wir auch glauben, es getan zu haben.)  


So sagt „Sokrates ist identisch“ darum nichts, weil wir dem Wort „identisch“ als {{nowrap|E i g e n s c h a f t s w o r t}} {{nowrap|k e i n e}} Bedeutung gegeben haben. Denn, wenn es als Gleichheitszeichen auftritt, so symbolisiert es auf ganz andere Art und Weise – die bezeichnende Beziehung ist eine andere, – also ist auch das Symbol in beiden Fällen ganz verschieden; die beiden Symbole haben nur das Zeichen zufällig miteinander gemein.
So sagt „Sokrates ist identisch“ darum nichts, weil wir dem Wort „identisch“ als {{nowrap|E i g e n s c h a f t s w o r t}} {{nowrap|k e i n e}} Bedeutung gegeben haben. Denn, wenn es als Gleichheitszeichen auftritt, so symbolisiert es auf ganz andere Art und Weise – die bezeichnende Beziehung ist eine andere, – also ist auch das Symbol in beiden Fällen ganz verschieden; die beiden Symbole haben nur das Zeichen zufällig miteinander gemein.


{{ParTLPde|5.474}} Die Anzahl der nötigen Grundoperationen hängt nu r von unserer Notation ab.
{{ParTLPde|5.474}} Die Anzahl der nötigen Grundoperationen hängt nu r von unserer Notation ab.
Line 1,259: Line 1,259:
{{ParTLPde|5.475}} Es kommt nur darauf an, ein Zeichensystem von einer bestimmten Anzahl von Dimensionen – von einer bestimmten mathematischen Mannigfaltigkeit – zu bilden.
{{ParTLPde|5.475}} Es kommt nur darauf an, ein Zeichensystem von einer bestimmten Anzahl von Dimensionen – von einer bestimmten mathematischen Mannigfaltigkeit – zu bilden.


{{ParTLPde|5.476}} Es ist klar, dass es sich hier nicht um eine {{nowrap|A n z a h l}} {{nowrap|v o n}} {{nowrap|G r u n d b e g r i f f e n}} handelt, die bezeichnet werden müssen, sondern um den Ausdruck einer Regel.
{{ParTLPde|5.476}} Es ist klar, dass es sich hier nicht um eine {{nowrap|A n z a h l}} {{nowrap|v o n}} {{nowrap|G r u n d b e g r i f f e n}} handelt, die bezeichnet werden müssen, sondern um den Ausdruck einer Regel.


{{ParTLPde|5.5}} Jede Wahrheitsfunktion ist ein Resultat der successiven Anwendung der Operation (– – – – –W)(''ξ, . . . .'') auf Elementarsätze.
{{ParTLPde|5.5}} Jede Wahrheitsfunktion ist ein Resultat der successiven Anwendung der Operation (– – – – –W)(''ξ, . . . .'') auf Elementarsätze.
Line 1,463: Line 1,463:
{{ParTLPde|5.5571}} Wenn ich die Elementarsätze nicht a priori angeben kann, dann muss es zu offenbarem Unsinn führen, sie angeben zu wollen.
{{ParTLPde|5.5571}} Wenn ich die Elementarsätze nicht a priori angeben kann, dann muss es zu offenbarem Unsinn führen, sie angeben zu wollen.


{{ParTLPde|5.6}} {{nowrap|D i e}} {{nowrap|G r e n z e n}} {{nowrap|m e i n e r}} {{nowrap|S p r a c h e}} bedeuten die Grenzen meiner Welt.
{{ParTLPde|5.6}} {{nowrap|D i e}} {{nowrap|G r e n z e n}} {{nowrap|m e i n e r}} {{nowrap|S p r a c h e}} bedeuten die Grenzen meiner Welt.


{{ParTLPde|5.61}} Die Logik erfüllt die Welt; die Grenzen der Welt sind auch ihre Grenzen.
{{ParTLPde|5.61}} Die Logik erfüllt die Welt; die Grenzen der Welt sind auch ihre Grenzen.
Line 1,493: Line 1,493:
Du sagst, es verhält sich hier ganz, wie mit Auge und Gesichtsfeld. Aber das Auge siehst du wirklich {{nowrap|n i c h t}}.
Du sagst, es verhält sich hier ganz, wie mit Auge und Gesichtsfeld. Aber das Auge siehst du wirklich {{nowrap|n i c h t}}.


Und nichts {{nowrap|a m}} {{nowrap|G e s i c h t s f e l d}} lässt darauf schliessen, dass es von einem Auge gesehen wird.
Und nichts {{nowrap|a m}} {{nowrap|G e s i c h t s f e l d}} lässt darauf schliessen, dass es von einem Auge gesehen wird.


{{ParTLPde|5.6331}} Das Gesichtsfeld hat nämlich nicht etwa eine solche Form:
{{ParTLPde|5.6331}} Das Gesichtsfeld hat nämlich nicht etwa eine solche Form:
Line 1,712: Line 1,712:
<p style="text-align:center;"><math>( \Omega^{\nu} )^{\mu \prime} x = \Omega^{\nu \times \mu \prime} x \text{ Def.}</math></p>
<p style="text-align:center;"><math>( \Omega^{\nu} )^{\mu \prime} x = \Omega^{\nu \times \mu \prime} x \text{ Def.}</math></p>
<p style="text-align:center;"><math>( \Omega^{2 \times 2 \prime} x = (\Omega^2 )^{2 \prime} x = ( \Omega^2 )^{1+1 \prime} x = \Omega^{2 \prime} \Omega^{2 \prime} x = \Omega^{1 + 1 \prime} \Omega^{1 + 1 \prime} x</math></p>
<p style="text-align:center;"><math>( \Omega^{2 \times 2 \prime} x = (\Omega^2 )^{2 \prime} x = ( \Omega^2 )^{1+1 \prime} x = \Omega^{2 \prime} \Omega^{2 \prime} x = \Omega^{1 + 1 \prime} \Omega^{1 + 1 \prime} x</math></p>
<p style="text-align:center;"><math>(\Omega ' \Omega)^{\prime} (\Omega ' \Omega)^{\prime} x = \Omega ' \Omega ' \Omega ' \Omega ' x = \Omega^{1 + 1 + 1 + 1 \prime} x = \Omega^{4 \prime} x</math></p>6.3 Die Erforschung der Logik bedeutet die Erforschung {{nowrap|a l l e r}} {{nowrap|G e s e t z m ä s s i g k e i t}}. Und ausserhalb der Logik ist alles Zufall.
<p style="text-align:center;"><math>(\Omega ' \Omega)^{\prime} (\Omega ' \Omega)^{\prime} x = \Omega ' \Omega ' \Omega ' \Omega ' x = \Omega^{1 + 1 + 1 + 1 \prime} x = \Omega^{4 \prime} x</math></p>6.3 Die Erforschung der Logik bedeutet die Erforschung {{nowrap|a l l e r}} {{nowrap|G e s e t z m ä s s i g k e i t}}. Und ausserhalb der Logik ist alles Zufall.


{{ParTLPde|6.31}} Das sogenannte Gesetz der Induktion kann jedenfalls kein logisches Gesetz sein, denn es ist offenbar ein sinnvoller Satz. – Und darum kann es auch kein Gesetz a priori sein.
{{ParTLPde|6.31}} Das sogenannte Gesetz der Induktion kann jedenfalls kein logisches Gesetz sein, denn es ist offenbar ein sinnvoller Satz. – Und darum kann es auch kein Gesetz a priori sein.
Line 1,750: Line 1,750:
{{ParTLPde|6.361}} In der Ausdrucksweise Hertz’s könnte man sagen: Nur {{nowrap|g e s e t z m ä s s i g e}} Zusammenhänge sind {{nowrap|d e n k b a r}}.
{{ParTLPde|6.361}} In der Ausdrucksweise Hertz’s könnte man sagen: Nur {{nowrap|g e s e t z m ä s s i g e}} Zusammenhänge sind {{nowrap|d e n k b a r}}.


{{ParTLPde|6.3611}} Wir können keinen Vorgang mit dem „Ablauf der Zeit“ vergleichen – diesen gibt es nicht – , sondern nur mit einem anderen Vorgang (etwa mit dem Gang des Chronometers).
{{ParTLPde|6.3611}} Wir können keinen Vorgang mit dem „Ablauf der Zeit“ vergleichen – diesen gibt es nicht –, sondern nur mit einem anderen Vorgang (etwa mit dem Gang des Chronometers).


Daher ist die Beschreibung des zeitlichen Verlaufs nur so möglich, dass wir uns auf einen anderen Vorgang stützen.
Daher ist die Beschreibung des zeitlichen Verlaufs nur so möglich, dass wir uns auf einen anderen Vorgang stützen.


Ganz Analoges gilt für den Raum. Wo man z. B. sagt, es könne keines von zwei Ereignissen (die sich gegenseitig ausschliessen) eintreten, weil {{nowrap|k e i n e}} {{nowrap|U r s a c h e}} vorhanden sei, warum das eine eher als das andere eintreten solle, da handelt es sich in Wirklichkeit darum, dass man gar nicht {{nowrap|e i n e s}} der beiden Ereignisse beschreiben kann, wenn nicht irgend eine Asymmetrie vorhanden ist. Und {{nowrap|w e n n}} eine solche Asymmetrie vorhanden {{nowrap|i s t}}, so können wir diese als {{nowrap|U r s a c h e}} des Eintreffens des einen und Nicht-Eintreffens des anderen auffassen.
Ganz Analoges gilt für den Raum. Wo man z. B. sagt, es könne keines von zwei Ereignissen (die sich gegenseitig ausschliessen) eintreten, weil {{nowrap|k e i n e}} {{nowrap|U r s a c h e}} vorhanden sei, warum das eine eher als das andere eintreten solle, da handelt es sich in Wirklichkeit darum, dass man gar nicht {{nowrap|e i n e s}} der beiden Ereignisse beschreiben kann, wenn nicht irgend eine Asymmetrie vorhanden ist. Und {{nowrap|w e n n}} eine solche Asymmetrie vorhanden {{nowrap|i s t}}, so können wir diese als {{nowrap|U r s a c h e}} des Eintreffens des einen und Nicht-Eintreffens des anderen auffassen.


{{ParTLPde|6.36111}} Das Kant’sche Problem von der rechten und linken Hand, die man nicht zur Deckung bringen kann, besteht schon in der Ebene, ja im eindimensionalen Raum, wo die beiden kongruenten Figuren ''a'' und ''b'' auch nicht zur Deckung gebracht werden können, ohne aus diesem Raum herausbewegt zu werden. Rechte und linke Hand sind tatsächlich vollkommen kongruent. Und dass man sie nicht zur Deckung bringen kann, hat damit nichts zu tun.
{{ParTLPde|6.36111}} Das Kant’sche Problem von der rechten und linken Hand, die man nicht zur Deckung bringen kann, besteht schon in der Ebene, ja im eindimensionalen Raum, wo die beiden kongruenten Figuren ''a'' und ''b'' auch nicht zur Deckung gebracht werden können, ohne aus diesem Raum herausbewegt zu werden. Rechte und linke Hand sind tatsächlich vollkommen kongruent. Und dass man sie nicht zur Deckung bringen kann, hat damit nichts zu tun.
Line 1,834: Line 1,834:
(Nicht Probleme der Naturwissenschaft sind ja zu lösen.)
(Nicht Probleme der Naturwissenschaft sind ja zu lösen.)


{{ParTLPde|6.432}} {{nowrap|W i e}} die Welt ist, ist für das Höhere vollkommen gleichgültig. Gott offenbart sich nicht {{nowrap|i n}} der Welt.
{{ParTLPde|6.432}} {{nowrap|W i e}} die Welt ist, ist für das Höhere vollkommen gleichgültig. Gott offenbart sich nicht {{nowrap|i n}} der Welt.


{{ParTLPde|6.4321}} Die Tatsachen gehören alle nur zur Aufgabe, nicht zur Lösung.
{{ParTLPde|6.4321}} Die Tatsachen gehören alle nur zur Aufgabe, nicht zur Lösung.
Line 1,846: Line 1,846:
{{ParTLPde|6.5}} Zu einer Antwort, die man nicht aussprechen kann, kann man auch die Frage nicht aussprechen.
{{ParTLPde|6.5}} Zu einer Antwort, die man nicht aussprechen kann, kann man auch die Frage nicht aussprechen.


{{nowrap|D a s}} {{nowrap|R ä t s e l}} gibt es nicht.
{{nowrap|D a s}} {{nowrap|R ä t s e l}} gibt es nicht.


Wenn sich eine Frage überhaupt stellen lässt, so {{nowrap|k a n n}} sie auch beantwortet werden.
Wenn sich eine Frage überhaupt stellen lässt, so {{nowrap|k a n n}} sie auch beantwortet werden.
Line 1,862: Line 1,862:
{{ParTLPde|6.522}} Es gibt allerdings Unaussprechliches. Dies {{nowrap|z e i g t}} sich, es ist das Mystische.
{{ParTLPde|6.522}} Es gibt allerdings Unaussprechliches. Dies {{nowrap|z e i g t}} sich, es ist das Mystische.


{{ParTLPde|6.53}} Die richtige Methode der Philosophie wäre eigentlich die: Nichts zu sagen, als was sich sagen lässt, also Sätze der Naturwissenschaft – also etwas, was mit Philosophie nichts zu tun hat – , und dann immer, wenn ein anderer etwas Metaphysisches sagen wollte, ihm nachzuweisen, dass er gewissen Zeichen in seinen Sätzen keine Bedeutung gegeben hat. Diese Methode wäre für den anderen unbefriedigend – er hätte nicht das Gefühl, dass wir ihn Philosophie lehrten – aber {{nowrap|s i e}} wäre die einzig streng richtige.
{{ParTLPde|6.53}} Die richtige Methode der Philosophie wäre eigentlich die: Nichts zu sagen, als was sich sagen lässt, also Sätze der Naturwissenschaft – also etwas, was mit Philosophie nichts zu tun hat –, und dann immer, wenn ein anderer etwas Metaphysisches sagen wollte, ihm nachzuweisen, dass er gewissen Zeichen in seinen Sätzen keine Bedeutung gegeben hat. Diese Methode wäre für den anderen unbefriedigend – er hätte nicht das Gefühl, dass wir ihn Philosophie lehrten – aber {{nowrap|s i e}} wäre die einzig streng richtige.


{{ParTLPde|6.54}} Meine Sätze erläutern dadurch, dass sie der, welcher mich versteht, am Ende als unsinnig erkennt, wenn er durch sie – auf ihnen – über sie hinausgestiegen ist. (Er muss sozusagen die Leiter wegwerfen, nachdem er auf ihr hinaufgestiegen ist.)
{{ParTLPde|6.54}} Meine Sätze erläutern dadurch, dass sie der, welcher mich versteht, am Ende als unsinnig erkennt, wenn er durch sie – auf ihnen – über sie hinausgestiegen ist. (Er muss sozusagen die Leiter wegwerfen, nachdem er auf ihr hinaufgestiegen ist.)