%Wab_entities;]> [DRAFT!] (2008-): Wittgenstein MS 154: Ms-154.xml Ludwig Wittgenstein Alois Pichler Wittgenstein Archives at the University of Bergen (WAB) Trinity College, Cambridge; Oxford University Press, Oxford; InteLex Corporation, Charlottesville; University of Bergen, Bergen; Uni Digital (earlier "Unifob Aksis"), Bergen; L. Meltzers Høyskolefond, Bergen; GDRE+ Hyper-Learning, Paris; COST Action A32, Brussels; eContent+ DISCOVERY, Luxembourg Alois Pichler coordination, editorial guidelines, XML-TEI markup Claus Huitfeldt, Kjersti Bjørnestad Berg, Sindre Sørensen, MLCD project conversion from MECS-WIT to flat XML markup: parser Alois Pichler conversion from MECS-WIT to flat XML markup: handling of overlap Vemund Olstad stylesheets Tone Merete Bruvik XML-TEI validation Øystein Reigem PHP Heinz Wilhelm Krüger, Alois Pichler correction, structural enrichment Kyrre Trohjell, Alois Pichler transcription and MECS-WIT markup 1998

Copyright holders: The Master and Fellows of Trinity College, Cambridge; Oxford University Press, Oxford; University of Bergen, Bergen; Uni Research AS (earlier Unifob AS), Bergen. Released under the Creative Commons General Public License Attribution, Non-Commercial, Share-Alike version 3 (CCPL BY-NC-SA).

The text has not been proofread since the production of the Bergen Electronic Edition (2000), though some corrections have been made. For some corrections we are grateful to Almut Kristine v. Wedelstaedt. Dating from Alois Pichler&app;s &udq;Untersuchungen zu Wittgensteins Nachlaß&udq;, p&p;76.

1 Eine Beichte muß ein Teil des neuen Lebens sein&p.es; Der Titel meines Buches: &ldq.sldq;Philosophische Betrachtungen&p.es; Alphabetisch nach ihren Gegenständen Themen geordnet aneinandergereiht&p.es;&udq.eudq; &lb.alt; nach Stichwörtern angeordnet&p.es;&udq.eudq; Ich drücke, was ich ausdrücken will doch immer nur &ldq.sldq;mit halbem Gelingen&udq.eudq; aus&p.es; Ja auch das, nicht sondern vielleicht nur mit einem Zehntel&p.es; Das will doch etwas besagen&p.es; Mein Schreiben ist oft nur ein &ldq.sldq;Stammeln&udq.eudq;&p.es; Wie kann man Vorbereitungen für die Ankunft von etwas eventuell Existierendem treffen in dem Sinn in welchem Russell &.und; Ramsey das immer getan haben &lb.alt;tun wollten tun wollten&rb.alt;&qm.eis; Russell So wurde hat für die Existenz unendlich vieler Ich drücke, was ich ausdrücken will doch immer nur &ldq.sldq;mit halbem Gelingen&udq.eudq; aus&p.es; Ja auch das, nicht sondern vielleicht nur mit einem Zehntel&p.es; Das will doch etwas besagen&p.es; Mein Schreiben ist oft nur ein &ldq.sldq;Stammeln&udq.eudq;&p.es; Russell hat für die Existenz unendlich vieler Dinge vorgesorgt; Ramsey für die Existenz beliebiger n÷stelliger Relationen, etc&p.abb; &lb.alt;So Es wurde für die &sp.pma; Existenz unendlich vieler Dinge vorgesorgt, für die Existenz &sp.pma; beliebiger n÷stelliger Relationen etc&p.abb;&rb.alt; 2 Man bereitet die Logik für die Existenz von n÷stelligen Rel&p.abb; vor oder für die Existenz einer unendlichen Anzahl von Gegenständen etc&p.abb; Nun kann man doch für die Existenz eines Dinges vorsorgen: ich mache z&p.abb;B&p.abb; ein Kästchen um den Schmuck hineinzulegen der vielleicht einmal gemacht werden wird&p.es; Aber hier kann ich doch sagen, was der Fall sein muß, ‐ welcher Fall es ist für den ich F vorsorge&p.es; Ich kann diesen Fall jetzt so gut beschreiben wie nachdem er eingetreten ist&p.es; &lp;Lösung mathematischer Probleme&p.es;&rp; Während Russell &.und; Ramsey für eine eventuelle Grammatik vorsorgen&p.es; x&equ;a &vel; x&equ;b &vel; &sp; x&equ;a &pmid; y&equ;b &p;&vel;&p; x&equ;c &pmid; y&equ;d &p;&vel; x&equ;a &pmid; y&equ;b &pmid; z&equ;c &p;&vel;&p; &sp; Man denkt z&p.abb;B&p.abb; einerseits daß es die Arithmetik mit den Funktionen zu tun hat von deren Anzahlen sie handelt&p.es; Aber man will sich nicht durch die uns jetzt bekannten Funktionen binden lassen und man weiß nicht ob es jemals eine geben wird die von 100 ge Gegenständen befriedigt wird: also muß man vorsorgen 3 &.und; eine Konstruktion machen die alles für die alles 100÷stellige Relation vorbereitet wenn sich eine finden sollte&p.es; Was heißt es aber überhaupt &ldq.sldq;es findet sich &lp;oder: es gibt&rp; eine 100÷stellige Relation&udq.eudq;&qm.eis; Welchen Begriff haben wir von ihr&qm.eis; oder einer 2÷stelligen&qm.eis;&em.ees; ‐ Als Beispiel einer 2÷stelligen Relation gibt man etwa das der Beziehung zwischen Vater &.und; Sohn&p.es; Aber welche Bedeutung hat dieses Beispiel für die weitere Behandlung des Gegenstandes&qm.eis; Sollen wir uns jetzt statt jedes a R b vorstellen a ist der Vater, der b&qm.eis; &.und; &.und; &sdash; wenn aber nicht, ist dann das Beispiel oder irgend eins überhaupt essentiell&p.eis; Ist Spielt dieses Beispiel nicht die gleiche Rolle wie eines in der Arithmetik, wenn ich jemandem 3&x.xmult;6&equ;18 an 3 Reihen von 6 Äpfeln erkläre&qm.eis; Hier handelt es sich um den Begriff der Anwendung&p.es; Man hat etwa die Vor4stellung von einem Motor der erst leer geht &.und; dann eine Arbeitsmaschine treibt&p.es; Aber was gibt die Anwendung der Rechnung&qm.eis; Setzt sie ihr einen neuen Kalkül zu&qm.eis; dann ist sie ja jetzt eine andere Rechnung&p.es; Oder gibt sie ihr in irgend einem der Mathematik &lp;Logik&rp; wesentlichen Sinne Substanz&qm.eis; Wie kann man dann überhaupt auch nur zeitweise von der Anwendung absehen&qm.eis; Nein, die Rechnung mit Äpfeln ist wesentlich dieselbe wie die mit Strichen oder Ziffern&p.es; Die Arbeitsmaschine setzt den Motor fort aber die Anwendung &lp;in diesem Sinne&rp; nicht die Rechnung&p.es; Wenn ich nun sage &ldq.sldq;die Liebe ist z&p.abb;B&p.abb; eine 2÷stellige Relation&udq.eudq;, ‐ sage ich hier etwas über die Liebe aus&qm.eis; nNatürlich nicht&p.es; Ich gebe eine Regel für den Gebrauch des Wortes &ldq.sldq;Liebe&udq.eudq; &.und; will etwa sagen daß 5 wir dieses Wort z&p.abb;B&p.abb; so gebrauchen&p.es; Inwiefern ist Nun hat man aber doch das Gefühl daß mit dem Hinweis auf die 2 stellige 2÷stellige Relation Liebe in die Hülse des Relationskalküls Sinn gesteckt wurde&p.es; ‐ Denken Wwir uns eine Ggeometrische Demonstration statt an einer Zeichnung oder an analytischen Symbolen an einem Lampenzyllinder vorgenommen&p.es; Inwiefern ist hier von der Geometrie eine Anwendung gemacht&qm.eis; Kommt Tritt denn der Gebrauch des Glaszylinders als Lampenzylinder in die geometrische Überlegung ein Kommt denn der Gebrauch des Glaszylinders als Lampenzylinder in die geometrische Überlegung herein Tritt denn der Gebrauch des Glaszylinders als Lampenzylinder in die geometrische Überlegung ein&qm.eis; Und tritt der Gebrauch des Wortes &ldq.sldq;Liebe&udq.eudq; in einer Liebeserklärung in meine uÜberlegung ein&qm.eis; Wir haben mit verschiedenen Verwendungen des Wortes &ldq.sldq;Anwendung&udq.eudq; zu tun&p.es; &ldq.sldq;Die Multiplikation wird in dieser Rechnung angewandt&udq.eudq;, &ldq.sldq;Der hab wird Der Glaszylinder 6 wird in der Lampe angewandt&udq.eudq;; &ldq.sldq; die Rechnung ist auf diese Äpfel &.und; Birnen angewandt&udq.eudq;&p.es; Hier kann man nun sagen: Die Arithmetik ist ihre eigene Anwendung&p.es; Der Kalkül ist seine eigene Anwendung&p.es; Wir können nicht in der Arithmetik für eine grammatische Anwendung vorsorgen&p.es; Denn ist die Arithmetik nur ein Spiel so ist für sie auch ihre Anwendung nur ein Spiel &.und; entweder das gleiche Spiel &lp;dann führt es uns nicht weiter&rp; oder ein anderes ‐ &.und; dann konnten wir das schon in der reinen Arithmetik betreiben&p.es; Wenn also der Logiker sagt, er habe für eventuell existierende 6÷stellige Relationen in der Arithmetik vorgesorgt oder für Funktionen die von 27 Dingen befriedigt werden, so können wir fragen: Was wird denn nun zu dem was Du vorbereitet hast hinzutreten wenn es nun 7 seine Anwendung findet&qm.eis; Ein neuer Kalkül&qm.eis; ‐ Aaber den hast Du ja eben nicht vorbereitet&p.es; Oder etwas was den Kalkül nicht tangiert&qm.eis; ‐ dann interessiert uns das nicht &.und; der Kalkül den Du uns gezeigt hast ist uns Anwendung genug&p.es; Die falsche unrichtige Idee ist daß die Anwendung eines Kalküls in der Grammatik der wirklichen Sprache ihm eine Realität zuordnet eine Wirklichkeit gibt die er früher nicht hatte&p.es; &lb.alt;Die unrichtige Idee ist, : die Anwendung &sdash.pma; eines Kalküls in der Grammatik der wirklichen Sprache verleihe &sdash.pma; ihm eine Realität &sdash.pea; die er früher nicht hatte&p.es;&rb.alt; Aber wie gewöhnlich in unserem Gebiet liegt hier der Fehler nicht darin daß man etwas fFalsches glaubt sondern darin daß man auf eine nicht stimmende Analogie hinschielt&p.es; Was geschieht denn wenn die 6÷stellige Relation gefunden wird&qm.eis; Wird quasi ein Metall gefunden daßs d nun die ge8wünschte Eigenschaft &lp;das richtige spez&p.abb; Gew&p.abb;, die richtige Festigkeit etc&p.abb;&rp; hat&qm.eis; Nein; ein Wort wird gefunden daßs wir tatsächlich so in der Sprache verwenden wie wir etwa den Buchstaben R verwendet haben&p.es; &ldq.sldq;Ja, aber dieses Wort hat doch eben Bedeutung &.und; R hatte keine&em.ees;&udq.eudq; Wir sehen also jetzt daß dem R etwas entsprechen kann&p.es;&udq.eudq; Aber die Bedeutung des Wortes besteht ja nicht darin, daß ihm etwas entspricht&p.es; Außer etwa wo es sich um einen Namen &.und; benannten Gegenstand handelt aber da setzt der Träger des Namens nur den Kalkül fort also die Sprache&p.es; Und es ist nicht so wie wenn man sagt: diese Geschichte hat sich tatsächlich zugetragen sie war nicht bloße Fiktion&p.es; Das alles hängt auch mit dem falschen Begriff der log&p.abb; Analyse zusammen den Russell, ich &.und; Ramsey hatten&p.es; So daß man auf 9 eine endliche logische Analyse der Tatsachen wartet wie auf eine cCchemische von Verbindungen&p.es; Eine Analyse durch die man dann etwa eine 7÷stellige Rel&p.abb; wirklich findet wie ein Element daßs tatsächlich das spez&p.abb; Gew&p.abb; so &.und; so hat&p.es; Die Grammatik ist für uns ein reiner Kalkül&p.es; &lp;Nicht die Anwendung eines auf die Realität&p.es;&rp; &bar;&bar; Die Wörter sind nicht die Ingredientzien eines Satzes&p.es; &bar;&bar; &lp;&exist.exist;2x&rp;ϕx&pmid;&lp;&exist.exist;2x&rp;ψx&pmid; Ind&p.abb; &p;&prsups.imp;&p; &p;&prsups.imp;&p; &lp;&exist.exist;4x&rp;ϕx&vel;ψx Weniger versprechen als man halten will ist oft schön, aber es kann auch aus einer Anmaßung entspringen; dann, wenn man sich auch etwas drauf einbildet weniger zu z versprechen als man halten wird&p.es; ‐ Ist es richtig oder unrichtig mein Buch nicht &ldq.sldq;pPhilosophische Betrachtungen etc&p.abb;&udq.eudq; zu nennen, sondern: &ldq.sldq;Philosophische Bemerkungen, nach 10 ihren Gegenständen alphabetisch geordnet&udq.eudq;&qm.eis; &lb.alt;nach Stichwörtern alphabetisch geordnet&udq.eudq;&qm.eis;&rb.alt; &lb.alt;alphabetisch nach Stichwörtern angeordnet angeordnet geordnet&udq.eudq;&rb.alt;&qm.eis; &bar.alt; Was ich für die Sprache tue wenn ich einfache grammatische Schemata neben sie stelle ist ähnlich dem was die Erfinder der Buchstaben &lp;Lautzeichen für die Lautsprache&rp; getan haben&p.es; &bar.alt; &bar; Die Diskussionen über das Naturrecht, ein gutes Beispiel dafür wie ein Problem eine Schwierigkeit obsolet wird &.und; die Menschen einer künftigen Generation einfach nicht beunruhigt&p.es; &lp;No so soll er sich bessern&em.ees;&rp;&rp; &bar; Denken wir uns die Partitur des psychischen &.und; Pphysischen Geschehens geschrieben, ‐ ist dann das Glauben &lp; Erwarten, Hoffen, Fürchten, etc&p.abb;&rp; wie ein Orgelpunkt oder ein Basso ostinato&qm.eis; &bar;Die philosophische Klarheit wird auf das Wachsen der Mathematik den gleichen Einfluß 11 haben wie die Sonne auf das zügellose Wachsen der Kartoffeltriebe&p.es;&bar; &lb;Das Kommen der philosophischen Klarheit &lp;Durchsichtigkeit&rp; wird auf das Weiterwachsen der Mathematik denselben Einfluß haben wie das Sonnenlicht auf das Wachstum der Kartoffeltriebe&p.es; &lp;Im dunkeln Keller wachsen sie meterlang&p.es;&rp;&rb.alt; Philosophical transparency will have the same effect on the growth of Mmathematics which the sun has on potatoes&p.es; It keeps them down&p.es; &bar; &bar; Eine der wichtigsten Ideen unsrer Ideen wie die Idee der Disposition&p.es; &ldq.sldq;Ich kann das A÷B÷C hersagen wenn ich will&p.es;&udq.eudq; Ich habe es gleichsam in mir aufgeschrieben und zwar tut&app.contr;s da nicht irgend ein Bild das ich in mir trage sondern es handelt sich nur um ganz bestimmte&p.es; &bar; Worin besteht es eine Absicht zu haben&qm.eis; &lp;Siehe Glauben 12 erwarten, hoffen etc&p.abb;&rp; Was nimmst Du als das CKriterium dafür an daß er diese Absicht hat&qm.eis; Daß er z&p.abb;B&p.abb; die Absicht hat mit der Strafe den Andern zu bessern nicht ihn abzuschrecken oder umgekehrt; etc&p.abb;&qm.eis; ‐ &lp;Sieh Dir die verschiedenen Theorien der Strafe von diesem Standpunkte aus an&p.es;&rp; Wenn man jemandem sagt: &ldq.sldq;denk&app.contr; nur was daraus würde wenn alle das täten was Du tust&udq.eudq; so kann ihm das wir einen Aabschreckenden Eindruck machen, oder auch nicht&p.es; It may appeal to him, or not&p.es; Ein z ihn zwingendes Argument ist es nicht&p.es; It will impress him if this sort of thing impresses him&p.es; Der Disput darüber ob schon Eins oder erst Zwei die erste Zahl ist sei&p.es; Was bedeutet ein Satz der Art &lp;&exist.exist;n&rp; 4+n&equ;7&qm.eis; Nun 13 da frage man sich erst; gibt es schon einen Beweis für oder gegen ihn denn das ändert seine Grammatik&p.es; Und wenn man ihn beweisen kann: wie&qm.eis; &sdash; Ist das der Beweis&qm.eis; Gut, nun weiß ich auch was der Satz bedeutet&p.es; Wie wäre es wenn ein Säatz seinen Sinn selber nicht ganz erfaßte&p.eis; Wenn er sich quasi selber zu hoch wäre&p.es; Und das nehmen eigentlich die Logiker an&p.es; &ldq.sldq;Alle Zahlen haben vielleicht diese Eigenschaft&udq.eudq;&p.es; ‐ Aber was heißt alle Zahlen&qm.eis; ‐ Das weißt Du doch&em.ees; 1, 2, 3, 4, u&p.abb;s&p.abb;w&p.abb; ad inf&p.abb; ‐ Ja, da kommt es darauf an was das u&p.abb;s&p.abb;w&p.abb; ad inf&p.abb; für eine Grammatik hat&p.es; Was es heißt daß die Zahlen diese Eigenschaft vielleicht haben werde ich wissen, wenn Du mir sagst wie man das eventuell wissen kannst kann&p.es; &lp;Denn wenn Du mir sagtest man könnte es wissen wenn man die alle Zahlen alle die Zahlen alle alle Zahlen durchgehen könnte so wäre das Unsinn&p.es;&rp; Eben da sich das &im; nicht sagen läßt wird die 14 Frage akut: &ldq.sldq;Was heißt es, alle Zahlen haben die Eigenschaft&p.eis;&udq.eudq; Kannst Du es aber beweisen so wird ja wohl aus dem Beweis hervorgehen, was er beweist &.und; daher auch was Dder Satz sagt&p.es; Alle Irrtuümer ruhen hier auf der seltsamen Annahme es sei nur eine menschliche Schwäche daß wir die Zahlen nicht alle durchgehen konnten &.und; so haben wir also wirklich von vornherein eine Verifickation für unsern Satz wenn sie auch aus aäußerlichen Gründen nicht praktikabel ist&p.es; Ein math Ein unbewiesener Satz mathematischer Satz ‐ ein Wegweiser der mathematischen Forschung&p.es; Der Beweis eines Satzes ist ein Teil seiner Grammatik&p.es; Und wenn er unbewiesen ist so hat er eine andere Funktion als, wenn er &lp;oder ein Kalkül in dem er&rp; bewiesen ist&p.es; Der unbewiesene Satz ist immer ein Gleichnis mit einem Gle nicht mathematischen Satz&p.es; 15 Wir haben von einer Zahlenreihe &ldq.sldq;1, 2, 3, 4, 5, vViele&udq.eudq; gesprochen &.und; ihrer Arithmetik; aber es gibt natürlich auch eine Arithmetik &lp;oder: ich kann natürlich auch eine Arithmetik konstruieren&rp; für die Reihe &ldq.sldq;1, 2, 3, 4, 5&udq.eudq; ohne dem abschließenden unbestimmten Zahlwort&p.es; Ich verliere mich jetzt leicht in einem Wald möglicher Notationen &.und; Kalküle in dem ich mich im Kreis oder Kreisen herumzubewegen scheine&p.es; Das jüdische &udq.eudq;Genie&udq.eudq; ist nur ein Heiliger&p.es; Der größte jüdische Denker ist nur ein Talent&p.es; &lp;Ich z&p.abb;B&p.abb;&rp; Es ist, glaube ich eine Wahrheit darin wenn ich denke, daß ich eigentlich in meinem Denken nur reproduktiv bin&p.es; Ich glaube ich habe nie eine Gedankenbewegung erfunden sondern sie wurde mir immer von jemand anderem gegeben &.und; ich habe sie nur sogleich 16 leidenschaftlich zu meinem Klärungswerk aufgegriffen&p.es; So haben mich Boltzmann, Hertz, Schopenhauer, Frege, Russell, Kraus, Loos, Weininger, Spengler, Sraffa beeinflußt&p.es; Kann man als ein Beispiel der jüdischen Reproduktivität Breuer &.und; Freud heranziehen&qm.eis; ‐ Was ich erfinde sind neue Gleichnisse&p.es; Als ich seinerzeit den Kopf für Drobil modellierte so war auch die Anregung wesentlich ein Werk Drobils &.und; meine Arbeit war eigentlich wieder die des Klärens&p.es; Ich glaube das Wesentliche ist daß die Tätigkeit des Klärens mit Mut betrieben werden muß: fehlt der so wird sie ein bloßes gescheidtes Spiel&p.es; Der Jude muß im eigentlichen Sinn &ldq.sldq;sein Sach&app.contr; auf nichts stellen&udq.eudq;&p.es; Aber das fällt gerade ihm besonders schwer, weil er, sozusagen, nichts hat&p.es; Es ist viel schwerer freiwillig arm zu sein, wenn man arm sein muß als, wenn man auch reich sein könnte&p.es; Man könnte sagen 17 &lp;ob es nun stimmt oder nicht&rp; daß der jüdische Geist nicht im Stande ist auch nur ein Gräschen oder Blümchen hervorzubringen daß es aber seine Art ist das Gräschen was im andern oder die Blume die im andern Geist gewachsen ist abzuzeichnen &.und; damit ein umfassendes Bild zu entwerfen&p.es; Das ist nun nicht die Angabe eines Lasters &.und; es ist alles in Ordnung solange das nur völlig klar bleibt&p.es; Gefährlich wird es erst wenn man die Art des Jüdischen÷ mit der des Nicht jüdischen Nicht÷jüdischen Werks verwechselt &.und; besonders wenn das der Schöpfer des ersteren selbst tut, was so ungen nahe liegt&p.es; &lp;&ldq.sldq;Sieht er nicht so stolz aus als ob er selbst gemolken wäre&udq.eudq;&p.es;&rp; Es ist dem jüdischen Geiste typisch das Werk eines Andern besser zu verstehen als der es selbst versteht&p.es; Ich habe mich oft dabei ertappt wenn ich ein Bild entweder richtig häatte rahmen lassen oder in die richtige Umgebung gehangen hatte so stolz zu sein als hätte ich das Bild gemalt&p.es; Das ist eigentlich 18 nicht richtig; nicht &ldq.sldq;so stolz als hätte ich es gemalt&udq.eudq; sondern so stolz als hätte ich es malen geholfen, als hätte ich sozusagen einen kleinen Teil davon gemalt&p.es; Es ist so als würde der außerordentliche aArrangeur von Gräsern am Schluß denken daß er doch, wenigstens ein ganz wintziges Gräschen, selbst erzeugt habe&p.es; Während er sich klar sein muß, daß seine Arbeit auf einem gänzlich andern Gebiet liegt&p.es; Der Vorgang der Entstehung auch des winzigsten &.und; schäbigsten Gräschens ist ihm gänzlich fremd &.und; unbekannt&p.es; Das genaueste Bild eines ganzen Apfelbaumes hat in gewissem Sinne unendlich viel weniger aAÄhnlichkeit mit ihm als das kleinste Masßliebchen mit dem Baum hat&p.es; Und in diesem Sinne ist eine Brucknersche Symphonie mit einer Symphonie der heroischen Zeit unendlich näher verwandt als eine Mahlerische&p.es; Wenn diese ein Kunstwerk ist, dann eines gänzlich andrer Art&p.es; &lp;Diese Betrachtung aber selbst ist eigentlich 19 Spenglerisch&p.es;&rp; Als ich übrigens in Norwegen war, im Jahre 1913÷14 häatte ich eigene Gedanken, so scheint es mir jetzt wenigstens&p.es; Ich meine, es kommt mir so vor, als hätte ich damals in mir neue Denkbewegungen geboren &lp;Aber vielleicht irre ich mich&rp;&p.es; Während ich jetzt nur mehr alte anzuwenden scheine&p.es; &tilde.neg;&lp;&exist.exist;ϕ&rp;:&lp;&E.exexi;x&rp;ϕx Vgl&p; Faksimile; waagerechter Strich&p; &tilde.neg;&lp;&exist.exist; &lp;&exist.exist;x&rp;ϕx&pmid;&tilde.neg; &lp;&exist.exist;xy&rp;ϕx&pmid;ϕy ϕxε1 ϕxε5 Der Satz &tilde.neg;&lp;&exist.exist;ϕ&rp;:&lp; &E.exexi;x&rp;ϕx muß von der Art dessen sein: Es gibt keinen Kreis auf dieser Fläche der nur einen schwarzen Fleck enthält&p.es; 20 Wenn nun aus zwei den Sätzen &tilde.neg;&lp;&exist.exist;&rp;ϕ&rp;:&lp;&E.exexi;x&rp; ϕx &.und; &tilde.neg;&lp;&exist.exist;ϕ&rp;:&lp;&E.exexi;x,y&rp;ϕx&pmid;ϕ ρy folgt daß 1&equ;2 ist so kann ist hier mit &ldq.sldq;1&udq.eudq; &.und; &ldq.sldq;2&udq.eudq; nicht dasselbe gemeint kann hier mit &ldq.sldq;1&udq.eudq; &.und; &ldq.sldq;2&udq.eudq; nicht dasselbe gemeint sein ist hier mit &ldq.sldq;1&udq.eudq; &.und; &ldq.sldq;2&udq.eudq; nicht das gemeint was wir gemeinhin damit meinen, denn die Sätze ρ &.und; σ würden gewöhnlich in der gewoöhnlichen Wortsprache lauten: Es gibt keine Funktion die nur von einem Ding &.und; keine die nur von zwei Dingen befriedigt wird&p.es; Und dies sind nach der Regel unserer Sprache verschiedene Sätze und diese Regel stützt sich nicht darauf daß es doch &sdash; &sdash; Aber dieses Vorkommen des Paradigmas der &.und; der Klasse im Symbolismus bedeutet nicht, daß ein bestimmter Satz des Symbolismus wahr sein muß&p.es; Rousseau hat etwas jJüdisches in seiner Natur&p.es; Aber die Gleichung 1&equ;2 in dieser Auffassung hat ja nichts eErstaunliches denn sie besagt: der 21 Umfang der 1 Klasse ist derselbe wie der Umfang der 2 Klasse&p.es; Und wenn diese beiden Klassen keinen Umfang haben so haben sie denselben&p.es; Nur verwenden wir freilich die Zeichen 1 &.und; 2 nicht in dieser Bedeutung&p.es; Daß Dein Satz &lp;&exist.exist;x,y&rp;x&equ;a &pmid; y&equ;b wahr ist, ist doch nicht das was mich in Stand setzt &ldq.sldq;&lp;&exist.exist;x,y&rp;ϕx &pmid; ϕy&udq.eudq; zu sagen&em.ees; Kann man sagen ein Satz setzt für seinen Sinn die Wahrheit der Beschreibung des Satzes voraus&qm.eis; Oder kann man sagen der Satz &lp;&exist.exist;ϕ&rp;:&lp;&E.exexi;x&rp;ϕx ist sein eigener Beweis, da der Satz das Zeichen selber so ein Ding enthält&p.es; Wenn manchmal gesagt wired die Philosophie &lp;eines Menschen&rp; sei Temperamentssache, so ist auch darin eine Wahrheit&p.es; Die Bevorzugung gewisser 22 Gleichnisse kann man ist das was man Temperamentssache nennt &.und; auf ihr beruhen viel mehr Gegensätze als es vielleicht ursprünglich den Anschein hat&p.es; &sp.psa; &lb.alt;könnte man Temperamentssache nennen &.und; auf ihr beruht ein viel größerer Teil der Gegensätze als es scheinen möchte&p.es;&rb.alt; &ldq.sldq;Betrachte diese Warze Beule als ein regelrechtes Glied deines Körpers&em.ees;&udq.eudq; Kann man das, auf Befehl&qm.eis; Ist es in meiner Macht willkürlich ein Ideal von meinem Körper zu haben oder nicht&qm.eis; Die Geschichte der Juden werden wird darum in der Geschichte der Europäischen Völker nicht mit der Ausführlichkeit behandelt wie es ihr Eingriff in die eEuropäischen Ereignisse eigentlich verdiente, weil sie als eine Art Krankheit, Anomalie, in dieser Geschichte empfunden werden &.und; niemand gern eine Krankheit mit dem normalen Leben gleichsam auf eine Stufe stellt&p.es; &lb.alt;&.und; nie23mand gern von einer Krankheit als etwas Gleichberechtigtem mit den gesunden Vorgängen &lp;auch schmerzhafte&rp; im Körper spricht&p.es;&rp;&rb.alt; Man kann sagen: diese Beule kann nur dann als ein Glied des Körpers betrachtet werden, wenn sich das ganze Gefühl für den Körper ändert &lp;wenn sich das ganze nNationalgefühl für den Körper ändert&rp;&p.es; Sonst kann man sie höchstens dulden&p.es; Vom einzelnen Menschen kann man so eine Duldung erwarten oder auch daß er sich über diese Dinge hinwegsetzt; nicht aber von der Nation, die ja nur dadurch Nation ist daß sie sich darüber nicht hinwegsetzt&p.es; D&p.abb;h&p.abb; es ist ein Widerspruch zu erwarten daß einer das alte aeästhetische Gefühl für seinen Körper behalten &.und; die Beule willkommen heißen wird&p.es; Macht &.und; Besitz sind nicht dasselbe&p.es; Obwohl uns der Besitz auch Macht gibt&p.es; Wenn man sagt die Juden hätten keinen Sinn für 24 den Besitz so ist das wohl vereinbar damit daß sie gerne reich sind; denn das Geld ist für sie eine bestimmte Art von Macht nicht Besitz&p.es; &lp;Ich möchte z&p.abb;B&p.abb; nicht, daß meine Leute arm werden, denn ich wünsche ihnen eine gewisse Macht&p.es; fFreilich auch daß sie diese Macht recht gebrauchen möchten&p.es;&rp; Zwischen Brahms &.und; Mendelssohn herrscht entschieden eine gewisse Verwandtschaft; &.und; zwar meine ich nicht die welche sich in einzelnen Stellen bei in Brahmsschen Werken zeigt, die an Mendelssohnsche Stellen erinnern sondern man könnte die Verwandtschaft von der ich rede dadurch Aausdrücken daß man sagt, Brahms tue das mit ganzer Strenge was Mendelssohn mit halber getan hat&p.es; Oder: Brahms ist oft Ffehlerfreier Mendelssohn&p.es; 25 1 Das wäre das Ende eines Themas, das ich nicht weiß&p.es; Es fiel mir heute ein als ich über meine Arbeit in der Philosophie nachdachte &.und; mir vorsagte: &ldq.sldq;I destroy, I destroy, I destroy ‐&udq.eudq; Frege glaubte daß wir durch aAufgeben der logischen Gesetze &ldq.sldq;unser Denken in Verwirrung bringen&udq.eudq; würden&em.ees; Wenn das so wäre so würde ich diese Verwirrung studieren, sie wäre sehr interessant&p.es; Man hat manchmal gesagt daß die fortwährende Verfolgung der Juden &.und; ihre Heimlichkeit &.und; Verstecktheit Heimlichkeit &.und; Verstecktheit der Juden durch ihre die lange Verfolgung hervorgebracht worden sei&p.es; Das ist gewiß unwahr; dagegen ist es gewiß, daß 26 sie, trotz dieser Verfolgung nur darum noch existieren, weil sie die Neigung zu dieser Heimlichkeit haben&p.es; Wie man sagen könnte daß das &.und; das Tier nur darum noch nicht ausgerottet sei weil es die Möglichkeit oder Fähigkeit hat sich zu &.und; so &.und; so zu verstecken&p.es; Ich meine natürlich nicht, daß man darum diese Möglichkeit des sich Versteckens preisen soll, durchaus nicht&p.es; Die Musik Bruckners hat nichts mehr von dem langen &.und; schmalen &lp;nordischen&qm.eis;&rp; Gesicht Nestroys, Grillparzers, Haydns etc&p.abb; sondern ist hat ganz &.und; gar ein rundes volles &lp;alpenländisches&qm.eis;&rp; Gesicht, von noch ungemischterem Typus als das Schuberts war&p.es; Die alles gleich machende Gewalt der Sprache die sich am krassesten im Wörterbuch zeigt &.und; die es möglich macht daß die Zeit personifiziert werden konnte, was 27 nicht weniger merkwürdig ist als es wäre wenn wir Gottheiten der logischen CKonstanten hätten&p.es; a b c d Im logischen Sinne des Wortes möglich ist der Schluß vom esse ad posse nicht gerechtfertigter als der vom non esse ad posse&p.es; Seine Handlungsweise darauf einrichten daß es immer so weitergehen wird&p.es; Glauben, Eerwarten, hoffen daß es immer so weitergehen wird&p.es; Wenn wir sagen möchten die Unendlichkeit ist eine Eigenschaft der Möglichkeit nicht der Wirklichkeit oder das Wort &ldq.sldq;unendlich&udq.eudq; gehört immer zum Wort &ldq.sldq;möglich&udq.eudq; u&p.abb;dergl&p.abb; so kommt das darauf hinaus zu sagen&udq.sudq;, das Wort möglich &ldq.sldq;unendlich&udq.eudq; sei immer Teil einer Regel nicht eines Erfahrungssatzes&p.es; Man kann sagen ich mache Vorbereitungen für die nächsten 3 Tage 28 oder 10 Jahre, etc&p.abb; &.und; auch &ldq.sldq;ich mache Vorbereitungen auf unbestimmte Zeit&udq.eudq; aber nicht ich mache &ldq.sldq;auf unendliche Zeit&udq.eudq;&p.es; Wenn ich aber &ldq.sldq;Vorbereitungen auf unbestimmte Zeit mache&udq.eudq; dann läßt sich eins Zeitraum &lp;nachträglich&rp; finden für den ich jedenfalls keine Vorbereitungen mehr mache&p.es; D&p.abb;h&p.abb; aus dem Satz &ldq.sldq;ich mache Vorb&p.abb; für unbest&p.abb; Zeit&udq.eudq; folgt nicht jeder Bbeliebige Satz &ldq.sldq;ich mache Vorb&p.abb; für u&p.abb; Jahre&udq.eudq;&p.es; Damit daß gesagt wird daß aus der unendlichen Hypothese jede &lp;u&rp; &pmid; &lp;&exist.exist;ux&rp;ϕx wie ich sie nur der Kürze wegen jetzt schreiben will jeder beliebige Satz &lp;&exist.exist;ux&rp;ϕx folgt &.und; sie selbst aus keinem dieser Sätze ist natürlich noch gar nichts über den weiteren Gebrauch dieses Spiels gesagt&p.es; Denken wir gar an den Satz: ich vermute daß das immer so weitergehn wird&p.es; Der komische Klang der Widerlegung: Du hast gesagt die Uhr werde immer so weitergehen, und sie steht jetzt schon&p.es; Wir fühlen daß ja 29 doch auch jede endliche zu lange Vorhersage durch die Tatsache wiederlegt wäre &.und; die Wiederlegung daher in irgend einem Sinn mit der Behauptung inkommensurabel&p.es; Man kann nämlich Es ist nämlich Unsinn zu sagen: &ldq.sldq;sie ist nicht unendlich weitergegangen sondern nach zehn Jahren stehen geblieben&udq.eudq; oder noch komischer: &ldq.sldq;sondern schon nach zehn Jahren stehen geblieben&udq.eudq;&p.es; Wie seltsam wenn man sagen würde: es gehört große Kühnheit dazu für 100 Jahre etwas vorauszusagen; aber welche Kühnheit muß dazugehören um etwas für die unendliche Zeit vorauszusagen wie es Newton im Trägheitsgesetz getan hat&em.ees; &ldq.sldq;Ich glaube das wird immer so weitergehen&udq.eudq;&p.es; &ldq.sldq;Ist es nicht genug wenn Du sagst Du glaubst es werde noch 100000 Jahre so weitergehen&qm.eis;&udq.eudq; ‐ &ldq.sldq;Ja, das tut&app.contr;s auch&udq.eudq;&p.es; 30 &ldq.sldq;For all practical purposes&udq.eudq; ist es genug zu sagen, &ldq.sldq;ich glaube &sp;es werde &sp; jJahre dauern&udq.eudq;&p.es; Wir müssen nämlich fragen: kann es Gründe zu diesem Glauben geben&qm.eis; Welches sind sie&p.eis; Welches sind die Gründe zur Annahme daß die Uhr noch 10000 Jahre weitergehen wird welche für die Annahme daß sie noch 10000 100000 Jahre gehen wird ‐ ‐ &.und; welche nun die Gründe zur unendlichen Annahme&qm.eis;&em.ees; Ich glaube Das ist es ja was den Satz &ldq.sldq;ich vermute daß es immer unendlich so gehen wird&udq.eudq; so komisch macht weil wir fragen wollen, warum vermutest Du das&qm.eis; Wir wollen nämlich sagen daß es sinnlos ist das z das zu vermuten weil es sinnlos ist von Gründen so einer Vermutung zu reden&p.es; Denken wir an den Satz &ldq.sldq;dieser Komet wird sich in einer Parabel mit der Gleichung &sp; bewegen&p.es;&udq.eudq; Wie wird dieser Satz gebraucht&qm.eis; Er kann nicht verifiziert werden &lp;d&p.abb;h&p.abb; wir haben keine 31 Verifickation für ihn vorgesehn&p.es; dDas heißt natürlich nicht daß man nicht sagen kann er sei wahr denn &ldq.sldq;p ist wahr&udq.eudq; sagt nur &ldq.sldq;p&udq.eudq;&p.es;&rp; Er kann uns dazu bringen bestimmte Versuche, Beobachtungen zu machen&p.es; Aber für die hätte es immer auch eine endliche Vorhersage getan&p.es; &lp;Und er verhält sich zu so einer Vorhersage etwa ähnlich wie die Angabe einer Rrunden Zahl zu der Angabe der FehlerGrenzen Grenzen FehlerGgrenzen eines Datums&p.es;&rp; Er wird auch gewisse Handlungen bestimmen z&p.abb;B&p.abb; wird könnte er uns dann verhindern den Kometen dort &.und; dort zu suchen&p.es; Aber auch dazu hätte eine endl&p.abb; Angabe genügt&p.es; Die Unendlichkeit der Annahme besteht nicht in ihrer Größe sondern in ihrer Unabgeschlossenheit&p.es; &lb;Verschiedene Beunruhigungen des Verstandes Geistes werden durch verschiedene Mittel beruhigt &lp;eben alle nennen wir Probleme &.und; sprechen von sSuchen &.und; Finden ihrer Lösung&rp;&p.es; Manche durch Erklärungen manche durch Gleichnisse manche durch Vereinfachungen&p.es; &rb; 32 Wenn man vonm Begriff von vom Begriff &ldq.sldq;Unendlichkeit&udq.eudq; redet muß man sich daran erinnern daß dieses Wort eine Unzahl von verschiedenen Bedeutungen hat &.und; von welcher wir jetzt gerade reden&p.es; Ob z&p.abb;B&p.abb; gerade von der Unendlichkeit der Zahlenreihe &.und; der Kardinalzahlen insbesondere&p.es;&p.es; Wenn ich also sage &ldq.sldq;unendlich&udq.eudq; sei eine Charakteristik einer Regel oder der Möglichkeit &.und; nicht der Wirklichkeit so beziehe ich mich auf eine bestimmte Bedeutung des Worts&p.es; Wir könnten z&p.abb;B&p.abb; sehr wohl sagen ein kontinuierlicher Farbübergang sei ein Übergang durch unendlich viele Stufen wenn wir nur wissen daß wir hier die Bedeutung des Wortes &ldq.sldq;unendlich viele&udq.eudq; durch die Erfahrung des Farbübergangs neu definieren &lp;wenn auch nach einer Analogie mit früherer Gebrauchsweise des Wortes &lsq.slsq;unendlich&usq.eusq;&rp;&p.es; Andres Beispiel: &ldq.sldq;Die Geraden treffen sich im Unendlichen wenn sie parallel sind oder das Lineal hat einen unendlichen Krümmungsgrad&p.es; &lp;Die besondere Beruhigung welche eintritt wenn wir einem Fall den wir für einzigartig hielten andere ähnliche Fälle an die sSeite stellen tritt in unserer Untersuchung immer wieder 33 ein wenn wir zeigen daß ein Wort nicht nur eine nicht nur zwei sondern Bedeutungen hat sondern in 5 oder 6 verschiedenen gebraucht wird&p.es;&rp; Warum ist man denn versucht das Wort &ldq.sldq;unendlich&udq.eudq; ganz in die Regeln zu verweisen&qm.eis; Und fühlt es ungemütlich wenn es in einer Hypothese vorkommt&qm.eis; Aber auch in der Hypothese, möchte ich sagen, steht es nur für die Möglichkeit&p.es; ‐ Das wogegen man sich wehrt ist natürlich die Verwendung von &ldq.sldq;unendlich&udq.eudq; als Zahlwort&p.es; Aber was hat das mit Wirklichkeit &.und; Möglichkeit zu tun&qm.eis; Nun wohl daß die Verwendung von &ldq.sldq;&infinity;&udq.eudq; mit den Zahlen zusammen so geschieht daß &infinity; die &usq.susq;Erlaubnis&usq.eusq; ist &.und; die Zahlen die Ausführung&p.es; Wir wehren uns gegen die Auffassung des Unendlichen als einer ungeheuern Größe&p.es; &lp;Die wir merkwürdigerweise ohne Schwierigkeit erfassen waährend wir eine große endliche Zahl nur zu groß sein 34 kann um hingeschrieben zu werden&rp;&p.es; Gleichsam als könnten wir uns zwar durch die Reihe der Zahlen nicht durcharbeiten aber wohl von hinten herum oder außen herum zum uUnendlichen gelangen&p.es;&rp; Denken wir uns wir erzählten jemandem &ldq.sldq;Gestern kaufte ich mir ein Lineal mit unendlichem Kruümmungsradius&udq.eudq;&p.es; &lp;Ach, Du meinst, es war gerade, ‐ ja das verstehe ich&p.es;&rp; ‐ &rp; Aber hier kommt doch das Wort &ldq.sldq;unendlich&udq.eudq; in einem Erfahrungssatz vor&p.es; ‐ Aber wenn ich kann doch nie die Erfahrung haben die mich berechtigte zu sagen daß das Lineal wirklich den Radius unendlich hat da der Radius von 100100 km es auch schon tut&p.es; Wohl aber dann kann ich doch auch nicht die Erfahrung haben die mich berechtigt zu sagen das Lineal sei gerade und die Worte &ldq.sldq;gerade&udq.eudq; &.und; &ldq.sldq;unendlich&udq.eudq; &lp;oder ein andermal &ldq.sldq;parallel&udq.eudq;&rp; sind im gleichen Fall&p.es; 35 Ich meine: wenn das Wort &udq.eudq;Gerade&udq.eudq; oder &ldq.sldq;Parallel&udq.eudq; oder &ldq.sldq;lLängengleich&udq.eudq; etc&p.abb; etc&p.abb; in einem Erfahrungssatz stehen darf es dann auch das Wort &ldq.sldq;Unendlich&udq.eudq;&p.es; Und wie wenn ich nun sagte: &ldq.sldq;gerade&udq.eudq; ist nur die Möglichkeit, nicht die Wirklichkeit&udq.eudq;&qm.eis; Aber das hätte nur insofern Sinn &sdash; Unendlich ist nur die Möglichkeit heißt: &ldq.sldq;unendlich&udq.eudq; ist ein Zusatz vor &ldq.sldq;u&p.abb;s&p.abb;w&p.abb;&udq.eudq; Wenn ich nun sage &ldq.sldq;dieser Kommet bewegt sich in einer Parabel&udq.eudq;&p.es; Soweit &ldq.sldq;unendlich&udq.eudq; ein Zusatz zu u&p.abb;s&p.abb;w&p.abb; ist gehört es in eine Regel, ein Gesetz&p.es; Aber doch nicht notwendig in die Grammatik&em.ees; In die Erfahrung gehört es insofern nicht als die Erfahrung die einem Gesetz entspricht eine endliche Reihe von Erfahrungen sind&p.es; &ldq.sldq;Das Wort &lsq.slsq;unendlich&usq.eusq; ist nur die Möglichkeit 36 nicht die Wirklichkeit&udq.eudq; ist irreleitend&p.es; Es weist nur in einem bestimmten Fall auf ein das Verhältnis von Gesetz &.und; den Erfahrungen hin die es bestätigen oder die der Regel &.und; den Handlungen die sie befolgen&p.es; Das Wort bekämpft einen Fehler, legt aber auch einen nahe&p.es; Man kann sagen: &ldq.sldq;unendlich ist hier nur die Möglichkeit&udq.eudq;&p.es; Und man fragt mit Recht: was ist denn an dieser Hypothese unendlich&qm.eis; Ist an dieser Annahme, an diesem Gedanken etwas ungeheuer groß&qm.eis;&em.ees; Es wundert mich nicht daß das Wort &ldq.sldq;inf&p.abb;&udq.eudq; das in &ldq.sldq;u&p.abb;s&p.abb;w&p.abb; ad inf&p.abb;&udq.eudq; vorkommt, nirgends sonst anders vorkommt&p.es; Daß da Denn &ldq.sldq;u&p.abb;s&p.abb;w&p.abb; ad inf&p.abb;&udq.eudq; ist, sozusagen, kein Wort&p.es; Denken wir es sagte uns ein Kommis in einem Geschaäft: &ldq.sldq;davon können sSie jede Menge haben&udq.eudq; &.und; nehmen wir an es wäre mir erlaubt nur einmal eine Zahl zu nennen&p.es; 37 Denken wir uns die Fee im Märchen sagte: &ldq.sldq;Du kannst so viel Goldstücke haben als Du Dir wünschst aber Du darfst nur einmal wünschen&p.es;&udq.eudq; Ist ihre Prophezeiung nicht erfüllt wenn ich kriege was ich wünsche&qm.eis; Und war meine Wahl nicht unbeschränkt&qm.eis; Wäre der Fall nicht ein andrer gewesen wenn sie mir eine Grenze gesetzt hätte wie weit immer sie sie gezogen hätte&qm.eis; Kann ich nun nicht sagen: die Freiheit die sie mir gelassen hat war unbeschränkt oder war unendlich&qm.eis; &.und; ist dies keine Wirklichkeit&qm.eis; &.und;Und ist damit nicht eine Wirklichkeit beschrieben&qm.eis; Wenn nun einer sagt: Nein die Freiheit der Wahl ist nur eine Möglichkeit so vermengt er hier den Satz daß die Freiheit der Wahl die mir die Fee gelassen mir die Fee eine unendliche Freiheit gelassen hat welcher keine Regel der Grammatik ist, mit der Regel die mir erlaubt in Übereinstimmung 38 mit dem Versprechen den Fall be eine beliebige Zahl zu nennen&p.es; Man könnte das auch so sagen: Wenn man den Begriff der Unendlichkeit auf die in der Beschreibung der Realität anwendet so ist in solchen Beschreibungen z&p.abb;B&p.abb; nicht von unendlich langen Linealen die Rede sondern von Linealen mit unendlichem Kruümmungsradius&p.es; Und ‐ wenn wir von Kardinalzahlen reden ‐ nicht von unendlich vielen Zahlen sondern nicht von unendlich vielen Goldstücken sondern von der unendlichen Freiheit die mir die Fee läßt mir Goldstücke zu wünschen&p.es; Wenn wir sagen: die Möglichkeit der Bildung von Dezimalstellen in der Division k154002 ist unendlich so stellen wir hier keine nNaturtatsache fest sondern geben eine Regel&p.es; Ebenso wenn wir sagen: diese Division kommt nie zu einem Ende&p.es; Denn sie kommt tatsächlich zu einem Ende wenn wir sie abschließen&p.es; Sage ich nun : &ldq.sldq;ich lasse 39 Dir vollkommene unendliche Freiheit so viele Stellen zu bilden als Du willst&p.es;&udq.eudq; so ist dies nun keine ich werde Dich nicht daran hindern&p.es;&udq.eudq;, So so ist ist das nicht die aAufstellung einer Regel sondern eine Vorhersage in der das Wort &ldq.sldq;unendlich&udq.eudq; auftritt&p.es; Nun sagt man &ldq.sldq;ja, aber doch nur als Beschreibung einer Moöglichkeit nicht einer Wirklichkeit&udq.eudq;&p.es; Aber ich sage: nein, einer Wirklichkeit aber natürlich nicht der von unendlich vielen Stellen aber das ist doch auch gerade der grammatische Fehler den wir vermeiden müssen&p.es; Wenn man sagt daß dieses Gebiet unseres Gegenstandes außerordentlich schwer ist so ist das insofern nicht wahr als nicht etwa von außerordentlich ckomplizierten oder schwer vorstellbaren oder ckomplizierten Dingen die Rede ist, sondern nur insofern als es außerordentlich schwer ist an den unzähligen Fallen die hier in der Sprache für uns aufgestellt sind vorbeizukommen&p.es; 40 Und es bleibt natürlich in diesen Erfahrungssätzen &ldq.sldq;unendlich&udq.eudq; die Eigenschaft einer Regel wenn man es so ausdrücken will &.und; das heißt nichts anderes als daß es auch hier durch &ldq.sldq;u&p.abb;s&p.abb;w&p.abb; ad inf&p.abb;&udq.eudq; wiedergegeben werden kann &.und; zugleich ist das auch alles was damit gemeint ist; die Unendlichkeit sei eine Eigenschaft Produkt eine Eigenschaft ein Produkt der Moöglichkeit&p.es; &bar; Muß man sagen die Konstruktion des 7÷Ecks ist unmoöglich&qm.eis; Wie wenn es nicht so nahe läge zu versuchen diese Konstruktion zu machen &.und; man zuerst die math arithmetische Formulierung bgekannt hätte&p.eis; Man könnte in der Mathem&p.abb; alles mögliche ausdenken was nicht möglich wäre&p.es; &bar; Es müßte richtiger heißen: Ein Analogon mit der Reihe der Konstruktionen mit Zirkel &.und; Lineal einerseits &.und; der Reihe der Vielecke anderseits gibt es in dieser Reihe nicht&p.es; Dies ist nicht anders als wenn man sagt die Division von 2 durch 4 ist im System der Kardinalzahlen nicht möglich d&p.abb;h&p.abb;: es 41 gibt sie dort nicht&p.es; Die Reihe der n÷Eck÷␣Konstruktionen enthält kein 17÷Ecks&p.es; So wie die Reihe der Kombinationszahlen nicht die Zahl 3 enthält&p.es; Hat man einmal den &ldq.sldq;strengen&udq.eudq; Begriff der n÷Eckskonstruktion so gibt es für diese keine Versuche der Konstruktion des n÷Ecks &.und; ehe man ihn hatte war unser Begriff ein anderer&p.es; Denn die mathematische Form ist entspielt in der Mathematik das dem ist in der Mathematik das entspricht in der Mathematik dem Zeichen des Begriffs&p.es; Und verschiedene Formen sind verschiedene Mmathematische Begriffe auch wenn sie die Wortsprache gleich benennt&p.es; Denken wir uns Jjemand stellte sich vfolgendes Problem&p.es; Ich Erst ein will ein Spiel zu Ich will ein Spiel Erst ein Spiel zu erfinden, das folgenden Bedingungen gemäß auf einem Schachbrett gespielt wird wird&p.es; Jede Seite Die eine Seite soll 6 Steine haben darunter gleichberechtigte die ich Bürger nenne &.und; zwei die ich Konsulen nennen will&p.es; Diese beide sollen etwas andere Züge machen duürfen als die Bürger&p.es; Man nimmt einen Stein des andern indem man seinen den eigenen an die Stelle des fremden setzt&p.es; Der hat verloren 42 der beide Konsulen verloren hat&p.es; dDas Ganze soll Ähnlichkeit mit dem 1&p.ordinal; Punischen Krieg haben&p.es; Denken wir uns es stellte sich das Problem in der Form: Wie kann man in so einem Spiel gewinnen&qm.eis; Das wäre eine ganz analoge Problemstellung wie die der Mathematik&p.es; Man könnte sagen: Der bewiesene mathematische Satz hat in seiner Grammatik zur Wahrheit hin ein Übergewicht&p.es; Denn wenn ich sage: &ldq.sldq;Wenn wir seinen Sinn verstehen wollen so fragen wir, wie er bewiesen wird&udq.eudq; so ist da doch ein Fehler: Es müßte ja heißen: &ldq.sldq;fragen wir ob er oder sein Gegenteil bewiesen wird &.und; wie&udq.eudq;&p.es; Ist er nun bewiesen, was ist dann der Sinn seines Gegenteils&p.eis; D&p.abb;h&p.abb; Ist die Analogie zwischen Mmathematischen &.und; andern Sätzen nicht nur dort vorhanden wo der Zweifel ob ein Satz wahr oder falsch ist eine bestimmte Form annimmt, z&p.abb;B&p.abb; in Sätzen der Art 25&x.xmult;25&equ;625&qm.eis; Wo nämlich zwar 25&x.xmult;25 nicht 624 ist aber dafür 20&x.xmult;31&phigh.dec;2&equ;624&p.es; 43 Arithmetische Rechnung, schwer leserbar a+&lp;b+c&rp;&equ;&lp;a+b&rp;+c Wenn ich das negiere so hat das nur einen Sinn wenn ich etwas sagen kann wie: Es ist nicht a+&lp;b+c&rp;&equ;&lp;a+b&rp;+c sondern &equ; &lp;a+b&rp;+&lp;c+1&rp;&em.ees; Was ist der Raum in welchem ich den Satz ausschließe &.und; was ist um ihn herum das nicht ausgeschlossen wird&p.eis; Oder Was i Wwelches ist der Raum in dem mein Satz eine Grenze zieht&qm.eis; Nun der F&app.contr;sche Satz: Es ist so &.und; nicht wie&qm.eis; Es gibt etwas was wir das Ausrechnen von 25&x.xmult;25 oder die Kontrolle von 25&x.xmult;25&equ;625 nennen&p.es; Gibt kKann man nun a+&lp;b+c&rp;&equ;&lp;a+b&rp;+c ausrechnen&qm.eis; Je nachdem ob man es als ausrechenbar oder unausrechenbar betrachtet wird es beweisbar oder nicht&p.es; Denn ist es eine Regel der jede Ausrechnung folgen muß ein Paradigma dann hat es keinen Sinn von einer Ausrechnung zu reden sowenig wie von der einer Definition etwa 1+1&equ;2 Def&p.abb; Das Wesentliche an der Möglichkeit der Aus 44rechnung ist hier immer das Zugehören zum Zählsystem&p.es; Und es ist wichtig daß auch die Art der Rechenfehler die die richtige Ausrechnung vermeidet im System der Rechnung gegeben ist&p.es; Z&p.abb;B&p.abb; ist &lp;a+b&rp;2 &equ; a&pow2;+2ab+b&pow2; nicht a&pow3;+4ab aber &lp;a+b&rp;2 &equ; log a wäre kein möglicher Rechenfehler in diesem System&p.es; Insofern man die Unmöglichkeit der 3÷Teilung als eine wirkliche Unmöglichkeit darstellen kann, indem man z&p.abb;B&p.abb; sagt: &ldq.sldq;Versuch nicht den Winkel in 3 Teile zu teilen es ist hoffnungslos&em.ees;&udq.eudq;, insofern beweist der Beweis der Unmoöglichkeit diese nicht&p.es; Daß es hoffnungslos ist zu versuchen, das hängt mit physikalischen Eigenschaften Tatsachen zusammen&p.es; a+&lp;b+c&rp;&equ;&lp;a+b&rp;+c Man kann nicht sagen &ldq.sldq;ich werde ausrechnen daß es so ist&p.es;&udq.eudq; sondern ich werde aus &ldq.sldq;ob es so ist&udq.eudq;&p.es; Also ob so oder anders&p.es; Ich könnte ja auch ganz beiläufig &lp;siehe 45 andere Bemerkungen&rp; sagen: &ldq.sldq;25&x.xmult;64&equ;160 64&x.xmult;25&equ;160, das beweist daß a&x.xmult;b&equ;b&x.xmult;a ist&udq.eudq; &lp;&.und; diese Redensart ist nicht vielleicht lächerlich &.und; falsch; sondern man muß sie nur richtig recht deuten&p.es;&rp;&p.es; Und man kann richtig daraus schließen: also läßt sich a&pmid;b&equ;b&pmid;a in gewissem Sinne beweisen&p.es; Und ich will sagen nur in dem Sinn in welchem die Ausrechnung so eines Beispiels Beweis des algebraischen Satzes genannt werden kann kann ist der Skolemsche Beweis ein Beweis dieses Satzes&p.es; Nur insofern kontrolliert er den algebraischen Satz&p.es; Nun redet man vom Beweis des Satzes &tilde.neg;&lp;&exist.exist;n&rp;&pmid;x3+y&pow3; &equ; z&pown;&pmid;n>2&p.es; Das ist also wohl die Art &.und; Weise wie man ausrechnet daß das so ist&p.es; &bar; Die Philosophie prüft nicht die Kalküle der Mathematik sondern nur das was die Mathematiker über diese 46 Kalkuüle sagen&p.es; &bar; &ldq.sldq;Ich habe ausgerechnet daß es keine Zahl gibt&sp;&udq.eudq; In welchem Rechnungssystem kommt diese Rechnung vor&qm.eis; Dies weird uns zeigen in welchem Satzsystem der errechnete Satz ist&p.es; &lp;Man fragt auch: &ldq.sldq;wie rechnet man so etwas aus&udq.eudq;&p.es;&rp; &ldq.sldq;Ich habe gefunden daß es eine solche Zahl gibt&p.es;&udq.eudq; &ldq.sldq;Ich habe ausgerechnet daß es keine solche Zahl gibt&p.es;&udq.eudq; Nehmen wir an die Rechnung Im ersten Satz darf ich nicht statt &ldq.sldq;eine&udq.eudq; &ldq.sldq;keine&udq.eudq; einsetzen&p.es; Und wie wenn ich im zweiten statt &ldq.sldq;keine&udq.eudq; &ldq.sldq;eine&udq.eudq; setze&qm.eis; Nehmen wir an die Rechnung ergibt nicht den Satz &tilde.neg;&lp;&exist.exist;&rp; etc&p.abb; sondern &lp;&exist.exist;&sp;&rp; etc&p.abb; Hat es dann etwa Sinn zu sagen: nur mMut, jetzt mußt Du einmal auf eine solche Zahl kommen wenn Du nur lang genug probierst&qm.eis; Das hat nur Sinn wenn der Beweis erg nicht &lp;&exist.exist;&sp;&rp; etc&p.abb; ergeben hat sondern dem Probieren Grenzen gesteckt hat 47 also etwas ganz anderes geleistet hat&p.es; D&p.abb;h&p.abb; Das was wir den Satz &ldq.sldq;Es gibt eine Zahl&sp;&udq.eudq; nennen den der uns hilft eine solche Zahl zu suchen ist hat nicht das zum Gegenteil dern Satzes ist nicht das Gegenteil des Satzes hat nicht zum Gegenteil den Satz &tilde.neg;&lp;&exist.exist;&rp; &sp; sondern einen Satz der sagt daß in diesem Intervall keine Zahl ist die &sp;&p.es; Was ist das Gegenteil des bBewiesenen&qm.eis; dDazu muß man auf den Beweis schauen&p.es; &lp;Das Gegenteil des Satzes ist das was durch einen bestimmten Rechenfehler bewiesen worden wäre&p.es;&rp; Wenn nun z&p.abb;B&p.abb; der Beweis daß &tilde.neg; &lp;&exist.exist;&sp;&rp;&sp; eine Induktion ist die zeigt, daß soweit wir auch gehen eine solche Zahl nicht vorkommen kann &lp;ähnlich wie wir beweisen daß es keine KardinalZahl Zahl Kardinalzahl gibt die mit 3 multipliziert 7 ergibt&p.es;&rp; so ist das Gegenteil dieses Beweises &lp;ich will einmal diesen Ausdruck gebrauchen&rp; nicht der Beweis davon daß es eine Zahl gibt etc&p.abb;&sp;&p.es; Es ist hier nämlich nicht wie im Fall des Beweises daß keine der Zahlen a b c d die Eigenschaft ε hat die man immer als Vorbild vor Augen hat&p.es; Hier könnte ein Irrtum darin bestehen daß ich glaubte c hatte die Eigenschaft &.und; nachdem ich den Irrtum eingesehen 48 hatte, wüßte ich daß keine der Zahlen die Eigenschaft hat&p.es; Die Analogie bricht eben hier zusammen&p.es; &lp;Das hängt damit zusammen daß ich in nicht in jedem Kalkül in dem ich Gleichungen gebrauchen darf eo ipso auch Verneinungen der Gleichungen gebrauchen darf&p.es;&rp; Denn 3&x.xmult;3¬equ;7 heißt nicht einfach daß die Gleichung 3&x.xmult;3&equ;7 nicht in meinem Kalkül vorkommt wie die 3&x.xmult;3&equ;x sondern die Verneinung ist eine Ausschließung innerhalb eines von vornherein bestimmten Systems&p.es; Eine Definition kann ich nicht in dem Sinn verneinen wie eine nach Regeln abgeleitete Gleichung&p.es; Es hat zwar keinen Sinn vom Beweis des Gegenteils von 28&x.xmult;15&equ;618 zu reden eines Satzes zu reden der bewiesen wurde da es diesen Beweis eo ipso nicht gibt wohl aber vom Beweis des Gegenteils eines analogen Satzes im selben System&lp;d&p.abb;h&p.abb; eines Satzes den wir als analogen Satz im selben System auffassen wodurch der erste Satz erst den Charakter des Satzes erhält&rp;&p.es;&p.es; &.und; Und der Vergleich Mmathem&p.abb; Sätze mit dem was wir sonst Sätze nennen ist nur möglich solange wir von Verneinungen &.und; Beweisen des entgegengesetzten Satzes in diesem Sinn reden können&p.es; Das heißt: das mathematische Kriterium dafür ob ein Satz richtig oder falsch ist kann sich nicht auf diesen Satz allein beziehen sondern auf das System dem er angehört&p.es; D&p.abb;h&p.abb; was das Gegenteil &lp;d&p.abb;h&p.abb; eines Satzes den wir als analogen Satz im selben System auffassen wodurch der erste Satz erst den Charakter des Satzes erhält&rp;&p.es; teil eines Satzes ist muß ich aus den Rechnungsregeln entnehmen die angeben wann ein Satz einer bestimmten Art &lp;eines bestimmten Systems&rp; bewiesen ist &.und; wann sein Gegenteil&p.es; &lp; ‐ Von dem Gegenteil kann hier nur allgemein die Rede sein&p.es; ‐ &rp; In diesem Sinne ist aus den Rechnungsregeln der Multiplickation zu entnehmen wann ein Satz a&x.xmult;b&equ;c &.und; wann sein Gegenteil als bewiesen anzunehmen ist&p.es; Wie ist es aber im Falle des Beweises daß es kein n gibt wofür n&x.xmult;3&equ;7 &pmid; n>.gt;3 ist&qm.eis; Vgl&p; Faksimile; Text mit Pfeil; Bedeutung unsicher&p; Der Existenzbeweis &lp;in unserm Sinne&rp; ist 49 offenbar der Beweis der Existenz einer Zäahl im Intervall I&p.es; Denn wenn man sagt das Intervall ist nicht wesentlich denn ein anderes hätte es auch getan so heißt das natuürlich nicht daß es das Fehlen einer Intervallangabe auch getan hätte&p.es; Der Beweis der Nicht÷Existenz nun hat zum Beweis der Existenz nicht das Verhältnis eines Beweises von p zum Beweis des Gegenteils&p.es; Man sollte glauben in den Beweis des Gegenteils von &lp;&exist.exist;&sdash;&rp; sollte sich eine Negation verirren können die irrtuümlicherweise &tilde.neg;&lp;&exist.exist;x&rp; beweist&p.es; Gehen wir doch einmal, umgekehrt, von den Beweisen aus &.und; nehmen wir an sie wären uns ursprünglich gezeigt worden &.und; wir wären dann gefragt worden: was beweisen diese Sätze, würden wir sagen der eine beweist das Gegenteil des andern&qm.eis; &lb.alt;der eine beweist die entgegengesetzte Art von Satz als der andere&qm.eis;&rb.alt; Ich sage z&p.abb;B&p.abb;: Ich weiß wie man 37&x.xmult;18&equ;426 kontrolliert; kommt auf die &.und; die Weise 426 heraus so stimmt 50 der Satz, kommt auf diese Weise eine andere Zahl zustande dann ist sein Gegenteil wahr&p.es; ‐ Gibt es nun eine Äähnliche Überlegung für den Beweis des Satzes &ldq.sldq;&lp;&exist.exist;n&rp; etc&p.abb;&udq.eudq;&qm.eis; Hier mache ich überhaupt einen Fehler indem ich den Existenzbeweis im allgemeinen Fall mit dem des Probierens im Intervall im Bbesondern Fall verwechsle&p.es; Auch wenn mir ein Existenzbeweis zuerst das Intervall gewiesen hat so beweist doch die Existenz die gefundene besondere Zahl&p.es; &lp;oder die gefundenen Zahlen&rp;&p.es; Sieh auf die Beweise &.und; entscheide dann was sie beweisen&em.ees; 51 Vgl&p; Faksimile; Text mit Pfeil, Bedeutung unsicher&p; Das was ich über die unendliche Teilbarkeit des Gesichtsraumes gesagt habe beruht glaube ich auf einem Irrtum&p.es; Wir müssen ja wohl an den Fall denken wenn wir eine Strecke im Gesichts sehen etwa die Länge eines länglichen schwarzen Fleckes an einer weißen Wand&p.es; Wenn ich nun z&p.abb;B&p.abb; sage: er läßt sich in die Hälfte teilen, so bezieht sich mein Satz unmittelbar auf den mir gegenwärtigen Fleck&p.es; Verschwindet dieser so ist es sinnlos zu sagen, er ließe sich in die Hälfte teilen denn das Wort &ldq.sldq;er&udq.eudq; hat ohne ihn keine Bedeutung, der Fleck selbst ist Teil meines Symbols&p.es; Nun sollte aber der Satz &ldq.sldq;er läßt sich in 2 Teile teilen&udq.eudq; bedeuten &ldq.sldq;es hat Sinn ‐ ob wahr oder falsch ‐ von ihm auszusagen er sei geteilt&udq.eudq;&p.es; Nun wie läßt sich denn das hier sagen&p.eis; Wenn der Fleck selbst zum Symbol gehört läßt es sich nicht sagen&p.es; Anders 52 ist es wenn er nur seinen Ort bezeichnet&p.es; Es hat Sinn zu sagen: Wo dDu jetzt den schwarzen Fleck siehst wirst Du gleich einen zweifärbigen sehen&p.es; Es gibt ein bestimmtes Phänomen, die Änderung der Farbe eines Flecks im Gesichtsfeld unter beibehaltener Form&p.es; Hat es nun in jedem Fall Sinn so eine Zweiteilung zu prophezeien&qm.eis; &.und; wovon hängt das ab&qm.eis; Etwa davon ob ich mir sie &ldq.sldq;vorstellen kann&udq.eudq;&qm.eis;&qm.eis; Denn in gewissen Fällen werde ich wohl sagen: das ist unmöglich&p.es; Etwa wenn mir gesagt würde, ich werde einen Fixstern halb rot halb gelb sehen&p.es; Erinnere Dich hier an die Sprachspiele mit grünen &.und; roten &.und; den Sinn von wahr und falsch&p.es;&rp; &bar;&bar; Hat es einen Sinn zu sagen: ich hätte nicht geglaubt, daß sich dieser Strich noch teilen läßt&qm.eis; Woher weißt Du, daß es nach der Teilung noch dieser Strich ist&p.eis; Und es gibt hier auch einen sehr typischen 53 Fall der Unsicherheit&p.es; Wenn man nun sagen wollte &ldq.sldq;was meinst Du damit daß Du diesen Streifen rot &.und; halb rot häalb weiß sehen wirst&udq.eudq;&p.es; Wie würde ich, was ich meine, also die Grammatik erklären müssen&qm.eis; Hier tritt kann zweifellos ein Vorstellungsbild in meinen Symbolismus eintreten&p.es; Ich könnte die Sache aber auch so erklären indem ich an meinen 154002 einfarbigen Streifen einen zweifarbigen anlege u&p.abb;s&p.abb;w&p.abb; Man sagt auch &ldq.sldq;so habe ich mir&app.contr;s nicht vorgestellt&udq.eudq;, &ldq.sldq;so habe ich&app.contr;s nicht gemeint&udq.eudq;&p.es; Die Vorstellung ist eben ein Muster, ein Teil der Sprache&p.es; Wenn man sagt die Strecke im Gesichtsraum sei unendlich teilbar so meint man das etwas aAnaloges wie wenn man sagt ein Fleck könne im Gesichtsraum unendlich viele Lagen einnehmen was nur heißt daß keine Anzahl von Lagen in irgend einem Sinn 54 bestimmt ist&p.es; Kontrolle ist eine Methode die man Aanwenden kann unabhängig davon ob der Satz wahr oder falsch ist&p.es; &ldq.sldq;Das werden wir gleich ausrechnen&p.es;&udq.eudq; Die Methode der Kontrolle kann ich beschreiben&p.es; Wenn ich sie nun für einen bestimmten Fall beschreiben wollte so könnte ich nicht sagen ergibt 25&x.xmult;628 dann ist &sp; ergibt es 624 nicht 625 dann &sp;&p.es; Denn ich kann den Fall in dem es nicht 628 ergibt natürlich nicht beschreiben das heißt nichts&p.es; Dagegen ist meine Beschreibung allgemein &.und; lautet: ergibt a + b c wie in &sp; dann &sp; ergibt es nicht c wie in &sp; dann &sp;&p.es; Ich Ich kann den Fall beschreiben wo wenn eine Multiplickation eine Zahl nicht ergibt aber nicht den wenn 25&x.xmult;25 125 nicht ergibt&p.es; 55 So beschreibe ich die Kontrolle der Teilbarkeit &lp;etc&p.abb;&rp;&p.es; Ist die Zahl durch 8 Tteilbar so &sp; nicht &ldq.sldq;ist 128 durch 8 teilbar so&sp;&udq.eudq;&p.es; So gibt es für die Sätze &lp;&exist.exist;x&rp; etc&p.abb; &.und; &tilde.neg;&lp;&exist.exist;x&rp; eine Kontrolle wenn es sich um endliche Klassen von Zahlen handele&p.es; Denken wir nun an die Frage: hat die Gleichung x&pow2;+ax+b&equ;0 eine Rreelle Lösung&qm.eis; Hier gibt es wieder eine Kontrolle &.und; die Kontrolle scheidet zwischen den Fällen &lp;&exist.exist;&rp; etc&p.abb; &.und; &tilde.neg;&lp;&exist.exist;&rp; etc&p.abb; Kann ich aber in demselben Sinne auch fragen &.und; kontrollieren ob die Gleichung eine Lösung hat, es sei denn daß ich diesen Fall wieder mit anderen zusammenstelle, in ein System bringe&qm.eis; Der Satz daß dieser Beweis rekursiv ist, ist in einem ganz andern Sinne Satz der Mathematik als der welcher eine Kontrolle zuläßt&p.es; Ich Der Beweis antwortet zuerst im ersten Fall auf eine Frage &.und; die 56 beiden aAlternativen der Frage können natürlich beschrieben werden&p.es; Ich kann freilich fragen &ldq.sldq;ist 25&x.xmult;25 625 oder nicht&udq.eudq;; aber darauf erfolgt gleich die Frage: Wie wirst kannst Du das herausfinden &.und; die Antwort darauf ist die Beschreibung der allgemeinen Methode der Kontrolle&p.es; In wWirklichkeit schafft &ldq.sldq;der Beweis des Hauptsatzes&udq.eudq; eine neue Art Zahlen&p.es; Die Philosophie der Mathematik besteht in einem aäußerst detaillierten Durchdenken der Mmathematischen Beweise &lp;nicht darin daß man die Mathematik mit einer Dunstwolke umgibt&rp;&p.es; &rb.alt;mit einer Dunstkugel sphäre Dunstkugel Dunstsphäre umgibt&rp;&p.es;&rb.alt; Die Frage ist immer worin besteht die Beschreibung des Gegenteils, worauf stützt sie sich auf welche Beispiele &.und; wie sind diese Beispiele mit einem besondern Fall verwandt&p.eis; Dies ist nicht vielleicht neben57sächlich sondern absolut wesentlich&p.es; &ldq.sldq;Jede Gleichung hat eine Wurzel&udq.eudq; &.und; wie ist es wenn sie keine hat&qm.eis; Können wir diesen Fall beschreiben wie den wenn sie keine Rrationale Lösung hat&qm.eis; Sehen wir uns einen Induktionsder etwabeweis an etwa den des Satzes daß keine Zahl die größer als 1 ist mit 3 multipliziert 5 ergibt 3&x.xmult;2&equ;5+1 3&x.xmult;a&equ;&lp;5+b&rp; 3&x.xmult;&lp;a+1&rp;&equ;&lp;5+&lp;b+3&rp;&rp; 3&x.xmult;&lp;a+1&rp;&equ;&lp;3&x.xmult;a&rp;+3&equ;&lp;5+b&rp;+3&equ;5+&lp;b+3&rp; Was läßt sich nun in diesem Beweis verneinen &.und; durch welche Verneinung Modifickation wird das Gegenteil bewiesen&qm.eis; Offenbar nur durch die Verneinung Modifickation des ersten Satzes&qm.eis;&p.es; Wurde also in einem Satz ein Rechenfehler gemacht so kann das das Gegenteil des durch Richtigstellung dieses Fehlers das Gegenteil von dem bewiesen werden was hätte bewiesen werden sollen&p.es; Dagegen kann kein Rechenfehler in der Zzweiten Gleichung den Satz zum Beweis Beweis ins Gegenteil 58 verkehren&p.es; &lp;Gesetz des ausgeschl&p.abb; Dritten&rp; D&p.abb;h&p.abb; Wenn mir nachgewiesen wird daß ich mich in der Zzweiten Gleichung geirrt habe so bin ich damit nicht im Stande das Gegenteil des Satzes &tilde.neg;&lp;&exist.exist;&rp; etc&p.abb; zu behaupten&p.es; Nun, das könnte man freilich auch für von einem Fehler in der Rechnung 25&x.xmult;25 etc&p.abb; sagen denn damit daß ein Fehler gemacht nachgewiesen wäre, wäre das Resultat nicht als falsch erwiesen, aber nur, weil vielleicht noch ein zweiter Fehler vorliegt; weil ja die Rechnung in jedem Falle eine Kontrolle des Satzes ist, &.und; wenn sie vollkommen richtig ist den Satz oder das Gegenteil beweist&p.es; &bar; Der allgemeine Ggeometrissche Beweis der Euklidischen Art ist das was alle besonderen Beweise etwa für bestimmte Dreiecke gemeinsam haben&p.es; Nur beweist er es erst dann für das Dreieck &sp; wenn dieses Dreieck gegeben wird&p.es; &bar; Der Induktionsbeweis ist die allgemeine 59 Form von &lp;oder für&rp; Rechnungen&p.es; Aber das Gegenteil des Vorhandenseins dieser Form ist nicht etwa der Besitz einer Form die ihr widerspricht&p.es; Ich will doch sagen wenn der Beweis für &tilde.neg;&lp;&exist.exist;&sdash;&rp; etc&p.abb; geliefert wäre &.und; wäre unique so wäre er auch nicht der Beweis eines Satzes&p.es; Denn dann würde man fragen können: Wie wäre es wenn es anders wäre&qm.eis; Oder: Was ist das System in welchem es nur für das Gegenteil Raum gibt&qm.eis; Der Beweis sieht sein eigenes Gegenteil vor durch das Rechensystem zu dem er gehört &lp;gehören wird&rp;&p.es; Man muß bedenken, daß der Satz, daß es keine Zahl gibt die &sp;, nicht extensional zu verstehen ist sondern wesentlich das ist, was der Induktionsbeweis beweist&p.es; zeigt&p.es; Was aber zeigt er&qm.eis; Was ist sein Resultat&qm.eis; Er zeigt sich nur selbst&p.es; Der Induktionsbeweis 60 ist wohl richtig aufgefaßt das was Beweise gemeinsam haben &.und; kein Beweis selbst&p.es; Und insofern entspricht ihm der allgemeine Satz als als auch aus diesem so wie aus dem Beweis beliebige beliebige beliebig viele besondere Sätze folgen&p.es; Man koönnte den Induktionsbeweis auch als eine Beweisreihe mit dem u&p.abb;s&p.abb;w&p.abb; ad inf&p.abb; schreiben&p.es; Aber eine Reihe von Beweisen ist nicht ein Beweis oder nur in einem ganz andern Sinne des Wortes&p.es; 61 Kann man prüfen sagen &ldq.sldq;prüfen wir ob dieser Satz für alle n gilt oder ob er für irgendwelche nicht gilt&udq.eudq;&qm.eis; Denken wir eEiner sagte: &ldq.sldq;prüfen wir einmal nach ob f für alle n gilt&p.es;&udq.eudq; Nun fängt er an &.und; sagt nach ein paar Versuchen &ldq.sldq;ich sehe schon daß es für alle gilt&udq.eudq;&p.es; Darauf sage ich ja wenn Du das mit dem Satze &lp;x&rp; f&lp;x&rp; meintest&em.ees; Aber so hat er also nachgeprüft ob er eine Induktion findet 61 aber, wenn er nun keine findet hat er doch damit auch nicht eine Zahl gefunden die der Bedingung nicht entspricht&p.es; Denn die Kontrolle würde lauten: Sehen wir nach ob sich eine Induktion findet oder ein Fall für den das Gesetz nicht gilt&p.es; Aber diese beiden sind ja nicht Alternativen&p.es; &lp;Satz des ausgeschl&p.abb; Dritten&em.ees;&rp; Wenn das Gesetz des ausgeschl&p.abb; Dritten nicht gilt so heißt das nur daß das Gebilde nicht mehr mit einem Satz zu vergleichen ist&p.es; Man kann wohl sagen wenn die Induktion stimmt dann kann ich keine Zahl finden die den Bedingungen nicht entspricht weil die Induktion der Beweis jedes besonderen Satzes ist&p.es; Und anderseits, wenn ich einen Wert von a gefunden habe so daß &tilde.neg; fn dann kann die Induktion erst hinter a anfangen&p.es; 62 Die Induktion ist die gemeinsame Form von Beweisen denen jedem die Auffindung einers Form Satzes einer Form eines Satzes &tilde.neg;fa widersprechen würde&p.es; Darum sage ich sie beweisen einen Satz &lp;n&rp; f&lp;n&rp;&p.es; Denn das Verhaältnis zwischen Induktion &.und; &tilde.neg;fa ist nun ähnlicher wie das von &ldq.sldq;alle Menschen sind Ssterblich&udq.eudq; &.und; &ldq.sldq;ist ein Mensch &.und; nicht sterblich&udq.eudq;&p.es; Im Fall des Beweises von 25&x.xmult;25&equ;625 sage ich, vielleicht habe ich mich geirrt &.und; 25&x.xmult;25 ist nicht 625&p.es; Aber im Falle des Beweises von &lp;n&rp;f&lp;n&rp; in &sdash; &p.es; Statt &ldq.sldq;es gilt für alle&udq.eudq; kann ich sagen &ldq.sldq;es gilt für jeden den Du aufschreibst&udq.eudq;&p.es; &.Und; nicht &ldq.sldq;die Induktion beweist daß es für alle n gilt&udq.eudq; sondern daß jeder Satz fn den Du aufschreibst stimmt&p.es; Oder richtiger die Induktion beweist jeden Satz von der Form fn den Du anschreibst&p.es; &lp;n&rp; fn heißt dann jeder Satz fn den Du angibst ist richtig&p.es; 63 Die Induktion ist kein Beweis sondern die Konstruktion einer Reihe von Beweisen&p.es; Daher wenn diese Konstruktion nicht vorhanden ist ist keiner der Sätze negiert deren Beweise die Induktion zusammengehalten hätte&p.es; Man kann die Induktion nicht mit einem Beweis vergleichen&p.es; Ich kann nicht den Fall beschreiben wo diese Division ausgeht &.und; nicht ausgeht, aber den Fall wo eine Division ausgeht oder nicht ausgeht &.und; nicht den Fall daß diese Gleichg nur durch reelle &.und; nur durch imaginäre Zahlen lösbar ist aber den fFall daß eine Gleichung &sp; Und so müßte ich also auch den Fall beschreiben können wo eine Gleichung eine oder keine Lösung hat &.und; Rrechnerisch zwischen ihnen entscheiden können&p.es; Und Aähnlich muß der Satz au Fall auch für den F&app.contr;schen Satz liegen&p.es; &ldq.sldq;Hat diese Gleichung eine Lösung&qm.eis;&udq.eudq; ‐ Welches 64 ist das Satzsystem dieser Frage&qm.eis; &bar.alt;&bar.alt; Den Motor eines Autos umgekehrt laufen zu lassen ist unmöglich, oder würde die größten äÄnderungen bedingen, aber den Wagen verkehrt laufen zu lassen genuügt ein leichter Handgriff&p.es; So schaut es manchmal aus als ob Menschen die das eEntgegengesetzte tun fundamental entgegengesetzt sein müssßten &.und; man dann oft sagen muß, der Gegensatz sei nur im Getriebe basiert in den tieferen Schichten &.und; ein verhältnismäßig leichter Ruck würde hier die Bewegung umkehren&p.es; &bar.alt;&bar.alt; Wie kommt es daß ich diesen Satz nicht &lp;den geometrischen oder arithmetischen&rp; nicht für jeden Fall wieder beweisen muß&qm.eis;&em.ees; Aber Du mußt es ja, indem Du den nämlich den Satz hinschreibst denn das üÜbrige ist nur was allen Beweisen solcher Sätze gemeinsam ist&p.es; &lp;Du mußt den Satz für jedes Dreieck wieder beweisen denn er 65 ist ja erst für das ein Dreieck bewiesen wenn dieses Dreieck gezeichnet ist&p.es; &lp;Warum nennest ich Du nenne ich nennst Du denn diesen Beweis &lp;die Induktion&rp; den Beweis dafür daß &lp;&exist.exist;n&rp;fn &lp;n&rp;&tilde.neg;f&lp;n&rp;&qm.eis;&em.ees; Nun, siehst Du denn nicht daß daraus hervorgeht daß f&lp;2&rp; der Fall ist &.und; f3 damit f&lp;2&rp; bewiesen ist &.und; 3 der Satz wenn er für 2 gilt auch für 3 gilt &.und; dann auch für 4 &.und; daß es immer so weitergeht&p.es; &lp;Was erkläre ich dem, dem ich das Funktionieren des induktiven Beweises erkläre&qm.eis;&rp; Du nennst ihn also einen Beweis für &ldq.sldq;f2&pmid;f3&pmid;f4 u&p.abb;s&p.abb;w&p.abb;&udq.eudq; solltest Du aber nicht sagen er sei die Form der Beweise für uf2&pown; &.und; uf3&pown; &.und; uf4&pown; u&p.abb;s&p.abb;w&p.abb;&qm.eis; Oder kommt das auf eins hinaus&qm.eis; Nun, wenn ich die Induktion den Beweis eines Satzes nenne dann darf ich es nur wenn das nichts andres heißen soll als daß sie jeden Satz einer gewissen Form beweist&p.es; &lp;Und mein Ausdruck bedient sich einer Analogie&rp;&p.es; Wenn ich aber sage, Du Induktion ist ich den Beweis von &lp;n&rp;fn so führt mich die 66 Was erkläre ich dem, dem ich das Funktionieren des induktiven Beweises erkläre&qm.eis; Analogie dazu daß es Sinn haben muß zu sagen die Induktion beweise daß es sich so verhält dies &.und; nicht das Gegenteil der Fall ist&p.es; Welches wäre ist aber das Gegenteil&p.eis; Nun daß &lp;&exist.exist;n&rp;fn der Fall ist&p.es; Damit verbinde ich nun zwei Begriffe: den einen den ich aus meinem gegenwärtigen Begriff des Beweises vom Begriff n herleite &.und; einen andern der von der Analogie mit &lp;&exist.exist;x&rp;fx hergenommen ist&p.es; &lp;Du mußt ja bedenken daß der Satz &lp;n&rp;fn unsinnig ist solange ich kein Kriterium seiner Wahrheit habe &.und; dann nur den Sinn hat den ihm dieses Kriterium gibt&p.es;&rp; Denn ich konnte ehe ich dieses Kriterien hatte etwa nach einer Analogie zu &lp;x&rp;fx fah ausschauen aber erst als ich sie hatte hatte ich den Sinn von &lp;n&rp;f&lp;n&rp;&rp;&p.es; Was ist denn das Gegenteil von dem was der Induktionist beweist&qm.eis; &lp;Was ist das Gegenteil von dem was der Beweis von &lp;a+b&rp;2 &equ; a&pow2; + 2ab + b&pow2; beweist ‐ oder auch was ist 67 das Gegenteil dieser Gleichung ‐ z&p.abb;B&p.abb; &lp;a+b&rp;2 &equ; a&pow2;+3ab+b&pow2; ein Satz der durch den bewiesenen widerlegt wird&p.eis;&rp; Welcher Satz ist nun durch den Beweis von &lp;n&rp;fn die Induktion widerlegt&qm.eis; ‐ Jeder Satz der Form &tilde.neg;f&lp;n&rp;&p.es; Der Beweis a+b2 etc&p.abb; rechnet aus daß a+b2 &equ; a&pow2;+2ab+b&pow2; ist &.und; nicht &equ; a&pow2;+3ab+b&pow2; etc&p.abb; Wenn man nun analog fragt was rechnet denn der Induktionsbeweis aus so muß man sagen er rechnet aus daß 3&x.xmult;2&equ;5+1 ist und z&p.abb;B&p.abb; nicht 3&x.xmult;1&equ;6+1&p.es; Wir lernen daß a+&sp;&equ;&sdash; ist &.und; nicht &sp; aber dieses Gegenteil entspricht ja nicht dem Satz &lp;&exist.exist;&rp;ϕx&p.es; Aber rechnet denn die Induktion nicht auf f2 aus&qm.eis; nein denn das tut sie erst wenn f&lp;2&rp; angeschrieben ist&p.es; Und wenn es angeschrieben ist dann ist &tilde.neg;f&lp;2&rp; ein Gegensatz des ausgerechneten Satzes aber nicht &lp;&exist.exist;n&rp;&tilde.neg;fn oder nur, wenn das heißen soll daß jeder Satz der Form &tilde.neg; fn im Gegensatz zur Induktion ist&p.es; Man kann einfach fragen: Wie gebrauche ich den Ausdruck &ldq.sldq;der Satz &lp;&exist.exist;n&rp;fn&udq.eudq; korrekt&qm.eis;, was ist seine Grammatik&qm.eis; Den 68 Den Mathematiker muß es vor bei meinen mathematischen Ausführungen grausen denn derie Unterricht Schulung der Unterricht die Schulung die er hat hat ihn immer dekouragiert sich Gedanken &.und; Zweifeln der Art wie ich sie aufrolle hinzugeben&p.es; Er hat sie als etwas vVerächtliches ansehen lernen &.und; hat, um eine der Analogien aus der Psychoanalye zu gebrauchen, einen Ekel vor diesen Dingen erhalten wie vor etwas Infantilem&p.es; D&p.abb;h&p.abb; ich Rrolle alle jene Probleme auf die etwa ein Knabe beim lLernen der Mathematik als Schwierigkeiten empfindet &.und; die er unterdrücken muß um ungehindert weiter zu kommen&p.es; &lb.alt;&.und; die der Unterricht unterdrückt um vfortschreiten zu können&p.es;&rb.alt; Ich sage also zu diesen unterdrückten Zweifeln: ihr habt ganz recht, fragt nur &.und; verlangt eine Aufklärung&p.es; Es hätte keinen Sinn zu sagen &tilde.neg; &lp;&lp;a+b&rp;2 &equ; a&pow2;+3ab+b&pow2;&rp; wenn man das nicht ausdrücklich als einen Satz erlaubt hätte oder 25&x.xmult;25¬equ;620 wenn man diesen Satz nicht ausdrücklich in den Kalkül hineinge69nommen hätte&rp;&p.es; &lp;In der Volksschule rechnet man mit solchen Sätzen nicht sondern tuts die falsche Gleichungen wie 25&x.xmult;25&equ;620 als nicht zum Spiel gehörig ab&p.es;&rp; Darum dDaraus weil ich diesen Ausdruck in gewissen Verbindungen gebrauche folgt nicht daß ich ihn in allem gebrauche analog dem Ausdruck &ldq.sldq;der Satz &lp;&lp;&exist.exist;x&rp;fx&udq.eudq; gebrauche&p.es; Wenn wir nocheinmal die Analogie des &ldq.sldq;Induktionsbeweises&udq.eudq; mit den andern Beweisen besehen so ergibt sich folgendes: Es gibt ein Serie von Beweisen 3+&x.xmult;2&equ;5+1 3&x.xmult;2>5 3&x.xmult;&lp;2+1&rp;&equ;&lp;3&x.xmult;2&rp;+3 &equ; &lp;5+1&rp;+3&equ;5+&lp;1+3&rp; 3x 3&x.xmult;&lp;2+2&rp;&equ;&lp;3&x.xmult;&lp;2&rp;+1&rp;&rp;+3 &equ; &lp;5+&lp;1+3&rp;&rp;+3&equ; &equ;5+&lp;1+3+3&rp; Jeder dieser Beweise ist von der Art dessen von 25&x.xmult;25&equ;625 oder etwa 25&x.xmult;25&equ;125&x.xmult;5&p.es; Sie endigen in Sätzen die wir nach den Regeln kontrollieren&p.es; Diese Beweise nun bilden ein bestimmtes Muster&p.es; &lp;was man z&p.abb;B&p.abb; durch uUnterstreichen &.und; Verbindungsstriche sichtbar machen kann&rp;&p.es; Vgl&p; Faksimile; Text mit Einfügungszeichen; Bedeutung unsicher&p; Und ich kann nun die Beweise abkürzen 70 indem ich etwa statt der 2ten Gleichung schreibe &qm.eis; 0&app;&lp;3&x.xmult;2&equ;5+1&rp; statt der zweiten 02&app;&lp;3+2&equ;5+1&rp; &lp;&lp;2+2&rp;&rp;>5 u&p.abb;s&p.abb;w&p.abb; Wenn ich nun den Satz 3&x.xmult;8&equ;5 beweisen will Am Schluß wird jeder dieser Beweis zu weiter nichts als dem Bbewiesenen Satz der gleichsam den Index enthält &.und; die allgemeine Form&p.es; Das Beweisen besteht dann nur darin daß man den gegebenen Satz als einen Fall der Form erkennt, die beide in Verbindung bringt&p.es; Wir sehen etwa auf den Satz hin &.und; sagen: Ja das ist ein Satz dieser Art Ja die linke sSeite ist von der Art dieser linken sSeite so müßte die rechte Seite nun dies sein &.und; das ist sie auch&p.es; Jeder dieser Beweise kontrolliert eine durch Sätze beantwortete Frage&p.es; Vgl&p; Faksimile; Textgrundlage unsicher&p; Nun sagt man aber die allgemeine Beweisform sei der Beweis eines allgemeinen Satzes&p.es; Das soll heißen daß sie die Beweisform 71 für die Sätze f2, f3, f4 u&p.abb;s&p.abb;w&p.abb; ad inf&p.abb; ist&p.es; Wenn man sich aber so ausdrückt so kann man nicht sagen ich werde prüfen ob der Aallgemeine Satz richtig oder falsch ist&p.es; Denn man hat ja nun keine allgemeine Methode zur Prüfung dieses Satzes als Teil eines Satzsystems gegeben&p.es; Wenn es hier eine Prüfung gibt so ist es immer ob alle n die oder jene nicht die Eigenschaft haben aber nicht ob alle sie haben oder einige sie nicht haben&p.es; Wir haben dann ein System von Induktionen &.und; rechnen z&p.abb;B&p.abb; aus, daß alle diese Gleichungen der Klasse dieser Klasse eine rationale Lösung haben dagegen nicht die jene Klasse der Klasse 5 etc&p.abb; Daher wir es seltsam finden wenn uns gesagt wird die Induktion beweise den allg&p.abb; Satz da wir das richtige Gefühl haben daß wir ja in terms der Induktion die allgemeine Frage gar nicht hatten stellen können&p.es; Da uns ja nicht zuerst eine Alternative gestellt war &lp;oder nur zu sein schien solange 72 wir eine extensive Auffassung aller Zahlen hatten&qm.eis;&rp;&p.es; Die Frage nach der Allgemeinheit hatte vor dem Beweis noch gar keinen Sinn also war sie auch keine Frage denn die hätte nur sSinn gehabt wenn eine allgemeine Methode bekannt war ehe der besondere Beweis bekannt war&p.es; Denken wir uns es hätten sich Menschen Leute über darüber gestritten ob die Division 1&colon.div;3 lauter Dreier ergebe plötzlich fällt dem eEinen die induktive Beziehung in der Division k154002 auf &.und; er sagt: &ldq.sldq;ich weiß wie es ist: es werden lauter 3 kommen das seht ihr etc&p.abb;&udq.eudq; Aber die Andern hatten ja in ihrem Streit gar nicht an diese Art der Entscheidung gedacht sondern es hat ihnen eine extensive Entscheidung vorgeschwebt&p.es; Wenn sie nun weiter an eine Extension denken 73 so hat der der die Induktion gefunden hat allerdings bewiesen daß lauter 3 folgen werden denn die Induktion beweist das für jede Extension&p.es; Geben sie aber diese Idee auf, dann wird nun die Frage zu einer anderen : entsteht in diesen Fällen eine Induktion &.und; das heißt hier: bleibt der Rest 1&qm.eis; der den Dividendtden gleich ist&qm.eis; &.und; das laäßt sich entscheiden&p.es; Die Frage hat aber jetzt gänzlich ihren Charakter gewechselt &.und; die alte extensive Ausdrucksweise ist nun äußerst irreleitend&p.es; Der Ausdruck d, a, a, u&p.abb;s&p.abb;w&p.abb; ist der unexackte Ausdruck nicht unexackter als der des allgemeinen Gliedes&p.es; Denn auch dieses verlaäßt sich auf die Kenntnis der Zahlenreihe &.und; diese kann nicht durch ein allgemeines Glied etwa n vermittelt werden&em.ees; Vielmehr ist n wesentlich die unabhängige Variable&p.es; Und worin unterscheidet sich 74 die Reihe k154003 &sp; von der &bar; &bar;&bar; &bar;&bar;&bar;&sp;&qm.eis; Wir schreiben die Form der ungeraden Zahlen heute 2n+1 aber die Form der Kardinalzahlen könnte geschrieben werden n−1&slash.frac;2 wo n die Reihe der ungeraden Zahlen durchläuft&p.es; In der Welt der Euklidischen Elemente kann ich ebensowenig nach der 3 Teilg 3÷Teilung fragen als ich nach ihr suchen kann&p.es; Es ist von ihr einfach nicht die Rede&p.es; Es muß heißen: iIn dem Gebiet von Lineal &.und; Zirkel ist die 3 Teilung 3÷Teilung nicht&p.es; Ich kann nicht in der Sprache von Lineal &.und; Zirkel von ihr reden weil es da einen solchen Ausdruck nicht gibt sondern nur wo die Begriffe 3 Teilg 3÷Teilung &.und; Lineal &.und; Zirkel getrennt sind&p.es; Die 3 Teilg 3÷Teilung mit Lineal &.und; Z&p.abb; ist nicht eine Konstruktion die ich sozusagen banne, sondern es ist eine Beschreibung der nichts entspricht&p.es; Es heißt nicht die 3÷Teilung mit L&p.abb; &.und; Z ist unmöglich etwa 75 wie wenn ich sagte sie wäre unerlaubt sondern ich will sagen die 3 Teilg 3÷Teilung findet sich in der &.und; der Nachbarschaft der Lineal &.und; Z&p.abb; Geometrie Zirkel÷Geometrie&p.es; Man kann nur in einem System fragen wo es sowohl die 3 Teilg 3÷Teilung als auch die Geometrie mit Lineal &.und; Z&p.abb; gibt&p.es; Ich kann erst dann fragen wenn ich fragen kann: wo ist die 3 Teilg 3÷Teilung&qm.eis; Ich kann ja auch nicht fragen ob in die die 4 unter den Kombinationszahlen vorkommt wenn dies mein Zahlensystem ist&p.es; Und nicht ob ½ unter den Kardinalzahlen vorkommt oder zeigen daß es nicht unter ihnen steht außer in einem System in welchem sowohl die Kardinalz&p.abb; als auch ½ vorkommt&p.es; aAber dann auch nicht ob die 3 unter den Kardinalz&p.abb; vorkommt&p.es; Die AusRechnung Rechnung Ausrechnung muß sSinn haben&p.es; Die Frage heißt vielmehr etwa so: Geht die Division 4&colon.div;2 in ganzen Zahlen aus&qm.eis; &.und; das läßt sich nur fragen wenn in einem System in welchem das Ausgehen &.und; das nicht aAusgehen bekannt ist&p.es; Wir können nicht ausrechnen ob 81&slash.frac;3 eine Kardinalzahl ist aber ob die Division ausgeht oder nicht&p.es; Wenn also in 76 der Rechnung Formel die mir angeben soll ob die 3÷Teilg 3÷Teilung möglich ist 3 eingesetzt wird&p.es; Die Wirkung einer in der Sprache eingeschlossenen falschen Analogie&p.es; Sie bewirkt einen ständigen Krampf &.und; Beunruhigung &lp;quasi einen ständigen Reiz&rp;&p.es; Es ist wie wenn ein Ding aus der NäheEntfernung Nähe Entfernung etwas anderes zu sein scheint als aus der Nähe betrachtet; wir sagen dann: Ach ja das ist ein Baum &.und; entfernen uns aber&p.es; Kaum entfernen wir uns ein wenig &.und; verlieren die Erklärungen aus dem Auge so erscheint uns eine Gestalt sgehen wir darauf näher zu so sehen wir eine andere nun entfernen wir uns wieder u&p.abb;s&p.abb;w&p.abb; 77 Denken wir uns der beschriebene Konstruktionsvorgang wäre der der fortgesetzten 2 Teilg 2÷Teilung einer Strecke mit Lineal &.und; Zirkel Denn es könnte ja an die Konstruktion mit Lineal &.und; Z&p.abb; eine weitere Bedingung geknüpft sein&p.es; Vgl&p; Faksimile; Einordnung des Textes unsicher&p; in der euklidischen Weise&p.es; mMan würde nun fragen: gibt es in diesem Prozessß eine 3 Teilg 3÷Teilung der Strecke&p.eis; Man könnte die Reihe der Teilungen etwa durch Zeichen 154003 etc&p.abb; bezeichnen &.und; nun fragen: kKommt hier eine 3 vor&p.eis; Man hätte dann aber eigentlich nicht nach einer 3 Teilg 3÷Teilung gefragt&p.es; Das Problem der 3 Teil 3÷Teilung ist kein euklidisches&p.es; &lp;Wir wollen nicht von Lösungen im eukl&p.abb; System sondern von Problemen im eukl&p.abb; Syst&p.abb; reden&rp; d&p.abb;h&p.abb; Fragen die in dieser Sprache Sinn haben&p.es;&rp; &ldq.sldq;Ist die 2 Teilg 2÷Teilung im eukl&p.abb; Syst&p.abb; möglich&qm.eis;&udq.eudq; Wie geht man diese Frage an wenn man die 2 Teilg 2÷Teilung noch nicht kennt&p.eis; Als physikalische Frage ist sie natuürlich möglich&p.es; Denn im System der physikalischen Teilungen habe ich ja die 2 Teilung 2÷Teilung &lp;&.und; auch die 3 Teilung 3÷Teilung&rp; etc&p.abb;&rp;&p.es; Das Problem lautet dann: Gibt es eine Konstruktion mit Zirkel und L&p.abb; 78 die die physikalische Strecke der die phys ∠ in gleiche Teile teilt&p.eis; Aber das Kriterium, daß das eine Methode der 3 Teilg 3÷Teilung ist, ist dann auch ein physisches&p.es; 154004 Denken wir uns der Zirkel in unserer Geom&p.abb; hätte eine konstante Öffnung&p.es; Wenn man fragt: ist die Konstr der 3÷Teilg des ∠ möglich, so könnte ich antworten: Was heißt das: ist sie möglich&qm.eis; ist was möglich&qm.eis; ich kann sie ja nicht einmal beschreiben&p.es; Und ich kann nicht fragen: ist die 2 Teilg 2÷Teilung möglich, denn indem ich angebe wonach ich frage habe ich ja die 2 Teilg 2÷Teilung beschrieben&p.es; &lp;Ich kann natürlich fragen: ist die physikalische 3 Teilg 3÷Teilung oder 2 Teilg 2÷Teilung möglich&p.eis;&rp; Buch > Man kann also nun fragen: ist diese Konstruktion 79 eine Konstruktion der 3÷Teilg z&p.abb;B&p.abb; 154005&qm.eis; &lp;Wir könnten uns denken er sähe die Konstruktion durch ein verzerrendes Medium &.und; die 3 Teile erschienen ihm gleich&p.es; Und die Antwort ist natürlich nein diese Konstruktion erzeugt nicht Ggleiche Teile, denn &sp;sie erzeugt&sp;&p.es; ‐ Aber man kann nicht fragen: &ldq.sldq;Wie teilt man den &mangle; mit L&p.abb; &.und; Z&p.abb; in 3 Teile&qm.eis;&udq.eudq; noch: &ldq.sldq;ist eine 3 Teilg 3÷Teilung &sp; möglich&udq.eudq;&qm.eis;&udq.eudq;&p.es; Das Wort &ldq.sldq;möglich&udq.eudq; ist irreführend&p.es; Es sollte heißen, gibt es eine 3÷Teilg im euklidischen System&p.eis; Denn wenn man fragt ist sie möglich so möchte man immer fragen: für wen&qm.eis; ‐ Gibt es die 3 Teilg 3÷Teilung der Strecke im α System&qm.eis; Das kann heißen: kommt die Zahl 3 unter den Zahlen 2, 2&pow2;, 2&pow3; &sp; vor&qm.eis; oder ist es möglich eine Strecke mit dieser Operation in 3 gleiche Teile zu teilen&p.eis; Auch das kann beantwortet werden &.und; zwar durch eine Induktion&p.es; Die erste Frage handelt eigentlich nicht von 3 Teilen die 80 zweite wohl&p.es; Welcher Art sind diese Fragen&qm.eis; Für die erste gibt es eine Methode des Suchens&p.es; Die zweite Frage ist: ist eine der Zahlen 2, 2&pow2;, 2&pow3; etc&p.abb; durch 3 teilbar&p.eis; Eine Induktion wird uns die Antwort ihrer Art geben&p.es; &ldq.sldq;Kann man den Winkel mit L&p.abb; &.und; Z&p.abb; 3 teilen dreiteilen&qm.eis;&udq.eudq; Wenn es unmöglich ist &lp;log&p.abb; unmöglich&rp; wie kann man dann überhaupt danach fragen&qm.eis; Wie kann man das log&p.abb; uUnmögliche beschreiben &.und; nach seiner Möglichkeit fragen&qm.eis; D&p.abb;h&p.abb; wie kann man log&p.abb; unzusammenpassende Begriffe zusammenstellen &.und; sinnvoll nach ihrer Moöglichkeit fragen&qm.eis; Es kann nicht heißen die 3 Teilg 3÷Teilung mit Z&p.abb; &.und; L&p.abb; ist unmöglich wie es etwa heißen könnte sie ist nicht erlaubt; sondern die 3 Teilg 3÷Teilung liegt nicht im Gebiet von Z&p.abb; &.und; L&p.abb; 81 sondern in einem andern angrenzenden Gebiet&p.es; Die Frage ist hier vor allem was verstehe ich hier unter &ldq.sldq;3÷Teilung&udq.eudq;&qm.eis; physische Teilung&qm.eis; Teilung durch eine andere Konstruktion&qm.eis; Die 3 Teilung 3÷Teilung von der ich spreche muß ja doch möglich sein d&p.abb;h&p.abb; es muß Sinn haben diesen Ausdruck zu gebrauchen, welche 3 Teilung 3÷Teilung ist gemeint&qm.eis; In dem Sinne z&p.abb;B&p.abb; in dem man sagen kann das Produkt 3&x.xmult;α ist in 3 Teile geteilt kann man ja von einem konstruierten Mittel etwa des Winkels sprechen&p.es; &bar;&lp;Wir sprechen von einer Teilung des Kreises in 7 gleiche Teile &.und; von einer Teilung eines Kuchens in 7 gleiche Teile&p.es;&rp; Man kann sagen: das ist keine Diese Konstruktion führt nicht zu einer Dreiteilung wenn z&p.abb;B&p.abb; das Resultat der Teilung Teile im Verhaältnis 1&colon.div;1&colon.div;3 sind&p.es; &lp;siehe 154006&rp; Ich kann in dem System α wirklich nicht von einer 82 3÷Teilung reden dagegen kann ich die Zahlen 2, 2&pow2; 2&pow3; etc&p.abb; auffassen als Teil der Kardinalzahlen &.und; dann sagen daß 3 keine von ihnen ist&p.es; Dies wäre der Fall wenn &ldq.sldq;eine 3 Teilung 3÷Teilung im System α gibt es nicht&udq.eudq; heißt es gibt da keine 3 Tei eine 4 Teilung 4÷Teilung oder die 3 kommt auf solche Weise nicht vor womit eben nichts gemeint ist als daß in der Reihe 2, 2&pow2; &sp; nicht vorkommt oder 2¬equ;3, 2&pow2;¬equ;3, 2&pow3;¬equ;3 u&p.abb;s&p.abb;w&p.abb; Dann aber könnte &ldq.sldq;eine 3 Teilg 3÷Teilung gibt es nicht&udq.eudq; heißen: nicht in diesem System sondern in einem anderen ist sie, nicht in α sondern in β&p.es; Und das kommt darauf hinaus zu fragen welche Art der 3÷Teilung ist gemeint wenn man sagt es gebe sie nicht&p.es; Wenn man die Geometrie mit Quadratwurzelausdrücken betriebe so käme man gar nicht auf eine k154006&p.es; Wie könnte man nun in dieser Geometrie nach der 3 Teilung 3÷Teilung fragen&qm.eis; oder nach der k154006&qm.eis; nNun es hat natürlich einen Sinn zu sagen daß wir durch Superposition von &root2; nicht 83 1½ von 7 zu k154006 kommen, denn ich gliedere mein System in das der nten Wurzeln ein&p.es; Das ist derselbe Fall wie der des Systems α&p.es; &ldq.sldq;Ist die 3÷Teilg &sp; möglich&udq.eudq; wie kann man denn nach ihr fragen etc&p.abb; etc&p.abb; Nun das kommt auf dasselbe hinaus wie zu fragen: wie kann man fragen ob 25&x.xmult;25&equ;624 ist wenn es nicht so ist da es doch dann logisch unmöglich ist, ich kann ja nicht schreiben wie es wäre wenn ‐&p.es; Ja, der Zweifel über 25&x.xmult;25&equ;624 oder der über 28&x.xmult;28&equ;628 ist hat eben den Sinn den die Methode der Prüfung ihm gibt&p.es; Und der Zweifel die Frage nach der Moöglichkeit der 3 Teilg 3÷Teilung hat den Sinn den die Methode der Prüfung ihr gibt&p.es; Es ist ganz richtig wir stellen uns hier nicht vor oder beschreiben wie es ist wenn 25&x.xmult;25&equ;624 ist &.und; das heißt eben daß wir es hier mit einer andern Art von Fragen zu tun haben als im Fall: &ldq.sldq;ist dieser Bau 3 Meter hoch oder 4 Meter hoch&qm.eis;&udq.eudq; 84 Der Beweis des Satzes daß für alle Zahlen gilt wäre eine Konstruktion der Induktion aus allgemeinen Prinzipien&p.es; a+&lp;b+1&rp; &equ; &lp;a+&lp;b&rp;+1&rp; &lp;b+&lp;c+1&rp;&rp; &equ; &lp;a+&lp;b+c&rp;&rp;+1 &lp;a+b&rp;+&lp;c+1&rp; &equ; &lp;&lp;a+b&rp;+c&rp;+1 Die allgemeine Form eines Rekursionsbeweises ist das allgemeine Glied einer Reihe von Beweisen&p.es; Diese Reihe könnte ich ebensogut in der Form a1, a2, a3 u&p.abb;s&p.abb;w&p.abb; schreiben&p.es; k154008 Die Konstruktion der Induktion ist nicht ein Beweis sondern eine bestimmte Zusammenstellung von Beweisen&p.es; Wenn ich drei Sätze von den Formen α, β, γ bewiesen habe, dann sage ich ich habe fc &equ; ϕc bewiesen&p.es; Welches weiter nichts ist als eine Definition 85 &lp;Erklärung&rp; des Ausdrucks &ldq.sldq;ϕc &equ; fc beweisen&udq.eudq;&p.es; Man kann auch nicht sagen ich beweise eine Gleichung wenn ich drei beweise&p.es; Wie die Saätze einer Sonate Suite nicht einen Satz ergeben&p.es; Steht nun A zu B im Verhaältnis von Sätzen zu einer Ausrechnung&qm.eis; Nein eine Ausrechnung kommt allerdings vor aber die rechnet A α β &.und; γ aus &.und; ist in B hier auszulassen&p.es; Steht es nicht im Verhaältnis von k154009 zu 1&colon.div;3&equ;3 &qm.eis; Nein eine Ausrechnung kommt allerdings vor aber die rechnet A α β &.und; γ aus &.und; ist in B hier auszulassen&p.es; Wäre B die Ausrechnung von A so hätte ich B A nicht allgemeiner beschreiben können&p.es; B ist ja k154010 ist ja eine Bestimmung keine Ausrechnung, denn nach welchen Prinzipien wäre denn die Ausrechnung erfolgt&p.eis; Aber wie lautet die Bestimmung&qm.eis; Wenn Sätze des Schemas k154011 bewiesen sind 86 dann sagen wir A ist bewiesen 154007 Sprungfedern&p.es; 154008 154009 Aber das heißt schon daß wir A nicht in demselben Sinne Bbewiesen haben wie etwa einen der Saätze α, β, γ&p.es; Die Frage ist A der Fall wäre ist also die Frage ist α, β, &.und; γ der Fall &.und; die Behauptung von A behauptet α, β &.und; γ&p.es; Wobei das Gegenteil des Gefragten darin besteht daß einer der 3 Sätze falsch ist&p.es; Also nicht daß für eine Zahl der allgemeine Satz nicht gilt&p.es; Die Frage fragt also nicht ist &lp;&rp;fn oder &lp;&exist.exist;n&rp;&tilde.neg;fn&p.es; Ich habe jetzt das Wort &ldq.sldq;Beweis&udq.eudq; neu definiert mit Hilfe des Begriffes des Beweises einer Gleichung &.und; dem Muster α β γ&p.es; 87 k154012 Ich kann ruhig von &ldq.sldq;meinem Gesichtsraum&udq.eudq; &.und; dem &ldq.sldq;Gesichtsraum des aAndern&udq.eudq; reden es wird sich schon in der Grammatik dieser Ausdrücke zeigen, daß es sich hier nicht um einen Unterschied handelt wie zwischen meinem Taschenmesser &.und; dem des Andern&p.es; Man stellt sich den Gesichtsraum gern als eine Art vor den jeder mit vor sich herumträgt&p.es; 88 154010 Begriff &.und; Gegenstand&p.es; sind Syubjekt &.und; Prädickat&p.es; fa&equ;a ε f&lp;ξ&rp; Dieser Körper ist ein Stück Eisen&p.es; Herr N ist ein Franzose&p.es; dDieses Das Blatt ist ein Rosenblatt&p.es; Das ist ein Kanonenschuß&p.es; &ldq.sldq;Das ist ein Haus&udq.eudq; kann heißen &ldq.sldq;hier ist ein Haus&udq.eudq;&p.es; Ist &ldq.sldq;hier&udq.eudq; ein Name&qm.eis; Nein&p.es; Es laäßt sich ja auch nicht durch einen Namen ersetzen&p.es; Es hat nur soweit Sinn einem Gegenstand einen Namen zu geben als ich sagen kann das ist derselbe Gegenstand welcher &sp; Wenn ich in der Geometrie sage, der Kreis K0&sp; so heißt das, der Kreis an diesem Ort&p.es; Es hätte keinen Sinn den Kreis zu verschieben &.und; zu Es hätte keinen Sinn zu wenn dieser Kreis mir entschwände &.und; einer an einer andern Stelle auftaucht zu fragen: ist das wieder der Kreis K&qm.eis; Was ist das Kriterien dafür, daß ein Gegen89stand der Gegenstand A ist&qm.eis; &lp;Wie kann ich den Gegenstand A wiedererkennen&p.eis;&rp; Im Falle des Gebrauchs eines Personennamen z&p.abb;B&p.abb; ist es wesentlich daß die Frage Sinn hat: ist dieser Gegenstand der den Du A genannt hast&p.eis; Denn die hinweisende Def&p.abb; lautet: Dies ist A &.und; insofern könnte also A einfach statt des Hinweises stehen&p.es; Statt &ldq.sldq;A wächst&udq.eudq; kann ich dann einfach sagen &ldq.sldq;dieses wächst&udq.eudq;&p.es; Aber die Technik des Gebrauchs von A ist gerade daß ich A dort gebrauche wo die ursprüngliche hinweisende Erklärung nicht gegeben werden kann&p.es; Und dann ist die Bedeutung von A verschieden, jenachdem was das Kriterium ist der Identität ist&p.es; Die Schreibweise &lp;&exist.exist;x&rp; nimmt sich von der Ausdrucksform der gewöhnlichen Wortsprache her &ldq.sldq;es gibt &sp;&udq.eudq; Aber obwohl wir z&p.abb;B&p.abb; etwa sagen: &ldq.sldq;Es gibt einen Menschen der 8 Fuß hoch ist&udq.eudq; so sagen wir doch nicht &ldq.sldq;es gibt ein Ding, das ein Mensch &.und; 8 Fuß hoch ist&udq.eudq;&p.es; Wir 90 sagen &ldq.sldq;jeder Mensch ist sterblich&udq.eudq; aber nicht &ldq.sldq;jedes Ding das ein Mensch ist, ist sterblich&udq.eudq;&p.es; Das ist vielmehr eine sehr typische Sublimierung der Fregeschen &.und; Russellschen Logik&p.es; Wenn ich nun sage &ldq.sldq;In dem großen Kreis 154011 ist konzentrisch ein kleiner&udq.eudq; so hieße das in der &lp;&exist.exist;&rp;÷Notation es sei ein Ding inm Ggroßen Kreis daßs ein konzentrischer Kreis ist sei&p.es; Nun welches Ding ist denn das&qm.eis; ‐ Die Notation wie Russell sie versteht mußte immer den Satz erlauben &ldq.sldq;es gibt ein Ding in diesem Kreis&sp; &.und; dieses Ding ist a&udq.eudq;&p.es; Die Notation der gewöhnlichen Sprache &ldq.sldq;Im vViereck sind 3&udq.eudq; Kreise&udq.eudq; ist viel korrekter&udq.eudq;&p.es; Auch Sie macht mehr relevante Unterschiede als die Russellsche&p.es; &ldq.sldq;Mann&udq.eudq; ist freilich ein Begriffswort &.und; nicht eine Bezeichnung für einen Mann &.und; &ldq.sldq;Kreis&udq.eudq; nicht der Name eines Kreises &lp;soweit ein Kreis überhaupt einen Namen haben kann&rp;&p.es; Man spricht Aber roter Kreis vom Radius 1 cm im 91 ist auch ein Begriff &.und; doch ist es laächerlich von einem Gegenstand zu sprechen der unter diesen Begriff fällt&p.es; Vgl&p; Faksimile; Gelöschte mathematische Formel, schwer leserlich Die Russellsche Notation hat den Vorteil der eEinheitlichkeit &.und; diese ist insofern ein Vorteil als die Wortsprache zwar nicht einheitlich aber doch nicht von der Multiplizität ihrer Bedeutungen ist, sodaß es schon besser ist man verzichtet ein für allemal auf den Ausdruck &ldq.sldq;Grammatik&udq.eudq; in der Notation &.und; sagt daß man sich in jedem besonderen Fall die Grammatik überlegen muß&p.es; 2o 92 154012 &ldq.sldq;Ergibt die Operation z&p.abb;B&p.abb; eine rationale Zahl&p.eis;&udq.eudq; Wie kann das gefragt werden wenn man keine Methode der Entscheidung der Frage hat, denn die Operation ergibt doch nur im festgelegten Kalkül&p.es; Ich meine: ergibt ist doch wesentliches Preäsens Zeitlos&p.es; Es heißt doch nicht: ergibt mit der Zeit; sondern, ergibt jetzt nach den Regeln&p.es; Die Frage &ldq.sldq;ist π &equ; π&app;&udq.eudq; hat daher keinen Sinn&p.es; π &.und; π&app; sind mit einander nicht vergleichbar&p.es; Wenn π ein Punkt der Zahlengeraden ist, ist π&app; keiner&p.es; Man kann nicht sagen &ldq.sldq;π&app; ist ein Punkt den ich nicht kenne&udq.eudq;, denn π&app; ist nur was ich kenne &.und; sollte ich einmal etwas 93 π&app; nennen was mit π vergleichbar ist so ist es nicht das heutige π&app;&p.es; Und finde ich einmal 3 sSiebener in der von π dann ist π&app; nicht was ich jetzt darunter verstehe&p.es; So weit ich auch das Intervall verkleinere so blei komme ich nicht nur zu keiner Entscheidung sondern bleibe immer gleich weit von der Entscheidung&p.es; Wenn man sagt: &ldq.sldq;die Menschen meinen mit dem Ausdruck &sp; eigentlich das &lp;oder eigentlich das&rp;&udq.eudq; so will man meist sagen daß sie sich auf bestimmte Weise dazu bringen lassen zu sagen, sie meinten das&p.es; Wenn man ihnen z&p.abb;B&p.abb; eine Definition eines Begriffes gibt an die sie früher nicht gedacht hatten &.und; sie diese nun annehmen&p.es; 94 154013 Würde sich die Zahl π dadurch ändern, daß eine Methode gefunden würde zu berechnen an welcher Stelle der Entwicklung 777 777 auftritt&p.eis; Was für großartige Menschen wir sind diese alten Probleme gelöst zu haben&em.ees; ‐ Nein die Zeit hat uns geändert &.und; die Probleme sind haben sind verschwunden&p.es; Stetigkeit&p.es; Gleichheit im Gesichtsraum im Gegensatz zum Euklidischen&p.es; S 72 154014