Set Theory, Type Theory, and Absolute Generality

Mind 123 (489):157-174 (2014)
Authors
Stewart Shapiro
Ohio State University
Salvatore Florio
University of Birmingham
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 34,373
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.

Analytics

Added to PP index
2012-12-04

Total downloads
143 ( #40,434 of 2,266,853 )

Recent downloads (6 months)
8 ( #47,344 of 2,266,853 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature