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:
8 found
Search inside:
(import / add options)   Sort by:
  1. Peter Andrews (1963). A Reduction of the Axioms for the Theory of Propositional Types. Fundamenta Mathematicae 52:345-350.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  2. Justin Clarke-Doane (forthcoming). Objectivity in Ethics and Mathematics. Proceedings of the Aristotelian Society.
    How do axioms, or first principles, in ethics compare to those in mathematics? I argue that while there are similarities between the cases, these are premised on an assumption which can be questioned, and which highlights the peculiarity of normative inquiry.
    Remove from this list |
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  3. 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  
  4. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  5. 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  
  6. 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.
  7. Stewart Shapiro & Gabriel Uzquiano (2008). Frege Meets Zermelo: A Perspective on Ineffability and Reflection. Review of Symbolic Logic 1 (2):241-266.
    1. Philosophical background: iteration, ineffability, reflection. There are at least two heuristic motivations for the axioms of standard set theory, by which we mean, as usual, first-order Zermelo–Fraenkel set theory with the axiom of choice : the iterative conception and limitation of size . Each strand provides a rather hospitable environment for the hypothesis that the set-theoretic universe is ineffable, which is our target in this paper, although the motivation is different in each case.
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  8. 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