Die Grundlagen der Arithmetik. Frege Gottlob
und zufällig sind, ebenso zufällig wie eine schwarze Tafel und ein Stück Kreide, dass sie überhaupt nicht Vorstellungen der Zahl Hundert zu heissen verdienen? Man sehe doch nicht das Wesen der Sache in solchen Vorstellungen! Man nehme nicht die Beschreibung, wie eine Vorstellung entsteht, für eine Definition und nicht die Angabe der seelischen und leiblichen Bedingungen dafür, dass uns ein Satz zum Bewusstsein kommt, für einen Beweis und verwechsele das Gedachtwerden eines Satzes nicht mit seiner Wahrheit! Man muss, wie es scheint, daran erinnern, dass ein Satz ebensowenig aufhört, wahr zu sein, wenn ich nicht mehr an ihn denke, wie die Sonne vernichtet wird, wenn ich die Augen schliesse. Sonst kommen wir noch dahin, dass man beim Beweise des pythagoräischen Lehrsatzes es nöthig findet, des Phosphorgehaltes unseres Gehirnes zu gedenken, und dass ein Astronom sich scheut, seine Schlüsse auf längst vergangene Zeiten zu erstrecken, damit man ihm nicht einwende: »du rechnest da 2 ∙ 2 = 4; aber die Zahlvorstellung hat ja eine Entwickelung, eine Geschichte! Man kann zweifeln, ob sie damals schon so weit war. Woher weisst du, dass in jener Vergangenheit dieser Satz schon bestand? Könnten die damals lebenden Wesen nicht den Satz 2 ∙ 2 = 5 gehabt haben, aus dem sich erst durch natürliche Züchtung im Kampf ums Dasein der Satz 2 ∙ 2 = 4 entwickelt hat, der seinerseits vielleicht dazu bestimmt ist, auf demselben Wege sich zu 2 ∙ 2 = 3 fortzubilden?« Est modus in rebus, sunt certi denique fines! Die geschichtliche Betrachtungsweise, die das Werden der Dinge zu belauschen und aus dem Werden ihr Wesen zu erkennen sucht, hat gewiss eine grosse Berechtigung; aber sie hat auch ihre Grenzen. Wenn in dem beständigen Flusse aller Dinge nichts Festes, Ewiges beharrte, würde die Erkennbarkeit der Welt aufhören und Alles in Verwirrung stürzen. Man denkt sich, wie es scheint, dass die Begriffe in der einzelnen Seele so entstehen, wie die Blätter an den Bäumen und meint ihr Wesen dadurch erkennen zu können, dass man ihrer Entstehung nachforscht und sie aus der Natur der menschlichen Seele psychologisch zu erklären sucht. Aber diese Auffassung zieht Alles ins Subjective und hebt, bis ans Ende verfolgt, die Wahrheit auf. Was man Geschichte der Begriffe nennt, ist wohl entweder eine Geschichte unserer Erkenntniss der Begriffe oder der Bedeutungen der Wörter. Durch grosse geistige Arbeit, die Jahrhunderte hindurch andauern kann, gelingt es oft erst, einen Begriff in seiner Reinheit zu erkennen, ihn aus den fremden Umhüllungen herauszuschälen, die ihn dem geistigen Auge verbargen. Was soll man nun dazu sagen, wenn jemand, statt diese Arbeit, wo sie noch nicht vollendet scheint, fortzusetzen, sie für nichts achtet, in die Kinderstube geht oder sich in ältesten erdenkbaren Entwickelungsstufen der Menschheit zurückversetzt, um dort wie J. St. Mill etwa eine Pfefferkuchen- oder Kieselsteinarithmetik zu entdecken! Es fehlt nur noch, dem Wohlgeschmacke des Kuchens eine besondere Bedeutung für den Zahlbegriff zuzuschreiben. Dies ist doch das grade Gegentheil eines vernünftigen Verfahrens und jedenfalls so unmathematisch wie möglich. Kein Wunder, dass die Mathematiker nichts davon wissen wollen! Statt eine besondere Reinheit der Begriffe da zu finden, wo man ihrer Quelle nahe zu sein glaubt, sieht man Alles verschwommen und ungesondert wie durch einen Nebel. Es ist so, als ob jemand, um Amerika kennen zu lernen, sich in die Lage des Columbus zurückversetzen wollte, als er den ersten zweifelhaften Schimmer seines vermeintlichen Indiens erblickte. Freilich beweist ein solcher Vergleich nichts; aber er verdeutlicht hoffentlich meine Meinung. Es kann ja sein, dass die Geschichte der Entdeckungen in vielen Fällen als Vorbereitung für weitere Forschungen nützlich ist; aber sie darf nicht an deren Stelle treten wollen.
Dem Mathematiker gegenüber, wäre eine Bekämpfung solcher Auffassungen wohl kaum nöthig gewesen; aber da ich auch für die Philosophen die behandelten Streitfragen möglichst zum Austrage bringen wollte, war ich genöthigt, mich auf die Psychologie ein wenig einzulassen, wenn auch nur, um ihren Einbruch in die Mathematik zurückzuweisen.
Uebrigens kommen auch in mathematischen Lehrbüchern psychologische Wendungen vor. Wenn man eine Verpflichtung fühlt, eine Definition zu geben, ohne es zu können, so will man wenigstens die Weise beschreiben, wie man zu dem betreffenden Gegenstande oder Begriffe kommt. Man erkennt diesen Fall leicht daran, dass im weitern Verlaufe nie mehr auf eine solche Erklärung zurückgegriffen wird. Für Lehrzwecke ist eine Hinführung auf die Sache auch ganz am Platze; nur sollte man sie von einer Definition immer deutlich unterscheiden. Dass auch Mathematiker Beweisgründe mit innern oder äussern Bedingungen der Führung eines Beweises verwechseln können, dafür liefert E. Schröder4 ein ergötzliches Beispiel, indem er unter der Ueberschrift: »Einziges Axiom« Folgendes darbietet: »Das gedachte Princip könnte wohl das Axiom der Inhärenz der Zeichen genannt werden. Es giebt uns die Gewissheit, dass bei allen unsern Entwicklungen und Schlussfolgerungen die Zeichen in unserer Erinnerung – noch fester aber am Papiere – haften« u. s. w.
So sehr sich nun die Mathematik jede Beihilfe vonseiten der Psychologie verbitten muss, so wenig kann sie ihren engen Zusammenhang mit der Logik verleugnen. Ja, ich stimme der Ansicht derjenigen bei, die eine scharfe Trennung für unthunlich halten. Soviel wird man zugeben, dass jede Untersuchung über die Bündigkeit einer Beweisführung oder die Berechtigung einer Definition logisch sein muss. Solche Fragen sind aber gar nicht von der Mathematik abzuweisen, da nur durch ihre Beantwortung die nöthige Sicherheit erreichbar ist.
Auch in dieser Richtung gehe ich freilich etwas über das Uebliche hinaus. Die meisten Mathematiker sind bei Untersuchungen ähnlicher Art zufrieden, dem unmittelbaren Bedürfnisse genügt zu haben. Wenn sich eine Definition willig zu den Beweisen hergiebt, wenn man nirgends auf Widersprüche stösst, wenn sich Zusammenhänge zwischen scheinbar entlegnen Sachen erkennen lassen und wenn sich dadurch eine höhere Ordnung und Gesetzmässigkeit ergiebt, so pflegt man die Definition für genügend gesichert zu halten und fragt wenig nach ihrer logischen Rechtfertigung. Dies Verfahren hat jedenfalls das Gute, dass man nicht leicht das Ziel gänzlich verfehlt. Auch ich meine, dass die Definitionen sich durch ihre Fruchtbarkeit bewähren müssen, durch die Möglichkeit, Beweise mit ihnen zu führen. Aber es ist wohl zu beachten, dass die Strenge der Beweisführung ein Schein bleibt, mag auch die Schlusskette lückenlos sein, wenn die Definitionen nur nachträglich dadurch gerechtfertigt werden, dass man auf keinen Widerspruch gestossen ist. So hat man im Grunde immer nur eine erfahrungsmässige Sicherheit erlangt und muss eigentlich darauf gefasst sein, zuletzt doch noch einen Widerspruch anzutreffen, der das ganze Gebäude zum Einsturze bringt. Darum glaubte ich etwas weiter auf die allgemeinen logischen Grundlagen zurückgehn zu müssen, als vielleicht von den meisten Mathematikern für nöthig gehalten wird.
Als Grundsätze habe ich in dieser Untersuchung folgende festgehalten:
es ist das Psychologische von dem Logischen, das Subjective von dem Objectiven scharf zu trennen;
nach der Bedeutung der Wörter muss im Satzzusammenhange, nicht in ihrer Vereinzelung gefragt werden;
der Unterschied zwischen Begriff und Gegenstand ist im Auge zu behalten.
Um das Erste zu befolgen, habe ich das Wort »Vorstellung« immer im psychologischen Sinne gebraucht und die Vorstellungen von den Begriffen und Gegenständen unterschieden. Wenn man den zweiten Grundsatz unbeachtet lässt, ist man fast genöthigt, als Bedeutung der Wörter innere Bilder oder Thaten der einzelnen Seele zu nehmen und damit auch gegen den ersten zu verstossen. Was den dritten Punkt betrifft, so ist es nur Schein, wenn man meint, einen Begriff zum Gegenstande machen zu können, ohne ihn zu verändern. Von hieraus ergiebt sich die Unhaltbarkeit einer verbreiteten formalen Theorie der Brüche, negativen Zahlen u. s. w. Wie ich die Verbesserung denke, kann ich in dieser Schrift nur andeuten. Es wird in allen diesen Fällen wie bei den positiven ganzen Zahlen darauf ankommen, den Sinn einer Gleichung festzustellen.
Meine Ergebnisse werden, denke ich, wenigstens in der Hauptsache die Zustimmung der Mathematiker finden, welche sich die Mühe nehmen, meine Gründe in Betracht zu ziehn. Sie scheinen mir in der Luft zu liegen und einzeln sind sie vielleicht schon alle wenigstens annähernd ausgesprochen worden; aber in diesem Zusammenhange mit einander möchten sie doch neu sein. Ich habe mich manchmal gewundert, dass Darstellungen, die in Einem Punkte meiner Auffassung so nahe kommen, in andern so stark abweichen.
Die Aufnahme bei den Philosophen wird je nach dem Standpunkte verschieden sein, am schlechtesten wohl bei jenen Empirikern, die als ursprüngliche Schlussweise nur die Induction anerkennen wollen und auch diese nicht einmal als Schlussweise, sondern als Gewöhnung. Vielleicht unterzieht Einer oder der Andere bei dieser Gelegenheit die Grundlagen seiner Erkenntnisstheorie einer
Lehrbuch der Arithmetik und Algebra.