Synthese 194 (9):3583-3617 (2017)
AbstractThe Univalent Foundations of Mathematics provide not only an entirely non-Cantorian conception of the basic objects of mathematics but also a novel account of how foundations ought to relate to mathematical practice. In this paper, I intend to answer the question: In what way is UF a new foundation of mathematics? I will begin by connecting UF to a pragmatist reading of the structuralist thesis in the philosophy of mathematics, which I will use to define a criterion that a formal system must satisfy if it is to be regarded as a “structuralist foundation.” I will then explain why both set-theoretic foundations like ZFC and category-theoretic foundations like ETCS satisfy this criterion only to a very limited extent. Then I will argue that UF is better-able to live up to the proposed criterion for a structuralist foundation than any currently available foundational proposal. First, by showing that most criteria of identity in the practice of mathematics can be formalized in terms of the preferred criterion of identity between the basic objects of UF. Second, by countering several objections that have been raised against UF’s capacity to serve as a foundation for the whole of mathematics
Added to PP
Historical graph of downloads
References found in this work
Philosophy of Mathematics: Structure and Ontology.Stewart Shapiro - 2000 - Philosophical Quarterly 50 (198):120-123.
Philosophy of Mathematics: Structure and Ontology.Stewart Shapiro - 2002 - Philosophy and Phenomenological Research 65 (2):467-475.
Citations of this work
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Berlin: Springer Verlag. pp. 43-78.
Similar books and articles
Reviewed Work: Homotopy Type Theory: Univalent Foundations of Mathematics, Http://Homotopytypetheory.Org/Book, Institute for Advanced Study The Univalent Foundations Program.Review by: Jaap van Oosten - 2014 - Bulletin of Symbolic Logic 20 (4):497-500,.
Foundations for Mathematical Structuralism.Uri Nodelman & Edward N. Zalta - 2014 - Mind 123 (489):39-78.
Categorical Foundations of Mathematics or How to Provide Foundations for Abstract Mathematics.Jean-Pierre Marquis - 2013 - Review of Symbolic Logic 6 (1):51-75.
On Three Arguments Against Categorical Structuralism.Makmiller Pedroso - 2009 - Synthese 170 (1):21 - 31.
The Indispensability Argument and Multiple Foundations for Mathematics.Alan Baker - 2003 - Philosophical Quarterly 53 (210):49–67.
Categorical Foundations and Mathematical Practice.C. McLarty - 2012 - Philosophia Mathematica 20 (1):111-113.
Set-Theoretic Foundations.Stewart Shapiro - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 2000:183-196.
Foundations as Truths Which Organize Mathematics.Colin Mclarty - 2013 - Review of Symbolic Logic 6 (1):76-86.
Voevodsky’s Univalence Axiom in Homotopy Type Theory.Steve Awodey, Alvaro Pelayo & Michael A. Warren - unknown
Structuralism in the Foundations of Mathematics.Jane Terry Nutter - 1980 - Dissertation, State University of New York at Buffalo
Reflections on Mathematics.Edward N. Zalta - 2007 - In V. F. Hendricks & Hannes Leitgeb (eds.), Philosophy of Mathematics: Five Questions. Automatic Press/VIP.
Mathematics Without Numbers: Towards a Modal-Structural Interpretation.Geoffrey Hellman - 1989 - Oxford, England: Oxford University Press.
Book Review: J. P. Mayberry. Foundations of Mathematics in the Theory of Sets. [REVIEW]O. Bradley Bassler - 2005 - Notre Dame Journal of Formal Logic 46 (1):107-125.