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:
15 found
Search inside:
(import / add options)   Sort by:
  1. Tatiana Arrigoni (2011). V = L and Intuitive Plausibility in Set Theory. A Case Study. Bulletin of Symbolic Logic 17 (3):337-360.
    What counts as an intuitively plausible set theoretic content (notion, axiom or theorem) has been a matter of much debate in contemporary philosophy of mathematics. In this paper I develop a critical appraisal of the issue. I analyze first R. B. Jensen's positions on the epistemic status of the axiom of constructibility. I then formulate and discuss a view of intuitiveness in set theory that assumes it to hinge basically on mathematical success. At the same time, I present accounts of (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Francesco Berto (2009). The Gödel Paradox and Wittgenstein's Reasons. Philosophia Mathematica 17 (2):208-219.
    An interpretation of Wittgenstein’s much criticized remarks on Gödel’s First Incompleteness Theorem is provided in the light of paraconsistent arithmetic: in taking Gödel’s proof as a paradoxical derivation, Wittgenstein was drawing the consequences of his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. It is shown that the features of paraconsistent arithmetics match (...)
    Remove from this list | Direct download (13 more)  
     
    My bibliography  
     
    Export citation  
  3. Cezary Cieśliński (2011). T-Equivalences for Positive Sentences. Review of Symbolic Logic 4 (2):319-325.
    Answering a question formulated by Halbach (2009), I show that a disquotational truth theory, which takes as axioms all positive substitutions of the sentential T-schema, together with all instances of induction in the language with the truth predicate, is conservative over its syntactical base.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Justin Clarke-Doane, Flawless Disagreement in Mathematics.
    A disagrees with B with respect to a proposition, p, flawlessly just in case A believes p and B believes not-p, or vice versa, though neither A nor B is guilty of a cognitive shortcoming – i.e. roughly, neither A nor B is being irrational, lacking evidence relevant to p, conceptually incompetent, insufficiently imaginative, etc.
    Remove from this list |
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Roy T. Cook (2003). Review of J. Mayberry, The Foundations of Mathematics in the Theory of Sets. [REVIEW] British Journal for the Philosophy of Science 54 (2):347-352.
    Remove from this list | Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  6. Giambattista Formica (2013). Da Hilbert a von Neumann: La Svolta Pragmatica Nell'assiomatica. Carocci.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  7. Kentaro Fujimoto (2010). Relative Truth Definability of Axiomatic Truth Theories. Bulletin of Symbolic Logic 16 (3):305-344.
    The present paper suggests relative truth definability as a tool for comparing conceptual aspects of axiomatic theories of truth and gives an overview of recent developments of axiomatic theories of truth in the light of it. We also show several new proof-theoretic results via relative truth definability including a complete answer to the conjecture raised by Feferman in [13].
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Kurt Gödel (1964). What is Cantor's Continuum Problem (1964 Version). In P. Benacerraf H. Putnam (ed.), Philosophy of Mathematics. Prentice-Hall.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  9. Gregory Lavers (2009). Benacerraf's Dilemma and Informal Mathematics. Review of Symbolic Logic 2 (4):769-785.
    This paper puts forward and defends an account of mathematical truth, and in particular an account of the truth of mathematical axioms. The proposal attempts to be completely nonrevisionist. In this connection, it seeks to satisfy simultaneously both horns of Benacerrafs work on informal rigour. Kreisel defends the view that axioms are arrived at by a rigorous examination of our informal notions, as opposed to being stipulated or arrived at by trial and error. This view is then supplemented by a (...)
    Remove from this list | Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  10. Vann Mcgee (2001). Truth by Default. Philosophia Mathematica 9 (1):5-20.
    There is no preferred reduction of number theory to set theory. Nonetheless, we confidently accept axioms obtained by substituting formulas from the language of set theory into the induction axiom schema. This is only possible, it is argued, because our acceptance of the induction axioms depends solely on the meanings of aritlunetical and logical terms, which is only possible if our 'intended models' of number theory are standard. Similarly, our acceptance of the second-order natural deduction rules depends solely on the (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Pierluigi Miraglia (2000). Finite Mathematics and the Justification of the Axiom of Choicet. Philosophia Mathematica 8 (1):9-25.
    I discuss a difficulty concerning the justification of the Axiom of Choice in terms of such informal notions such as that of iterative set. A recent attempt to solve the difficulty is by S. Lavine, who claims in his Understanding the Infinite that the axioms of set theory receive intuitive justification from their being self-evidently true in Fin(ZFC), a finite counterpart of set theory. I argue that Lavine's explanatory attempt fails when it comes to AC: in this respect Fin(ZFC) is (...)
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  12. Charles Parsons (1998). Hao Wang as Philosopher and Interpreter of Gödel. Philosophia Mathematica 6 (1):3-24.
    The paper undertakes to characterize Hao Wang's style, convictions, and method as a philosopher, centering on his most important philosophical work From Mathematics to Philosophy, 1974. The descriptive character of Wang's characteristic method is emphasized. Some specific achievements are discussed: his analyses of the concept of set, his discussion, in connection with setting forth Gödel's views, of minds and machines, and his concept of ‘analytic empiricism’ used to criticize Carnap and Quine. Wang's work as interpreter of Gödel's thought and the (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. Lydia Patton (forthcoming). Hilbert's Objectivity. Historia Mathematica.
    Detlefsen (1986) reads Hilbert's program as a sophisticated defense of instrumentalism, but Feferman (1998) has it that Hilbert's program leaves significant ontological questions unanswered. One such question is of the reference of individual number terms. Hilbert's use of admittedly "meaningless" signs for numbers and formulae appears to impair his ability to establish the reference of mathematical terms and the content of mathematical propositions (Weyl (1949); Kitcher (1976)). The paper traces the history and context of Hilbert's reasoning about signs, which illuminates (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  14. D. Schlimm (2013). Axioms in Mathematical Practice. Philosophia Mathematica 21 (1):37-92.
    On the basis of a wide range of historical examples various features of axioms are discussed in relation to their use in mathematical practice. A very general framework for this discussion is provided, and it is argued that axioms can play many roles in mathematics and that viewing them as self-evident truths does not do justice to the ways in which mathematicians employ axioms. Possible origins of axioms and criteria for choosing axioms are also examined. The distinctions introduced aim at (...)
    Remove from this list | Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  15. Dirk Schlimm, Axiomatics and Progress in the Light of 20th Century Philosophy of Science and Mathematics.
    This paper is a contribution to the question of how aspects of science have been perceived through history. In particular, I will discuss how the contribution of axiomatics to the development of science and mathematics was viewed in 20th century philosophy of science and philosophy of mathematics. It will turn out that in connection with scientific methodology, in particular regarding its use in the context of discovery, axiomatics has received only very little attention. This is a rather surprising result, since (...)
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation