View topic on PhilPapers for more information
Related categories

9 found
Order:
More results on PhilPapers
  1. Are Large Cardinal Axioms Restrictive?Neil Barton - manuscript
    The independence phenomenon in set theory, while pervasive, can be partially addressed through the use of large cardinal axioms. A commonly assumed idea is that large cardinal axioms are species of maximality principles. In this paper, I argue that whether or not large cardinal axioms count as maximality principles depends on prior commitments concerning the richness of the subset forming operation. In particular I argue that there is a conception of maximality through absoluteness, on which large cardinal axioms are restrictive. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. Countabilism and Maximality Principles.Neil Barton & Sy-David Friedman - manuscript
    It is standard in set theory to assume that Cantor's Theorem establishes that the continuum is an uncountable set. A challenge for this position comes from the observation that through forcing one can collapse any cardinal to the countable and that the continuum can be made arbitrarily large. In this paper, we present a different take on the relationship between Cantor's Theorem and extensions of universes, arguing that they can be seen as showing that every set is countable and that (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. Epistemic Modality and Absolute Decidability.Hasen Khudairi - manuscript
    This paper aims to contribute to the analysis of the nature of mathematical modality, and to the applications of the latter to unrestricted quantification and absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. Overgeneration in the Higher Infinite.Salvatore Florio & Luca Incurvati - forthcoming - In Gil Sagi & Jack Woods (eds.), The Semantic Conception of Logic: Essays on Consequence, Invariance, and Meaning. Cambridge: Cambridge University Press.
    The Overgeneration Argument is a prominent objection against the model-theoretic account of logical consequence for second-order languages. In previous work we have offered a reconstruction of this argument which locates its source in the conflict between the neutrality of second-order logic and its alleged entanglement with mathematics. Some cases of this conflict concern small large cardinals. In this article, we show that in these cases the conflict can be resolved by moving from a set-theoretic implementation of the model-theoretic account to (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Richness and Reflection.Neil Barton - 2016 - Philosophia Mathematica 24 (3):330-359.
    A pervasive thought in contemporary philosophy of mathematics is that in order to justify reflection principles, one must hold universism: the view that there is a single universe of pure sets. I challenge this kind of reasoning by contrasting universism with a Zermelian form of multiversism. I argue that if extant justifications of reflection principles using notions of richness are acceptable for the universist, then the Zermelian can use similar justifications. However, I note that for some forms of richness argument, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. All Things Must Pass Away.Joshua Spencer - 2012 - Oxford Studies in Metaphysics 7:67.
    Are there any things that are such that any things whatsoever are among them. I argue that there are not. My thesis follows from these three premises: (1) There are two or more things; (2) for any things, there is a unique thing that corresponds to those things; (3) for any two or more things, there are fewer of them than there are pluralities of them.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   12 citations  
  7. On the Reality of the Continuum Discussion Note: A Reply to Ormell, 'Russell's Moment of Candour', "Philosophy".Anne Newstead & James Franklin - 2008 - Philosophy 83 (1):117-127.
    This paper discusses an argument for the reality of the classical mathematical continuum. An inference to the best explanation type of argument is used to defend the idea that real numbers exist even when they cannot be constructively specified as with the "indefinable numbers".
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  8. Two Mereological Arguments Against the Possibility of an Omniscient Being.Joshua T. Spencer - 2006 - Philo 9 (1):62-72.
    In this paper I present two new arguments against the possibility of an omniscient being. My new arguments invoke considerations of cardinality and resemble several arguments originally presented by Patrick Grim. Like Grim, I give reasons to believe that there must be more objects in the universe than there are beliefs. However, my arguments will rely on certain mereological claims, namely that Classical Extensional Mereology is necessarily true of the part-whole relation. My first argument is an instance of a problem (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  9. Generalized Löb’s Theorem. Strong Reflection Principles and Large Cardinal Axioms.Jaykov Foukzon - 2013 - Advances in Pure Mathematics (3):368-373.
    In this article, a possible generalization of the Löb’s theorem is considered. Main result is: let κ be an inaccessible cardinal, then ¬Con( ZFC +∃κ) .
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations