This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Siblings:
5 found
Search inside:
(import / add options)   Sort by:
  1. Tatiana Arrigoni & Sy-David Friedman (2013). The Hyperuniverse Program. Bulletin of Symbolic Logic 19 (1):77-96.
    The Hyperuniverse Program is a new approach to set-theoretic truth which is based on justifiable principles and leads to the resolution of many questions independent from ZFC. The purpose of this paper is to present this program, to illustrate its mathematical content and implications, and to discuss its philosophical assumptions.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Justin Clarke-Doane (2013). What is Absolute Undecidability?†. Noûs 47 (3):467-481.
    It is often alleged that, unlike typical axioms of mathematics, the Continuum Hypothesis (CH) is indeterminate. This position is normally defended on the ground that the CH is undecidable in a way that typical axioms are not. Call this kind of undecidability “absolute undecidability”. In this paper, I seek to understand what absolute undecidability could be such that one might hope to establish that (a) CH is absolutely undecidable, (b) typical axioms are not absolutely undecidable, and (c) if a mathematical (...)
    Remove from this list | Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  3. Kenny Easwaran (2008). The Role of Axioms in Mathematics. Erkenntnis 68 (3):381 - 391.
    To answer the question of whether mathematics needs new axioms, it seems necessary to say what role axioms actually play in mathematics. A first guess is that they are inherently obvious statements that are used to guarantee the truth of theorems proved from them. However, this may neither be possible nor necessary, and it doesn’t seem to fit the historical facts. Instead, I argue that the role of axioms is to systematize uncontroversial facts that mathematicians can accept from a wide (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Michael D. Potter (2004). Set Theory and its Philosophy: A Critical Introduction. Oxford University Press.
    Michael Potter presents a comprehensive new philosophical introduction to set theory. Anyone wishing to work on the logical foundations of mathematics must understand set theory, which lies at its heart. Potter offers a thorough account of cardinal and ordinal arithmetic, and the various axiom candidates. He discusses in detail the project of set-theoretic reduction, which aims to interpret the rest of mathematics in terms of set theory. The key question here is how to deal with the paradoxes that bedevil set (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  5. Assaf Rinot (2010). The Search for Diamonds: Review of S. Shelah, Middle Diamond; S. Shelah, Diamonds; and M. Zeman, Diamond, GCH and Weak Square. [REVIEW] Bulletin of Symbolic Logic 16 (3):420 - 423.
    No categories
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation