Foundations and philosophy

Dimitris Tsementzis, Hans Halvorson

Research output: Contribution to journalArticlepeer-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 languageEnglish (US)
JournalPhilosophers Imprint
Issue number10
StatePublished - May 2018

All Science Journal Classification (ASJC) codes

  • Philosophy


Dive into the research topics of 'Foundations and philosophy'. Together they form a unique fingerprint.

Cite this