Bentzen, Bruno (2020) What types should not be. Philosophia Mathematica, 28 (1). pp. 60-76. ISSN 0031-8019

Preview

Text bentzen2020types.pdf Download (334kB) | Preview

Abstract

In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.

---

Export/Citation:

EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL

Social Networking:

Share |

---

Item Type:	Published Article or Volume
Creators:	Creators Email ORCID Bentzen, Bruno b.bentzen@hotmail.com 0000-0002-5987-7806
Keywords:	Homotopy type theory; informal semantics; types-as-concepts;
Subjects:	Specific Sciences > Mathematics > Explanation Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > Proof
Depositing User:	Dr. Bruno Bentzen
Date Deposited:	07 May 2021 18:20
Last Modified:	07 May 2021 18:20
Item ID:	18992
Journal or Publication Title:	Philosophia Mathematica
Publisher:	OUP
Official URL:	https://academic.oup.com/philmat/advance-article/d...
DOI or Unique Handle:	10.1093/philmat/nkz014
Subjects:	Specific Sciences > Mathematics > Explanation Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > Proof
Date:	2020
Page Range:	pp. 60-76
Volume:	28
Number:	1
ISSN:	0031-8019
URI:	https://philsci-archive.pitt.edu/id/eprint/18992

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Altmetric.com

Actions (login required)

View Item