Authors
Neil Barton
Universität Konstanz
Abstract
The independence phenomenon in set theory, while pervasive, can be partially addressed through the use of large cardinal axioms. One idea sometimes alluded to is that maximality considerations speak in favour of large cardinal axioms consistent with ZFC, since it appears to be `possible' to continue the hierarchy far enough to generate the relevant transfinite number. In this paper, we argue against this idea based on a priority of subset formation under the iterative conception. In particular, we argue that there are several conceptions of maximality that justify the consistency but falsity of large cardinal axioms. We argue that the arguments we provide are illuminating for the debate concerning the justification of new axioms in iteratively-founded set theory.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,214
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

Exploring Categorical Structuralism.C. Mclarty - 2004 - Philosophia Mathematica 12 (1):37-53.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Ramsey-Like Cardinals.Victoria Gitman - 2011 - Journal of Symbolic Logic 76 (2):519 - 540.
Broadening the Iterative Conception of Set.Mark F. Sharlow - 2001 - Notre Dame Journal of Formal Logic 42 (3):149-170.
Wide Sets, ZFCU, and the Iterative Conception.Christopher Menzel - 2014 - Journal of Philosophy 111 (2):57-83.
Boolos on the Justification of Set Theory.Alexander Paseau - 2007 - Philosophia Mathematica 15 (1):30-53.
Combined Maximality Principles Up to Large Cardinals.Gunter Fuchs - 2009 - Journal of Symbolic Logic 74 (3):1015-1046.
The Iterative Conception of Set.Thomas Forster - 2008 - Review of Symbolic Logic 1 (1):97-110.
Incompatible Ω-Complete Theories.Peter Koellner & W. Hugh Woodin - 2009 - Journal of Symbolic Logic 74 (4):1155 - 1170.
Implications Between Strong Large Cardinal Axioms.Richard Laver - 1997 - Annals of Pure and Applied Logic 90 (1-3):79-90.
Large Sets in Intuitionistic Set Theory.Harvey Friedman & Andrej Ščedrov - 1984 - Annals of Pure and Applied Logic 27 (1):1-24.
The Spectrum of Elementary Embeddings J: V→ V.Paul Corazza - 2006 - Annals of Pure and Applied Logic 139 (1):327-399.
Large Ideals on Small Cardinals.Markus Huberich - 1993 - Annals of Pure and Applied Logic 64 (3):241-271.
On the Iterative Explanation of the Paradoxes.Christopher Menzel - 1986 - Philosophical Studies 49 (1):37 - 61.
A Cardinal Pattern Inspired by AD.Arthur W. Apter - 1996 - Mathematical Logic Quarterly 42 (1):211-218.

Analytics

Added to PP index
2018-07-18

Total views
16 ( #665,863 of 2,507,636 )

Recent downloads (6 months)
1 ( #416,871 of 2,507,636 )

How can I increase my downloads?

Downloads

My notes