Reinterpreting the universe-multiverse debate in light of inter-model inconsistency in set theory

Abstract

In this paper I apply the concept of _inter-Model Inconsistency in Set Theory_ (MIST), introduced by Carolin Antos (this volume), to select positions in the current universe-multiverse debate in philosophy of set theory: I reinterpret H. Woodin’s _Ultimate L_, J. D. Hamkins’ multiverse, S.-D. Friedman’s hyperuniverse and the algebraic multiverse as normative strategies to deal with the situation of de facto inconsistency toleration in set theory as described by MIST. In particular, my aim is to situate these positions on the spectrum from inconsistency avoidance to inconsistency toleration. By doing so, I connect a debate in philosophy of set theory with a debate in philosophy of science about the role of inconsistencies in the natural sciences. While there are important differences, like the lack of threatening explosive inferences, I show how specific philosophical positions in the philosophy of set theory can be interpreted as reactions to a state of inconsistency similar to analogous reactions studied in the philosophy of science literature. My hope is that this transfer operation from philosophy of science to mathematics sheds a new light on the current discussion in philosophy of set theory; and that it can help to bring philosophy of mathematics and philosophy of science closer together.

Other Versions

No versions found

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

The set-theoretic multiverse.Joel David Hamkins - 2012 - Review of Symbolic Logic 5 (3):416-449.
A naturalistic justification of the generic multiverse with a core.Matteo de Ceglie - 2018 - Contributions of the Austrian Ludwig Wittgenstein Society 26:34-36.
Forcing, Multiverse and Realism.Giorgio Venturi - 2016 - In Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Cham, Switzerland: Springer International Publishing.
Against the countable transitive model approach to forcing.Matteo de Ceglie - 2021 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020. College Publications.
Hierarchical Multiverse of Sets.Ahmet Çevik - 2023 - Notre Dame Journal of Formal Logic 64 (4):545-570.
The Set-theoretic Multiverse : A Natural Context for Set Theory.Joel David Hamkins - 2011 - Annals of the Japan Association for Philosophy of Science 19:37-55.
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.

Analytics

Added to PP
2021-12-16

Downloads
432 (#66,624)

6 months
105 (#57,382)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Daniel Kuby
Universität Konstanz

Citations of this work

No citations found.

Add more citations

References found in this work

How Woodin changed his mind: new thoughts on the Continuum Hypothesis.Colin J. Rittberg - 2015 - Archive for History of Exact Sciences 69 (2):125-151.

Add more references