Switch to: References

Add citations

You must login to add citations.
  1. Arithmetic is Necessary.Zachary Goodsell - forthcoming - Journal of Philosophical Logic.
    (Goodsell, Journal of Philosophical Logic, 51(1), 127-150 2022) establishes the noncontingency of sentences of first-order arithmetic, in a plausible higher-order modal logic. Here, the same result is derived using significantly weaker assumptions. Most notably, the assumption of rigid comprehension—that every property is coextensive with a modally rigid one—is weakened to the assumption that the Boolean algebra of properties under necessitation is countably complete. The results are generalized to extensions of the language of arithmetic, and are applied to answer a question (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Humean Non-Humeanism.David Builes - 2023 - Philosophical Studies 180 (3):1031-1048.
    How should we account for the extraordinary regularity in the world? Humeans and Non-Humeans sharply disagree. According to Non-Humeans, the world behaves in an extraordinarily regular way because of certain necessary connections in nature. However, Humeans have thought that Non-Humean views are metaphysically objectionable. In particular, there are two general metaphysical principles that Humeans have found attractive that are incompatible with all existing versions of Non-Humeanism. My goal in this paper is to develop a novel version of Non-Humeanism that is (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Mathematical Modality: An Investigation in Higher-order Logic.Andrew Bacon - 2024 - Journal of Philosophical Logic 53 (1):131-179.
    An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of this paper is to bring recent work on higher-order metaphysics to bear on the investigation of these modalities. The main focus of the paper will be views that posit mathematical contingency or indeterminacy about statements that concern the ‘width’ of the set theoretic universe, such as Cantor’s continuum hypothesis. Within a higher-order framework I show that contingency about the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Cantor, Choice, and Paradox.Nicholas DiBella - forthcoming - The Philosophical Review.
    I propose a revision of Cantor’s account of set size that understands comparisons of set size fundamentally in terms of surjections rather than injections. This revised account is equivalent to Cantor's account if the Axiom of Choice is true, but its consequences differ from those of Cantor’s if the Axiom of Choice is false. I argue that the revised account is an intuitive generalization of Cantor’s account, blocks paradoxes—most notably, that a set can be partitioned into a set that is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Modal Idealism.David Builes - forthcoming - Oxford Studies in Philosophy of Mind.
    I argue that it is metaphysically necessary that: (i) every fundamental entity is conscious, and (ii) every fundamental property is a phenomenal property.
    Download  
     
    Export citation  
     
    Bookmark   2 citations