Univalent foundations as structuralist foundations

Synthese 194 (9):3583-3617 (2017)
  Copy   BIBTEX

Abstract

The 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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,757

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

What is a Higher Level Set?Dimitris Tsementzis - 2016 - Philosophia Mathematica:nkw032.
What Do We Want a Foundation to Do?Penelope Maddy - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 293-311.
Univalence and Ontic Structuralism.Lu Chen - 2024 - Foundations of Physics 54 (3):1-27.

Analytics

Added to PP
2016-05-08

Downloads
157 (#147,433)

6 months
11 (#359,362)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Univalence and Ontic Structuralism.Lu Chen - 2024 - Foundations of Physics 54 (3):1-27.
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.
A meaning explanation for HoTT.Dimitris Tsementzis - 2020 - Synthese 197 (2):651-680.
What is a Higher Level Set?Dimitris Tsementzis - 2016 - Philosophia Mathematica:nkw032.
Does Identity Make Sense?Andrei Rodin - 2024 - Manuscrito 47 (1):2024-0073.

Add more citations

References found in this work

Ontological Relativity and Other Essays.Willard Van Orman Quine - 1969 - New York: Columbia University Press.
What numbers could not be.Paul Benacerraf - 1965 - Philosophical Review 74 (1):47-73.
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.

View all 29 references / Add more references