An indeterminate universe of sets

Synthese 197 (2):545-573 (2020)
  Copy   BIBTEX

Abstract

In this paper, I develop a view on set-theoretic ontology I call Universe-Indeterminism, according to which there is a unique but indeterminate universe of sets. I argue that Solomon Feferman’s work on semi-constructive set theories can be adapted to this project, and develop a philosophical motivation for a semi-constructive set theory closely based on Feferman’s but tailored to the Universe-Indeterminist’s viewpoint. I also compare the emergent Universe-Indeterminist view to some more familiar views on set-theoretic ontology.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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

On the Strength of some Semi-Constructive Theories.Solomon Feferman - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter. pp. 201-226.
The set-theoretic multiverse.Joel David Hamkins - 2012 - Review of Symbolic Logic 5 (3):416-449.
Evil, fine-tuning and the creation of the universe.Dan Dennis - 2011 - International Journal for Philosophy of Religion 70 (2):139-145.
Operating on the universe.Narciso Garcia - 1988 - Archive for Mathematical Logic 27 (1):61-68.
Extending Martin-Löf Type Theory by one Mahlo-universe.Anton Setzer - 2000 - Archive for Mathematical Logic 39 (3):155-181.
Zermelo: definiteness and the universe of definable sets.Heinz-Dieter Ebbinghaus - 2003 - History and Philosophy of Logic 24 (3):197-219.

Analytics

Added to PP
2016-12-28

Downloads
42 (#359,513)

6 months
10 (#213,340)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Chris Scambler
New York University

Citations of this work

Independence Proofs in Non-Classical Set Theories.Sourav Tarafder & Giorgio Venturi - 2023 - Review of Symbolic Logic 16 (4):979-1010.

Add more citations