Authors |
|
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 |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
What Does It Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory.Colin McLarty - 2010 - Bulletin of Symbolic Logic 16 (3):359-377.
What Does It Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory.Colin McLarty - 2010 - Bulletin of Symbolic Logic 16 (3):359-377.
On the Consistency Strength of the Inner Model Hypothesis.Sy-David Friedman, Philip Welch & W. Hugh Woodin - 2008 - Journal of Symbolic Logic 73 (2):391 - 400.
Citations of this work BETA
No citations found.
Similar books and articles
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.
Double Helix in Large Large Cardinals and Iteration of Elementary Embeddings.Kentaro Sato - 2007 - Annals of Pure and Applied Logic 146 (2):199-236.
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.
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 )
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