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:
6 found
Search inside:
(import / add options)   Sort by:
  1. 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 (10 more)  
     
    My bibliography  
     
    Export citation  
  2. Luca Incurvati (2008). Too Naturalist and Not Naturalist Enough: Reply to Horsten. Erkenntnis 69 (2):261 - 274.
    Leon Horsten has recently claimed that the class of mathematical truths coincides with the class of theorems of ZFC. I argue that the naturalistic character of Horsten’s proposal undermines his contention that this claim constitutes an analogue of a thesis that Daniel Isaacson has advanced for PA. I argue, moreover, that Horsten’s defence of his claim against an obvious objection makes use of a distinction which is not available to him given his naturalistic approach. I suggest a way out of (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Adam Rieger (2011). Paradox, ZF and the Axiom of Foundation. In D. DeVidi, M. Hallet & P. Clark (eds.), Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell. Springer.
    This paper seeks to question the position of ZF as the dominant system of set theory, and in particular to examine whether there is any philosophical justification for the axiom of foundation. After some historical observations regarding Poincare and Russell, and the notions of circularity and hierarchy, the iterative conception of set is argued to be a semi-constructvist hybrid without philosophical coherence. ZF cannot be justified as necessary to avoid paradoxes, as axiomatizing a coherent notion of set, nor on pragmatic (...)
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  4. Georg Schiemer (2010). Fraenkel's Axiom of Restriction: Axiom Choice, Intended Models and Categoricity. In Benedikt L.öwe & Thomas Müller (eds.), PhiMSAMP. Philosophy of Mathematics: Sociological Aspects and Mathematical Practice. College Publications. 307{340.
  5. Stewart Shapiro & Gabriel Uzquiano (2008). Frege Meets Zermelo: A Perspective on Ineffability and Reflection. Review of Symbolic Logic 1 (2):241-266.
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Gabriel Uzquiano (1999). Models of Second-Order Zermelo Set Theory. Bulletin of Symbolic Logic 5 (3):289-302.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation