Switch to: References

Add citations

You must login to add citations.
  1. The Road to Modern Logic—An Interpretation.José Ferreirós - 2001 - Bulletin of Symbolic Logic 7 (4):441-484.
    This paper aims to outline an analysis and interpretation of the process that led to First-Order Logic and its consolidation as a core system of modern logic. We begin with an historical overview of landmarks along the road to modern logic, and proceed to a philosophical discussion casting doubt on the possibility of a purely rational justification of the actual delimitation of First-Order-Logic. On this basis, we advance the thesis that a certain historical tradition was essential to the emergence of (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Dedekind’s Map-theoretic Period.José Ferreirós - 2017 - Philosophia Mathematica 25 (3):318–340.
    In 1887–1894, Richard Dedekind explored a number of ideas within the project of placing mappings at the very center of pure mathematics. We review two such initiatives: the introduction in 1894 of groups into Galois theory intrinsically via field automorphisms, and a new attempt to define the continuum via maps from ℕ to ℕ in 1891. These represented the culmination of Dedekind’s efforts to reconceive pure mathematics within a theory of sets and maps and throw new light onto the nature (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Motives Behind Cantor’s Set Theory: Physical, biological and philosophical questions.José Ferreirós - 2004 - Science in Context 17 (1/2):1–35.
    The celebrated “creation” of transfinite set theory by Georg Cantor has been studied in detail by historians of mathematics. However, it has generally been overlooked that his research program cannot be adequately explained as an outgrowth of the mainstream mathematics of his day. We review the main extra-mathematical motivations behind Cantor's very novel research, giving particular attention to a key contribution, the Grundlagen (Foundations of a general theory of sets) of 1883, where those motives are articulated in some detail. Evidence (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations