Tsementzis, Dimitris and Halvorson, Hans (2016) Foundations and Philosophy. [Preprint]
|
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: |
Item Type: | Preprint | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
Creators: |
|
|||||||||
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 |