Set Theory, Type Theory, and Absolute Generality

Mind 123 (489):157-174 (2014)
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.
Keywords set theory  type theory  unrestricted quantification  plural quantification
Categories (categorize this paper)
DOI 10.1093/mind/fzu039
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 32,587
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Idealist and Realist Elements in Cantor's Approach to Set Theory.I. Jane - 2010 - Philosophia Mathematica 18 (2):193-226.

Add more references

Citations of this work BETA
Unrestricted Quantification.Salvatore Florio - 2014 - Philosophy Compass 9 (7):441-454.

Add more citations

Similar books and articles
Beyond Plurals.Agustin Rayo - 2006 - In Agustín Rayo & Gabriel Uzquiano (eds.), Absolute Generality. Oxford University Press. pp. 220--54.
Sets, Properties, and Unrestricted Quantification.Øystein Linnebo - 2006 - In Gabriel Uzquiano & Agustin Rayo (eds.), Absolute Generality. Oxford University Press.
The Inconsistency of Higher Order Extensions of Martin-Löf's Type Theory.Bart Jacobs - 1989 - Journal of Philosophical Logic 18 (4):399 - 422.
Plural Quantification and Classes.Gabriel Uzquiano - 2003 - Philosophia Mathematica 11 (1):67-81.
Prädikative Klassen.Ralf-Dieter Schindler - 1993 - Erkenntnis 39 (2):209 - 241.
Plural Quantification and the Iterative Concept of Set.Stephen Pollard - 1985 - Philosophy Research Archives 11:579-587.
Naïve Set Theory is Innocent!A. Weir - 1998 - Mind 107 (428):763-798.
Plural Quantification.Øystein Linnebo - 2008 - Stanford Encyclopedia of Philosophy.
E Pluribus Unum: Plural Logic and Set Theory.John P. Burgess - 2004 - Philosophia Mathematica 12 (3):193-221.
A Brief Introduction to Algebraic Set Theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.
Added to PP index
2012-12-04

Total downloads
138 ( #40,353 of 2,235,686 )

Recent downloads (6 months)
9 ( #56,575 of 2,235,686 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature