Level Theory, Part 2: Axiomatizing the Bare Idea of a Potential Hierarchy

Bulletin of Symbolic Logic 27 (4):461-484 (2021)
  Copy   BIBTEX

Abstract

Potentialists think that the concept of set is importantly modal. Using tensed language as an heuristic, the following bar-bones story introduces the idea of a potential hierarchy of sets: 'Always: for any sets that existed, there is a set whose members are exactly those sets; there are no other sets.' Surprisingly, this story already guarantees well-foundedness and persistence. Moreover, if we assume that time is linear, the ensuing modal set theory is almost definitionally equivalent with non-modal set theories; specifically, with Level Theory, as developed in Part 1.

Other Versions

No versions found

Similar books and articles

The potential hierarchy of sets.Øystein Linnebo - 2013 - Review of Symbolic Logic 6 (2):205-228.
The Iterative Conception of Set: a (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.
A Taxonomy for Set-Theoretic Potentialism.Davide Sutto - 2024 - Philosophia Mathematica:1-28.
Bi-Modal Naive Set Theory.John Wigglesworth - 2018 - Australasian Journal of Logic 15 (2):139-150.
Ω-powers and descriptive set theory.Dominique Lecomte - 2005 - Journal of Symbolic Logic 70 (4):1210-1232.
Aftermath Of The Nothing.Laurent Dubois - 2017 - In J.-Y. Beziau, A. Costa-Leite & I. M. L. D’Ottaviano (eds.), CLE, v.81. pp. 93-124.
Sets and singletons.Kai Hauser & W. Hugh Woodin - 1999 - Journal of Symbolic Logic 64 (2):590-616.
Sets and supersets.Toby Meadows - 2016 - Synthese 193 (6):1875-1907.

Analytics

Added to PP
2021-04-30

Downloads
451 (#62,933)

6 months
93 (#67,226)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Tim Button
University College London

Citations of this work

A Taxonomy for Set-Theoretic Potentialism.Davide Sutto - 2024 - Philosophia Mathematica:1-28.

Add more citations

References found in this work

The potential hierarchy of sets.Øystein Linnebo - 2013 - Review of Symbolic Logic 6 (2):205-228.
The iterative conception of set.George Boolos - 1971 - Journal of Philosophy 68 (8):215-231.
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.

View all 18 references / Add more references