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