Foundations and philosophy
Research output: Contribution to journal › Journal article › Research › peer-review
The Univalent Foundations of mathematics take the point of view that all of mathematics can be encoded in terms of spatial notions like “point” and “path”. 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 the Univalent Foundations, and then describe new philosophical theses one can express in terms of this new logic.
Original language | English |
---|---|
Journal | Philosophers Imprint |
Volume | 18 |
Issue number | 10 |
ISSN | 1533-628X |
Publication status | Published - May 2018 |
Bibliographical note
Publisher Copyright:
© 2018, Dimitris Tsementzis and Hans Halvorson.
ID: 370731451