Forcing, Multiverse and Realism

In Francesca Boccuni & Andrea Sereni, 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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,203

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Infinite Forcing and the Generic Multiverse.Giorgio Venturi - 2020 - Studia Logica 108 (2):277-290.
A Reconstruction of Steel’s Multiverse Project.Penelope Maddy & Toby Meadows - 2020 - Bulletin of Symbolic Logic 26 (2):118-169.
Against the countable transitive model approach to forcing.Matteo de Ceglie - 2021 - In Martin Blicha & Igor Sedlár, The Logica Yearbook 2020. College Publications.
On the Set-Generic Multiverse.Sy-David Friedman, Sakaé Fuchino & Hiroshi Sakai - 2018 - In Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo, The Hyperuniverse Project and Maximality. Basel, Switzerland: Birkhäuser. pp. 109-124.
Universism and extensions of V.Carolin Antos, Neil Barton & Sy-David Friedman - 2021 - Review of Symbolic Logic 14 (1):112-154.
Hierarchical Multiverse of Sets.Ahmet Çevik - 2023 - Notre Dame Journal of Formal Logic 64 (4):545-570.

Analytics

Added to PP
2020-06-17

Downloads
22 (#1,015,764)

6 months
5 (#702,808)

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