Switch to: References

Add citations

You must login to add citations.
  1. Meaning and Aesthetic Judgment in Kant.Eli Friedlander - 2006 - Philosophical Topics 34 (1/2):21-34.
  • Kant on the Nature of Logical Laws.Clinton Tolley - 2006 - Philosophical Topics 34 (1/2):371-407.
  • Hilbert's Metamathematical Problems and Their Solutions.Besim Karakadilar - 2008 - Dissertation, Boston University
    This dissertation examines several of the problems that Hilbert discovered in the foundations of mathematics, from a metalogical perspective. The problems manifest themselves in four different aspects of Hilbert’s views: (i) Hilbert’s axiomatic approach to the foundations of mathematics; (ii) His response to criticisms of set theory; (iii) His response to intuitionist criticisms of classical mathematics; (iv) Hilbert’s contribution to the specification of the role of logical inference in mathematical reasoning. This dissertation argues that Hilbert’s axiomatic approach was guided primarily (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Technical Online Appendix to "A Structured Argumentation Framework for Modeling Debates in the Formal Sciences".Marcos Cramer & Jérémie Dauphin - unknown
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Mathematical Import of Zermelo's Well-Ordering Theorem.Akihiro Kanamori - 1997 - Bulletin of Symbolic Logic 3 (3):281-311.
    Set theory, it has been contended, developed from its beginnings through a progression ofmathematicalmoves, despite being intertwined with pronounced metaphysical attitudes and exaggerated foundational claims that have been held on its behalf. In this paper, the seminal results of set theory are woven together in terms of a unifying mathematical motif, one whose transmutations serve to illuminate the historical development of the subject. The motif is foreshadowed in Cantor's diagonal proof, and emerges in the interstices of the inclusion vs. membership (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Axioms in Mathematical Practice.Dirk Schlimm - 2013 - 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 (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  • The Empty Set, the Singleton, and the Ordered Pair.Akihiro Kanamori - 2003 - Bulletin of Symbolic Logic 9 (3):273-298.
  • Pasch’s Philosophy of Mathematics.Dirk Schlimm - 2010 - Review of Symbolic Logic 3 (1):93-118.
    Moritz Pasch (1843ber neuere Geometrie (1882), in which he also clearly formulated the view that deductions must be independent from the meanings of the nonlogical terms involved. Pasch also presented in these lectures the main tenets of his philosophy of mathematics, which he continued to elaborate on throughout the rest of his life. This philosophy is quite unique in combining a deductivist methodology with a radically empiricist epistemology for mathematics. By taking into consideration publications from the entire span of Paschs (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  • The Problem of Continuity and the Origins of Modernism: 1870–1913.William R. Everdell - 1988 - History of European Ideas 9 (5):531-552.
  • Dall' analisi matematica al calcolo geometrico: origini delle prime ricerche di logica di peano.Umberto Bottazzini - 1985 - History and Philosophy of Logic 6 (1):25-52.
    The Calcolo geometrico (1888) seems to have been a turning point in the scientific career of Giuseppe Peano (1858?1932) because with this book he started publishing in logic. Looking for motivations of his early interests in the field one is naturally led to investigate the background of that book. Besides his previous work in mathematical analysis, methods and results of some Italian mathematicians and?above all?the spread of Grassmann's theories in Italy played a significant role: this point seems to have been (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation