Set Theory, Type Theory, and Absolute Generality
Graduate studies at Western
|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)|
|External links||This entry has no external links. Add one.|
|Through your library||Configure|
Similar books and articles
Agustin Rayo (2006). Beyond Plurals. In Agustín Rayo & Gabriel Uzquiano (eds.), Absolute Generality. Oxford University Press.
Helen Morris Cartwright (1993). On Plural Reference and Elementary Set Theory. Synthese 96 (2):201 - 254.
Øystein Linnebo (2006). Sets, Properties, and Unrestricted Quantification. In Gabriel Uzquiano & Agustin Rayo (eds.), Absolute Generality. Oxford University Press.
Bart Jacobs (1989). The Inconsistency of Higher Order Extensions of Martin-Löf's Type Theory. Journal of Philosophical Logic 18 (4):399 - 422.
A. Paseau (2003). The Open-Endedness of the Set Concept and the Semantics of Set Theory. Synthese 135 (3):379 - 399.
Gabriel Uzquiano (2003). Plural Quantification and Classes. Philosophia Mathematica 11 (1):67-81.
Nicola Gambino & Peter Aczel (2006). The Generalised Type-Theoretic Interpretation of Constructive Set Theory. Journal of Symbolic Logic 71 (1):67 - 103.
Ralf-Dieter Schindler (1993). Prädikative Klassen. Erkenntnis 39 (2):209 - 241.
Stephen Pollard (1985). Plural Quantification and the Iterative Concept of Set. Philosophy Research Archives 11:579-587.
G. Hellman (2011). On the Significance of the Burali-Forti Paradox. Analysis 71 (4):631-637.
A. Weir (1998). Naïve Set Theory is Innocent! Mind 107 (428):763-798.
Øystein Linnebo, Plural Quantification. Stanford Encyclopedia of Philosophy.
John P. Burgess (2004). E Pluribus Unum: Plural Logic and Set Theory. Philosophia Mathematica 12 (3):193-221.
Steve Awodey (2008). A Brief Introduction to Algebraic Set Theory. Bulletin of Symbolic Logic 14 (3):281-298.
Charles Sayward (1981). The Tree Theory and Isomorphism. Analysis 41 (1):6-11.
Sorry, there are not enough data points to plot this chart.
Added to index2012-12-04
Recent downloads (6 months)0
How can I increase my downloads?