Category Theory as an Autonomous Foundation
Philosophia Mathematica 19 (3):227-254 (2011)
| Abstract | Does category theory provide a foundation for mathematics that is autonomous with respect to the orthodox foundation in a set theory such as ZFC? We distinguish three types of autonomy : logical, conceptual, and justificatory. We argue that, while a strong case can be made for its logical and conceptual autonomy, its justificatory autonomy turns on whether or not mathematical theories can be justified by appeal to mathematical practice. If they can, a category-theoretical approach will be fully autonomous; if not, the most natural route to justificatory autonomy is blocked | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesØystein Linnebo & Richard Pettigrew (2011). Category Theory as an Autonomous Foundation. Philosophia Mathematica 19 (3):227-254.
Makmiller Pedroso (2009). On Three Arguments Against Categorical Structuralism. Synthese 170 (1):21 - 31.
Stewart Shapiro (2000). Set-Theoretic Foundations. The Proceedings of the Twentieth World Congress of Philosophy 2000:183-196.
Elaine Landry (1999). Category Theory: The Language of Mathematics. Philosophy of Science 66 (3):27.
Iain Law (2003). Autonomy, Sanity and Moral Theory. Res Publica 9 (1).
Patrick Lee Plaisance (2003). Justifications for Our Free Speech. International Journal of Applied Philosophy 17 (2):211-224.
Laurence Thomas (1983). Rationality and Moral Autonomy: An Essay in Moral Psychology. Synthese 57 (2):249 - 266.
Stewart Shapiro (2004). Foundations of Mathematics: Metaphysics, Epistemology, Structure. Philosophical Quarterly 54 (214):16 - 37.
F. A. Muller (2001). Sets, Classes, and Categories. British Journal for the Philosophy of Science 52 (3):539-573.
Geoffrey Hellman (2003). Does Category Theory Provide a Framework for Mathematical Structuralism? Philosophia Mathematica 11 (2):129-157.
Analytics
Monthly downloads |
Added to index2011-08-26Total downloads24 ( #51,635 of 549,087 )Recent downloads (6 months)1 ( #63,317 of 549,087 )How can I increase my downloads? |
My notes
Discussion
