Set theory, type theory, and absolute generality

Salvatore Florio, Stewart Shapiro

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)
213 Downloads (Pure)

Abstract

In light of the close connection between the ontological hierarchy of set theory and the ideological hierarchy of type theory, Øystein Linnebo and Agust'ın Rayo have recently offered an argument in favour of the view that the set-theoretic universe is open-ended. In this paper, we argue that, since the connection between the two hierarchies is indeed tight, any philosophical conclusions cut both ways. One should either hold that both the ontological hierarchy and the ideological hierarchy
are open-ended, or that neither is. If there is reason to accept the view that the set-theoretic universe is open-ended, that will be because such a view is the most compelling one to adopt on the purely ontological front.
Original languageEnglish
Pages (from-to)157-174
Number of pages18
JournalMind
Volume123
Issue number489
DOIs
Publication statusPublished - Jan 2014

Fingerprint

Dive into the research topics of 'Set theory, type theory, and absolute generality'. Together they form a unique fingerprint.

Cite this