Review of Symbolic Logic 15 (1):1-35 (2022)

Joel David Hamkins
Oxford University
Øystein Linnebo
University of Oslo
We analyze the precise modal commitments of several natural varieties of set-theoretic potentialism, using tools we develop for a general model-theoretic account of potentialism, building on those of Hamkins, Leibman and Löwe [14], including the use of buttons, switches, dials and ratchets. Among the potentialist conceptions we consider are: rank potentialism, Grothendieck–Zermelo potentialism, transitive-set potentialism, forcing potentialism, countable-transitive-model potentialism, countable-model potentialism, and others. In each case, we identify lower bounds for the modal validities, which are generally either S4.2 or S4.3, and an upper bound of S5, proving in each case that these bounds are optimal. The validity of S5 in a world is a potentialist maximality principle, an interesting set-theoretic principle of its own. The results can be viewed as providing an analysis of the modal commitments of the various set-theoretic multiverse conceptions corresponding to each potentialist account.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1755020318000242
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

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

The Potential Hierarchy of Sets.Øystein Linnebo - 2013 - Review of Symbolic Logic 6 (2):205-228.
The Set-Theoretic Multiverse.Joel David Hamkins - 2012 - Review of Symbolic Logic 5 (3):416-449.
Mathematics Without Foundations.Hilary Putnam - 1967 - Journal of Philosophy 64 (1):5-22.

View all 15 references / Add more references

Citations of this work BETA

The Σ1-Definable Universal Finite Sequence.Joel David Hamkins & Kameryn J. Williams - 2022 - Journal of Symbolic Logic 87 (2):783-801.

Add more citations

Similar books and articles

Maximality Principles in Set Theory.Luca Incurvati - 2017 - Philosophia Mathematica 25 (2):159-193.
The Potential Hierarchy of Sets.Øystein Linnebo - 2013 - Review of Symbolic Logic 6 (2):205-228.
A Simple Maximality Principle.Joel Hamkins - 2003 - Journal of Symbolic Logic 68 (2):527-550.
A Simple Maximality Principle.Joel David Hamkins - 2003 - Journal of Symbolic Logic 68 (2):527-550.
On a Class of Maximality Principles.Daisuke Ikegami & Nam Trang - 2018 - Archive for Mathematical Logic 57 (5-6):713-725.
Closed Maximality Principles and Generalized Baire Spaces.Philipp Lücke - 2019 - Notre Dame Journal of Formal Logic 60 (2):253-282.
The Iterative Conception of Set: A (Bi-)Modal Axiomatisation.J. P. Studd - 2013 - Journal of Philosophical Logic 42 (5):1-29.
The Dynamification of Modal Dependence Logic.Pietro Galliani - 2013 - Journal of Logic, Language and Information 22 (3):269-295.
Toward Model-Theoretic Modal Logics.Minghui Ma - 2010 - Frontiers of Philosophy in China 5 (2):294-311.
Conversion Principles and the Basis of Aristotle's Modal Logic.Richard Patterson - 1990 - History and Philosophy of Logic 11 (2):151-172.
Maximality in Modal Logic.R. C. Flagg & H. Friedman - 1987 - Annals of Pure and Applied Logic 34 (2):99-118.


Added to PP index

Total views
91 ( #128,186 of 2,506,443 )

Recent downloads (6 months)
10 ( #73,958 of 2,506,443 )

How can I increase my downloads?


My notes