Review of Symbolic Logic:1-50 (forthcoming)

Neil Barton
University of Konstanz
Carolin Antos
Universität Konstanz
A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often model-theoretic constructions that add sets to models are cited as evidence in favour of the latter. This paper informs this debate by developing a way for a Universist to interpret talk that seems to necessitate the addition of sets to V. We argue that, despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We present a method of interpreting extension-talk (V-logic), and show how it captures satisfaction in `ideal' outer models and relates to impredicative class theories. We provide some reasons to regard the technique as philosophically virtuous, and argue that it opens new doors to philosophical and mathematical discussions for the Universist.
Keywords set theory  forcing  multiverse
Categories (categorize this paper)
DOI 10.1017/s1755020320000271
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
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

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Forcing and the Universe of Sets: Must We Lose Insight?Neil Barton - 2020 - Journal of Philosophical Logic 49 (4):575-612.
Richness and Reflection.Neil Barton - 2016 - Philosophia Mathematica 24 (3):330-359.
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. Birkhäuser. pp. 109-124.
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. Birkhäuser. pp. 47-73.
A Naturalistic Justification of the Generic Multiverse with a Core.Matteo de Ceglie - 2018 - Contributions of the Austrian Ludwig Wittgenstein Society 26:34-36.
The Set-Theoretic Multiverse.Joel David Hamkins - 2012 - Review of Symbolic Logic 5 (3):416-449.
Infinite Forcing and the Generic Multiverse.Giorgio Venturi - 2020 - Studia Logica 108 (2):277-290.
The Level I Multiverse Is Not the Same as the Level III Multiverse.Alan McKenzie - 2017 - NSPIRE-HEP, High Energy Physics (HEP) Database, CERN Online Publications, EUROPE.
A Natural Model of the Multiverse Axioms.Victoria Gitman & Joel David Hamkins - 2010 - Notre Dame Journal of Formal Logic 51 (4):475-484.
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Berlin: Springer Verlag. pp. 43-78.


Added to PP index

Total views
49 ( #195,667 of 2,349,561 )

Recent downloads (6 months)
49 ( #13,413 of 2,349,561 )

How can I increase my downloads?


My notes