1
Wie kann uns ein allgemeiner Beweis den besondern Beweis
schenken? |
Weil es sich in dem einen Fall so verhält – wie kann ich wissen,
daß es sich in dem andern so
verhält?
Und ein ‘Sich so verhalten müssen’ gibt es
nicht.
Ist es nicht so, so kann man auch nichts machen.
Nur was von uns abhängt, können wir im Voraus
bestimmen.
Man möchte wohl sagen: Die selbe Konstruktion ist ein Beweis des geometrischen Satzes für das bestimmte Dreieck; wir können sie aber auch allgemein meinen || auffassen; oder: wir können an ihr auch einsehen, daß das, was für dieses Dreieck gilt, für jedes andre auch gelten muß. – Aber worin besteht dieses “meinen” || “auffassen” und das﹖ “einsehen”? Die psychologischen Prozesse kümmern uns ja nicht. “Das Dreieck steht eben hier für irgend ein Dreieck”. Aber worin besteht dieses “für etwas stehen”? Es handelt sich für uns eben wieder nur um den Ausdruck jener ‘Auffassung’, d.h. den Ausdruck dessen, was wir auffassen oder einsehen und den Ausdruck dafür, daß das Dreieck nur für sich selbst oder für alle Dreiecke steht. Der Kalkül muß (wieder﹖) festgestellt 2 werden.
Nicht seelische Vorgänge interessieren uns, sondern symbolische. |
Der Beweis kann also nichts prophezeien. |
Ist der Beweis, für A ausgeführt, auch der Beweis für
B? so
daß es ganz gleichgültig ist, im welchem Dreieck er
gezeichnet ist.
Und, wenn er also in beiden Dreiecken gezeichnet wäre, nur
derselbe Beweis wiederholt wäre.
Daß also das Zeichen des Beweises – der
Beweis als
Zeichen || Symbol
– ebensogut aus der Konstruktion in AA und dem Dreieck
B bestehen
könnte, wie aus diesem Dreieck und einer Konstruktion in ihm. |
Wie macht mich der allgemeine Induktionsbeweis || Beweis sicher || gewiß,
daß der besondere das ergeben wird? |
(Verachte nur nicht die simplen Kalküle, wie sie jedes Kind und jede
Kaufmannsfrau benützt.) |
Und hier kann man die beiden Fälle deutlich unterscheiden, von denen
wir im geometrischen Beweis sprachen.
Denn die Figur kann allgemeiner Beweis gelten, und auch nur als Beweis von 6 + (4 + 3) = (6 + 4) + 3, und ich kann den beweis von 3 + (7 + 2) = (3 + 7) + 2 so hinschreiben: Ich habe den Beweis nur oben ausgeführt (die Konstruktion gezeichnet). 3 |
Ein Kalkül ist nicht strenger, als ein anderer!
Man muß nur die Grenzen eines jeden
kennen.
Nur insofern kann man einen Kalkül unstreng nennen, als seine Regeln nicht klar formuliert sind. |
“Wie kommt es, daß ich diesen Satz (der
Geometrie oder Arithmetik) nicht eigens beweisen
muß, sondern, daß er durch den
allgemeinen Beweis schon bewiesen ist?”
Aber Du mußt ihn ja beweisen, – indem Du
nämlich den besondern Satz hinschreibst, denn das
Übrige ist nur, was allen Beweisen solcher Sätze
gemeinsam ist.
Du mußt diesen
euklidischen Satz für jedes Dreieck von
neuem beweisen; nur besteht allerdings das Besondere dieses Beweises nur
in der Zeichnung dieses Dreiecks, da das Übrige durch
die allgemeine Form (den euklidischen
Beweis) schon vorgesehen ist.) |
To cite this element you can use the following URL:
BOXVIEW: http://wittgensteinsource.com/BTE/Ts-218_n