PhilSci Archive

Foundations and Philosophy

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

[img]
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:
CreatorsEmailORCID
Tsementzis, Dimitrisdtsement@princeton.edu
Halvorson, Hanshhalvors@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 View Item