David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 179 (3):435 - 454 (2011)
This paper considers the nature and role of axioms from the point of view of the current debates about the status of category theory and, in particular, in relation to the "algebraic" approach to mathematical structuralism. My aim is to show that category theory has as much to say about an algebraic consideration of meta-mathematical analyses of logical structure as it does about mathematical analyses of mathematical structure, without either requiring an assertory mathematical or meta-mathematical background theory as a "foundation", or turning meta-mathematical analyses of logical concepts into "philosophical" ones. Thus, we can use category theory to frame an interpretation of mathematics according to which we can be structuralists all the way down
|Keywords||Mathematical structuralism Category theory Algebraic structuralism Philosophy of mathematics Hilbert Frege Shapiro McLarty Marquis Hellman Mac Lane|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Aldo Antonelli & Robert May (2000). Frege's New Science. Notre Dame Journal of Formal Logic 41 (3):242-270.
Steve Awodey (2004). An Answer to Hellman's Question: ‘Does Category Theory Provide a Framework for Mathematical Structuralism?’. Philosophia Mathematica 12 (1):54-64.
William Bragg Ewald (ed.) (1996). From Kant to Hilbert: A Source Book in the Foundations of Mathematics. Oxford University Press.
Warren D. Goldfarb (1979). Logic in the Twenties: The Nature of the Quantifier. Journal of Symbolic Logic 44 (3):351-368.
Michael Hallett (1994). Hilbert's Axiomatic Method and the Laws of Thought. In Alexander George (ed.), Mathematics and Mind. Oxford University Press. 158--200.
Citations of this work BETA
Julian C. Cole (2010). Mathematical Structuralism Today. Philosophy Compass 5 (8):689-699.
Similar books and articles
Geoffrey Hellman (2003). Does Category Theory Provide a Framework for Mathematical Structuralism? Philosophia Mathematica 11 (2):129-157.
Elaine Landry (1999). Category Theory: The Language of Mathematics. Philosophy of Science 66 (3):27.
Stewart Shapiro (2005). Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-Mathematics. Philosophia Mathematica 13 (1):61-77.
Simon Friederich (2010). Structuralism and Meta-Mathematics. Erkenntnis 73 (1):67 - 81.
Elaine Landry & Jean-Pierre Marquis (2005). Categories in Context: Historical, Foundational, and Philosophical. Philosophia Mathematica 13 (1):1-43.
Andrei Rodin, Toward a Hermeneutic Categorical Mathematics or Why Category Theory Does Not Support Mathematical Structuralism.
Charles Parsons (2008). Mathematical Thought and its Objects. Cambridge University Press.
Added to index2009-12-09
Total downloads99 ( #17,540 of 1,696,456 )
Recent downloads (6 months)8 ( #68,915 of 1,696,456 )
How can I increase my downloads?