The potential hierarchy of sets

Review of Symbolic Logic 6 (2):205-228 (2013)
  Copy   BIBTEX

Abstract

Some reasons to regard the cumulative hierarchy of sets as potential rather than actual are discussed. Motivated by this, a modal set theory is developed which encapsulates this potentialist conception. The resulting theory is equi-interpretable with Zermelo Fraenkel set theory but sheds new light on the set-theoretic paradoxes and the foundations of set theory.

Categories

Keywords

Reprint years

DOI

10.1017/s1755020313000014

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,599

External links

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

Through your library

My notes

Similar books and articles

Level Theory, Part 2: Axiomatizing the Bare Idea of a Potential Hierarchy.Tim Button - 2021 - Bulletin of Symbolic Logic 27 (4):461-484.
The Iterative Conception of Set: a (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.
Wide Sets, ZFCU, and the Iterative Conception.Christopher Menzel - 2014 - Journal of Philosophy 111 (2):57-83.
Constructive Set Theory with Operations.Andrea Cantini & Laura Crosilla - 2007 - In Alessandro Andretta, Keith Kearnes & Domenico Zambella, Logic Colloquium 2004: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Torino, Italy, July 25-31, 2004. Cambridge: Cambridge University Press.
A recursion theoretic characterization of the Topological Vaught Conjecture in the Zermelo‐Fraenkel set theory.Vassilios Gregoriades - 2017 - Mathematical Logic Quarterly 63 (6):544-551.
A cumulative hierarchy of sets for constructive set theory.Albert Ziegler - 2014 - Mathematical Logic Quarterly 60 (1-2):21-30.
An axiomatic theory of well-orderings.Oliver Deiser - 2011 - Review of Symbolic Logic 4 (2):186-204.
Set Theory, Type Theory, and Absolute Generality.Salvatore Florio & Stewart Shapiro - 2014 - Mind 123 (489):157-174.
Broadening the Iterative Conception of Set.Mark F. Sharlow - 2001 - Notre Dame Journal of Formal Logic 42 (3):149-170.
The purely iterative conception of set.Ansten Klev - 2024 - Philosophia Mathematica 32 (3):358-378.

Analytics

Added to PP
2015-02-06

Downloads
451 (#68,638)

6 months
45 (#108,497)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Øystein Linnebo
University of Oslo

Citations of this work

Classicism.Andrew Bacon & Cian Dorr - 2024 - In Peter Fritz & Nicholas K. Jones, Higher-Order Metaphysics. Oxford University Press. pp. 109-190.
Modal science.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):453-492.

View all 99 citations / Add more citations

References found in this work

Pluralities and Sets.Øystein Linnebo - 2010 - Journal of Philosophy 107 (3):144-164.
Mathematics without foundations.Hilary Putnam - 1967 - Journal of Philosophy 64 (1):5-22.
Platonism in the Philosophy of Mathematics.Øystein Linnebo - 2012 - In Ed Zalta, Stanford Encyclopedia of Philosophy. Stanford, CA: Stanford Encyclopedia of Philosophy.
Philosophy of mathematics, selected readings.Paul Benacerraf & Hilary Putnam - 1966 - Revue Philosophique de la France Et de l'Etranger 156:501-502.
The Iterative Conception of Set: a (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.

View all 17 references / Add more references