Abstract
Recent years have seen a wealth of discussion on the topic of the foundations of mathematics, and the extent to which category theory, set theory, or some other framework serves, or can serve, as a foundation, or the foundation of some, most, or all of mathematics. Of course, adjudications of these matters depend on what, exactly, a foundation is, and what it is for, and it depends on what mathematics is. It is like a game of Jeopardy. We are given some answers: set theory, category theory, abstraction principles, etc., and we have to figure out what the questions are. Most of the participants in this debate are at least fairly clear about what their questions are, but it seems that the participants do not have the same questions in mind. And some of the questions have disputable presuppositions concerning the nature of mathematics. My purpose here is to survey some of the terrain. The goal is to clarify the discussion, and perhaps to advance parts of it, without plumping for one or the other view.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Awodey, S. (2004) “An answer to Hellman’s question: ‘Does category theory provide a framework for mathematical structuralism?’ ”, Philosophia Mathematica 12, 54–64.
Frege, G. (1884) Die Grundlagen der Arithmetik, Breslau: Koebner; The Foundations of Arithmetic, translated by J. Austin, second edition, New York: Harper, 1960.
Hale, B. and Wright, C. (2001) The Reason’s Proper Study, Oxford: Clarendon Press.
Jeshion, R. (2001) “Frege’s notions of self-evidence”, Mind 110, 937–976.
Maddy, P. (1997) Naturalism in Mathematics, Oxford: Oxford University Press.
McLarty, C. (2004) “Exploring categorical structuralism”, Philosophia Mathematica 12, 37–53.
Moschovakis, Y. (1994) Notes on Set Theory, New York: Springer.
Shapiro, S. (2004) “Foundations of mathematics: metaphysics, epistemology, structure”, Philosophical Quarterly 54, 16–37.
Shapiro, S. (2005) “Categories, structures, and the Frege-Hilbert controversy: the status of meta-mathematics”, Philosophia Mathematica 13, 61–77.
Wilson, M. (1981) “The double standard in ontology”, Philosophical Studies 39, 409–427.
Wilson, M. (1993) “There’s a hole and a bucket, dear Leibniz”, Midwest Studies in Philosophy 18, 202–241.
Wright, C. (1997) “On the philosophical significance of Frege’s theorem”, Language, Thought, and Logic, edited by Richard Heck, Jr., Oxford: Oxford University Press, 201–244; reprinted in Hale and Wright (2001), 272–306.
Acknowledgments
This note is a spinoff and extension of parts of Shapiro (2004) and Shapiro (2005). I am indebted to Colin McLarty, Steve Awodey, and Geoffrey Hellman for discussion and insight.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Shapiro, S. (2011). Foundations: Structures, Sets, and Categories. In: Sommaruga, G. (eds) Foundational Theories of Classical and Constructive Mathematics. The Western Ontario Series in Philosophy of Science, vol 76. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-0431-2_4
Download citation
DOI: https://doi.org/10.1007/978-94-007-0431-2_4
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-0430-5
Online ISBN: 978-94-007-0431-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)