The modal logic of set-theoretic potentialism and the potentialist maximality principles
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 [HLL15], including the use of buttons, switches, dials and ratchets. Among...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Cambridge University Press
2019
|
| _version_ | 1826307592966635520 |
|---|---|
| author | Hamkins, J Linnebo, Ø |
| author_facet | Hamkins, J Linnebo, Ø |
| author_sort | Hamkins, J |
| collection | OXFORD |
| description | 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 [HLL15], including the use of buttons, switches, dials and ratchets. Among the potentialist conceptions we consider are: rank potentialism (true in all larger Vβ); Grothendieck-Zermelo potentialism (true in all larger Vκ for inaccessible cardinals κ); transitive-set potentialism (true in all larger transitive sets); forcing potentialism (true in all forcing extensions); countable-transitive-model potentialism (true in all larger countable transitive models of ZFC); countable-model potentialism (true in all larger countable models of ZFC); 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. |
| first_indexed | 2024-03-07T07:05:25Z |
| format | Journal article |
| id | oxford-uuid:e39a3b71-04e8-4121-b4fe-a40cf576ed4b |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T07:05:25Z |
| publishDate | 2019 |
| publisher | Cambridge University Press |
| record_format | dspace |
| spelling | oxford-uuid:e39a3b71-04e8-4121-b4fe-a40cf576ed4b2022-04-25T13:01:48ZThe modal logic of set-theoretic potentialism and the potentialist maximality principlesJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:e39a3b71-04e8-4121-b4fe-a40cf576ed4bEnglishSymplectic Elements at OxfordCambridge University Press2019Hamkins, JLinnebo, Ø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 [HLL15], including the use of buttons, switches, dials and ratchets. Among the potentialist conceptions we consider are: rank potentialism (true in all larger Vβ); Grothendieck-Zermelo potentialism (true in all larger Vκ for inaccessible cardinals κ); transitive-set potentialism (true in all larger transitive sets); forcing potentialism (true in all forcing extensions); countable-transitive-model potentialism (true in all larger countable transitive models of ZFC); countable-model potentialism (true in all larger countable models of ZFC); 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. |
| spellingShingle | Hamkins, J Linnebo, Ø The modal logic of set-theoretic potentialism and the potentialist maximality principles |
| title | The modal logic of set-theoretic potentialism and the potentialist maximality principles |
| title_full | The modal logic of set-theoretic potentialism and the potentialist maximality principles |
| title_fullStr | The modal logic of set-theoretic potentialism and the potentialist maximality principles |
| title_full_unstemmed | The modal logic of set-theoretic potentialism and the potentialist maximality principles |
| title_short | The modal logic of set-theoretic potentialism and the potentialist maximality principles |
| title_sort | modal logic of set theoretic potentialism and the potentialist maximality principles |
| work_keys_str_mv | AT hamkinsj themodallogicofsettheoreticpotentialismandthepotentialistmaximalityprinciples AT linneboø themodallogicofsettheoreticpotentialismandthepotentialistmaximalityprinciples AT hamkinsj modallogicofsettheoreticpotentialismandthepotentialistmaximalityprinciples AT linneboø modallogicofsettheoreticpotentialismandthepotentialistmaximalityprinciples |