Foundations and philosophy

Research output: Contribution to journal › Journal article › Research › peer-review

Standard

Foundations and philosophy. / Tsementzis, Dimitris; Halvorson, Hans.

In: Philosophers Imprint, Vol. 18, No. 10, 05.2018.

Research output: Contribution to journal › Journal article › Research › peer-review

Harvard

Tsementzis, D & Halvorson, H 2018, 'Foundations and philosophy', Philosophers Imprint, vol. 18, no. 10.

APA

Tsementzis, D., & Halvorson, H. (2018). Foundations and philosophy. Philosophers Imprint, 18(10).

Vancouver

Tsementzis D, Halvorson H. Foundations and philosophy. Philosophers Imprint. 2018 May;18(10).

Author

Tsementzis, Dimitris ; Halvorson, Hans. / Foundations and philosophy. In: Philosophers Imprint. 2018 ; Vol. 18, No. 10.

Bibtex

@article{b3903c60b6c74adf93e02bc309a8aee7,
title = "Foundations and philosophy",
abstract = "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.",
author = "Dimitris Tsementzis and Hans Halvorson",
note = "Publisher Copyright: {\textcopyright} 2018, Dimitris Tsementzis and Hans Halvorson.",
year = "2018",
month = may,
language = "English",
volume = "18",
journal = "Philosophers Imprint",
issn = "1533-628X",
publisher = "University of Michigan Press",
number = "10",

}

RIS

TY - JOUR

T1 - Foundations and philosophy

AU - Tsementzis, Dimitris

AU - Halvorson, Hans

N1 - Publisher Copyright: © 2018, Dimitris Tsementzis and Hans Halvorson.

PY - 2018/5

Y1 - 2018/5

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85053840627&partnerID=8YFLogxK

M3 - Journal article

AN - SCOPUS:85053840627

VL - 18

JO - Philosophers Imprint

JF - Philosophers Imprint

SN - 1533-628X

IS - 10

ER -

ID: 370731451