Tsementzis, Dimitris and Halvorson, Hans (2016) Foundations and Philosophy. [Preprint]

Preview

Text Foundations.and.Philosophy.pdf Download (177kB) | Preview

Abstract

The Univalent Foundations (UF) of mathematics take the point of view that spatial notions (e.g. “point” and “path”) are fundamental, rather than derived, and that all of mathematics can be encoded in terms of them. We will argue that this new point of view has important implications for philosophy, and especially for those parts of analytic philosophy that take set theory and first-order logic as their benchmark of rigor. To do so, we will explore the connection between foundations and philosophy, outline what is distinctive about the logic of UF, and then describe new philosophical theses one can express in terms of this new logic.

---

Export/Citation:

EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL

Social Networking:

Share |

---

Item Type:	Preprint
Creators:	Creators Email ORCID Tsementzis, Dimitris dtsement@princeton.edu Halvorson, Hans hhalvors@princeton.edu
Additional Information:	Preprint
Keywords:	Univalent Foundations, Analytic Philosophy, Category Theory, Foundations of Mathematics
Subjects:	Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > History of Philosophy Specific Sciences > Mathematics > Logic Specific Sciences > Mathematics > Methodology Specific Sciences > Mathematics
Depositing User:	Dr. Dimitris Tsementzis
Date Deposited:	30 Sep 2017 22:56
Last Modified:	30 Sep 2017 22:56
Item ID:	13504
Subjects:	Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > History of Philosophy Specific Sciences > Mathematics > Logic Specific Sciences > Mathematics > Methodology Specific Sciences > Mathematics
Date:	October 2016
URI:	https://philsci-archive.pitt.edu/id/eprint/13504

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item