Gottlob Frege - Die Grundlagen der Arithmetik

§ 7. Man sollte denken, dass die Zahlformeln synthetisch oder analytisch, aposteriori oder apriori sind, je nachdem die allgemeinen Gesetze es sind, auf die sich ihr Beweis stützt. Dem steht jedoch die Meinung John Stuart Mill 's entgegen. Zwar scheint er zunächst wie Leibniz die Wissenschaft auf Definitionen gründen zu wollen, 14 14 A System der deductiven und inductiven Logik, übersetzt von J. Schiel. III. Buch, XXIV. Cap., § 5. da er die einzelnen Zahlen wie dieser erklärt; aber sein Vorurtheil, dass alles Wissen empirisch sei, verdirbt sofort den richtigen Gedanken wieder. Er belehrt uns nämlich, 15 15 A. a. O. II. Buch, VI. Cap., § 2. dass jene Definitionen keine im logischen Sinne seien, dass sie nicht nur die Bedeutung eines Ausdruckes festsetzen, sondern damit auch eine beobachtete Thatsache behaupten. Was in aller Welt mag die beobachtete oder, wie Mill auch sagt, physikalische Thatsache sein, die in der Definition der Zahl 777864 behauptet wird? Von dem ganzen Reichthume an physikalischen Thatsachen, der sich hier vor uns aufthut, nennt uns Mill nur eine einzige, die in der Definition der Zahl 3 behauptet werden soll. Sie besteht nach ihm darin, dass es Zusammenfügungen von Gegenständen giebt, welche, während sie diesen Eindruck ⁰₀⁰ auf die Sinne machen, in zwei Theile getrennt werden können, wie folgt: ∘∘ ∘. Wie gut doch, dass nicht Alles in der Welt niet- und nagelfest ist; dann könnten wir diese Trennung nicht vornehmen, und 2 + 1 wäre nicht 3! Wie schade, dass Mill nicht auch die physikalischen Thatsachen abgebildet hat, welche den Zahlen 0 und 1 zu Grunde liegen!

Mill fährt fort: »Nachdem dieser Satz zugegeben ist, nennen wir alle dergleichen Theile 3«. Man erkennt hieraus, dass es eigentlich unrichtig ist, wenn die Uhr drei schlägt, von drei Schlägen zu sprechen, oder süss, sauer, bitter drei Geschmacksempfindungen zu nennen; ebensowenig ist der Ausdruck »drei Auflösungsweisen einer Gleichung« zu billigen; denn man hat niemals davon den sinnlichen Eindruck wie von ⁰₀⁰.

Nun sagt Mill : »Die Rechnungen folgen nicht aus der Definition selbst, sondern aus der beobachteten Thatsache.« Aber wo hätte sich Leibniz in dem oben mitgetheilten Beweise des Satzes 2 + 2 = 4 auf die erwähnte Thatsache berufen sollen? Mill unterlässt es die Lücke nachzuweisen, obwohl er einen dem leibnizischen ganz entsprechenden Beweis des Satzes 5 + 2 = 7 giebt. 16 16 A. a. O. III. Buch, XXIV. Cap., § 5. Die wirklich vorhandene Lücke, die in dem Weglassen der Klammern liegt, übersieht er wie Leibniz .

Wenn wirklich die Definition jeder einzelnen Zahl eine besondere physikalische Thatsache behauptete, so würde man einen Mann, der mit neunziffrigen Zahlen rechnet, nicht genug wegen seines physikalischen Wissens bewundern können. Vielleicht geht indessen Mill 's Meinung nicht dahin, dass alle diese Thatsachen einzeln beobachtet werden müssten, sondern es genüge, durch Induction ein allgemeines Gesetz abgeleitet zu haben, in dem sie sämmtlich eingeschlossen seien. Aber man versuche, dies Gesetz auszusprechen, und man wird finden, dass es unmöglich ist. Es reicht nicht hin, zu sagen: es giebt grosse Sammlungen von Dingen, die zerlegt werden können; denn damit ist nicht gesagt, dass es so grosse Sammlungen und von der Art giebt, wie zur Definition etwa der Zahl 1000000 erfordert werden, und die Weise der Theilung ist auch nicht genauer angegeben. Die millsche Auffassung führt nothwendig zu der Forderung, dass für jede Zahl eine Thatsache besonders beobachtet werde, weil in einem allgemeinen Gesetze grade das Eigenthümliche der Zahl 1000000, das zu deren Definition nothwendig gehört, verloren gehen würde. Man dürfte nach Mill in der That nicht setzen 1000000 = 999999 + 1, wenn man nicht grade diese eigenthümliche Weise der Zerlegung einer Sammlung von Dingen beobachtet hätte, die von der irgendeiner andern Zahl zukommenden verschieden ist.

§ 8. Mill scheint zu meinen, dass die Definitionen 2 = 1 + 1, 3 = 2 + 1, 4 = 3 + 1 u. s. w. nicht gemacht werden dürften, ehe nicht die von ihm erwähnten Thatsachen beobachtet wären. In der That darf man die 3 nicht als (2 + 1) definiren, wenn man mit (2 + 1) gar keinen Sinn verbindet. Es fragt sich aber, ob es dazu nöthig ist, jene Sammlung und ihre Trennung zu beobachten. Räthselhaft wäre dann die Zahl 0; denn bis jetzt hat wohl niemand 0 Kieselsteine gesehen oder getastet. Mill würde gewiss die 0 für etwas Sinnloses, für eine blosse Redewendung erklären; die Rechnungen mit 0 würden ein blosses Spiel mit leeren Zeichen sein, und es wäre nur wunderbar, wie etwas Vernünftiges dabei herauskommen könnte. Wenn aber diese Rechnungen eine ernste Bedeutung haben, so kann auch das Zeichen 0 selber nicht ganz sinnlos sein. Und es zeigt sich die Möglichkeit, dass 2 + 1 in ähnlicher Weise wie die 0, einen Sinn auch dann noch haben könnte, wenn die von Mill erwähnte Thatsache nicht beobachtet wäre. Wer will in der That behaupten, dass die in der Definition einer 18ziffrigen Zahl nach Mill enthaltene Thatsache je beobachtet sei, und wer will leugnen, dass ein solches Zahlzeichen trotzdem einen Sinn habe?

Vielleicht meint man, es würden die physikalischen Thatsachen nur für die kleineren Zahlen etwa bis 10 gebraucht, indem die übrigen aus diesen zusammengesetzt werden könnten. Aber, wenn man 11 aus 10 und 1 blos durch Definition bilden kann, ohne die entsprechende Sammlung gesehen zu haben, so ist kein Grund, weshalb man nicht auch die 2 aus 1 und 1 so zusammensetzen kann. Wenn die Rechnungen mit der Zahl 11 nicht aus einer für diese bezeichnenden Thatsache folgen, wie kommt es, dass die Rechnungen mit der 2 sich auf die Beobachtung einer gewissen Sammlung und deren eigentümlicher Trennung stützen müssen?

Man fragt vielleicht, wie die Arithmetik bestehen könne, wenn wir durch die Sinne gar keine oder nur drei Dinge unterscheiden könnten. Für unsere Kenntniss der arithmetischen Sätze und deren Anwendungen würde ein solcher Zustand gewiss etwas Missliches haben, aber auch für ihre Wahrheit? Wenn man einen Satz empirisch nennt, weil wir Beobachtungen gemacht haben müssen, um uns seines Inhalts bewusst zu werden, so gebraucht man das Wort »empirisch« nicht in dem Sinne, dass es dem »apriori« entgegengesetzt ist. Man spricht dann eine psychologische Behauptung aus, die nur den Inhalt des Satzes betrifft; ob dieser wahr sei, kommt dabei nicht in Betracht. In dem Sinne sind auch alle Geschichten Münchhausens empirisch; denn gewiss muss man mancherlei beobachtet haben, um sie erfinden zu können.

§ 9. Die bisherigen Erwägungen machen es wahrscheinlich, dass die Zahlformeln allein aus den Definitionen der einzelnen Zahlen mittels einiger allgemeinen Gesetze ableitbar sind, dass diese Definitionen beobachtete Thatsachen weder behaupten noch zu ihrer Rechtmässigkeit voraussetzen. Es kommt also darauf an, die Natur jener Gesetze zu erkennen.

Mill 17 17 A. a. O. III. Buch, XXIV. Cap., § 5. will zu seinem vorhin erwähnten Beweise der Formel 5 + 2 = 7 den Satz »was aus Theilen zusammengesetzt ist, ist aus Theilen von diesen Theilen zusammengesetzt« benutzen. Dies hält er für einen charakteristischern Ausdruck des sonst in der Form »die Summen von Gleichem sind gleich« bekannten Satzes. Er nennt ihn inductive Wahrheit und Naturgesetz von der höchsten Ordnung. Für die Ungenauigkeit seiner Darstellung ist es bezeichnend, dass er diesen Satz gar nicht an der Stelle des Beweises heranzieht, wo er nach seiner Meinung unentbehrlich ist; doch scheint es, dass seine inductive Wahrheit Leibnizens Axiom vertreten soll: »wenn man Gleiches an die Stelle setzt, bleibt die Gleichung bestehen.« Aber um arithmetische Wahrheiten Naturgesetze nennen zu können, legt Mill einen Sinn hinein, den sie nicht haben. Er meint z. B. 18 18 A. a. O. II. Buch, VI. Cap., § 3. die Gleichung 1 = 1 könne falsch sein, weil ein Pfundstück nicht immer genau das Gewicht eines andern habe. Aber das will der Satz 1 = 1 auch gar nicht behaupten.