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:
11 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 (3 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. Solomon Feferman, Presentation to the Panel, “Does Mathematics Need New Axioms?” Asl 2000 Meeting, Urbana Il, June 5, 2000.
    The point of departure for this panel is a somewhat controversial paper that I published in the American Mathematical Monthly under the title “Does mathematics need new axioms?” [4]. The paper itself was based on a lecture that I gave in 1997 to a joint session of the American Mathematical Society and the Mathematical Association of America, and it was thus written for a general mathematical audience. Basically, it was intended as an assessment of Gödel’s program for new axioms that (...)
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  5. Solomon Feferman, Harvey M. Friedman, Penelope Maddy & John R. Steel (2000). Does Mathematics Need New Axioms? Bulletin of Symbolic Logic 6 (4):401-446.
    Part of the ambiguity lies in the various points of view from which this question might be considered. The crudest di erence lies between the point of view of the working mathematician and that of the logician concerned with the foundations of mathematics. Now some of my fellow mathematical logicians might protest this distinction, since they consider themselves to be just more of those \working mathematicians". Certainly, modern logic has established itself as a very respectable branch of mathematics, and there (...)
    Remove from this list | Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  6. Joel David Hamkins (2015). Is the Dream Solution of the Continuum Hypothesis Attainable? Notre Dame Journal of Formal Logic 56 (1):135-145.
    The dream solution of the continuum hypothesis would be a solution by which we settle the continuum hypothesis on the basis of a newly discovered fundamental principle of set theory, a missing axiom, widely regarded as true. Such a dream solution would indeed be a solution, since we would all accept the new axiom along with its consequences. In this article, however, I argue that such a dream solution to $\mathrm {CH}$ is unattainable.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Peter Koellner (2010). On the Question of Absolute Undecidability. In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Philosophia Mathematica. Association for Symbolic Logic 153-188.
    The paper begins with an examination of Gödel's views on absolute undecidability and related topics in set theory. These views are sharpened and assessed in light of recent developments. It is argued that a convincing case can be made for axioms that settle many of the questions undecided by the standard axioms and that in a precise sense the program for large cardinals is a complete success “below” CH. It is also argued that there are reasonable scenarios for settling CH (...)
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  8. Holger A. Leuz, Note on Absolute Provability and Cantorian Comprehension.
    We will explicate Cantor’s principle of set existence using the Gödelian intensional notion of absolute provability and John Burgess’ plural logical concept of set formation. From this Cantorian Comprehension principle we will derive a conditional result about the question whether there are any absolutely unprovable mathematical truths. Finally, we will discuss the philosophical significance of the conditional result.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  9. 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 (2 more)  
     
    My bibliography  
     
    Export citation  
  10. 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.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. W. W. Tait (2003). Zermelo's Conception of Set Theory and Reflection Principles. In Matthias Schirn (ed.), The Philosophy of Mathematics Today. Clarendon Press