Ms-127,FCr Ms-127,FCv Ms-127,IIr F Mathematik & Logik Ms-127,IIv Ms-127,1

6.1.43. Schränken wir einen Ort nach & nach durch zwei Reihen von unvollständigen Dezimalbrüchen ein, die wir sowohl als die Reihung selbst nach & nach weiter führen (z.B. als das Ergebnis von Experimenten) dann kann man die Einschränkung des Orts durch einen unvollständigen Dezimalbruch darstellen.

Denk Dir die intensionale Allgemeinheit in Merkzeichen gebraucht.

Wenn man sagen Ms-127,2 wollte: es fehlt dem Begriff an Exaktheit & die extensionalen Pseudoerklärungen geben sie ihm nicht – nun was macht dieser Mangel an Exaktheit??

Denke Dir eine Morphologie der Kurven, ohne Gleichungen oder dergl.

Von den Mathematikern kann man nur Mathematik lernen, aber nicht die Philosophie der Mathematik. Ich meine man kann Ms-127,3 von ihnen nur lernen || ihnen nur absehen was sie treiben || von ihnen nur lernen, was sie treiben, indem man ihnen zusieht aber ihnen nicht glauben, wenn sie darüber Rechenschaft ablegen.

In den allgemeinen intensionalen Sätzen von den Funktionen wird einerseits eine Technik des Rechnens festgehalten, die man dann auf ein gegebenes Beispiel anwenden kann; anderseits Ms-127,4 eine Teilung || Einteilung des Materials bewirkt in solches was sich mit dieser Formel behandeln läßt & solches welches || was so nicht zu behandeln ist.

Wie ist es also mit dem Muß dieser allgemeinen Sätze?

Nimm, an es gäbe nur ein Beispiel & den allgemeinen Kalkül. –

7.1. Aber es ist doch kein Zweifel, daß Ms-127,5 wir durch eine Reihe von Beispielen einen allgemeinen Begriff von einem ‘Prinzip der Zuordnung’, von einem ‘Prinzip der Teilung’, u.s.w., gewinnen!      Das heißt doch: wir lernen durch diese Beispiele ein neues Sprachspiel; ähnlich in gewissem Sinne dem neue Multiplikationen auszuführen, wenn wir multiplizieren gelernt haben.

Wenn wir nun, wie ich vielleicht sagen Ms-127,6 möchte, einen unklaren Begriff von dem ‘Prinzip der Zuordnung’ (z.B.) haben, – kann, & soll, man ihn durch einen klarern ersetzen? Oder ist es gerade die Vagheit, die uns gute Dienste leistet?

Der allgemeine Begriff einer Zuordnungs-Technik.

Denk' Dir daß die Menschen durch gewisse Zeichen etwa von der Art der Chinesischen Siegel Ms-127,7 dazu bewogen würden Ziffernfolgen || Ziffernreihen zu schreiben || hinzuschreiben & zwar alle Menschen übereinstimmend, wenn sie einmal erst durch irgend eine || eine Art Schulung gegangen sind. Dann können sie diese Ziffernfolgen, oder vielmehr die Zeichen, die ihre Fortführung leiten, als Zahlen auffassen. Und es müßte auch da kein System solcher Zahlen geben.

Wie, wenn man die reellen Zahlen nicht durch das Aufzeigen Ms-127,8 irrationaler Zahlen sondern einfach durch Umwandeln der rationalen in reelle Zahlen einführte. (Diesen kann man dann immer die irrationalen Zahlen hinzufügen.) Und nun, ehe man noch von irrationalen Zahlen spricht, beweist man Dedekinds Satz!

Angenommen wir gäben einem Prinzip der Teilung aller reellen Zahlen einen Namen. Geben wir den Namen dem Prinzip der Teilung auf die rationalen Ms-127,9 Zahlen angewandt, oder kann || ? Kann man die irrationalen Zahlen teilen als indem man die rationalen teilt. Denn bezieht sich die Teilung nicht nur über den Umweg der rationalen Zahlen auf die irrationalen, dann kann auch der Name eine ganz andere Zahlenart als die reelle bedeuten.

Sagt die allgemeine intensionale Behandlung mit ihren Variablen nicht: “so muß es ausschauen”? Ms-127,10

8.1. Die extensionalen Erklärungen der Funktionen, der reellen Zahlen, etc. übergehen alles Intensionale – obwohl sie es voraussetzen – & bedienen sich einer immer wiederkehrenden äußeren || beziehen sich auf die immer wiederkehrende äußere Form.

Die Funktion hat sozusagen eine extensionale Äußerung.

Der allgemeine Begriff der Funktion als heuristisches Prinzip. Ms-127,11

Denken wir wieder an das Beispiel des Zaubers gewisser geschriebener Symbole (etwa geschriebener) die die Menschen dazu bringen übereinstimmend Zahlenfolgen zu schreiben oder eine Zahl einer gegebenen anderen zuzuordnen.      Es sei also y = f(x) und f = , & dies Symbol ist eines von denen welches uns einem beliebigen rationalen x ein y zuordnen läßt. Ms-127,12 Kann man nun mit diesem Begriff den Begriff lim x→∞ f(x) bilden?

9.1. Unsre Schwierigkeit fängt eigentlich schon mit der unendlichen Geraden an; obwohl wir schon als Knaben lernen, eine Gerade habe kein Ende, & ich weiß nicht, daß diese Idee irgend jemand Schwierigkeiten bereitet hätte. Wie, wenn ein Finitist versuchte diesen Begriff durch den einer geraden Strecke von Ms-127,13 bestimmter Länge || Ausdehnung zu ersetzen?! Aber die Gerade ist ein Gesetz des Fortschreitens.*

Die Verteilung der Primzahlen wäre ein ideales Beispiel für das was man synthetisch a priori nennen könnte || kann, denn man kann sagen, daß sie jedenfalls durch eine Analyse des Begriffs der Primzahl nicht zu finden ist.

Die Allgemeinheit der Funktionen ist sozusagen eine ungeordnete Ms-127,14 Allgemeinheit. Und unsere Mathematik ist auf so eine ungeordnete Allgemeinheit aufgebaut.

10.1. Ich lese in “Chemical History of a Candle”: “Water is one individual thing – it never changes”.

Denken wir uns das Zeichen “ℵ”, dessen Physiognomie ich immer || stets wiedererkennen kann (so nehme ich an) gibt || gebe uns Allen die gleiche endlose Folge von 0 & 1 ein, entspricht also einem unendlichen Dezimalbruch. Wir Ms-127,15 behandeln daher dieses Zeichen als ein Zahl-Zeichen.

Du kannst über die reellen Zahlen nicht in's Klare kommen außer über || durch den Begriff der Technik. Denn sie sind ja Techniken der Entwickelung (oder Zuordnung).

Was, wenn die irrationalen Zahlen Seltenheiten unter den rationalen wären? So daß man etwa sagen könnte: unter den rationalen Zahlen gibt es verstreut 50 irrationale. Oder Ms-127,16 auch: es gibt 50 Reihen irrationaler Zahlen. Warum sollte || müßte man ihnen in diesem Falle einen gemeinsamen Gattungsnamen geben? – Ja – man könnte es tun. Und was wäre die Ähnlichkeit die einen dazu bewegte? Nun die Techniken haben eine äußere Ähnlichkeit. (Gleichsam wie Apparate, oder Futterale von Apparaten.) Eine Ähnlichkeit ist natürlich, daß jede von ihnen die gleiche || eine besondere & immer gleichbleibende Zahlenfolge Ms-127,17 erzeugt.

Der Begriff des Limes & der Stätigkeit, wie sie heute eingeführt werden, hängen, ohne daß dies ausgesprochen wird mit dem Begriff des Beweises zusammen || von dem Begriff des Beweises ab. Denn wir nennen || sagen lim x→∞ f(x) = ℓ, wenn bewiesen werden kann, daß …      Das heißt, wir gebrauchen Begriffe, die unendlich viel schwerer zu fassen sind als die, die wir offen herzeigen.

Die Definition der Ms-127,18 Kontinuität hat zwar eine extensionale Illustration aber nicht eine extensionale Anwendung. Eine Gerade der ein Punkt fehlt – – –

Kann denn aber eine Erlaubnis nicht kontinuierlich sein?

Denk Dir eine Maschine die, wenn ich in sie Zahlwörter hineinspreche mir Zahlwörter zur Antwort gibt || : wenn ich in sie Zahlwörter hineinspreche, so gibt sie mir Zahlwörter zur Antwort. Und ein Mensch kann ja so Ms-127,19 eine Maschine sein. Denn die Rechnung, durch die er etwa seine Antwort erhält braucht mich nichts anzugehen & ich brauche sie nicht zu verstehen.

Könnte man nun durch Beobachtung so einer Maschine || solcher Maschinen zu den Begriffen des Limes, der Kontinuität etc. gelangen, – wenn auch nur, als || zur Bildung von Hypothesen über ihr Verhalten? Hätte es z.B. Sinn von einer solchen Maschine zu sagen Ms-127,20 daß sie, so & so eingestellt, auf ins Unbegrenzte wachsende Zahlen, mit Zahlen antwortet die sich unbegrenzt der 0 nähern. Könnte man, z.B., das Verhalten so einer Maschine hypothetisch dahin beschreiben daß sie unbegrenzt auf Zahlen, je größer diese werden mit Zahlen antwortet die sich mehr & mehr der Null nähern.

12.1. Die irreführende Idee in der D'schen extensionalen Auffassung ist, daß die reellen Ms-127,21 Zahlen in der Zahlenlinie alle ausgebreitet da liegen. – Man kennt sie nicht alle, aber was macht das? Und so braucht man nur zu schneiden, oder in Klassen teilen & hat sie alle geteilt, die bekannten & die unbekannten. Das Irreführende an der D'schen extensionalen Auffassung ist die Idee daß die reellen Zahlen in der Zahlenlinie ausgebreitet daliegen. Man mag sie kennen Ms-127,22 oder nicht; das macht nichts. Und so braucht man nur zu schneiden, oder in Klassen teilen & has dealt with them all || & hat ihnen allen ihren Platz angewiesen.

Es ist durch die Kombination der Rechnung & der Konstruktion, daß man die Idee erhält es würde || müßte auf der Geraden ein Punkt ausgelassen werden, nämlich P, wenn man nicht die Ms-127,23 √2 als ein Maß der Entfernung von O zuließe. ‘Denn, wenn ich wirklich genau konstruierte, so müßte dann der Kreis die Gerade zwischen ihren Punkten hindurch schneiden’.

Das ist ein schrecklich verwirrendes Bild.

15.1. Die irrationalen Zahlen sind – könnte man sagen || sozusagen – Einzelfälle.

Warum sollte ich nicht die Regeln welche alle die gleiche Entwicklung ergeben in größere & kleinere teilen? Ms-127,24

18.1.      Was ist die Anwendung des Begriffes der Geraden, der ein Punkt fehlt? Diese || Die Anwendung muß ‘hausbacken’ sein. Der Ausdruck “Gerade, der ein Punkt fehlt” ist ein fürchterlich irreleitendes Bild. Der klaffende Spalt zwischen Illustration & Anwendung.

19.1. Ist, || Soll man sagen, zur Beurteilung der Kontinuität || Stätigkeit einer Kurve sei die x- & y-Achse das Vergleichsobjekt?      Das heißt, gleichsam, || : was so ist wie die Ms-127,25 x-Achse, ist kontinuierlich || stätig.

Oder wie, wenn ich Stätigkeit der Bewegung auf der x-Achse definierte?      Dies Oszillieren || Diese ‘Bewegung’ eines Punktes auf der x-Achse würde einer Zahlenfolge entsprechen mit einem Zeichen, welches anzeigen soll, daß die Pfeile zusammenhängen || zusammenstoßen. (Also z.B. [C; 0,7,1,4,2,5˙5,4˙2])

Kann man eine Hypothese aufstellen || als Hypothese annehmen, ein Ms-127,26 Vorgang werde ohne Ende weiterlaufen? Kann || Könnte man also z.B. von meinen Rechenmaschinen annehmen, sie werden, wenn nichts sie stört, ohne Ende Ziffern auf Ziffern liefern?

Wenn man den allgemeinen Kalkül der Funktionen als die allgemeine Form einer Menge existierender Beispiele, & anderseits als einen Standard || ein Paradigma zur Klassifikation noch zu erwartender auffaßt –, so erhebt sich die Frage: Ms-127,27 wie, wenn es, im extremen Fall, gar keine Beispiele gäbe? Welche Rolle könnte dann ein allgemeiner Funktionen-Kalkül spielen?

20.1. Denk' Dir jemand hätte vor 2000 Jahren die Form erfunden & gesagt, sie werde einmal die Form eines Instruments der Fortbewegung sein.      Oder vielleicht: es hätte jemand den vollständigen Mechanismus der Dampfmaschine konstruiert, Ms-127,28 ohne die geringste || irgend welche Ahnung, wie er etwa als Motor benützt werden könnte || ohne irgendwelche Ahnung, daß, & wie, er als Motor zu benutzen wäre.

Warum sollte Einer nicht den Russellschen Kalkül der Proposition erfunden haben können ohne irgendeine Ahnung von der Verwendung die R. etwa gibt? || ehe man die Verwendung kannte, die er später erhielt?

Was für Sätze widersprechen Ms-127,29 sich denn im Russellschen Widerspruch? Erfahrungssätze? Mathematische Sätze?

Ich sage: Als Abkürzung für ‘~f(f)’ führe ich ‘F(f)’ ein. Dann || – – dann muß ich folgerecht ‘~F(F)’ abkürzen: ‘F(F)’. D.h., diese Abkürzung führt zu der, das Verneinungszeichen in einem Satz auszulassen. Oder, wenn Du willst, dazu, || : den positiven & den negativen Satz gleich zu schreiben. Ms-127,30

‘ lim n→∞ Φ(n) = ℓ’ heißt:       Es gibt beweisbar algebraisch für beliebiges δ eine Funktion g(δ), so daß ❘Φ(n)‒ℓ❘ ˂ δ, wenn für jedes n ≧ g(δ)

‘ lim n→∞ Φ(n) = ℓ’ heißt: Zwischen zwei Funktionen, Φ(n) & g(x), besteht die Relation:      ❘Φ(n)‒ℓ❘ ˂ x für jedes n, welches ≧ g(x) ist. ||      Wenn n ≧ g(x) ist, ist ❘Φ(n)‒ℓ❘ ˂ x Ms-127,31

❘Φ( g(x) ≦ n )‒ℓ❘ ˂ x

Eigentlich ist der Ausdruck “ lim n→∞ Φ(n) = ℓ” nur dann treffend, wenn die Bedingung gegeben ist || hinzugefügt wird, daß für kein n φ(n) = ℓ wird.

Wenn man sich den allgemeinen Funktionen-Kalkül ohne die Existenz von Beispielen denkt, dann sind eben die vagen Erklärungen Ms-127,32 wie man sie in den Lehrbüchern findet durch Wertetafeln & Zeichnungen, || durch Wertetafeln & Zeichnungen, wie man sie in den Lehrbüchern findet, am Platz, als Andeutungen, wie etwa diesem Kalkül einmal ein Sinn gegeben werden || zu geben sein möchte.

Denk' Dir Einer sagte: “Ich will eine Komposition hören, die so geht:”

Müßte das unsinnig sein? Könnte es nicht eine Komposition geben Ms-127,33 von der sich zeigen ließe daß sie, in irgend einem wichtigen Sinne, dieser Linie entspräche?

21.1.      Eine Definition ist doch gewiß eine Begriffsbestimmung – aber wie ist es mit dem bloßen Schema einer Definition.

Eine Definition muß nicht zur Verkürzung || Abkürzung eines Zeichenausdrucks dienen. Sie könnte auch zur Verlängerung oder zur Ersetzung durch ein schöneres Zeichen dienen. Ms-127,34

Könnte man sich die Definition im Kalkül nicht ausgelassen denken – & nur die Substitution die ihr entspricht gemacht & nur etwa mit dem Vermerk, dies möge eine gestattete Substitution sein?

‘Wer dieser Regel folgt, der folgt auch einer Regel, …’ Z.B.: ‘der folgt auch einer Regel, die verbietet, daß …’

22.1. Wer eine neue Regel einführt || einer neuen Regel folgt, der führt Ms-127,35 einen neuen Begriff ein. Denn die neue Regel ist eine neue Art die Dinge zu sehen. – ||      Wer einer neuen Regel folgt, hat einen neuen Begriff eingeführt || gebildet.

Ein unentschiedener Satz der Mathematik ist ein Satz der weder als Regel noch als das Gegenteil einer Regel anerkannt ist & der die Form einer mathem. Regel || Aussage hat. – Was heißt aber dies letztere? Ist es || diese Form ein klar umschriebener Begriff? Ms-127,36

Denke dir den lim n→∞ Φ(n) = ℓ als eine Eigenschaft eines Musikstückes (etwa). Aber natürlich nicht so, daß das Stück unendlich || endlos weiterliefe, sondern als eine dem Ohr erkennbare Eigenschaft (gleichsam algebraische Eigenschaft) des Stückes.

Oder wie, wenn man die Stätigkeit als Eigenschaft des Zeichens “x² + y² = z²” ansähe – natürlich nur, wenn diese Gleichung & andere Ms-127,37 gewohnheitsmäßig einer bestimmten Art der Prüfung unterzogen würden. ‘So stellt sich diese Regel (Gleichung) zu dieser bestimmten Prüfung.’      Eine Prüfung die mit einem Seitenblick || Streifblick auf eine Art Extension geschieht || vorgenommen wird.

Es wird bei jener Prüfung der Gleichung etwas vorgenommen was mit gewissen Extensionen zusammenhängt. Aber nicht als handelte es sich da um eine Extension, die der Ms-127,38 Gleichung selbst irgendwie äquivalent wäre. Es wird nur auf gewisse Extensionen sozusagen, angespielt. – Nicht die Extension ist hier das Eigentliche, das nur faute de mieux intensional beschrieben wird; sondern die Intension wird beschrieben – oder dargestellt – vermittels gewisser Extensionen, die sich da & dort aus ihr ergeben.

Der Verlauf gewisser Extensionen wirft Ms-127,39 ein Streiflicht auf die algebraische Eigenschaft der Funktion.      In diesem Sinne könnte man also sagen, es werfe die Zeichnung einer Hyperbel ein Streiflicht auf die Hyperbelgleichung.

Dem widerspricht nicht, daß jene Extensionen die wichtigste Anwendung der Regel wären; denn es ist eines eine Ellipse zeichnen, & ein anderes, sie mittels ihrer Gleichung konstruieren.

25.1.      Wie, wenn ich sagte: Ms-127,40 Die extensionalen Überlegungen (z.B. der Heine-Borelsche Satz) zeigen: so sollen die Intensionen behandelt werden. || : so soll man die Intensionen behandeln.

Das Theorem gibt uns, in großen Zügen, eine Methode, wie mit Intensionen zu verfahren ist. Es sagt etwa: ‘So wird es ausschauen müssen’.

Und man wird dann etwa zu einem Verfahren mit bestimmten Intensionen eine Ms-127,41 bestimmte Illustration zeichnen können.      Die Illustration ist ein Zeichen, eine Beschreibung, die besonders übersichtlich, einprägsam, ist.

Die Illustration wird hier eben ein Verfahren angeben.

Eine Prozedur.

26.1.      Lehre, wie Figuren in einem Bilde (Gemälde) zu placieren sind, – aus allgemeinen ästhetischen Rücksichten || Gründen etwa – noch abgesehen davon, ob diese Figuren nun Ms-127,42 kämpfen, oder einander liebkosen, etc..

Die Lehre von den Funktionen als ein (allgemeines) Schema, in das, einerseits, eine Unmenge existierender Beispiele passen || bekannter Beispiele passen || von Beispielen paßt, & das, anderseits, als ein Standard zur Klassifikation von Fällen aufgestellt ist || dasteht.

Das Irreführende der üblichen Darstellung besteht || liegt darin, daß es scheint, als ließe sich die allgemeine Darstellung auch ohne Ms-127,43 alle Beispiele, ohne einen Gedanken an Intensionen (im Plural) ganz verstehen, da sich eigentlich alles extensional abmachen ließe, wenn es || wenn's aus äußeren Gründen nicht unmöglich wäre.

27.1.      Vergleiche die beiden Formen || Ausdrucksweisen || Erklärungen || Formen der Erklärung: “Wir sagen lim x→∞ Φ(x) = L, wenn es sich zeigen läßt, daß ‥‥”, &       “ lim n→∞ Φ(n) = L heißt: es gibt für jedes ε ein δ‥‥”

Die Möglichkeit der Ms-127,44 math. Induktion liegt im Wesen der Regel & der Technik, einer Regel zu folgen.

Nach einer allgemeinen Darstellung der Lehre vom Limes (z.B.) könnte man sagen: ‘Du wirst nun sehen, wie fruchtbar diese Überlegungen sind’. – Denn sie bringen, sozusagen, unerwartete Früchte.

“Ich kann jedes ∆ durch ein n² übersteigen” – was für eine Art Satz ist das? Ms-127,45

Man kann sich dabei einfach die unendliche Extension der Quadrate vorstellen, oder aber auch die Methode, zu jeder Zahl eine zu finden deren Quadrat sie übersteigt.

Der Ausdruck “wie groß auch immer” & das “→ ∞” beziehen sich auf eine bestimmte Verwendungsweise. Wenn man nämlich sagen will: Je weiter Du (auf der x-Achse) gehst desto mehr nähert sich die Kurve der Linie … ohne sie aber zu erreichen; gehst Du noch Ms-127,46 weiter, so wird die Kurve ihr noch näher kommen. Endlich werden deine Augen auslassen & die Annäherung nicht mehr erkennen lassen.

28.1. Das Erreichen der Genauigkeitsgrenze ist mit bestimmten Phänomenen verbunden. D.h., es gewährt ein gewisses Bild, sieht so & so aus. || Das Erreichen der Genauigkeitsgrenze ist ein gewisses Phänomen, gewährt ein bestimmtes Bild, sieht so & so Ms-127,47 aus.

Wie soll es heißen: – a) ‘(u) ∙ (∃n) ∙ 1 2n ˂ u’, oder b) ‘für jedes u läßt sich ein n finden, für welches 1 2n ˂ u’?

Vor allem: auch der zweite Satz ist || der zweite Satz ist auch ein mathematischer Satz. Denn er bezieht sich nicht auf den gegenwärtigen Stand unserer Kenntnis, sondern auf bestimmte mathem. Methoden.

1.2.43. Ein Beweis, daß 777 Ms-127,48 in der Entwicklung von π vorkommt, der nicht zeigt, wo, müßte diese Entwicklung von einem ganz neuen Standpunkt ansehen, sodaß er etwa Eigenschaften von Regionen dieser || der Entwickelung demonstrieren || angeben könnte || zeigte von denen wir nur wüßten, daß sie sehr weit entfernt || draußen liegen. Es schwebt mir dabei vor daß man sehr weit draußen in π sozusagen eine dunkle Zone von unbestimmter Länge annehmen müßte, wo Ms-127,49 unsere Rechenhilfsmittel nicht mehr verläßlich sind & noch weiter draußen dann eine Zone, wo man auf andere Weise wieder etwas sehen kann.

2.2. Eine Ziffernreihe die nach einem quasi aesthetischen Prinzip fortgesetzt wird. Gegeben ist etwa der Anfang      4831, & nun fragt man: ‘was für eine weitere Ziffer fordert diese Zifferngruppe?’

Denk Dir eine Regel, Ms-127,50 die uns, sozusagen, viel zu hoch ist. (Wie wir etwa ein Musikstück nicht verstehen.)

Der Begriff der Funktion, wie er eingeführt wird, setzt einen Begriff der mathematischen Operation, oder Ableitung voraus, der zwar durch Beispiele illustriert aber nicht irgendwo scharf gefaßt wurde. Es soll ja eine mathematische Abhängigkeit sein.

3.2. Das Benehmen eines Ms-127,51 Stammes, der nach dem Äußeren des Benehmens || den äußeren Symptomen zu urteilen, Rechnungen ausführt, die uns aber ganz unverständlich sind.

Farben als Argumente & Funktionswerte.

Beispiele nur um der Phantasie zu helfen. Gleichsam, damit das Schema nicht gänzlich trocken ist.

Denk wieder daran, wieviel Sinn noch in einem Unsinn-Gedicht liegt! Ms-127,52

22.2.      Ich möchte sagen, daß die sog. Teilung der reellen Zahlen, also der Regeln zur Erzeugung etc., den Begriff solcher Regeln weiter bestimmt.

Etwa so: ‘Es ist natürlich, zu sagen, daß alles was wir eine solche Regel nennen können rechts oder links von diesem Punkte liegen wird’.      Oder: ‘Eine weitere Bestimmung des Begriffes dieser Regel || einer solchen Regel ist es, daß sie rechts oder Ms-127,53 links von diesem Punkte liegen muß’.

25.2. Der Cantorsche Diagonal-Beweis – auch wenn man ihn so formuliert, daß er für ein bestimmtes System von unendlichen Dezimalbrüchen || unendlicher Dezimalbrüche zeigt, daß es solche || Dezimalbrüche außerhalb des Systems gibt – kann doch als Beweis alle Regeln betreffend aufgefaßt werden, die unendliche Dezimalbrüche erzeugen. D.h., die Unbestimmtheit des Begriffes solcher Regeln scheint uns Ms-127,54 hier nicht zu stören. Wenn der Beweis gezeigt hat, daß man aus dem System der Regeln √2, (√2)³, (√2)⁵, … eine Regel ableiten kann die nicht zum System gehört, dann wollen wir sagen: “& das muß also für alle Systeme solcher Regeln gelten”. –

Aber warum muß es? Wie zeigt der Beweis das?

Man möchte sagen: “Was der Beweis zeigt gilt für jedes System Ms-127,55 von Regeln, nicht für ‘alle Systeme’”. Und ebenso: “Jede Regel wird (oder muß) rechts oder links …liegen”, nicht: “Alle Regeln …”. Aber was bedeutet diese Wahl des Ausdrucks?

Man will etwa sagen: “Für alles, was man eine ‘Regel’ nennen kann, muß das gelten”. Das hieße, man will die Begriffsbestimmung von einer Aussage, die den Begriff verwendet, trennen.

24.2.      Warum die Parteilichkeit Ms-127,56 für “irgendein” & gegen “alle”. Die Antwort kommt gewöhnlich darauf hinaus daß “alle” ein falsches Bild heraufbeschwört. Man sagt, das Wort “alle” lasse es so erscheinen, als ob die Regeln (z.B.) alle schon vor uns lägen, wie Äpfel in einer Kiste, und dergl.. Aber was schadet dieses Bild? Regeln sind ja nicht wie Äpfel & sind auch in keiner Art von Kiste, also kann das Bild so keine Verwirrung erzeugen. Wenn Es wäre Ms-127,57 dann höchstens kindisch, & unnütz. – Wie aber ist es irreführend?

Was schadet es, z.B., zu sagen, Gott kenne alle irrationalen Zahlen? Oder, || – || : sie seien schon alle da, wenn wir auch nur gewisse kennen? Warum sind diese Bilder nicht harmlos?

Einmal verstecken sie gewisse Probleme.

Dedekind gibt ein allgemeines Schema der Ausdrucksweise; sozusagen eine logische Form || Formulierung Ms-127,58 des Raisonnements.      Eine allgemeine Formulierung des || eines Vorgangs. Der Effekt ist ein ähnlicher, wie der, der Einführung des Wortes “Zuordnung” zur allgemeinen Erklärung der Funktionen. Es wird eine allgemeine Redeweise eingeführt, die zur Charakterisierung eines mathem. Vorgangs äußerst || sehr nützlich sein kann || ist. (Ähnlich wie in der Aristotelischen Logik). Die Gefahr aber ist, daß man mit dieser allgemeinen Redeweise die vollständige Erklärung Ms-127,59 der einzelnen Fälle zu besitzen glaubt, (die gleiche Gefahr wie in der Logik,).

Wir bestimmen den Begriff der Regel zur || der Bildung eines unendlichen Dezimalbruches weiter & weiter.      Aber der Inhalt des Begriffes?! – Nun, können wir denn nicht das Begriffsgebäude ausbauen als Behältnis für welche Anwendung immer daherkommt? Kann || Darf ich denn nicht die Form ausbauen (die Form zu der mir irgendein Ms-127,60 Inhalt die Anregung geboten hat) & gleichsam eine Sprachform vorbereiten für mögliche künftige Verwendung? Denn diese Form wird auch, wenn || soweit sie leer bleibt, die Gestalt || Form der Mathematik bestimmen helfen.

25.2. Ist denn nicht die Subjekt-Prädikat-Form in dieser Weise offen & wartet auf die verschiedensten neuen Anwendungen?

D.h.: ist es wahr, daß die ganze Schwierigkeit, Ms-127,61 die Allgemeinheit des mathem. Funktionsbegriffs betreffend, schon in der Aristotelischen Logik auftritt || da ist, da die Allgemeinheit der Sätze & Prädikate von uns ebensowenig überblickt || übersehen werden kann, wie die der mathem. Funktionen?

Wenn ich von der Mathematik sagte, ihre Sätze bilden || bestimmen Begriffe, so ist das vag, denn ‘2 + 2 = 4’ bildet einen Begriff in anderem Sinne, als “p⊃p”, (x).f(x) ⊃ fa, oder der Dedekind'sche Satz. Ms-127,62

Der Begriff der Regel zur Bildung eines unendlichen Dezimalbruchs ist – natürlich – kein spezifisch mathematischer. Es ist ein Begriff in Zusammenhang mit einer bestimmten Tätigkeit im menschlichen Leben. Der Begriff dieser Regel ist nicht mathematischer als der, der Regel zu folgen. Oder auch: dieser letztere ist nicht weniger scharf definiert als der Begriff so einer Regel selbst: – Ja, der Ausdruck der Regel & sein Sinn ist Ms-127,63 nur ein Teil des Sprachspiels: ‘der Regel folgen’.

Man kann mit dem gleichen Recht allgemein von solchen Regeln reden, als von || Man spricht mit dem gleichen Recht allgemein von solchen Regeln, als von den Tätigkeiten ihnen zu folgen.

26.2.      Man sagt freilich: “das liegt alles schon in unserm Begriff”, || ; || – von der Regel, (z.B.), || – aber das heißt nur: zu diesen Begriffsbestimmungen neigen wir.– Denn was haben wir denn im Kopf, was alle diese Bestimmungen schon Ms-127,64 enthält?!

Man könnte sagen: Daß etwas aus dem Begriff zu folgen scheint ist nur der Ausdruck dafür, wie natürlich dieser || der betreffende Übergang für uns ist.

Der Begriff des Bruches ein anderer, ehe an ein Ordnen der Brüche in eine Reihe gedacht wird, & danach.

1.3. Begriffe die in ‘notwendigen’ Sätzen vorkommen müssen auch in nicht-notwendigen Ms-127,65 auftreten & eine Bedeutung haben.

6.3.      Überlege die Idee: Eine Technik, zur Bildung von Zeichen (z.B.), hat eine ihr zugeordnete Anzahl. Wir charakterisieren dann eine endlose Technik durch ein Merkmal das man || etwas, was man auch Anzahl nennen kann.

8.3. Wenn zwei Klassen reeller Zahlen so beschaffen sind, daß die eine ganz oberhalb der andern liegt, daß keine Entfernung zwischen beiden besteht, & daß sie Ms-127,66 gegen einander zu offen sind, || nicht geschlossen sind, dann liegt eine reelle Zahl zwischen ihnen; & es können nicht zwei reelle Zahlen von verschiedener Größe zwischen ihnen liegen.      Man kann das so ausdrücken, || : es liege || liegt || liege ein & nur ein reeller Punkt zwischen ihnen.

Zwei reelle Punkte sind zwei miteinander vergleichbare reelle Zahlen.

Hier ist von einer Teilung aller reellen Zahlen Ms-127,67 nicht die Rede.

Die Idee daß die Untersuchung die ‘Geschlossenheit des Kontinuums’ zeigt scheint mir abgeschmackt.

Die Untersuchung zeigt, daß eine reelle Zahl zwischen den beiden offenen reellen Klassen liegt; nicht, daß ‘nur wiederum eine reelle Zahl zwischen ihnen liegt & nicht etwa eine ganz andere Art von Zahlen’. Denn von einer anderen Art die sich dabei ergeben könnte ist hier gar nicht die Rede. Und auf die Ms-127,68 Frage “ergibt sich dabei eine ganz neue Zahlengattung, oder nur wieder eine reelle Zahl der alten Art?” kann man eigentlich gar nichts antworten.

Die Frage kann etwa sein: “liegt zwischen diesen Klassen noch eine Zahl oder nicht?”. Aber man kann nicht weiter fragen: “und ist es etwa eine ganz neue Art?” weil wohl eine ganz neue Art auch zwischen ihnen liegen kann, aber das gar nicht untersucht würde. Ms-127,69

Anderseits schließen die reellen Zahlen wirklich ein Kapitel ab – aber wird dies durch den Beweis bewiesen?

9.3.       Die Zahl ist, wie Frege sagt, eine Eigenschaft eines Begriffs ‒ ‒ aber in der Mathematik ist sie ein Merkmal eines mathematischen Begriffs. ℵ0 ist ein Merkmal des Begriffs der Kardinalzahl, – & die Eigenschaft einer Technik. 2ℵ0 ist ein Merkmal des Begriffs des unendlichen Dezimalbruchs; Ms-127,70 aber wovon ist diese Zahl eine Eigenschaft. D.h.: von welcher Art von Begriff kann man sie empirisch aussagen?

2ℵ0 ist die Zahl, das Merkmal, einer besonderen Unbestimmtheit. || einer bestimmten || besonderen Allgemeinheit.

4.4.43. Was Du für ein Geschenk hältst, ist ein Problem das Du lösen sollst.

Genie ist das, was uns das Talent eines || des Meisters vergessen macht.

Genie ist das, was uns Ms-127,71 das Talent || Geschick vergessen macht.

In dem Meistersinger Vorspiel z.B. schaut das Geschick durch. Wo das Genie dünn ist kann das Geschick durchschauen || durchblicken. (Meistersinger Vorspiel.)

Genie ist das, was macht daß wir das Talent des Meisters nicht sehen können.

Nur wo das Genie dünn ist, kann man das Geschick || Talent sehen. Ms-127,72

27.2.44.      Warum soll ich nicht Ausdrücke entgegen ihrem ursprünglichen Gebrauch verwenden? Tut das z.B. nicht Freud || der Wissenschaftler, wenn er auch einen Angsttraum einen Wunschtraum nennt? Wo ist der Unterschied? In der wissenschaftlichen Betrachtung ist der neue Gebrauch durch eine Theorie gerechtfertigt. Und ist diese Theorie falsch, dann ist auch der neue, ausgedehnte Gebrauch aufzugeben. In der Philosophie aber sind es nicht wahre oder falsche Meinungen über Naturvorgänge, Ms-127,73 auf die sich der ausgedehnte Gebrauch stützt. Keine Tatsache || Erfahrung rechtfertigt ihn (&) || , keine kann ihn stützen.

Wir sagen: || Man sagt uns: “Du verstehst doch diesen Ausdruck? Nun, so wie Du ihn immer verstehst, || in der Bedeutung, die Du kennst, so gebrauche auch ich ihn.” || Nun also, in der Bedeutung, die Du kennst, gebrauche auch ich ihn.” [Nicht: “… in der Bedeutung …”] Als wäre die Bedeutung eine Aura, die das Wort in jederlei Verwendung herübernimmt || mitbringt. || , die das Wort mitbringt & in jederlei || jede Art der Verwendung Ms-127,74 herübernimmt.

28.2.44.      Ein Traum: Mir fiel das Wort “Feura Eisen Krieg” ein, das ich in meiner Jugend viel gehört habe. Es heißt eigentlich ‘Feuer & Eisen Krieg’ & bezieht sich auf irgend einen Krieg im letzten Jahrhundert in der Zeit etwa || ungefähr des österreichisch-preußischen. Die Generation meiner älteren Geschwister und Cousins (Robby) habe es || das Wort oft gebraucht || oft vom ‘Feura Eisen Krieg’ gesprochen. Ich denke, wie viele Wörter man heute nicht mehr hört, die damals gang & gäbe waren die Konversation charakterisiert haben.

29.2.44      Wer sagt, daß er den Ms-127,75 Satz “ich sehe dies” (oder “dies ist hier”, oder “ich bin hier”) versteht, & daß also dieser Satz Sinn hat, der rufe sich die besonderen Umstände ins Gedächtnis in denen diese Sätze (außerhalb der Philosophie) gebraucht werden. In diesem Zusammenhang || dieser Umgebung haben sie freilich Sinn.

1.3.44.      Log. Phil. Abh. (4˙22) Der Elementarsatz … ist … eine Verkettung von Namen.      3˙21 Der Konfiguration der einfachen Zeichen im Satzzeichen entspricht die Konfiguration der Gegenstände in der Sachlage. 3˙22 Der Name vertritt im Satz Ms-127,76 den Gegenstand. 3˙14 Das Satzzeichen besteht darin, daß sich seine Elemente, die Wörter, in ihm auf bestimmte Art & Weise zu einander verhalten.      Das Satzzeichen ist eine Tatsache. 2˙03 Im Sachverhalt hängen die Gegenstände zusammen || ineinander, wie die Glieder einer Kette. 2˙0272 Die Konfiguration der Gegenstände bildet den Sachverhalt. 2˙01 Der Sachverhalt ist eine Verbindung von Gegenständen (Sachen, Dingen.)

Die sprachwidrige Verwendung des Wortes “Gegenstand” & “Konfiguration”! Eine Konfiguration kann aus Ms-127,77 fünf || einer Anzahl von Kugeln in gewissen räumlichen Beziehungen bestehen; aber nicht aus den Kugeln und ihren räumlichen Beziehungen. Wenn || Und wenn ich sage: “ich sehe hier drei Gegenstände” auf diesem Tisch”, so meine ich nicht: ein Glas, eine Flasche || zwei Kugeln & ihre gegenseitige Lage.1

Man kann allerdings, für Andere verständlich, von Kombinationen von Farben mit Formen sprechen (der Farben rot & blau, z.B., mit den Formen Quadrat & Kreis) & || oder ähnlich auch von Kombinationen von verschiedenen || verschiedener || von Formen mit (verschiedenen) Lagebeziehungen Ms-127,78 (übereinander, nebeneinander etc.).      Und hier ist eine Wurzel meines schiefen Ausdrucks.

Wenn wir unsere Sätze umformen: “die Flasche hat die Eigenschaft Blau” sagen, statt “die Flasche ist blau”; “die Flasche steht zum Glase in der Beziehung Rechts”, statt “die Flasche steht rechts vom Glase” u.s.f. – so kann es scheinen den Anschein gewinnen, als sei jeder Satz eine Verbindung von Namen. Denn || ; denn alle Wörter mit, sozusagen, materieller Bedeutung erscheinen hier verstreut in einem Netz rein logischer Beziehungen.      Und wieder: || – Allen || allen Wörtern im Satz entsprechen Ms-127,79 Gegenstände. || : Z.B. im Satz “Peter ißt drei Äpfel” bezeichnet “Peter” das, “ißt” das, “drei” das & “Äpfel” das. || Gegenstände. “Peter” z.B. bezeichnet das, “ißt” bezeichnet das … || Gegenstände: Der Name “Peter” z.B. bezeichnet das, “ißt” bezeichnet das, …

Ein Bild ‥‥‥ wiederholen.

Wenn Einer z.B. sagt, der Satz “Dies ist hier” (wobei er auf einen Gegenstand zeigt || weist) habe für ihn Sinn, so möge er sich fragen, unter welchen besonderen Umständen man diesen Satz verwendet. In diesen hat er dann Sinn. Ms-127,80

3.3.44. + Und warum soll man hier nicht das Vorschweben eines Phantasiebildes durch das Sehen eines gemalten Bildes ersetzen können? Ist das letztere etwa zu lebhaft? [Ein ähnlicher Satz schon im M.S.]

4.3.44 “Warum darf || soll es in der Mathematik keinen Widerspruch geben dürfen?” – Nun, warum darf es in unsern einfachen Sprachspielen keinen geben? (Da besteht doch gewiß ein Zusammenhang.) Ist das also ein Grundgesetz, das alle denkbaren Sprachspiele Ms-127,81 beherrscht?

Angenommen ein Widerspruch in einem Befehl z.B. bewirkt Staunen & Unentschlossenheit – & nun sagen wir: das eben ist der Zweck des Widerspruchs in diesem Sprachspiel.

Es ist eines eine mathem. Technik zu gebrauchen, die darin besteht, den Widerspruch zu vermeiden || dem Widerspruch zu entgehen, & ein anderes gegen den Widerspruch in der Mathematik überhaupt zu philosophieren. Ms-127,82

Friede in den Gedanken. Das will die Philosophie || Das ist das ersehnte Ziel dessen, der philosophiert.

A hat beim Bauen die Länge & Breite einer Fläche gemessen & gibt dem B einen Befehl von der Form “Bring mir 15 × 18 Platten”. B ist dazu abgerichtet 15 mit 18 auf dem Papier zu multiplizieren & dem Resultat entsprechend eine Menge von Platten abzuzählen.

Der Satz 15 × 18 = – – – – braucht natürlich nie ausgesprochen zu werden.

Sagt denn der Widerspruch nichts? Nun, macht er mich auf nichts Ms-127,83 aufmerksam?!

Der Widerspruch. Warum grad dieses eine Gespenst? Das ist doch sehr verdächtig.

Warum sollte eine Rechnung zu einem praktischen Zweck angestellt die einen Widerspruch ergibt mir nicht sagen: “Tu wie Dir's beliebt, die Rechnung entscheidet || ich die Rechnung entscheide darüber nicht.”?

Der Widerspruch könnte als Wink der Götter aufgefaßt werden, daß ich handeln soll & nicht überlegen.

‘Es gibt eine Klasse von Klassen, aber nicht Ms-127,84 einen Löwen von Löwen.’

– – – Um jemand drauf aufmerksam zu machen, daß “Löwe” nicht etwas bezeichnet, was selbst ein Löwe sein kann; “Klasse” aber etwas, was eine Klasse ist. || Um jemand drauf aufmerksam zu machen, daß “Löwe” nicht etwas ist || bezeichnet was zu den Löwen gehören kann; || , aber “Klasse” etwas, was zu den Klassen gehört.

Man kann sagen: das Wort ‘Klasse’ wird reflexiv gebraucht; auch dann, z.B. wenn man Russells Ms-127,85 Theorie der Typen anerkennt. Denn es wird ja auch in ihr reflexiv gebraucht.

‘Klassen bilden eine Klasse, Löwen aber keinen Löwen.’

– – – daß ‘Löwe’ & ‘Klasse’ Klassenwörter sind, aber ‘Löwe’ ein Klassenwort ist, das nicht auch einen Löwen bezeichnet, ‘Klasse’ aber ein Klassenwort …

Die Klasse der Katzen ist keine Katze: Die Bezeichnung “die Klasse der Katzen” wird grundverschieden verwendet von der Bezeichnung für eine Katze. – Die Klasse der Klassen ist eine Klasse: Ms-127,86 es hat Sinn von Klassen von Katzen, Hunden, etc., zu reden & auch von Klassen von Klassen. Und die Verwendung in diesen beiden Fällen ist in vieler Beziehung ähnlich. Es ist also nicht so wie wenn ich sage “Löwe ist ein Löwe” etc. …

Was die Katzen ‘bilden’ ist doch nicht eine Katze; aber Klassen bilden eine Klasse.

“Ich lüge immer.” – Du hast Deine eigene Aussage als falsch erwiesen. Denn Ms-127,87 lügst Du sonst immer so hast Du jetzt die Wahrheit gesprochen, oder || ist es wahr so hast Du jetzt die Wahrheit gesprochen & lügst nicht immer, ist es aber falsch so lügst Du nicht immer.      Wenn ich nun fragte: kann || soll man diesem Menschen trauen?

Oder er sagt: “Ich spreche immer die Unwahrheit; nimm also immer das Gegenteil von dem an, was ich sage”. Dies soll eine Regel sein. Wie soll man sich nun nach ihr richten.

Denke Dir ein Spiel das als Orakel verwendet wird; sein Ausgang bestimmt was in einem bestimmten Falle zu geschehen hat. Und nun ändern wir dieses Spiel ohne uns der Folgen bewußt zu sein in solcher Weise ab, Ms-127,88 daß es widersprechende Entscheidungen gibt. In welcher Situation befinden sich nun diese Menschen? Was sollen sie tun? Sie können diese Variante des Spiels aufgeben & sagen: Das ist kein Orakelspiel. Oder sie können sagen: “Der Gott will zu uns nicht sprechen”; & anderes.

Einer kommt zu Leuten & sagt: “Ich lüge immer”. Sie antworten: “Nun, dann können wir dir trauen!” || “Wer das sagt, dem kann man trauen!”. – Aber konnte er meinen, was er sagte? Und warum nicht? Gibt es nicht ein Gefühl, || : man sei unfähig etwas wirklich Wahres Ms-127,89 zu sagen; sei es was immer. || ? –

“Ich lüge immer!” – Nun, & wie war's mit diesem Satz? – “Der war auch gelogen!” – Aber dann lügst du also nicht immer!” – “Doch, alles ist gelogen!”      Wir würden vielleicht von diesem Menschen sagen, er meint mit “wahr” & mit “lügen” nicht dasselbe was wir damit meinen. Er meine etwa, || vielleicht so etwas wie: alles, was er sage, flimmere; oder nichts komme wirklich vom Herzen.

Man könnte auch sagen: sein “ich lüge immer” war eigentlich keine Behauptung. Ms-127,90 Eher war es ein Ausruf.

Man kann also sagen: “Wenn er jenen Satz nicht ohne Gedanken aussprach, – so mußte er die Worte || Wörter so & so meinen, er konnte sie nicht auf die gewöhnliche Weise meinen”? || er konnte sie nicht mit der gewöhnlichen Bedeutung || den gewöhnlichen Bedeutungen aussprechen”?

Wenn eine Regel Dich nicht zwingt, so folgst du keiner Regel.

Aber wie soll ich ihr denn folgen; wenn ich ihr doch folgen kann, wie ich will? Ms-127,91

Wie soll ich dem Wegweiser folgen, wenn alles, was ich tue, ein Folgen ist?

Aber daß alles auch als ein Folgen gedeutet werden kann, heißt doch nicht, daß alles ein Folgen ist.

Aber wie deutet denn also der Lehrer dem Schüler die Regel? (Denn der soll ihr doch gewiß eine bestimmte Deutung geben.) – Nun, wie anders, als durch Worte & Abrichtung?      Und der Schüler hat die Regel (so gedeutet) inne, wenn er so & so auf sie reagiert.      Das aber ist wichtig, Ms-127,92 daß diese Reaktion, die uns das Verständnis verbürgt, nur unter bestimmten Umständen, in der Umgebung bestimmter Lebens- und Sprachformen existiert || existieren kann. (Wie es keinen Gesichtsausdruck gibt ohne Gesicht.) (Dies ist eine wichtige Gedankenbewegung.) || verbürgt, bestimmte Umstände, bestimmte Lebens- und Sprachformen als Umgebung, voraussetzt. (Wie es keinen Gesichtsausdruck gibt ohne Gesicht.) (Dies ist eine wichtige Gedankenbewegung.) ||      verbürgt, nicht unter allen Umständen existieren kann. (Wie es keinen Gesichtsausdruck gibt ohne Gesicht.) (Dies ist eine wichtige Gedankenbewegung.)

– – – D.h.er kann antworten, wie ein verständiger Mensch & doch das Spiel Ms-127,93 mit uns nicht spielen.

– – –      Und Denken und Schließen (sowie das Zählen) ist für uns natürlich nicht durch eine willkürliche Definition begrenzt || umschrieben, sondern durch natürliche Grenzen, denen || dem Körper dessen entsprechend was wir die Rolle des Denkens und Schließens in unserm Leben nennen können.

Zwingt mich eine Linie dazu ihr nachzufahren? Nein; aber wenn ich mich dazu entschlossen habe sie so als Vorlage zu gebrauchen, dann zwingt sie mich. – Nein; dann Ms-127,94 zwinge ich mich, sie so zu gebrauchen. Ich halte mich gleichsam an ihr fest. – Aber hier ist doch wichtig || wichtig ist hier doch, daß ich sozusagen ein für allemal den Entschluß mit der allgemeinen Deutung fassen || fassen & halten kann, & nicht bei jedem Schritt von frischem deute || Deutungsarbeit vollziehe.

Die Linie, könnte man sagen, gibt's mir ein, wie ich gehen soll. Aber das ist natürlich nur ein Bild. Und gäbe sie mir jedesmal etwas anderes ein, so folgte ich ihr nicht als Regel. Und was “anderes” & was “das gleiche” heißt, wie ist das zu beurteilen. Rolle der Wörter in unserm Leben. || das wird Ms-127,95 die Rolle bestimmen, die diese Wörter in unserm Leben spielen. || (das) wird das Leben bestimmen, das mit diesen beiden Wörtern operiert.

“Die Linie gibt mir ein, wie ich gehen soll”, das ist eigentlich nur eine Paraphrase dafür || der Feststellung || Aussage, daß sie || das paraphrasiert nur, daß sie mein letztes Kriterium || meine letzte Instanz dafür ist wie ich gehen soll.

– – – und was “anderes” & was “das gleiche” heißt, das kann nun nur noch von der übrigen Verwendung dieser Wörter im Leben abhängen.

Wann sagen wir, daß Leute in ihrer Ausdrucksweise Ms-127,96 übereinstimmen? – Nun was kann die Sprache hier sagen? – – Man kann etwa sagen || Etwa, daß sie alle diese Farbe “rot” nennen, dieses Ding “einen Tisch”, diese Dinge “längengleich” nennen || als “gleich” oder “übereinstimmend” beschreiben, etc. u.s.f.

“– – und gäbe sie mir jedesmal etwas andres ein – – –”. Das heißt ja doch: nur dann ist sie eine || meine Regel, wenn sie mir etwas regelmäßiges eingibt! Und das heißt doch nichts.

Denke Dir einer folgte einer Linie als Regel auf diese Weise: Er hält einen Zirkel dessen Ms-127,97 eine Spitze er der Linie entlang || nach führt während die andere Spitze eben die Kopie der ersten || dieser Linie || die neue Linie zeichnet, die der Regel folgt. & während || Und wie er so der Regel-Linie entlang fährt || geht öffnet & schließt er den Zirkel || ändert er die Öffnung des Zirkels anscheinend mit großer Sorgfalt || Genauigkeit wobei er immer auf die Regel schaut als bestimme sie sein Tun || was er tut. Wir nun, die wir ihm zuschauen, sehen keinerlei Regelmäßigkeit in seinem Folgen. Wir glauben ihm aber die Linie || Regel habe ihm eingegeben was er tat.

Wir würden hier wirklich sagen: Die Vorlage scheint ihm einzugeben wie er zu gehen hat.      Aber sie ist keine Regel. Ms-127,98

– – – das kann nur das Leben entscheiden.

Wie wenn Einer folgt der Reihe x = 1, 3, 5, 7, … folgte || Nimm an Einer folgt der Reihe x = 1, 3, 5, 7, … indem er die Reihe der y = x² + 1 hinschriebe || hinschreibt; & sich nun fragte || er fragte sich: “aber tue ich auch immer das Gleiche, oder jedesmal etwas anderes?”

“Das Gleiche tun” ist mit “der Regel folgen” verknüpft.

Wie ist das zu entscheiden, ob er immer das gleiche tut wenn er sich von der Linie eingeben läßt || wenn ihm die Linie eingibt wie er gehen soll? Ms-127,99

Wollte ich nicht sagen: nur das gesamte || ganze Bild der Verwendung des Wortes gleich in seiner Verknüpfung || Verwebung mit den Verwendungen der andern Wörter könne || kann entscheiden, ob er das Wort verwendet wie wir?

Tut er nicht immer das Gleiche, nämlich, es sich von der Regel || Linie eingeben zu lassen, wie er gehen soll? Wie aber, wenn er sagt, die Linie gebe ihm einmal dies einmal jenes ein? Könnte er nun nicht sagen: er tue in einem Sinne immer das Gleiche, aber einer Regel folge er doch nicht? Ms-127,100      Und kann aber auch nicht der, der einer Regel folgt, doch sagen, in einem gewissen Sinne tue er jedesmal etwas Anderes? So bestimmt also, ob er das Gleiche tut, oder immer etwas anderes, nicht, ob er der Regel folgt.

Nur so kann man das Folgen einer Regel || den Vorgang einer-Regel-Folgen beschreiben, daß man in anderer Weise beschreibt, was wir dabei tun.

Hat es einen Sinn, zu sagen: Wenn die Leute in ihren Handlungen nicht übereinstimmten, würden wir es nicht “einer Regel folgen” Ms-127,101 nennen? – Doch, es hat Sinn. Wenn wir in ein fremdes Land kämen & fänden etwas in mancher || irgendeiner Beziehung einer Regel ähnliches vor & Leute handelten nachdem sie dies Regelähnliche ansähen aber jeder, soweit wir sehen könnten, auf andere Weise, so würden wir sagen. Dies schaut zwar wie eine Regel aus ist aber nicht was wir Regel nennen. – – –

Kann ich aber auch sagen: “Ich stimme mit den Andern nicht überein also folge ich offenbar nicht einer Regel.”? – Könnte ich Ms-127,102 aber nicht dennoch sagen: “Ich stimme mit niemand beim Multiplizieren (z.B.) überein; ich muß verrückt sein; ich folge offenbar nicht einer Regel obwohl ich glaube ihr zu folgen”?

Die Andern folgen einer Regel, wenn ich sie von ihnen absehen kann.

[In der Philosophie halt machen]

Ich lerne nicht Regeln folgen indem ich lerne mit Andern übereinstimmen. Weil das eine ebenso schwer zu Ms-127,103 lernen ist wie das andere.

Wer “Übereinstimmen” nicht versteht, kann auch “einer Regel folgen” nicht verstehen; & wer dieses nicht versteht, auch jenes nicht.

Hätte es einen Sinn zu sagen: “Wenn er jedesmal etwas anderes täte, würden wir nicht sagen: er folge einer Regel”? Das hat, glaube ich keinen Sinn.

Einer-Regel-Folgen ist ein bestimmtes Sprachspiel. Wie kann man es Ms-127,104 (jemandem) beschreiben? Wann sagen wir, er habe die Beschreibung verstanden? – Wir tun dies & das; wenn er nun so & so reagiert hat er das Spiel verstanden. Aber wohl gemerkt: das “dies & das” & || & das “so & so” enthält (noch) kein “und so weiter”. Denn verwendete ich bei der Beschreibung ein “und so weiter” & einer fragte mich was heißt das so müßte ich es wieder durch spezielle Handlungen || Beispiele erklären oder aber etwa durch eine Geste. Ms-127,105 Und ich würde es dann etwa als Zeichen des Verständnisses von “und so weiter” ansehen wenn er die Geste mit einem verständnisvollen Gesichtsausdruck wiederholte & auch entsprechend (gewisse) Beispiele in der & der Weise ausführte.

Wenn man Beispiele aufzählt & dann sagt “und so weiter” so wird dieser Ausdruck auf andere Weise erklärt, als die vorhergehenden Beispiele. Ms-127,106

Wer von einem Tag auf den andern sagt || verspricht “morgen werde || will ich das Trinken aufgeben”, verspricht der jeden Tag dasselbe, oder jeden Tag etwas anderes?

Nimm an eine Linie gebe mir ein wie ich ihr folgen soll; d.h., wenn ich ihr mit den Augen folge || nachgehe, so sagt mir etwa eine innere Stimme: zieh so. – Nun, was ist der Unterschied zwischen diesem Folgen || Vorgang, einer Art Inspiration zu folgen & dem Vorgang einer Regel zu folgen? Denn sie sind doch nicht das Gleiche. Nun, in dem Fall der Ms-127,107 Inspiration warte ich auf die Anweisung. Ich werde einen Andern nicht meine || eine Technik lehren können der Linie zu folgen. Es sei denn ich lehre ihn eine Art des Hinhorchens, der Rezeptivität etc. Aber dann kann ich natürlich nicht verlangen, daß || überrascht sein wenn er nun der Linie anders folgt als ich || erwarten, daß er der Linie so folgt wie ich.

Man könnte sich auch so einen Unterricht in einer Art von Rechnen denken. Die Kinder können dann ein jedes auf seine Weise rechnen; solange sie nur auf die Ms-127,108 innere Stimme horchen & ihr folgen. Dieses Rechnen wäre wie ein Komponieren.

Denn gehört nicht dazu einer Regel zu folgen || zum Befolgen einer Regel die Möglichkeit einen Andern im Folgen abzurichten? Und zwar durch Beispiele. Und das Kriterium seines Verständnisses muß die Übereinstimmung der einzelnen Handlungen sein. Also nicht wie beim Unterricht in der Rezeptivität.

Wie folgst du der Regel? Ich mach es so ‥․. Ms-127,109 & nun folgen allgemeine Erklärungen & Beispiele.      Wie folgst Du dem was Dir die Linie eingibt? Ich sehe auf sie hin, halte mich ganz still etc.

‘Ich würde nicht sagen daß sie mir immer etwas anderes eingibt || eingebe, wenn ich ihr als Regel folgte’. Kann man das sagen?

Wann sagen wir: “Sie gibt mir das als Regel ein – immer das Gleiche”. Und anderseits: “Sie gibt mir immer wieder ein, was ich zu tun habe; || – sie ist keine Regel.”      Im ersten Fall heißt es: Ms-127,110 ich habe keine weitere Instanz dafür was ich zu tun habe. Die Regel tut es ganz allein; ich brauche ihr nur zu folgen (& folgen ist eben nur eins). Ich fühle nicht etwa || z.B., es ist seltsam daß mir die Linie immer etwas sagt. – Der andre Satz sagt: Ich weiß nicht zum voraus was ich tun werde die Linie wird's mir sagen.

Die Kunstrechner, die zum richtigen Resultat gelangen, aber nicht sagen können, wie. Sollen wir sagen: sie rechnen nicht? (Eine Familie von Fällen.)

[Bemerkung: diese Dinge Ms-127,111 sind viel feiner gesponnen, als grobe Hände ‥‥․]

Kann ich nicht einer Regel zu folgen glauben? Gibt es diesen Fall nicht? [Siehe lesen, träumen]

∣ Es kann eine Ethik geben die Fälle beschreibt, zusammenstellt, & fragt: was sagst Du nun dazu? Sieh' wie Du von dem & dem Faktor beeinflußt wirst, u.s.w. ∣

Und kann ich dann nicht auch keiner Regel zu folgen glauben & doch einer folgen. Würden wir nicht auch etwas so Ms-127,112 nennen?

Wie kann ich das Wort “gleich” erklären? – Nun, durch Beispiele. – Aber ist das alles? gibt es nicht eine noch tiefere Erklärung; oder muß nicht jedenfalls das Verständnis der Erklärung tiefer sein? – Ja, hab ich denn selbst ein tieferes Verständnis? Habe ich mehr als ich in der Erklärung gebe?

Woher aber (dann) das Gefühl, ich meinte || hätte mehr, als ich sagen kann?      Ist es, daß ich das nicht Begrenzte als immer Ms-127,113 weitergehend deute? (Dauerlauf – Ziel)

Die Verwendung des Wortes “Regel” ist mit der Verwendung des Wortes “Gleich” verknüpft || verwoben.

Überlege Dir: Unter welchen Umständen wird der Forschungsreisende sagen:      Das Wort … dieses Stammes heißt soviel wie unser “und so weiter”? Stelle Dir die Einzelheiten ihres Lebens & ihrer Sprache vor, die den Forscher || ihn dazu berechtigen würden.

“Ich weiß doch, was ‘gleich’ heißt!” – Daran zweifle ich nicht; ich weiß es auch. Ms-127,114

“Die Linie gibt's mir ein …”: Hier ist der Ton auf dem Ungreifbaren dieses Eingebens. Eben darauf daß nichts meine Handlung von der Regel trennt, daß nichts zwischen der Regel || ihr & meiner || der Handlung steht.

﹖ … und was hier “anderes”, & was “das Gleiche” heißt¤ kann nur das Leben zeigen || entscheiden || lehren in welchem diese Worte stehn; & ihr Gebrauch || ihre Verwendung ist mit der des Wortes “Regel” verknüpft.

﹖ … Und urteilte ich, sie gäbe mir jedesmal etwas anderes ein. Ms-127,115 ﹖ Und urteilte ich, sie gäbe mir unpredictable || willkürlich, gleichsam “verantwortungslos” “unvorhersehbar” || gleichsam mit Willkür dies & || oder das ein, so folgte ich ihr nicht als Regel.      – Aber das ist doch nicht wahr. Man könnte sich denken, daß einer mit solchen Gefühlen multipliziert, richtig multipliziert; immer wieder sagt: “Ich weiß nicht – jetzt gibt mir die Regel auf einmal das ein!” & wir ihm antworten: “Freilich; Du gehst ja ganz der Regel gemäß vor”.

Einer Regel folgen: das läßt sich verschiedenem entgegensetzen. Der Forschungsreisende wird unter anderm auch Ms-127,116 die Umstände beschreiben müssen unter denen die Menschen || einzelne Leute nicht von sich selbst sagen, sie folgten einer Regel || ein Einzelner von diesen Leuten nicht von sich selbst sagt, er folge einer Regel.

… Und urteile ich, sie gebe mir, gleichsam verantwortungslos, dies, oder das || eines, oder das andere ein, so würde ich nicht sagen, ich folgte ihr als einer Regel.

Aber könnten wir nicht auch rechnen, wie wir rechnen (Alle gleich || übereinstimmend etc.) & doch bei jedem Schritt das Gefühl haben, von den Regeln wie von Zauberformeln || einem Zauberstab || wie von einem Zauber geleitet zu werden; etwa erstaunt darüber, daß wir übereinstimmen? (Der Gottheit etwa für diese Ms-127,117 Übereinstimmung dankbar.)

Daraus siehst du nur, wieviel zu der Physiognomie dessen gehört, was wir im alltäglichen Leben “einer Regel folgen” nennen!

Man folgt der Regel ‘mechanisch’. Man vergleicht sich also mit einer Maschine || einem Mechanismus.

Ich habe mir oft in Newcastle vorgesagt “it's always darkest before the dawn”, & nie geglaubt, es könne noch einen Morgen geben.

Der Körper der großen Menschen muß sehr gesund sein. Wie könnte er die geistigen Erschütterungen Ms-127,118 der großen Werke aushalten?

‘Mechanisch’, das heißt: ohne zu denken. Aber ganz ohne zu denken? Ohne nachzudenken.

Wir könnten sagen: || Der Forscher könnte sagen: Sie folgen Regeln, aber es sieht doch ganz anders aus als bei uns.

Kann man sagen, daß das mechanische Ergreifen & Verfolgen der Regel eine Naturerscheinung der menschlichen Psychologie ist? Daß z.B. der Forscher sagen kann: Diese Leute zeigen ihren Kindern gewisse Ms-127,119 Tätigkeiten, geben ihnen Beispiele & dann machen die Kinder, wenn man ihnen den Regelausdruck zeigt, dasselbe, was die Erwachsenen tun.

Wie handelt man nach einer Regel? – Man tut etwas mit Sicherheit nach ihr? – Aber irgend etwas? – Nein, wir müssen vom Andern die Regel lernen können, so daß wir dann übereinstimmend mit ihm nach ihr handeln. – Und was heißt übereinstimmend mit ihm handeln? – Nun da kann ich nur Beispiele geben. Ms-127,120

Die Liebe hat sozusagen zwei Temperaturen; einen Hitzegrad und einen Wärmegrad.

Ist es denn aber möglich, eine Beobachtung zu machen ~g ⊃ ~s?      Nun ich kann z.B. beobachten daß s & g || s ∙ g.      Wie, wenn ich sagte: Wer ~g ⊃ ~s beobachtet, wenn er s ∙ g vor sich sieht || hat, der sieht das Factum anders an? Es interessiert ihn daran ein andrer Aspekt? || .

Kann ich denn nicht weiß vor mir sehen & beobachten ~g? oder kann ich dies Ms-127,121 nur schließen?

Kann ich nicht auf die Beobachtung von grün, oder ~grün eingestellt sein? Etwa dadurch daß ich eine grüne Vorlage zum Vergleich vor mir habe.      Oder ich habe eine Vorlage || ein Paradigma vor mir der Art       ~g   g   g      ~s s ~s      Der Beobachter ist ganz auf diesen Aspekt der Sache eingestellt. Seine Aufmerksamkeit ganz von ihm eingenommen. Ms-127,122

Ist es denn denkbar, daß jemand r ∙ s beobachtet & dann || auch ~ r beobachtet?      Ist es denkbar, daß jemand eine Gruppe von Äpfeln als 2 + 2 Äpfel sieht & auch als 5 Äpfel? Nun, es ist möglich daß er sie nicht als 4 sondern immer nur als 2 + 2 sieht & wenn er nun trachtet sie zusammenzufassen, daß sie ihm als 5 erscheinen. Nur ist das jedenfalls eine sehr seltene Erscheinung. So selten, daß wir sie aus den Beobachtungen von denen wir Notiz nehmen ausschließen || Und wir schließen sie aus den Beobachtungen Ms-127,123 von denen wir Notiz nehmen aus.

– – – und wäre das nicht, wie könnte ein Satz wie “What's done cannot be undone” uns etwas sagen?

Der Eine sucht nur nach einer roten Blume mit blauem Stern in der Mitte. Ihm fällt nur dieser Komplex von Farben und Formen auf, oder sein Fehlen.      Oder Einer sucht nach etwas Rotem; er sieht jene Blume, kennt sie wohl, hat oft nach ihr, nach diesem Farbenkomplex, gesucht; aber es fällt ihm nicht auf, daß ja hier || hier ja etwas Rotes ist. “Ach da ist ja Rot”, könnte er sagen, “ich habe immer nur an etwas ganz rotes gedacht!” Ms-127,124

”Der Eine beobachtet r ⊃ b.” Er sieht etwa einmal unter den 6 Streifen einen roten & einen blauen; dann ändert sich das Bild & es ist kein roter & kein blauer da; dann wieder ein blauer, & kein roter; & || . Und immer sagt der Beobachter, es habe sich nichts geändert. Nun aber erscheint einmal ein roter Streifen ohne einen blauen, & nun sagt er jetzt habe sich das Bild geändert. || & er sagt, jetzt sehe er etwas anderes. || & er sagt, jetzt habe sich das Bild geändert. || & nun sagt er, er sehe jetzt etwas anderes.

“Daß das auch rot ist, daran habe ich gar nicht gedacht; ich habe es nur als Teil des mehrfärbigen Ornaments Ms-127,125 gesehen.”

Könnte Einer nun || nun Einer sagen: “Ja, ich sehe rot , || : insofern ich blau – & – rot sehe; aber anders nicht”?

Man könnte es sich aber auch so denken: Der, welcher beobachtet, daß r ⊃ b, kann meinetwegen auch r ∙ b sehen, aber er sagt nur “r ⊃ b”, weil das allein ihn interessiert. Ein anderer sagt aus demselben Grund “g ⌵ r” & ein Dritter schließt “g ⌵ b”.

”Aus ‘x hat Farbe’ folgt ‘x hat Form’ und umgekehrt; & doch Ms-127,126 sagen die beiden Sätze nicht dasselbe”.      Wie aber, wenn ich sagte: ”Nur eine Form kann eine Farbe haben”? Wo sind dann die beiden Sätze, die auseinander folgen & verschiedenen Sinn zu haben scheinen?

Ich könnte Erfahrungsschluß & logischen Schluß unterscheiden. Der Schluß von “x ist rot” auf “x ist nicht blau” ist ein logischer Schluß, obwohl x ∊ r ⊃ ~(x ∊ b) natürlich keine Tautologie ist.

Wie aber kann ich definieren was ich unter logischen Schluß verstehe? Ms-127,127

Man könnte sagen: logischer Schluß ist einer zu dem mich keine Erfahrung berechtigt. || dessen Rechtmäßigkeit an keine Erfahrung geknüpft ist. || dessen Rechtmäßigkeit die Regeln des Sprachspiels an keine Erfahrung knüpfen. Logischer Schluß ist ein Übergang der gerechtfertigt ist, wenn er einem bestimmten Paradigma gemäß ist || folgt, & dessen Rechtmäßigkeit nicht an Ergebnisse der Erfahrung geknüpft ist. || , & dessen Rechtmäßigkeit von sonst nichts abhängt. Ms-127,128

Auch der Teufel in der Hölle hat eine Form des Lebens; & die Welt wäre nicht vollständig ohne sie.

Wenn Kinder in der Geometrie zuerst den Begriff des Zylinders kennen lernen, fällt es ihnen oft schwer eine Münze als Zylinder aufzufassen, deren Dicke als Höhe des Zylinders.      Ähnlich könnte es jemand schwer fallen, etwas schwarz & weiß Gestreiftes als zusammengesetzt zu sehen aus schwarzen Stücken & weißen Stücken. Ms-127,129

r ∙ b ⊃ s․⊃․w      Wenn ich irgendwo 5 Gegenstände sehe, kann nicht, was mir auffällt sein: “mehr als 3”, oder “weniger als 7”, oder “zwischen 3 & 7”, oder “weniger als die Hälfte von 20”, oder “eine ungerade Zahl”, oder “kein Quadrat” etc.

One question a counter-irritant to another question.

Meine Frage ist nur: Kann es einem Menschen scheinen als sähe er r ∙ b und auch als sähe er ~r? So daß er also sagen müßte: aus r ∙ b folgt r & wenn wirklich r ∙ b da ist, so Ms-127,130 muß ich mich in der zweiten Beobachtung irren.

Erinnere dich daran, daß ein Rhombus als Raute angesehen oft nicht wie ein Parallelogramm ausschaut. Nicht aber, als schauten die gegenüberliegenden Seiten nicht parallel aus, sondern wir übersehen sie nur gleichsam.

Ich könnte mir denken, daß Einer sagt, er sähe einen weiß-gelben Stern aber nichts Gelbes – weil er den Stern gleichsam als eine Verbindung von Farbformen || Farbteilen sieht, die er nicht zu trennen vermag. Ms-127,131      Er hätte z.B. Figuren, wie die folgenden vor sich             & gefragt, ob er ein rotes Fünfeck sieht, würde er ‘ja’ sagen, aber auf die Frage, ob er ein gelbes sieht ‘nein’. Ebenso würde er sagen, er sähe kein rotes Dreieck, aber wohl ein blaues. – Auf die roten Dreiecke & die gelben Fünfecke in den Sternen aufmerksam gemacht würde er etwa sagen: “Ja, jetzt seh' ich's”; ich hatte die Sterne nicht so aufgefaßt”. Ms-127,132

Und so könnte es ihm auch vorkommen, man könne die Farben im Stern nicht trennen, weil man die Formen nicht trennen kann.

Was aber ist die Relevanz dieser ganzen || aller dieser Fragen?

Der kann die Geographie einer Gegend nicht kennen || übersehen lernen, der sich so langsam in ihr (herum)bewegt, daß er das eine || ein Stück längst vergessen hat wenn er zum nächsten || zu einem andern kommt.

Es scheint mir etwas in meinem Begriff des Schließens nicht in Ordnung zu sein. Ms-127,133

Ich möchte natürlich sagen: die Arithmetik lehre uns rechnen, aber nicht zählen.

Wir sagen: “Wenn ihr beim Multiplizieren wirklich der Regel folgt, muß das Gleiche herauskommen.” Nun, wenn dies || das nun || nur die etwas hysterische Ausdrucksweise einer || der Universitätserziehung || eines an der Universität Erzogenen || der Universitätsbildung || einer || der Universitätssprache ist, so braucht sie uns nicht sehr zu interessieren. || der etwas hysterische Ausdruck einer || der Universitätserziehung || eines an der Universität Erzogenen || der Universitätsbildung || der Universitätssprache ist, so braucht er uns nicht sehr zu interessieren. Es ist aber der Ausdruck einer Stellungnahme || Einstellung zu der Technik des Rechnens, die sich überall in unserm ganzen Leben zeigt.      Die Emphase des Muß entspricht nur der Unerbittlichkeit einer bestimmten Einstellung sowohl zur Ms-127,134 Technik des Rechnens, als auch zu unzähligen verwandten Tätigkeiten.

Das mathematische Muß ist nur ein andrer Ausdruck dafür, daß die Math. Begriffe bildet.      Und Begriffe dienen zum Begreifen. Sie dienen zu einer ganz bestimmten Behandlung der Sachlagen || Situationen.      Denn es ist ja durchaus nicht klar, daß wir auf Situationen in der Art reagieren müssen, wie wir es tun.       Ms-127,135

Die Mathematik bildet ein Netz von Normen.

Es ist wie wenn ein Maßkörper verschiedene || mehrere Facetten hätte & mit ihnen verschiedene Gegenstände zugleich & ihre gegenseitige Lage mäße. || beurteilen hülfe.

Wir messen Längen von Gegenständen mit Eisenstäben und nicht mit Teigstäben.

… Und ich muß einen Fehler machen dürfen ohne daß alles falsch ist was ich sage.

Man sagt manchmal: “Ja, Ms-127,136 das ist wieder einer von den beiden”; wenn man z.B. zwei Leute die man nicht genauer kennt wieder & wieder beisammen & einzeln begegnet. Die Beobachtung ist dann: “hier sehe ich wieder den A oder den B”.

Denke, Du hast ein Paradigma || Muster r g & benützt es zur Beurteilung von Flächen x y in der Art || Weise, daß die Farben mit dem Paradigma übereinstimmen || die Färbung mit dem Paradigma übereinstimmt, wenn eine der Farben r, g auf der Fläche vorkommt. Das Muster nenne ich in diesem Falle “rot-oder-grün”.

Es ist möglich den Komplex Ms-127,137 aus A & B sehen, ohne A, oder B, zu sehen. Es ist sogar || auch möglich den Komplex den || einen “Komplex von A & B” zu nennen & A nicht zu sehen sich einzubilden, diese Benennung deutete nur auf eine Art Verwandtschaft des || dieses Ganzen mit A & B hin. Es ist also möglich zu sagen, man sehe den Komplex von A & B, aber weder A noch B. Etwa wie man sagen könnte, es sei hier ein rötlich-gelb, aber weder rot noch gelb.

Kann ich nun A & B vor mir haben, & auch beide sehen, aber nur A ⌵ B beobachten? Nun in gewissem Sinne ist das doch möglich. Ms-127,138 Und zwar dachte ich mir es so, daß der Beobachter von einem gewissen Aspekt eingenommen sei; daß er etwa eine bestimmte Art von Paradigma vor sich habe, in einer bestimmten Routine der Anwendung begriffen sei. – Und wie er nun auf A ⌵ B eingestellt sein kann so auch auf A ∙ B. Es fällt ihm also nur A ∙ B auf & nicht z.B. A.      Auf A ⌵ B eingestellt sein heiße, könnte man sagen, mit dem Begriff A ⌵ B auf die Situation zu reagieren. Und genau so kann man natürlich auch mit A ∙ B reagieren || A ∙ B tun. Ms-127,139

Soll nun aber, wer A & B vor sich hat & mit A ⌵ B reagiert, auch vielleicht leugnen daß A ∙ B da ist, wenn er z.B. || etwa gefragt wird? Wenn er das täte käme er uns sinnverwirrt vor. Oder, sagen wir, er hätte A vor Augen & reagierte mit A ⌵ B, soll er dann, wenn gefragt, leugnen können, daß er A sieht?

Wenn einer urteilt “A ⌵ B”, muß ich ihn denn nicht fragen können: ‘Welchen besonderen Fall von “A ⌵ B” siehst Du jetzt?’?      Ich meine nicht daß es möglich ist einen Ms-127,140 Menschen so abzurichten, daß er bei A ⌵ B “ja” sagt & bei ~ (A ⌵ B) “nein” & im übrigen weder auf A noch auf B etc. reagiert. Aber würden wir von ihm || dem sagen er verstände den Ausdruck “A⌵B”?

Sagen wir, || : es interessiert Einen nur A ∙ B, & er urteilt also, was immer geschieht, nur “A ∙ B”, oder “~ (A ⌵ B)”; so kann ich mir denken daß er “A ∙ B” urteilt & auf die Frage “siehst du B” sagt “nein, ich sehe A ∙ B”. Etwa wie mancher, der A ∙ B sieht nicht zugeben wird, er sehe A ⌵ B. Ms-127,141

Aber die Fläche ‘ganz rot sehen’ & ‘ganz blau sehen’ sind doch gewiß ‘echte’ Erfahrungen & doch sagen wir Einer könne sie nicht zugleich || zu gleicher Zeit am gleichen Ort haben.

Wenn Einer uns nun versicherte er sehe diese Fläche ganz rot & zugleich ganz blau? Wir müßten sagen: “Du machst Dich uns nicht verständlich.”

Der Satz “1 Fuß = … cm” ist bei uns zeitlos. Man könnte sich aber auch den Fall denken, in welchem sich das Fußmaß & das Metermaß nach & nach etwas veränderten & dann immer wieder verglichen werden Ms-127,142 um in einander umgerechnet zu werden.

Ist aber nicht auch bei uns die relative Länge des Meters & Fußes experimentell bestimmt worden? Doch; aber das Ergebnis wurde zu einer Regel gestempelt.

Ist nun ein Schluß von “A ∙ B” auf “A ⌵ B die Umrechnung von einem Maß auf ein anderes?

Die Mathematik hat schon alles vorbereitet.

Eine Reihe hat doch für uns ein Gesicht! Wohl; aber welches? Ms-127,143 Nun doch das algebraische, & ein Stück Extension || & das eines Stücks der Entwicklung. Oder hat sie sonst noch eins? Aber in dem liegt doch schon alles! Wohl; aber das ist keine Feststellung, sondern – – – – –

Woher die Idee, als || es wäre die angefangene Reihe ein sichtbares Stück unsichtbar bis ins Unendliche gelegter Geleise || Gleise?

– – – keine Feststellung über das Reihenstück, oder das || etwas, was wir darin sehen, sondern die Feststellung daß wir nur auf den Ausdruck || Mund der Regel Ms-127,144 schauen, & tun, & nicht noch irgend eine Bestimmung treffen. || & nichts mehr der Willkür || unsrer Wahl überlassen. || & an keine weitere Anleitung appellieren.

Wenn er weiter weiß, so wird er weiter gehen & die Regel als den einzigen Grund seines Vorgehens angeben.

Der Vorgang des Ableitens hat einen Grund (Boden).

“Aber du siehst doch …” Nun, das ist eben die charakteristische Äußerung Eines, der von der Regel gezwungen ist.      Nimm an er stampfte dabei auf den Boden: nun hier hast Du einen seelischen Ms-127,145 Zustand!, wie Du ihn immer gewünscht hast.

– – – Wohl; aber das ist keine Feststellung über das Reihenstück, oder über etwas || , noch || , noch über etwas, was wir darin sehen, || erblicken, || ; sondern eben ein || eine Art Ausruf charakteristisch für die psychologische Situation & der Ausdruck dafür, ‥․ || der die psychologische Situation charakterisiert.

“Es ist schon alles … || – –, ich brauche nur mehr || noch … || – – !”

‘Also so ein Bild kommt Dir vor Augen!’ – könnte ich sagen.

Warum aber: “es liegt doch schon alles in ihr”? Ms-127,146 Ich brauche nur noch die Kurbel drehen; || , alles übrige macht die Maschine. Und die Kurbel drehen ist etwas so einfaches: ich kann es automatisch tun.

Ich glaube im Reihenstück ganz fein eine Zeichnung zu erblicken, die nur mehr das “u.s.w.” bedarf, um in die Unendlichkeit zu reichen.

“Ich erblicke ein Charakteristikum in ihr.” – Nun doch etwas, was dem algebraischen Ausdruck entspricht. “Ja, aber nichts Geschriebenes, sondern gleichsam || förmlich etwas Ms-127,147 ätherisches.” – Welches seltsame Bild! || . – “Etwas, was nicht der algebraische Ausdruck ist, sondern wofür dieser eben nur der Ausdruck ist.”

Ich erblicke etwas in ihr – ähnlich, wie die Gestalt im Vexierbild. Und sehe ich das, so sage ich: das ist alles, was ich brauche.      Wer den Wegweiser sieht || findet, sucht nun nicht nach einer weiteren Instruktion, sondern geht.

– – – sondern die Feststellung, daß wir an keine weitere Anleitung mehr appellieren. Ms-127,148

– – – sondern der Ausdruck dafür daß wir an keine weitere Anleitung mehr appellieren.

Die Regel zwingt mich || kann mich zwingen in mehr als einem Sinne, psychologisch & soziologisch z.B. durch die Macht der Gewohnheit oder menschliche Vorschriften. Aber diesen Zwang meine || an diesen Zwang denke ich nicht. Ich meine den viel härteren der darin besteht, daß die Regel schon alles vorgemacht hat, was ich ihr nachmachen kann, daß sie in logischer Schrift schon alles vorgeschrieben hat.

Einer Regel folgen: da gibt es viele verschiedene charakteristische Arten des Benehmens [Lesen].

Was wir ‘Sprache’ nennen Ms-127,149 ist eine Institution. Es könnte nicht einmal || nur einmal in der Geschichte der Menschheit ein Satz ausgesprochen & verstanden werden. Und so auch kein Befehl, & keine Regel. (Vergleiche damit den Gedankengang über die Möglichkeit einer privaten Sprache, zusammenhängend mit Idealismus und Solipsismus.)

Inwiefern kann man sagen, ein Satz der Arithmetik gebe uns einen Begriff. Nun, denken wir ihn uns || uns ihn nicht als Satz als Entscheidung einer Frage, sondern als eine, irgendwie anerkannte, Verbindung von Begriffen. . Ms-127,150

Die Frage ist aber: Was ist der Beweis & was ist der Satz ohne den Beweis.      Denn der Beweis schafft eine Begriffsverbindung & der Satz macht auch eine.

Und die Sätze müssen eine Möglichkeit sein die Beweise zu katalogisieren [Ursell]. Denn wie wüßte man || wüßten wir sonst welchen Satz wir den von dem Beweis bewiesenen nennen sollten?

Wie ist es aber mit unbewiesenen Sätzen? Nun, die warten eben noch auf Beweise die sie katalogisieren oder sie sind ihre eigenen Ms-127,151 Beweise (Axiome).

Der Beweis verschafft dem Satz Anerkennung.

Der Beweis zieht || spannt || schlägt || knüpft eine Kette || eine Brücke von Begriffsverbindungen.

“Wir untersuchen eine bestimmte Verbindung der Begriffe; wenn diese Verbindung existiert, dann verwenden wir die Begriffe so & so.” Aber was ist das denn für eine Verbindung? Denn es ist nicht die Verbindung der Zeichen.

Der Beweis reiht den Satz in ein System ein.

Könnte man sagen, daß Ms-127,152 der Beweis von 25² = 625 zeigt inwiefern 25² = 625 ist? Denn “y = 2x²” ist auch eine Gleichung, aber ihr Sinn ist eben ganz anders.

Der Satz “25² = 625” gibt mir, könnte man sagen, eine Anweisung wie die Begriffe 25² & 625 verwendet || angewendet werden können.

Der Satz & der Beweis müssen jeder in anderem || verschiedenem Sinne eine Begriffsverbindung || Begriffsverbindungen || eine Begriffsverbindung sein.

Die Gleichung 25² = 625 verändert den Gebrauch von 25 & 625. Ms-127,153

Das Gleichgesetzte 25² & 625 gibt mir nun könnte man sagen einen neuen Begriff. Und der Beweis zeigt was es mit dieser Gleichheit || Gleichsetzung für eine Bewandtnis hat.

625, mit 25² gleichgesetzt, ist ein neuer Begriff.

Man könnte schreiben: “Ich verteile 25² || 625 Nüsse unter die 25 Leute”.

Wie kann man den Satz von seinem Beweis loslösen? Dieser Satz zeigt natürlich eine falsche Auffassung.

Der Beweis ist eine Umgebung des Satzes. Ms-127,154

“25² = 625” ist eine Anweisung zum Gebrauch jener Zahlbegriffe. Und von jeder solchen Anweisung möchte ich sagen, sie gebe uns neue Begriffe. Denn was die Verwendungsart unserer Begriffe ändert, ändert unsre Begriffe.

Denn mit 625 = 25² zähle ich auch.

‘Begriff’ ist ein vager Begriff.

Nicht in jedem Sprachspiel gibt es etwas, was man “Begriffe” nennen kann.

Begriff ist etwas wie ein Bild womit man Gegenstände Ms-127,155 vergleicht. Und man urteilt daß der Gegenstand mit dem Bild übereinstimmt oder nicht übereinstimmt.

Im Sprachspiel (2) gibt es keine Begriffe. Man könnte aber seine Technik in solcher Weise leicht durch solche Zusätze zu einer Technik machen || erweitern || Man könnte aber in seine Technik leicht solche Zusätze einführen || Man könnte aber seine Technik leicht in solcher Weise erweitern || Man könnte es aber leicht durch eine solche || solche Technik erweitern, die Begriffe ins Spiel || zur Anwendung brächte || in seinen Mechanismus einführte. Man könnte z.B. Bilder einführen mit || nach welchen B die Bausteine, die Ms-127,156 er bringen soll erkennt, oder B lernte diese Formen zeichnen, oder beschreiben etc.¤ Es ist hier natürlich keine scharfe Grenze zwischen Sprachspielen die Begriffe verwenden || mit Begriffen arbeiten, & andern. Wichtig aber ist, daß das Wort “Begriff” sich auf einen || eine Art von Behelf im Mechanismus der Sprachspiele, auf einen charakteristischen Zug solcher Sprachspiele, bezieht. Aber man könnte es leicht so erweitern daß ‘Platte’ … zu Begriffen würden.

Es gibt nun unter diesen Bildern(, den Begriffen,) auch bewegliche. Oder, was auf dasselbe hinausläuft, wir lernen eine Konstruktionstechnik durch die wir aus einem Bild ein anderes Ms-127,157 erhalten. (Denn ich könnte z.B. zu einem Kreis durch einen Mechanismus oder durch Konstruktion eine entsprechende Ellipse zeichnen || erzeugen.)

Denke nun an den Mechanismus,2 und während       ein Punkt einen Kreis beschreibt beschreibt der andere eine 8. Nun aber schreiben wir das, als ‘Satz’, auf in der Form ⚪ → 8.

Wenn Begriffe Maßbehelfe sind, wer sagt Ms-127,158 denn daß meine Maßbehelfe starre Stäbe und dergl. & nicht Mechanismen sein dürfen?       Was ist aber dann jener Satz den ich durch den Mechanismus gewonnen habe? Nun, ersetzt er mir nicht den Mechanismus in einem besonderen Fall? Ist er nicht sozusagen ein Bild des Mechanismus in einer besonderen Lage?

Das Klavier ist da um || Klavierspielen dient dazu Musik zu machen. Aber könnte einer nicht auf der Klaviatur spielen um seine Finger gelenkiger || gelenkig Ms-127,159 zu machen (etwa auf Anraten des Orthopäden); oder um jemand eine chiffrierte Mitteilung zu machen. Was soll man noch Klavierspielen nennen, was nicht mehr. So ist es mit der Mathematik. – Was wäre nun reines Klavierspielen. Wäre es eine Tätigkeit bei der es erstens auf den Zweck nicht ankäme, zweitens natürlich auch nicht auf das äußere Mittel der Klaviatur?

Der Begriff, könnte man sagen, ist eine Methode des Beurteilens. Einen Begriff also bildet der, der eine neue Methode || Art der Ms-127,160 Beurteilung erfindet.      In diesem Sinne bildet die Mathematik immer neue Begriffe, die ‘mathematischen’ Begriffe. || neue Begriffe, die man gewöhnlich “mathematische” Begriffe nennt. Aber jeder mathematische Beweis ist wieder ein Begriff; gleichsam ein sich bewegendes Bild. Und der bewiesene Satz ist ein Bild dieses Bildes, nach gewissen || bestimmten Regeln der Abbildung.

Würde man von Einem sagen, er versteht || verstehe den Satz “563 + 437 = 1000”, der nicht wüßte, wie man ihn beweisen kann? Kannst Ms-127,161 Du || Kann man leugnen, daß es ein Zeichen des Verstehens des Satzes ist, wenn Einer weiß, wie er zu beweisen wäre?

Wie ist es dann aber mit den nicht beweisbaren || nicht entscheidbaren Sätzen?

Würde mir der Fermatsche Satz bewiesen, so verstünde ich ihn besser, wenn ich den Beweis kennte. || nachher || danach besser als vorher.

Das Problem eine mathematische Entscheidung eines Theorems zu finden könnte man mit einigem || gewissem Recht das Problem nennen einer Formel || Satzform mathematischen Sinn zu geben. Ms-127,162

Die Gleichung kuppelt (zwei) Begriffe; so daß ich nun von einem zum andern übergehen kann.

Merke: der falsche math. Satz hat nicht einen falschen Beweis, sondern gar keinen.

Wenn die Gleichung zwei Begriffe kuppelt, dann auch die falsche. Also z.B. 25 × 25 = 10.

Wenn ich aber einen Fehler im Beweis mache & so den falschen Satz falsch beweise!

Die Gleichung bildet eine Begriffsbahn. Aber ist eine Begriffsbahn ein Begriff??      Und wenn nicht || kein Begriff, ist (dann) Ms-127,163 ein scharfer Unterschied || eine scharfe Grenze zwischen ihnen?

Denke Du hast einen Menschen multiplizieren gelehrt. Er verwendet es || jemand eine Technik des Multiplizierens gelehrt. Er verwendet sie in einem Sprachspiel. Damit er nun nicht immer von neuem multiplizieren muß, schreibt er sich die Multiplikation in verkürzter Form, nämlich als Gleichung || als Gleichungen nämlich “X × Y = Z” “… × … = …” auf & benützt nun diese, wo er früher multipliziert hat.

[Man könnte sich aber auch den Fall denken daß Menschen durch einen merkwürdigen Zufall in den Besitz der Multiplikationstabelle (oder einer Rechenmaschine) Ms-127,164 gekommen wären. Und daß sie nun diese Dinge || Tabelle zu gewissen praktischen Zwecken benützten. wo wir rechnen würden.]

Von den Multiplikationen || der Technik des Multiplizierens sagt er, daß sie Verbindungen zwischen den Begriffen schlage || schlägt. Er wird dasselbe auch von der Multiplikation sagen. || der Multiplikation, als Bild || Aufzeichnung der || dieser Verbindung || dieses Übergangs, sagen. || als Bild des Übergangs sagen. Und endlich auch von der Gleichung: Denn es ist ja wesentlich, daß sich der Übergang auch einfach durch das Schema der Gleichung Ms-127,165 muß darstellen lassen. Daß also der Übergang nicht immer von neuem gemacht werden muß.      Wird er nun aber geneigt sein, vom Prozeß des Multiplizierens zu sagen, er || dieser sei ein Begriff?

Er ist doch eine Bewegung. Eine Bewegung, scheint es, zwischen zwei Ruhepunkten; diese sind die Begriffe.

Fasse ich den Beweis als eine || meine Bewegung zwischen den Begriffen || von einem Begriff zum andern auf, dann werde ich von ihm nicht auch sagen wollen er gebe nur einen neuen Begriff || selbst sei ein Begriff || ein neuer Begriff. Aber kann ich nicht den Beweis || die angeschriebene Multiplikation als ein Bild auffassen Ms-127,166 oder als einem Vorgang vergleichbar dem eines Zahlzeichens & als Begriffszeichen wie dieses funktionierend || einem Zahlzeichen, & kann sie nicht auch als Begriffszeichen so wie dieses funktionieren?

Warum bin ich || fühle ich mich nun versucht || fühle ich nun eine so starke Versuchung zu sagen die Gleichung gebe mir einen neuen Begriff? || in der Gleichung hätte ich einen neuen Begriff? (Sozusagen einen kombinierten Begriff.) Ist denn nicht ein scharfer Unterschied zwischen dem was Du mit der Gleichung & dem was Du mit ihren beiden Seiten tust?

Ich möchte sagen: die Gleichung zeigt || beiden Seiten der Gleichung sind die zwei Seiten desselben Begriffs. Ms-127,167

Ich möchte sagen: Wenn wir einmal die eine, einmal die andre Seite der Gleichung verwenden, verwenden wir zwei Seiten desselben Begriffs.

Aber warum soll ich zwei miteinander verbundene Begriffe einen Begriff nennen?

Weil, so möchte ich sagen, keiner der beiden Teile das wäre, was er ist, wenn diese Verbindung nicht existierte.

Du hast die begriffliche Institution geändert, als Du die Verbindung der beiden machtest. Ms-127,168

Ist der begriffliche Apparat ein Begriff?

Könnte nicht der Beweis von 25² = 625 beschrieben werden als: “25² 625 ergebend”? Man könnte sagen: das zeigt Dir wie 25² 625 ergeben || ergibt.

Die Gleichung 25² = 625 ist das Bild des Übergangs von “25²” auf “625”.

Ist der begriffliche Apparat nicht etwas anderes, als der einzelne Begriff?

Man kann die Erfindung einer Rechnungsart eine mathematische Entscheidung Ms-127,169 nennen.

Die beiden Begriffe werden in ein Bild aufgenommen; das, wie sie selbst, aufbewahrt wird.

Der math. Beweis knüpft eine neue Begriffsverbindung.

Das Bild des Experiments ist kein Experiment; das Bild des Beweises aber ein Beweis.

‘Er macht den Übergang nach dieser Gleichung.’ Ist also die Gleichung nicht das Bild dieser Handlung?

“Inhaltlich gedeutet”: ein elender Ausdruck! Ms-127,170 Wie deutet man denn inhaltlich? Was ist das für ein Vorgang? Ein psychischer || psychologischer? Und wann deutet man inhaltlich? Wenn uns gewisse Bilder in der Phantasie vorschweben; oder wenn wir den Satz anwenden? Oder wenn wir durch eine bestimmte Übersetzung uns zu einer bestimmten Anwendung vorbereiten?

Es ist (ja) etwas sehr Eigentümliches, daß wir uns überhaupt mit Tautologien || mit Tautologien überhaupt abgeben. Es ist nichts weniger als selbstverständlich. Und das würde Ms-127,171 sich uns noch klarer zeigen || uns noch klarer, wenn wir in Russells Tautologien spezielle || eine Anzahl || ein paar gewöhnliche || wirkliche Sätze statt der Variablen || der p, q, r etc. verwendeten. || wenn wir in Russell's Tautologien statt p, q, r etc. eine Anzahl wirklicher || wirkliche Sätze verwendeten.

Verstehe ich den Fundamentalsatz der Algebra nicht besser, wenn ich ihn beweisen kann, als wenn ich ihn nicht beweisen kann? Wie kann es sein, daß der Beweis nicht zu meinem Verständnis beiträgt, da er doch erst zeigt, wo dieser Satz zu Hause Ms-127,172 ist? Oder ist es hier wie mit “non” & “ne” wenn non non p = p ist aber ne ne p = ne p.

Hat der den gleichen Begriff der Fünf wie wir, der nur bis 5 zählen kann?

Wie zeigt denn einer, daß er einen mathematischen Satz versteht? Darin, etwa, daß er ihn anwendet. Also nicht auch darin, daß er ihn beweist?

Ich möchte sagen: der Beweis zeigt mir einen neuen Zusammenhang, daher gibt er mir auch einen neuen Begriff. Ms-127,173

Ist der neue Begriff nicht der Beweis selbst?

Du kannst doch gewiß, wenn der Beweis erbracht ist, ein neues Urteil bilden. Denn Du kannst doch nun von einer bestimmten Figur sagen, sie || einem bestimmten Muster sagen, es sei, oder sei nicht, dieser Beweis.

Ja, aber ist der Beweis als Beweis betrachtet, gedeutet, eine Figur? Als Beweis, könnte ich sagen, soll er mich von etwas überzeugen. Ich soll, auf ihn hin, etwas tun, oder lassen. Und auf einen neuen Begriff hin tue, oder lasse ich nichts. Ms-127,174 Ich will also sagen: der Beweis ist das Beweisbild in bestimmter Art verwendet.      Und das, wovon er mich überzeugt kann nun ganz || sehr verschiedener Art sein. (Denke an Beweise Russellscher Tautologien, Beweise in der Geometrie, oder || & in der Algebra.)

Der Mechanismus … kann mich von etwas überzeugen (kann etwas beweisen). Aber unter welchen Umständen – in welcher Umgebung von Tätigkeiten & Problemen – werde ich sagen er überzeuge mich von etwas?

Der Beweis davon daß Ms-127,175 die 3-Teilung des Winkels mit Lineal & Zirkel unmöglich ist überzeugt mich von dieser Unmöglichkeit & ich gebe daraufhin jeden weitern Versuch des Konstruierens auf. Der Beweis hat meine Tätigkeit geändert. Muß ich nun sagen, der Beweis gibt mir eine Überzeugung & auf die Überzeugung hin gebe ich eine gewisse Tätigkeit auf & sage Anderen etwa sie sei fruchtlos? Warum soll ich nicht sagen: ich sehe den Beweis & gebe darauf diese Versuche auf & so hat er mich also von etwas überzeugt. Ich meine: kann denn das Ereignis der Überzeugung Ms-127,176 nicht aber im Aufgeben der Versuche bestehen?

“Aber ein Begriff überzeugt mich doch von nichts, denn er zeigt mir keine || nicht eine Tatsache.” – Aber warum soll mich ein Begriff nicht vor allem davon überzeugen, daß ich ihn gebrauchen will? || .

Warum soll der (neue) Begriff, einmal gebildet, mir nicht unmittelbar den Übergang zu einem Urteil gestatten?

Im Beweis heißt es immer: “Das ist doch das; & das ist doch das; etc.” Dieses Ms-127,177 “doch” ist charakteristisch || ist für uns das Wichtige. “Davon”, heißt es, “willst Du doch nicht abgehen; etc.”.

Das Wort “doch” könnte man sagen, zeigt, daß ich Dich nur an etwas erinnere.

“Du gibst doch das zu; & das; etc.”. – “Gewiß!”.– könnte ich sagen. –”wenn ich damit nichts zugebe.”.

Wer die Brüche in eine Reihe ordnet, der gibt mir einen neuen Begriff. Es hat jetzt Sinn zu fragen: “Den wievielten Bruch hast Du angeschrieben?”; aber auch: Ms-127,178 ”der wievielte Bruch stellt diese Länge dar?”.

Ebenso erlaubt mir die Zuordnung von Konstruktionsmethoden zu Arten algebraischer Ausdrücke eine neue Beschreibung der Konstruktionen, neue Fragestellungen, neue Urteile.

Aber zugegeben das; ist denn der Beweis bloß || nur diese Begriffsneubildung? || ; ist denn der Beweis nichts, als nur diese Begriffsbildung?

Ich verstehe, wie die Figur 1 2 3 4 1 x x x x 2 x ∙ ∙ ∙ 3 x ∙ ∙ ∙ 4 x ∙ ∙ ∙ 5 x ∙ ∙ ∙ Ms-127,179 ein Bild zur Messung, sozusagen, solcher Punktanordnungen sein kann. Ich verstehe auch, daß so ein Maß so ausschauen kann       1 ∙ 6 ∙ 11 ∙ 16 ∙ 2 ∙ 7 ∙ 12 ∙ 17 ∙ 3 ∙ 8 ∙ 13 ∙ 18 ∙ 4 ∙ 9 ∙ 14 ∙ 19 ∙ 5 ∙ 10 ∙ 15 ∙ 20 ∙       –– –– ––

Ich mache ein zusammengesetztes Paradigma aus den beiden Begriffen. Und ich kopiere nun dieses zusammengesetzte Bild. Es ist ein für allemal das Bild des richtigen Übergangs.

Ich mache ein zusammengesetztes Paradigma. – Aber wofür ist es (denn) ein Paradigma? Nun, jedenfalls Ms-127,180 für den Vorgang des Zusammensetzens. || für den Übergang zwischen Paradigmen.

Nehmen wir an, uns hat jemand den Fundamentalsatz bewiesen. Und zwar so, indem er uns zeigt, wie für eine bestimmte Gleichung, sagen wir 600x10‒4000x5 + … = 0, Approximationen für x zu finden sind. Ms-127,181

Thank you for your letter dated … The news of your entering the Roman Catholic church was indeed unexpected. But whether it's good or bad news, how should I know. This seems clear to me. The decision to become a Christian is like the decision to give up walking on roads & paths || the ground & to walk || take up walking on a tightrope; where nothing is more easy than to slip & every slip can be fatal. Now if a friend of mine were to take up tightrope walking & told me that in order to do it he has to wear a particular garment I should say to him: If you're serious about that || the tightrope walking I'm certainly not the man to say || tell you what clothes || outfit you should or shouldn't || should not wear, as I've || I myself have never tried the thing || to walk on a rope. Further your decision to wear those Ms-127,182 clothes is in a sense terrible, however you || one may look at it. For if they mean that you're going to do the rope || tightrope walking this is terrible even though it may be the best & greatest thing you can do. And if you get these || dress in these clothes & then don't do the tightrope walking || act this is terrible too in a different way. There's one thing however I'ld warn my friend against. There are certain devices (a weight properly attached || attached in the right way to the body & hanging underneath the rope) which will make tightrope walking quite || entirely easy. With such a device a man can go through all the motions of the tightrope walker with || and be in no more danger than there Ms-127,183 is in walking on an ordinary footpath. – I would || should therefore say to my friend: I can't applaud your decision to go in for tightrope walking because a man who like myself has always stayed safely on the ground has no right to encourage another person || man to such an enterprise. On the other hand if I am to decide whether my || I'm || I were asked whether my friend should rather go in for tightrope walking || this dangerous life or for shamming tightrope walking || it I'd have a right to say that the second would be by far more terrible than the first. || I should say that he should do anything rather than do the second. My only wish for you can be that whatever you do you should always be || will remain capable of despairing, & yet || that you will not || never despair.3 Ms-127,184

Ich will sagen, der Sinn der Mathematik ist es, daß sie mich || uns die Dinge auf neue Art beurteilen lehrt.

Der Beweis zeigt eine neue Verbindung von Figuren, eine neue Bewegung. Und diese ist uns als Bild aus irgendeinem Grunde interessant || wichtig.

“Einen math. Satz verstehen” das ist ein sehr vager Begriff.      Sagst du aber “Auf's Verstehen kommt's überhaupt nicht an. Die math. Sätze sind nur Stellungen in einem Spiel” so ist das auch Unsinn! Ms-127,185 ‘Mathematik’ ist eben kein scharf umgrenzter || umzogener Begriff.

Daher der Streit ob ein Existenzbeweis der keine Konstruktion ist ein wirklicher Existenzbeweis ist. Es frägt sich nämlich: verstehe ich den Satz “Es gibt …” wenn ich keine Möglichkeit habe zu finden wo es existiert. Und da gibt es zwei Gesichtspunkte: Als deutschen Satz z.B. verstehe ich ihn soweit ich ihn nämlich erklären kann (& merke, wie weit meine Erklärung geht!). Was aber kann ich mit ihm anfangen? Nun nicht Ms-127,186 das was mit einem Konstruktionsbeweis. Und soweit, was ich mit dem Satz machen kann, das Kriterium seines Verstehens ist soweit ist es nicht von vornherein klar, ob & wie weit ich ihn verstehe.      Das ist der Fluch des Einbruchs der math. Logik in die Mathematik, daß nun jeder Satz sich in mathematischer Schreibung darstellen läßt & wir uns daher verpflichtet fühlen ihn zu verstehen. Obwohl ja diese Schreibweise nur die Übersetzung der vagen gewöhnlichen Prosa ist. Ms-127,187

Der Beweis ist ein Begriff zur Beurteilung vor allem des Beweisens. || der Tätigkeit des Beweisens.

Verstehe den math. Satz: siehe Mult. Ax.. (“Es glaubt der Mensch, wenn er nur Worte hört, es müsse sich dabei auch etwas denken lassen”.) (x) ∙ x ∊ Soldier ․⊃․ x is brave (x) ∙ x ∊ Soldier

Ein Begriff ist nicht wesentlich ein Prädikat.      Wir sagen zwar manchmal: “dieses Ding ist keine Flasche” aber es ist dem Ms-127,188 Sprachspiel mit dem Begriff Flasche gar nicht wesentlich daß solche Urteile darin gefällt werden. Achte eben darauf wie ein Begriffswort (z.B. “Platte”) in einem Sprachspiel gebraucht wird.

Es brauchte z.B. gar keinen Satz “dies ist eine Platte” geben; sondern etwa nur den: “hier ist eine Platte”.

Die “mathem. Logik” hat das Denken vieler Mathematiker & Philosophen || von Mathematikern & Philosophen gänzlich verbildet, indem Ms-127,189 sie eine oberflächliche Deutung der Formen unserer Umgangssprache zur letzten Analyse Darstellung || Analyse der Struktur || Strukturen der Tatsachen erhob || erklärte. Sie hat darin || hierin freilich nur auf die Aristotelische Logik || der Aristotelischen Logik weiter gebaut.

Ich könnte die Gleichung x⁹ + … x⁸ + … = 0 mit einem Bild der Art verbinden & sagen, ich hätte bewiesen, daß der Ausdruck für irgendeinen Wert Ms-127,190 von x zu 0 wird ohne eine Methode zu geben dieses x zu finden; & dann könnte mein Beweis drauf hinaus kommen einerseits die Stätigkeit der Funktion zu zeigen anderseits die || die Stätigkeit der Funktion zu zeigen zusammen mit der Form, der sich die Kurve für große x nähert. Und statt der Figur (…) hätte ich besser ein Modell verwendet, in dem || welchem das Stück A B nicht ein Strich, sondern ein Stück Faden ist.

Von was Du Dich überzeugst das kann man dadurch ausdrücken; || : was Du daraufhin Ms-127,191 sagst.

Uns kümmert der seelische Zustand der Überzeugtheit nicht. Wohl aber der Anblick, der dich überzeugt und die Konsequenz || Konsequenzen dieser Überzeugtheit. Daher sagt uns auch das Wort “Intuition” gar nichts in Verbindung etwa mit einem Induktionsbeweis.

“Intuition” ist (nur) eine Ausrede – wo gar keine Ausrede nötig ist.

Das Interessante am Mult. Ax. ist nicht der paradiesische Zustand der herrschen würde wenn Ms-127,192 es wahr wäre || den es zu beschreiben scheint, sondern vielmehr der tatsächliche Zustand gemessen an jenem Ideal || Begriff also der fundamentale Gegensatz zwischen ‘endlichen’ & ‘unendlichen Klassen’.

Statt die Konsequenzen des Mult. Ax. zu entwickeln & dem Leser gleichsam das Idealbild zu zeigen, wie schön es wäre wenn es sich so verhielte || wenn es so wäre, sollte das einzig Interessante gezeigt werden nämlich der Gegensatz der Mathematik zu diesem Bild. Und in dieser Weise kann das Mult. Ax. wirklich ein interessantes Ms-127,193 Licht auf die Mathematik der unendlichen Zahlen || Klassen werfen.

Das Interessante am Mult. Ax. ist nicht der Ideal-Zustand den es uns zeigt und den wir gleichsam als wünschbar darstellen || gleichsam als wünschbar vor Augen führt || stellt, sondern, umgekehrt, die Tatsache, daß dies Axiom einem Vorurteil entspricht || ein Vorurteil ausspricht gegründet auf einer Vermischung der Begriffe & daß dieses Vorurteil der Mathematik || der Tätigkeit des Math. ganz unwesentlich ist. Es ist interessant weil || wenn es uns zeigt, wie gefährlich die Phraseologie ist, die es uns als plausibel erscheinen läßt. || Ms-127,194 Das Interessante am Mult. Ax. ist nicht der Ideal-Zustand, den es uns zeigt; gleichsam als wünschbar dargestellt sondern || . Sondern, umgekehrt, die Tatsache, daß das Axiom ein Vorurteil ausspricht; & daß dies Vorurteil der Tätigkeit des Mathematikers gänzlich unwesentlich ist. Das Axiom ist interessant, wenn es uns zeigt, wie gefährlich die Phraseologie ist, die es uns plausibel erscheinen läßt.

Es ist schon wahr: das Zahlzeichen gehört zu einem Begriffswort || Begriffszeichen & Ms-127,195 nur mit diesem ist es, sozusagen, ein Maß.

Welcher Art war der Irrtum, worauf konnte er gegründet sein, daß φn(x) alle möglichen unendlichen Dezimalbrüche darstellte?

Man kann das Zeichen “626” daraufhin beurteilen ob es bei der Multiplikation von 25 × 25 entsteht; oder wie weit es davon entfernt ist so zu entstehen.

Kann ich sagen, ich beurteile die Ziffer 6768 (als Tapetenmuster) danach Ms-127,196 ob sie größer oder kleiner oder gleich 392 ist? Kann man das, sozusagen, ein Messen jener Ziffer nennen? Nein. Nicht der Ziffer 6768; wohl aber der Ziffer in der rechten unteren Ecke der Tapete, die etwa 6768 ist.

Es ist ein mathematischer Satz: daß das Thema … einen Kanon in der Unterquart bilden kann.

Der Beweis überzeugt Dich von etwas, || : das heißt, Du wirst etwas auf den Beweis hin tun. Ms-127,197

Oder auch: Du wirst überzeugt sein, daß Du das & das wirst tun || ausführen können; Du wirst es || etwas unternehmen, Andern sagen, daß sie es unternehmen sollen, usw.

Und wie läßt sich dies auf die Beweise der R.'schen Tautologien anwenden?

Nun der Beweis überredet Dich dazu, so & so zuschließen. || dazu, daß Du so & so schließt.

Wie hängt die Überzeugungskraft des Beweises Ms-127,198 damit zusammen, daß er einen neuen Begriff bildet?

Nun der Begriff gibt mir jedenfalls einen neuen Begriff zur Beurteilung des Satzes, den || welchen er beweist.

Der Philosoph muß sich so drehen & wenden, daß er an den mathematischen Problemen herumkommt || vorbeikommt, nicht gegen eines rennt, – das gelöst werden müßte ehe er weitergehen kann.

Sein Arbeiten in der Ms-127,199 Philosophie ist gleichsam eine Faulheit in der Mathematik.

Ein bewiesener mathematischer Satz ist eine interessante Figur.

Nicht ein weiteres || neues Gebäude ist aufzuführen, nicht || oder eine neue Brücke zu bauen || schlagen, sondern die Geographie, wie sie jetzt ist, zu beschreiben.

Wir sehen wohl Stücke der Begriffe, aber nicht klar die Abhänge, die den einen in andere übergehen lassen. Ms-127,200

Darum hilft es in der Philosophie der Mathematik nichts Beweise in neue Formen zu bringen || umzugießen || umzuformen. Obwohl hier eine starke Versuchung liegt. Damit soll nicht gesagt sein …

Auch vor 500 Jahren konnte es eine Philosophie der Mathematik geben, dessen was damals die Mathematik war.

Der math. Beweis muß Dir einen neuen Begriff geben, weil er es Dir möglich machen muß anders zu urteilen, ohne Dir etwas mitzuteilen. Ms-127,201

“Schreibe den || diesen Satz auf, wenn er von || nach dieser Figur bewiesen wird!”

“Sieh' nach, ob dieser Satz von dieser Figur bewiesen wird.”

Wenn man sich “nicht vorstellen kann” daß 25 × 25 nicht 625 || 625 nicht ergibt, dann kann man auch nicht glauben, könnte man sagen, daß es 625 ergibt.

Insofern man sich nicht vorstellen kann daß 25 × 25 nicht 625 ergibt, kann man auch nicht glauben daß es 625 ergibt. Ms-127,202

“Schreibe den Beweis des Satzes … aus den Sätzen … & … auf.”

Ich möchte sagen: der Beweis wird statisch gebraucht, nicht dynamisch. (Heißt das: als Bild, nicht als Experiment?)

Und wenn der Beweis uns ein neues Bild ist, dann auch ein neuer Begriff.

– – – Nun, Du beweist Dir den Satz, & nun verwendest Du ihn losgelöst vom Beweis. Ms-127,203

4 Ms-127,204

Wenn Du dieser Maus ins Maul schaust wirst du zwei lange Schneidezähne sehen. – Wie weißt du das? – Ich weiß daß alle Mäuse sie haben, also auch diese. (Und man sagt nicht: “& dieses Ding ist eine Maus, also hat auch sie …”) Warum ist das eine so wichtige Bewegung? Nun, wir studieren || untersuchen z.B. Tiere, Pflanzen etc. etc., bilden allgemeine Urteile & wenden sie im einzelnen Fall an. – Es ist aber doch eine Wahrheit daß diese Maus die Eigenschaft hat, wenn alle Mäuse sie haben! Das ist eine Bestimmung über die Anwendung des Wortes “alle”: Die Ms-127,205 tatsächliche Allgemeinheit liegt wo anders. Nämlich z.B. in dem allgemeinen Vorkommen jener Methode || Untersuchungsmethode & ihrer Anwendung.

Oder man sagt: “Dieser Mann ist ein graduierter Mathematiker || Student der Math.”. Wie weißt du das? –“Alle Leute in diesem Zimmer sind graduierte Mathematiker; es sind nur solche zugelassen worden.” –

Das interessante Allgemeine ist, daß wir oft ein Mittel haben uns von dem || vom allgemeinen Satz zu überzeugen, ehe wir den besonderen Fall || besondere Fälle in Betracht ziehen: Ms-127,206 & daß wir dann mittels der allgemeinen Methode den besondern Fall beurteilen.

Wir haben dem Pförtner den Befehl gegeben nur Leute mit Einladungen hereinzulassen & rechnen nun darauf, daß dieser Mensch, der hereingelassen wurde, eine Einladung hat.

Das interessante Allgemeine am logischen Satz ist nicht die Tatsache, die er auszusprechen scheint sondern die immer wiederkehrende Situation in der dieser Übergang gemacht Ms-127,207 wird.

Ich bin überzeugt, nicht nur, daß ich das Resultat des Beweises, sondern auch das ganze Bild des Beweises erhalten kann, indem ich diese Paradigmen || Übergänge sukzessive || iterativ auf die || diese Prämissen anwende.

Der Beweis überzeugt Dich auch, daß Du die Beweisfigur || dieses Beweisbild durch Anwendung der Paradigmen nach der Reihe … erzeugen kannst.

Hat der Beweis Dich unbedingt davon überzeugt, Ms-127,208 daß Du diesen Satz erhalten mußt, wenn Du nach diesen Paradigmen von diesem Ausgangspunkt weitergehst? Nein. Er hat Dich nur davon überzeugt, daß unter den Sätzen, die Du so erhalten kannst, auch dieser ist. Daß ein solcher Weg auch dahin führt, daß diese Figur ein solcher Weg ist.

Der Beweis ordnet den Schlußsatz unter den Begriff “aus diesen Sätzen auf diese Art erhältlich“.

Wenn ich also meine Ms-127,209 Wand nur mit Sätzen schmücken will, die sich so erhalten lassen, brauche ich dazu nur Schlußsätze aus den Principia Mathematica zu kopieren.      Oder, wenn ich die Wand nur mit Figuren schmücken will, die Wege nach solchen Übergängen sind, so brauche ich nur Beweise der Principia Mathematica zu kopieren.

Was so aussieht, ist ein Beweis dieses Satzes aus denen || jenen.

Ich beurteile eine Figur an der Wand nach dem Begriff “erzeugbar aus Ms-127,210 … nach …”. Nun kann mir ein allgemeines Prinzip gegeben sein wonach ich dies entscheiden kann. Es muß aber nicht so sein. Es können nur einzelne Beweise gegeben sein. Ich kann ‘durch Glück’ solche für die Figuren finden || konstruieren die ich zu beurteilen habe || beurteilen will; oder es stehen solche schon in einem Buche. || etwa schon in einem Buche. || schon in einem Buche, etwa.      Bin ich nicht im Stande solche Beweise zu erfinden, finde aber, durch Zufall, zu einer meiner Figuren den Beweis im Buche || im Buche den Beweis, so kann Ms-127,211 ich nun sagen: dort stehe eine so & so || auf die bewußte Weise erhältliche Figur

Die Beweisfigur ist der Rekord eines Schlußvorgangs || Schließvorganges.

Gibt es angewandte Mathematik, so auch angewandte Logik. Nun, wie schaut angewandte Logik aus?

In der angewandten Math. werden die ‘math. Begriffe’ angewandt & Schlußweisen || Schlüsse (z.B. Substitutionen) nach den Sätzen der reinen Math. Ms-127,212

Der Satz steht für das, wovon uns der Beweis überzeugt. – Der Beweis ist z.B. ein Bild, das mich überzeugt, ich werde durch die & die Art von Tätigkeit von dort || eine Tätigkeit der & der Art von dort immer dahin gelangen. || Der Beweis überzeugt mich z.B. durch ein Bild davon daß ich durch die & die Art von Tätigkeit || eine Tätigkeit der & der Art von dort immer dahin gelangen. Ich werde etwas Bestimmtes auf den Beweis hin wagen || unternehmen. Der Satz, der den Beweis beweist steht für Ms-127,213 das, was ich auf den Beweis hin wagen werde. ||      Das ist es, was ich auf den Beweis hin wagen werde. Der bewiesene Satz nun sagt mir was in diesem Sinn das Ergebnis des Beweises ist. ||      Der Beweis, durch ein Bild, überzeugt mich z.B., ich werde , dieser Anleitung || Vorschrift folgend, von dort || von dort, dieser Anleitung || Vorschrift folgend, immer dahin kommen || gelangen. – Das werde ich auf den Beweis hin wagen. Der Satz bewahrt mir dieses Ergebnis des Beweises auf.

– – – Der Satz entspricht etwa einem Bild des Mechanismus Ms-127,214 mit (den) eingezeichneten Bahnen der Punkte A & B. Er ist also in gewisser Beziehung ein Bild jener Bewegung. Er hält das fest, wovon mich der Beweis überzeugt; oder, wozu er mich überredet.

Wenn der Beweis das Vorgehn || Vorgehen || Vorgehn nach der Regel registriert, so erzeugt er (dadurch) einen neuen Begriff.

Indem er einen neuen Begriff erzeugt, überzeugt er mich von etwas. Denn zu dieser Überzeugung ist es Ms-127,215 wesentlich, daß das Vorgehen nach diesen Regeln || Gesetzen immer das gleiche Bild erzeugen muß. (‘gleich’ nämlich nach den || unsern gewöhnlichen Regeln des Vergleichens & Kopierens.)

Damit hängt es zusammen, daß man sagen kann, der Beweis müsse eine interne Relation zeigen || demonstrieren. Denn die interne Relation von Strukturen ist die Operation die die eine aus der andern erzeugt äquivalent angesehen mit dem Bild dieser Ms-127,216 Strukturen selbst || mit dem Bild dieses Übergangs selbst, so daß nun der Übergang dieser Bilderreihe gemäß eo ipso ein Übergang jenen Regeln || Operationsregeln gemäß ist.

Indem der Beweis einen (neuen) Begriff erzeugt, überzeugt er mich von etwas. Das, wovon er mich überzeugt ist in dem Satz ausgesprochen den er bewiesen hat. || . Wovon er mich überzeugt, das ist in dem Satz ausgesprochen den er bewiesen hat.

∣ Problem: Bedeutet das Wort, “mathematisch” immer dasselbe || jedesmal das gleiche: wenn wir von ‘mathematischen’ Ms-127,217 Begriffen, ‘mathematischen’ Sätzen & ‘mathematischen Beweisen’ reden? ∣

Was hat nun der bewiesene Satz mit dem Begriff zu tun, der den Beweis schuf. (Oder: was hat der bewiesene Satz mit der internen Relation zu tun, die der Beweis demonstrierte.

Das Beweisbild || Bild ist ein Instrument des Über-Zeugens.

Es ist klar, man kann auch den unbewiesenen math. Satz, ja auch den Ms-127,218 falschen, anwenden. || unbewiesenen math. Satz anwenden; ja auch den falschen.

Der math. Satz sagt mir: Verfahre so!

Ich verfahre also auf den Satz hin wie auf den Beweis der mich davon überzeugt || mir zeigt ich dürfe so verfahren.

Wenn uns der Beweis von etwas überzeugt dann müssen wir auch von den Axiomen überzeugt sein. Wohl; aber nicht als von empirischen Sätzen; d.h., das ist Ms-127,219 ihre Rolle nicht. Sie sind im Sprachspiel von der Verifikation durch die Erfahrung ausgeschlossen. Sie sind nicht Erfahrungsurteile, sondern Prinzipien des Urteilens.

Der Beweis überredet mich, so zu verfahren; der || . Der bewiesene Satz sagt: “verfahre so!”

Ein Sprachspiel: Wie habe ich mir eins vorzustellen, in dem Axiome, Beweise & bewiesene Sätze auftreten?

Der Philosoph ist der, der in sich viele Krankheiten Ms-127,220 des Verstandes heilen muß, ehe er zu den Notionen des gesunden Menschenverstandes kommen kann.

Wer in der Schule zum erstenmal ein bißchen Logik lernt || von der Logik hört, der ist gleich davon überzeugt, wenn man ihm sagt, ein Satz impliziere sich selbst, oder wenn man ihm das Gesetz des Widerspruchs, oder (das Gesetz) des ausgeschlossenen Dritten sagt || er nun das Gesetz des Widerspruchs aussprechen hört, oder das Gesetz des ausgeschlossenen Dritten. Warum ist er gleich davon überzeugt. Nun, diese Gesetze passen ganz Ms-127,221 in den Gebrauch der Sprache; || , den er ja beherrscht. – – –

Dann lernt er etwa || Er lernt dann etwa kompliziertere Sätze der Logik beweisen. Die Beweise werden ihm vorgeführt, & er ist wieder überzeugt; oder er erfindet selbst einen Beweis.       Er lernt so neue Techniken des Schließens & || . Und auch, auf welche Rechnung es zu setzen ist, wenn etwas schief geht || sich ein Fehler zeigt. || wenn sich nun Fehler zeigen. || ⇒ Er lernt, auf welche Rechnung es zu setzen ist, wenn etwas schief geht. Ms-127,222

Der Beweis überzeugt ihn überredet ihn, daß er an dem Satz, an der Technik, die er vorschreibt, festhalten muß; aber (er) zeigt ihm auch, wie er an dem Satz festhalten kann, & nicht Gefahr läuft || ohne Gefahr zu laufen, mit der || einer Erfahrung in Widerspruch || Konflikt zu geraten. || aber er zeigt ihm zugleich, wie er an dem …

Wenn wir im Leben vom Tod umgeben sind, so auch in der Gesundheit des Verstandes || im gesunden Verstand vom Wahnsinn. || so auch im ruhigen, normalen Verstand vom Wahnsinn. || so auch im alltäglichen Verstand Ms-127,223 vom Wahnsinn.

Nocheinmal: Man könnte den Beweis in den Worten beschreiben: “So geben 500 + 500 1000”, “So hat eine Gleichung n-ten Grades n Wurzeln”, “So gehen die rationalen Zahlen an der √2 vorüber”.      Der Beweis zeigt Dir einen Vorgang & Du kannst nun nicht umhin ihn so & so zu nennen.

Sieh', so gibt || geben 3 + 2 5. ⋎ Aus dem Beweis leitest Du eine Regel ab, oder einen Satz, der als Regel dient. Ms-127,224

Jeder Erfahrungssatz kann als Regel dienen wenn man ihn feststellt, ich meine unbeweglich macht, so daß sich nun alle Darstellung um ihn dreht & er zur Methode der Darstellung gehört & unabhängig von den Tatsachen wird || ist.

”So ist es, wenn dieser Satz aus diesem abgebildet wird. Das mußt Du doch zugeben.” Was ich zugebe ist, daß ich solchen Vorgang so nenne.

∣ Denken wollen ist eins; Talent zum Denken Ms-127,225 haben, ein Anderes. ∣

Wie steht der Beweis des Satzes hinter dem Satz?      Steht er hinter dem Satz wie eine Anwendung des Satzes? ein Teil der Technik, in der der Satz sein Leben hat?

Könnte man sich eine Mathematik ganz ohne Beweise denken? Die Menschen lernten math. Sätze & würden von ihrer Wahrheit || Richtigkeit durch die Autorität des Lehrers überzeugt. –

Könnte man sich denken Ms-127,226 daß Physik so gelehrt würde. Der Schüler dürfte die Apparate sehen, aber kein Experiment. Es würde ihm gesagt: “Wenn man diese Drähte so & so verbindet & dann diesen Hebel niederdrückt gibt dieser Zeiger einen Ausschlag & …”

Nun, lernt er nicht auch die Geographie Nord-Amerikas, ohne dort gewesen zu sein?      Und man kann ihm doch auch beibringen, eine Zahl sei durch 9 teilbar, wenn ihre Ziffernsumme es sei || ist; ohne Ms-127,227 daß er er den Beweis kennt || weiß, warum.

Du prüfst den Zeichenausdruck (es muß kein Satz sein) formal & entscheidest danach || so, ob er für Deinen weiteren Zweck zu brauchen || passend ist. || & entscheidest in dieser Weise, …

Wie ist es mit der Prüfung von Zeichenausdrücken daraufhin, ob sie Multiplikationen sind? Nun, nichts leichter, als sich so eine Prüfung vorzustellen. (Sie ist ganz analog der Prüfung eines Zahlzeichens daraufhin, ob es dasjenige || das einer Quadratzahl ist, Ms-127,228 oder der Prüfung eines Satzes daraufhin, ob er aus jenem Satz folgt; etc.)

Das Resultat so einer Prüfung kann der Satz sein: “Der Zeichenausdruck auf diesem Papier ist eine Multiplikation” – & dies ist kein mathematischer Satz. || – – Oder aber: “Der Ausdruck ‘ …’ ist eine Multiplikation” – & dies ist ein mathematischer Satz.

Die Prüfung ist natürlich wieder analog der eines musikalischen Ms-127,229 Themas auf eine kontrapunktische Eigenschaft hin.

“Ich werde nur diejenigen der Zahlen 94, 81, 72, 31,144 dort hinschreiben, die Quadratzahlen sind.” Ist das gleichbedeutend mit dem Satz: “ich werde von diesen || jenen Zahlen nur 81 & 144 hinschreiben”?

Wie steht der Beweis hinter dem Satz? – Wie ein Bild; das den Satz rechtfertigt.

Wenn man vom Beweis sagt, er zeige wie (z.B.) 25 × 25 625 ergeben; Ms-127,230 so ist das natürlich eine seltsame || uneigentliche Redeweise, da ja dies Ergeben || ja dies arithmetische Ergeben || das arithmetische Ergeben ja kein zeitlicher Vorgang ist. Aber nun zeigt ja der Beweis || der Beweis ja || ja der Beweis auch keinen Vorgang.

Denke Dir eine Reihe von Bildern. Sie zeigen, wie zwei Leute nach den & den Regeln Degen fechten. || mit dem Rapier || Rapieren fechten. Eine Bilderreihe kann das doch zeigen. Hier bezieht sich das Bild auf wirkliche Vorgänge. || eine Wirklichkeit. Man kann nicht sagen, es zeige, daß so gefochten wird, nur || aber wie gefochten wird. In einem andern Ms-127,231 Sinne aber kann man sagen, die Bilder zeigen, wie man in drei || durch solche Bewegungen von dieser Lage in diese || jene kommen kann.      Und nun zeigen sie auch daß man auf diese Weise in diese || jene Lage kommen kann.

In einem Sprachspiel kann man unter Umständen Sätze einander gleich setzen. So möchte ich sagen, daß der Satz “dieses Blatt ist grün” das gleiche sagt wie der: “dieses Blatt ist grün & nicht rot”. Und doch ist das nur in einem bestimmten Ms-127,232 Sprachspiel der Fall. Denn wir gebrauchen ja wirklich beide Sätze & ziehen einmal den einen, einmal den andern vor.

Kann man denn nicht sagen: die Multiplikation zeigt || zeige Dir, wie 25 × 25 625 ergibt? oder, || den Beweis: wie diese Gleichung eine Lösung hat?

Ich möchte sagen: sie || die Ableitung der Lösung zeigt mir, wie || in welchem Verhältnis die Lösung zur Gleichung steht; als zeigte sie mir das Kind, wie es in den Armen der Mutter ruht. Ms-127,233

Ich möchte sagen       dies Bild zeige mir, wie 3 × 3 9 ergibt.      Ist das nun ganz falsch?

Denke Dir den Beweis (3 × 3 = 9) von drei Personen gesprochen. A zählt von 1 bis 9; B immer von 1 – 3, und C langsam von 1 – 3. Könnte das nicht Einen dazu bringen, daß er sagte: “Ja, so muß also 3 × 3 immer 9 ergeben!”? Oder einfach: “Ja, 3 × 3 ist 9.” – Ms-127,234 Nicht aber, als wäre hier das “ist” zeitlich, oder als meinte er, daß hier 3 × 3 9 ergeben habe, während es sonst nicht 9 ergibt; sondern nur, als wäre || es sei jener Vorgang die || das Bild, die || ein Bild, eine Vorlage & der Satz ¤ nicht so sehr ein Satz, der beschreibt, was hier geschehen ist, sondern eine Lehre die ich aus dem Gesehenen ziehe, eine Regel die ich mir zu eigen mache. Der Vorgang aber rechtfertigt die Regel indem er sie mit andern Regeln in ein System einreiht & auf ihre Anwendung deutet. Ms-127,235

Ich denke mir die Beweise der mathematischen Sätze auf der Bühne gespielt || dargestellt, mit || in eindrucksvollen Kostümen. Leute prägen sich solche Szenen fürs ganze Leben ein.

Du ziehst aus dem Beweis eine Lehre.

Wenn etwas an der Freudschen Lehre von der Traumdeutung ist; so zeigt sie, in wie komplizierter Weise der menschliche Geist Bilder der Tatsachen macht. || malt.

So kompliziert, so unregelmäßig Ms-127,236 ist die Art der Abbildung, daß man sie kaum mehr eine Abbildung nennen kann.

Der Beweis ist ja dazu da, daß er Dich etwas lehre.

Wenn man sagt der mathematische Satz ist eine Regel, so natürlich nicht eine Regel in der Mathematik. In der Mathematik ist er ein Gesetz; ein Naturgesetz in der Welt der Mathematik. || ; ein Naturgesetz, das von den mathematischen Gegenständen || Dingen handelt. || ; ein Naturgesetz von den mathematischen Dingen. || Ms-127,237 ; ein Naturgesetz von den Dingen ihrer Welt.

Der Beweis ist ja dazu da, daß er Dich etwas lehrt. Und was er Dich lehrt, spricht der Satz aus, oder zeigt der Satz an, der bewiesen wurde. Ms-127,238 Ms-127,BCr Ms-127,BCv

Editorial notes

1) There is a line connecting this remark with the following one, marked with two question marks.

2) There is an arrow pointing to graphic.

3) This is the draft of a letter that was sent to Yorick Smythies, dated "7.4." (1944), and is published in Ludwig Wittgenstein: Gesamtbriefwechsel, Innsbruck Electronic Edition (2011).

4) Ms-127, page 203 contains technical graphics and figures that are not included in the transcription.