Abstract
Wittgenstein’s philosophy of mathematics is often devalued due to its peculiar features, especially its radical departure from any of standard positions in foundations of mathematics, such as logicism, intuitionism, and formalism. We first contrast Wittgenstein’s finitism with Hilbert’s finitism, arguing that Wittgenstein’s is perspicuous or surveyable finitism whereas Hilbert’s is transcendental finitism. We then further elucidate Wittgenstein’s philosophy by explicating his natural history view of logic and mathematics, which is tightly linked with the so-called rule-following problem and Kripkenstein’s paradox, yielding vital implications to the nature of mathematical understanding, and to the nature of the certainty and objectivity of mathematical truth. Since the incompleteness theorems, foundations of mathematics have mostly lost their philosophical driving force, and anti-foundationalism has become prevalent and pervasive. Yet new foundations have nevertheless emerged and come into the scene, namely categorical foundations. We articulate the foundational significance of category theory by explicating three forms of foundations, i.e., global foundations (aka. reductive absolute foundations), local foundations (aka. structural relative foundations), and conceptual foundations. And we explore the possibility of categorical unified science qua pluralistic unified science, arguing for the categorical unity of science on both mathematical and philosophical grounds. We then turn to an issue in conceptual foundations of mathematics, namely the nature of the concept of space. We elucidate Wittgenstein’s intensional conception of space in relation to Brouwer’s theory of space continua and to the modern conception of space as point-free structure in category theory and algebraic geometry. We finally give a bird’s-eye view of mathematical philosophy from a Wittgensteinian perspective, and further sheds new light on Wittgenstein’s constructive structuralism and his view of incompleteness and contradictions in mathematics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Baird, David, et al. (eds.), 1998, Heinrich Hertz: Classical Physicist, Modern Philosopher, Netherlands: Springer.
Bourbaki, Nicole, 1950, “The Architecture of Mathematics", The American Mathematical Monthly, vol. 4, pp. 221–232.
Brouwer, L.E.J., 1918, “Begründung der Mengenlehre unabhängig vom logischen Satz vom ausgeschlossenen Dritten. Erster Teil, Allgemeine Mengenlehre", KNAW Verhandelingen 5, pp.1-43.
Cartier, Pierre, 2001, “A Mad Day’s Work: From Grothendieck to Connes and Kontsevich: The Evolution of Concepts of Space and Symmetry", Bull. Amer. Math. Soc. 38, pp. 389–408.
Connes, Alain, 1994, Noncommutative Geometry, San Diego: Academic Press.
Coquand, Thierry, 2009, Space of valuations, Annals of Pure and Applied Logic, vol. 157, pp. 97–109.
Corry, Leo, 2004, David Hilbert and the Axiomatization of Physics (1898-1918), Netherlands: Springer.
Daston, Lorraine, and Peter Galison, 2007, Objectivity, NewYork: Zone Books.
Dawson, Ryan, 2015, Leaving Mathematics As It Is: Wittgenstein’s Later Philosophy of Mathematics, Norwich: University of East Anglia.
Dummett, Michael, 1977, Elements of Intuitionism, Oxford: Clarendon Press.
Galison, Peter, 1999, “Trading Zone: Coordinating Action and Belief", in: Science Studies Reader, pp. 137–160, NewYork: Routledge.
Galison, Peter, 1997, Image and Logic: A Material Culture of Microphysics, Chicago: Univesity of Chicago Press.
Gray, Jeremy, 2008, Plato’s Ghost: The Modernist Transformation of Mathematics, Princeton: Princeton University Press.
Han, Daesuk, 2011, “Wittgenstein and the Real Numbers", History and Philosophy of Logic 31, pp. 219–245.
Hilbert, David, 1983, “On the Infinite", in: Philosophy of Mathematics: Selected Readings, Cambridge: Cambridge University Press.
Kripke, Saul, 1982, Wittgenstein on Rules and Private Language, Massachusetts: Harvard University Press.
Lawvere, William, 1964, “An elementary theory of the category of sets", Proceedings of the National Academy of Science of the U.S.A., vol. 52, pp. 1506–1511.
MacLane, Saunders, and Ieke Moerdijk, 1992, Sheaves in Geometry and Logic, New York: Springer-Verlag.
Marion, Matthieu, 2011, Wittgenstein on surveyability of proofs, in: Marie McGinn and Oskari Kuusela (eds.), The Oxford Handbook of Wittgenstein, Oxford: Oxford University Press.
Martin-Löf, Per, 1984, Intuitionistic type theory, Napoli: Bibliopolis.
Nishida, Kitaro, 1990 (original publication in 1921), An Inquiry into the Good, New Haven: Yale University Press.
Peirce, Charles Sanders, 1974, Collected Papers of Charles Sanders Peirce, Massachusetts: Harvard University Press.
Putnam, Hilary, 1983, Realism and Reason, Philosophical Papers vol. 3, Cambridge: Cambridge University Press.
Rodych, Victor, 2011, “Wittgenstein’s Philosophy of Mathematics", Stanford Encyclopedia of Philosophy, Stanford: Stanford University.
Shanker, Stuart, 1987, Wittgenstein and the Turning Point in the Philosophy of Mathematics, New York: SUNY Press.
van Atten, Mark, 2007, Brouwer meets Husserl: on the phenomenology of choice sequences, Dordrecht: Springer.
Voevodsky, Vladimir, et al., 2013, Homotopy Type Theory: Univalent Foundations of Mathematics, Princeton: IAS.
Waismann, Friedrich, 1979, “ Ludwig Wittgenstein and the Vienna Circle", Oxford: Basil Blackwell.
Weingart, Peter, 2010, “A short history of knowledge formations", in: The Oxford Handbook of Interdisciplinarity, pp. 3–14, Oxford: Oxford University Press.
Wittgenstein, Ludwig, 1974, Philosophical Grammar, Oxford: Basil Blackwell.
Wittgenstein, Ludwig, 1975, Philosophical Remarks, Oxford: Basil Blackwell.
Wittgenstein, Ludwig, 1978, Remarks on the Foundations of Mathematics, Oxford: Basil Blackwell.
Wittgenstein, Ludwig, 1986, Philosophical Investigations, Oxford: Basil Blackwell.
Acknowledgements
I am grateful to Samson Abramsky for discussions about the unity of science, to Makoto Kikuchi for discussions about Wittgenstein’s philosophy of logic and mathematics, and to Norihiro Yamada for discussions about logic and foundations of mathematics. I hereby acknowledge financial support from JSPS (grant number: 17K14231) and JST (grant number: JPMJPR17G9).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Maruyama, Y. (2020). Foundations of Mathematics: From Hilbert and Wittgenstein to the Categorical Unity of Science. In: Wuppuluri, S., da Costa, N. (eds) WITTGENSTEINIAN (adj.). The Frontiers Collection. Springer, Cham. https://doi.org/10.1007/978-3-030-27569-3_15
Download citation
DOI: https://doi.org/10.1007/978-3-030-27569-3_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-27568-6
Online ISBN: 978-3-030-27569-3
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)