Zusammenfassung
Vielleicht die zentrale Frage über die Natur mathematischer Objekte betrifft das Zustandekommen abstrakter Terme. Gedankendinge wie Zahlen, Mengen, Relationen und Klassen hängen in einer schwer durchschaubaren Weise mit der konkreten Dingwelt zusammen, sie werden unvermeidbar für deren Erkenntnis gebraucht, bilden aber auch den eigenständigen Gegenstandsbereich der Formalwissenschaften. In einer fortgeschrittenen Phase seiner philosophischen Entwicklung wagt Karl Popper eine neue Hypothese über diese Gegenstandswelt der Vernunft, die in einer Weise an den realistischen platonischen Denkstil anschließt und sich damit in Gegensatz zur weithin dominierenden nominalistischen Tradition setzt. Im Folgenden wird untersucht, wie sich sein Vorschlag in die herkömmlichen Deutungen von Abstrakta einfügt und wie sein Vorschlag aus der heutigen Sicht der Philosophie der Mathematik zu werten ist. Einiges Gewicht wird dabei dem aristotelischen Ansatz zugemessen, der Zahlen als das numerische Moment der Dinge betrachtet.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Unter den Enttäuschten von Wien waren meine unmittelbaren Freunde wie Edgar Morscher, Reinhard Kamitz, Rudolf Wohlgenannt, also die damalige 5. antimetaphysische Kolonne, die im katholischen Österreich nur verdeckt operieren konnte. Wir alle sahen eine Gefahr, wenn jetzt das Abgrenzungskriterium von Wissenschaft und Metaphysik wieder aufgeweicht würde und spirituelle Entitäten in den Bereich der behandelbaren Wissenschaft einrückten, dann hätten wir auch bald wieder Götter, Engel und andere Wesen aus der theologischen Mottenkiste am Hals. Poppers ontologische Wende hatte also damals in Österreich durchaus eine politische Dimension. R. Carnaps Logischer Empirismus und Poppers Kritischer Rationalismus waren Bollwerke gegen die Übergriffigkeit der katholischen Traditionalisten christlich-platonischer Prägung. Christentum als Platonismus fürs Volk war damals politische Realität.
- 2.
Dies zeigte sich auch in seiner Akzeptanz einer aktual unendlichen Menge von Zeitpunkten als abgeschlossene Größe (Genius 25.03.2013; Popper 1978). Dort weist Popper gegen Whitrow darauf hin, dass man analog der natürlichen Zahlen diese als Folge oder als Menge auffassen kann. Auch eine unendliche Vergangenheit kann statt einer Abfolge von Zeitpunkten ebenso als Menge von Zeitabschnitten gedeutet werden, als solche ist sie dann eine aktual unendliche Menge.
- 3.
Vgl. dazu Roberto Torretti 1998.
- 4.
Eine Limeszahl ist eine Ordinalzahl, die keine Nachfolgezahl ist. Wenn λ eine Limeszahl ist, gibt es keine Ordinalzahl α so dass N(α) = λ. Die Ordinalzahl λ ist die große Vereinigung aller kleineren Ordinalzahlen als λ, d. h. die große Vereinigung aller ihrer Elemente λ = ∪ λ. Die kleinste Limeszahl ist ω.
- 5.
Das gewöhnliche Axiomensystem der Mengenlehre reicht nicht aus, um solche große Kardinalzahlen zu fordern; so ist etwa die unerreichbare Kardinalzahl κ nicht durch die Vereinigung einer Anzahl von kleineren Kardinalzahlen oder durch die Potenzmenge einer Kardinalzahl, die kleiner als κ ist, definierbar; sie muss als zusätzliches Axiom gefordert werden. Diese neuen Axiome werden durch das Postulat der relativen Konsistenz mit den gewöhnlichen Unendlichkeiten der Mengenlehre geregelt, die verhindern, dass inkonsistente Objekte eingeschleust werden.
- 6.
Nominalisten halten Abstrakta wie etwa Allgemeinbegriffe für inexistent oder schreiben ihnen nur eine fiktive Existenzweise zu v. a. mit der Begründung, dass diese nicht im kausalen Netz der Dinge wirken können. Abstrakta lassen sich aus nominalistischer Sicht nicht in einen Wirkzusammenhang einspannen.
- 7.
Man kann die Frage stellen, ob das überhaupt geht, denn schon aus kosmologischer Sicht ist die materiale Welt 1 immer primordial; wie sollte man sich sonst Entstehung und Wachstum der beiden anderen Realitätsebenen vorstellen?
- 8.
Vgl. dazu Resnik 2005, S. 412.
- 9.
Auch der Nachweis des ν durch Cowan und Reines ändert nichts daran, dass man diese Teilchen nicht sehen kann.
- 10.
Dieser Zusatz ist notwendig, weil Aristoteles Schwierigkeiten mit dem Unendlichen hatte und aktuale Unendlichkeiten nicht anerkennen wollte. (Vgl. dazu B: Kanitscheider 2013).
- 11.
Das Konstruktibilitätsaxiom V = L besagt, dass das Mengenuniversum V gleich der kumulativen Hierarchie L ist, wobei L die Menge der konstruktiblen Mengen ist. V = L impliziert mit den anderen Axiomen von ZF das Auswahlaxiom C und die Kontinuumhypothese CH. Mit V = L wird eine Mengenlehre bereitgestellt, die die gesamte für die Physik notwendige Mathematik liefert. Später hat sich Quine aber dazu durchgerungen, auch die weiteren Höhenflüge der Mengenlehre zu akzeptieren mit Hinweis auf die einheitliche Semantik und Epistemologie der Wissenschaft. Gödel wollte V = L nicht unter die Standardaxiome eingereiht wissen, weil dies den Aufbau der Mengenlehre zu sehr einengt. Es erlaubt zwar einige große Kardinalzahlen, aber z. B. nicht die messbaren Mengen wie Dana Scott nachgewiesen hat. Die Existenz einer messbaren Kardinalzahl impliziert V ≠ L.
Literatur
Balaguer, Mark. 2009. Realism and antirealism in mathematics. In Philosophy of mathematics, Hrsg. Andrew D. Irvine. Amsterdam: Elsevier Science.
Benacerraf, Paul. 1973. On mathematical truth. Journal of Philosophy 70:661–669.
Brown, James Robert. 1990. In the Sky. In Physicalism in Mathematics, Hrsg. Andrew D. Irvine, S. 95–120. Dordrecht: Kluwer.
Chihara, Charles. 1982. A Gödelian thesis regarding mathematical objects: Do they exist? And can we perceive them? Philosophical Review 91:211–227.
Colyvan, Mark. 1998. In defence of indispensability. Philosophia Mathematica 1(6): 39–62.
Dirac, Paul, A. M. 1938-1939. The relation between mathematics and physics. Proceedings of the Royal Society of London LIX:122. Edinburgh.
Field, Hartry. 1980. Science without numbers: A defence of nominalism. Princeton: Princeton University Press.
Franklin, James. 2014. An Aristotelian realist. London: Philosophy of Mathematics.
Hellman, Geoffrey. 2005. Structuralism. In The Oxford handbook of philosophy of mathematics and logic, Hrsg. S. Shapiro. Oxford: Oxford University Press.
Kanitscheider, Bernulf. 2013. Natur und Zahl. Heidelberg: Springer.
Maddy, Penelope. 1990. Physicalistic platonism. In Physicalism in mathematics, Hrsg. Andrew D. Irvine. Dordrecht: Kluwer Academic.
Maddy, Penelope. 2009. Second philosophy. Oxford: Oxford University Press.
Mosterín, Jesús. 2000. Los Lógicos. Madrid ESPASA.
Popper, Karl R. 1972. Objective Knowledge. Oxford: Oxford University Press.
Popper, Karl R. 1973. Objektive Erkenntnis. Hamburg: Hoffmann und Campe.
Popper, Karl R. 1978. On the possibility of an infinite past, a reply to Whitrow. The British Journal for the Philosophy of Science 29:47.
Quine, Willard Van Orman. 1990. The pursuit of truth. Cambridge, MA: Belknap Press of Harvard University Press.
Quine, Willard V., und Joseph Ullian. 1970. The web of belief. New York: Random House.
Resnik, Michael D. 2005. Quine and the web of belief. In The Oxford handbook of philosophy of mathematics and logic, Hrsg. S. Shapiro. Oxford: Oxford University Press.
Shapiro, Stewart, Hrsg. 2005. Philosophy of mathematics and its logic. In The Oxford handbook of philosophy of mathematics and logic. Oxford: Oxford University Press.
Torretti, Roberto. 1998. El Paraíso de Cantor. Santiago de Chile: Editorial Universitaria.
Wang, Hao. 1987. Reflections On Kurt Gödel. Cambridge: MIT Press.
Wigner, Eugene Paul. 1967. The unreasonable effectiveness of mathematics in natural science. In Symmetries and reflections, 222–237. Bloomington: Indiana University Press.
Wittgenstein, Ludwig. 2000. The big typescript. Wiener Ausgabe 11:494. Wien.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature
About this chapter
Cite this chapter
Kanitscheider, B. (2019). Karl Poppers Welt 3 und die Philosophie der Mathematik. In: Franco, G. (eds) Handbuch Karl Popper. Springer VS, Wiesbaden. https://doi.org/10.1007/978-3-658-16239-9_24
Download citation
DOI: https://doi.org/10.1007/978-3-658-16239-9_24
Published:
Publisher Name: Springer VS, Wiesbaden
Print ISBN: 978-3-658-16238-2
Online ISBN: 978-3-658-16239-9
eBook Packages: Social Science and Law (German Language)