On the significance of the Burali-Forti paradox

Analysis 71 (4):631-637 (2011)
  Copy   BIBTEX

Abstract

After briefly reviewing the standard set-theoretic resolutions of the Burali-Forti paradox, we examine how the paradox arises in set theory formalized with plural quantifiers. A significant choice emerges between the desirable unrestricted availability of ordinals to represent well-orderings and the sensibility of attempting to refer to ‘absolutely all ordinals’ or ‘absolutely all well-orderings’. This choice is obscured by standard set theories, which rely on type distinctions which are obliterated in the setting with plurals. Zermelo's attempt ( 1930 ) to secure ordinal representability of arbitrary well-orderings through relativization of quantification to set-theoretic models is reviewed and found wanting. The natural modal-structural recasting provides, it is claimed, a good repair

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

All sets great and small: And I do mean ALL.Stewart Shapiro - 2003 - Philosophical Perspectives 17 (1):467–490.
The burali-Forti paradox.Irving M. Copi - 1958 - Philosophy of Science 25 (4):281-286.
Logical objects and the paradox of burali-Forti.A. Hazen - 1986 - Erkenntnis 24 (3):283 - 291.
The burali-Forti paradox.Barkley Rosser - 1942 - Journal of Symbolic Logic 7 (1):1-17.
An Order-Theoretic Account of Some Set-Theoretic Paradoxes.Thomas Forster & Thierry Libert - 2011 - Notre Dame Journal of Formal Logic 52 (1):1-19.
Burali-Forti's revenge.Stewart Shapiro - 2007 - In J. C. Beall (ed.), Revenge of the Liar: New Essays on the Paradox. Oxford University Press.
Bemerkungen zu den Paradoxien von Russell und Burali-Forti.K. Grelling & L. Nelson - 1907 - Abhandlungen Der Fries'schen Schule (Neue Serie) 2:300-334.
Zermelo and Russell's Paradox: Is There a Universal set?G. Landini - 2013 - Philosophia Mathematica 21 (2):180-199.
The inconsistency of higher order extensions of Martin-löf's type theory.Bart Jacobs - 1989 - Journal of Philosophical Logic 18 (4):399 - 422.

Analytics

Added to PP
2011-09-08

Downloads
98 (#176,172)

6 months
14 (#176,812)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Geoffrey Hellman
University of Minnesota

Citations of this work

Varieties of Indefinite Extensibility.Gabriel Uzquiano - 2015 - Notre Dame Journal of Formal Logic 56 (1):147-166.
The Paradox of Sufficient Reason.Samuel Levey - 2016 - Philosophical Review Recent Issues 125 (3):397-430.
Modal structuralism and reflection.Sam Roberts - 2019 - Review of Symbolic Logic 12 (4):823-860.
Numbers and Everything.Gonçalo Santos - 2013 - Philosophia Mathematica 21 (3):297-308.
Set Theory, Topology, and the Possibility of Junky Worlds.Thomas Mormann - 2014 - Notre Dame Journal of Formal Logic 55 (1): 79 - 90.

View all 9 citations / Add more citations

References found in this work

Add more references