Forcing, Multiverse and Realism

In Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Cham, Switzerland: Springer International Publishing (2016)
  Copy   BIBTEX

Abstract

In this article we analyze the method of forcing from a more philosophical perspective. After a brief presentation of this technique we outline some of its philosophical imports in connection with realism. We shall discuss some philosophical reactions to the invention of forcing, concentrating on Mostowski’s proposal of sharpening the notion of generic set. Then we will provide an overview of the notions of multiverse and the related philosophical debate on the foundations of set theory. In conclusion, we connect this modern debate and Mostowski’s proposal, suggesting a way to analyze the notion of genericity within the framework of a multiverse structure.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-319-31644-4_12

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

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

Set-theoretic blockchains.Miha E. Habič, Joel David Hamkins, Lukas Daniel Klausner, Jonathan Verner & Kameryn J. Williams - 2019 - Archive for Mathematical Logic 58 (7-8):965-997.
Infinite Forcing and the Generic Multiverse.Giorgio Venturi - 2020 - Studia Logica 108 (2):277-290.
A Natural Model of the Multiverse Axioms.Victoria Gitman & Joel David Hamkins - 2010 - Notre Dame Journal of Formal Logic 51 (4):475-484.
On the Set-Generic Multiverse.Sy-David Friedman, Sakaé Fuchino & Hiroshi Sakai - 2018 - In Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo (eds.), The Hyperuniverse Project and Maximality. Basel, Switzerland: Birkhäuser. pp. 109-124.
A critical note on time in the multiverse.Svend E. Rugh & Henrik Zinkernagel - unknown
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.
Multiverse Conceptions in Set Theory.Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo - 2015 - Synthese 192 (8):2463-2488.
Multiverse Conceptions in Set Theory.Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo - 2018 - In Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo (eds.), The Hyperuniverse Project and Maximality. Basel, Switzerland: Birkhäuser. pp. 47-73.
Sweet & sour and other flavours of ccc forcing notions.Andrzej Rosłanowski & Saharon Shelah - 2004 - Archive for Mathematical Logic 43 (5):583-663.
A naturalistic justification of the generic multiverse with a core.Matteo de Ceglie - 2018 - Contributions of the Austrian Ludwig Wittgenstein Society 26:34-36.
Counterpart theory v. the multiverse: reply to Watson.Jim Stone - 2011 - Analysis 71 (1):96-100.
On Predictions and Explanations in Multiverse Scenarios.Keizo Matsubara - 2018 - In Antonio Piccolomini D’Aragona, Martin Carrier, Roger Deulofeu, Axel Gelfert, Jens Harbecke, Paul Hoyningen-Huene, Lara Huber, Peter Hucklenbroich, Ludger Jansen, Elizaveta Kostrova, Keizo Matsubara, Anne Sophie Meincke, Andrea Reichenberger, Kian Salimkhani & Javier Suárez (eds.), Philosophy of Science: Between the Natural Sciences, the Social Sciences, and the Humanities. Cham: Springer Verlag. pp. 43-54.
Forcing operators on MTL-algebras.George Georgescu & Denisa Diaconescu - 2011 - Mathematical Logic Quarterly 57 (1):47-64.
God and the Multiverse.W. David Beck & Max Andrews - 2014 - Philosophia Christi 16 (1):101-115.
More Notions of Forcing Add a Souslin Tree.Ari Meir Brodsky & Assaf Rinot - 2019 - Notre Dame Journal of Formal Logic 60 (3):437-455.

Analytics

Added to PP
2020-06-17

Downloads
14 (#1,015,252)

6 months
8 (#411,621)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Giorgio Venturi
University of Campinas

Citations of this work

Independence Proofs in Non-Classical Set Theories.Sourav Tarafder & Giorgio Venturi - 2023 - Review of Symbolic Logic 16 (4):979-1010.
Ideal Objects for Set Theory.Santiago Jockwich, Sourav Tarafder & Giorgio Venturi - 2022 - Journal of Philosophical Logic 51 (3):583-602.
ZF and its interpretations.S. Jockwich Martinez, S. Tarafder & G. Venturi - 2024 - Annals of Pure and Applied Logic 175 (6):103427.

Add more citations

References found in this work

No references found.

Add more references