View topic on PhilPapers for more information
Related categories

12 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. Is (Un)Countabilism Restrictive?Neil Barton - manuscript
    Let's suppose you think that there are no uncountable sets. Have you adopted a restrictive position? It is certainly tempting to say yes---you've prohibited the existence of certain kinds of large set. This paper argues that this intuition can be challenged. Instead, I argue that there are some considerations based on a formal notion of restrictiveness which suggest that it is restrictive to hold that there are uncountable sets.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. 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  
     
    Export citation  
     
    Bookmark  
  4. Modality and Hyperintensionality in Mathematics.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  
     
    Export citation  
     
    Bookmark  
  5. 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   2 citations  
  6. TRES TEOREMAS SOBRE CARDINALES MEDIBLES.Franklin Galindo - 2021 - Mixba'al. Revista Metropolitana de Matemáticas 12 (1):15-31.
    El estudio de los "cardinales grandes" es uno de los principales temas de investigación de la teoría de conjuntos y de la teoría de modelos que ha contribuido con el desarrollo de dichas disciplinas. Existe una gran variedad de tales cardinales, por ejemplo cardinales inaccesibles, débilmente compactos, Ramsey, medibles, supercompactos, etc. Tres valiosos teoremas clásicos sobre cardinales medibles son los siguientes: (i) compacidad débil, (ii) Si κ es un cardinal medible, entonces κ es un cardinal inaccesible y existen κ cardinales (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. 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  
  8. 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   14 citations  
  9. On the Reality of the Continuum Discussion Note: A Reply to Ormell, ‘Russell's Moment of Candour’, Philosophy.Anne Newstead - 2008 - Philosophy 83 (1):117-127.
    In a recent article, Christopher Ormell argues against the traditional mathematical view that the real numbers form an uncountably infinite set. He rejects the conclusion of Cantor’s diagonal argument for the higher, non-denumerable infinity of the real numbers. He does so on the basis that the classical conception of a real number is mys- terious, ineffable, and epistemically suspect. Instead, he urges that mathematics should admit only ‘well-defined’ real numbers as proper objects of study. In practice, this means excluding as (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. 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  
  11. 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  
  12. Un problema abierto de independencia en la teoría de conjuntos relacionado con ultrafiltros no principales sobre el conjunto de los números naturales N, y con Propiedades Ramsey.Franklin Galindo - manuscript
    En el ámbito de la lógica matemática existe un problema sobre la relación lógica entre dos versiones débiles del Axioma de elección (AE) que no se ha podido resolver desde el año 2000 (aproximadamente). Tales versiones están relacionadas con ultrafiltros no principales y con Propiedades Ramsey (Bernstein, Polarizada, Subretículo, Ramsey, Ordinales flotantes, etc). La primera versión débil del AE es la siguiente (A): “Existen ultrafiltros no principales sobre el conjunto de los números naturales (ℕ)”. Y la segunda versión débil del (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark