22 found
Sort by:
Disambiguations:
Jose Ferreiros [16]J. Ferreiros [6]
See also:
Profile: Jose Ferreiros (Universidad de Sevilla)
  1. José Ferreirós, The Early Development of Set Theory. Stanford Encyclopedia of Philosophy.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. José Ferreirós (2011). A Long-Awaited Edition of Zermelo's Works. Metascience 20 (3):505-508.
    A long-awaited edition of Zermelo’s works Content Type Journal Article Pages 1-4 DOI 10.1007/s11016-011-9548-y Authors José Ferreirós, Instituto de Filosofia, CCHS-CSIC, Albasanz, 26-28, 28037 Madrid, Spain Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  3. José Ferreirós (2011). On Arbitrary Sets and ZFC. Bulletin of Symbolic Logic 17 (3):361-393.
    Set theory deals with the most fundamental existence questions in mathematics—questions which affect other areas of mathematics, from the real numbers to structures of all kinds, but which are posed as dealing with the existence of sets. Especially noteworthy are principles establishing the existence of some infinite sets, the so-called “arbitrary sets.” This paper is devoted to an analysis of the motivating goal of studying arbitrary sets, usually referred to under the labels of quasi-combinatorialism or combinatorial maximality. After explaining what (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  4. José Ferreirós (2010). La lógica matemática: una disciplina en busca de encuadre (Mathematical Logic). Theoria 25 (3):279-299.
    RESUMEN: Se ofrece un análisis de las transformaciones disciplinares que ha experimentado la lógica matemática o simbólica desde su surgimiento a fines del siglo XIX. Examinaremos sus orígenes como un híbrido de filosofía y matemáticas, su madurez e institucionalización bajo la rúbrica de “lógica y fundamentos”, una segunda ola de institucionalización durante la Posguerra, y los desarrollos institucionales desde 1975 en conexión con las ciencias de la computación y con el estudio de lenguaje e informática. Aunque se comenta algo de (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Jose Ferreiros (2010). Mathematical Knowledge and the Interplay of Practices. In Mauricio Suárez, M. Dorato & M. Rédei (eds.), EPSA Philosophical Issues in the Sciences · Launch of the European Philosophy of Science Association. Springer. 55--64.
  6. J. Ferreiros (2009). C.K. RAJU. Cultural Foundations of Mathematics: The Nature of Mathematical Proof and the Transmission of the Calculus From India to Europe in the 16th C. CE. [REVIEW] Philosophia Mathematica 17 (3):378-381.
    (No abstract is available for this citation).
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  7. José Ferreirós (2009). C.K. Raju. Cultural Foundations of Mathematics: The Nature of Mathematical Proof and the Transmission of the Calculus From India to Europe in the 16th C. Ce. History of Science, Philosophy and Culture in Indian Civilization. [REVIEW] Philosophia Mathematica 17 (3):nkn028.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  8. José Ferreirós (2009). Hilbert, Logicism, and Mathematical Existence. Synthese 170 (1):33 - 70.
    David Hilbert’s early foundational views, especially those corresponding to the 1890s, are analysed here. I consider strong evidence for the fact that Hilbert was a logicist at that time, following upon Dedekind’s footsteps in his understanding of pure mathematics. This insight makes it possible to throw new light on the evolution of Hilbert’s foundational ideas, including his early contributions to the foundations of geometry and the real number system. The context of Dedekind-style logicism makes it possible to offer a new (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. Sam Buss, Stephen Cook, José Ferreirós, David Marker, Theodore Slaman & Jamie Tappenden (2008). University of California, Irvine Irvine, California March 27–30, 2008. Bulletin of Symbolic Logic 14 (3).
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. J. Ferreiros (2008). The Crisis in the Foundations of Mathematics. In T. Gowers (ed.), Princeton Companion to Mathematics. Princeton University Press.
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. Jeremy Gray & Jose Ferreiros (eds.) (2006). Architecture of Modern Mathematics. Oxford University Press.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  12. José Ferreirós (2005). Dogmas and the Changing Images of Foundations. Philosophia Scientiae:27-42.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  13. J. Ferreiros (2004). The Motives Behind Cantor’s Set Theory: Physical, Biological and Philosophical Questions. 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 (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. José Ferreirós (2004). Uncertain Foundations. Metascience 13 (1):79-82.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  15. José Ferreirós & Javier Ordóñez (2002). Hacia una filosofía de la experimentación (Towards a Philosophy of Experiment). Critica 34 (102):47 - 86.
    El artículo intenta promover una recepción más amplia de los trabajos recientes sobre filosofía de la actividad científica experimental. Primero se comentarán los orígenes y las características de la tradición teoreticista predominante, criticando sus presupuestos y sus "miserias". Se analizará luego la función de los instrumentos, proponiendo una tipología de la actividad experimental, aunque elemental --esperamos-- útil. Tras analizar la estructura del experimento, empleando contribuciones de Pickering y otros, discutiremos la dinámica de la experimentación: los procesos de formación de datos. (...)
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. José Ferreiros & Javier Ordoñez (2002). Presentacion. Theoria 17 (2):209-219.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. J. Ferreiros & Akihiro Kanamori (2001). REVIEWS-Labyrinth of Thought. Bulletin of Symbolic Logic 7 (2):277-277.
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Jose Ferreiros (2001). The Road to Modern Logic-an Interpretation. 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 (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  19. J. Ferreiros (1999). Matemáticas y Platonismo(S). Gaceta de la Real Sociedad Matemática Española 2 (446):473.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  20. José Ferreiros (1997). Notes on Types, Sets, and Logicism, 1930-1950. Theoria 12 (1):91-124.
    The present paper is a contribution to the history of logic and its philosophy toward the mid-20th century. It examines the interplay between logic, type theory and set theory during the 1930s and 40s, before the reign of first-order logic, and the closely connected issue of the fate of logicism. After a brief presentation of the emergence of logicism, set theory, and type theory (with particular attention to Carnap and Tarski), Quine’s work is our central concern, since he was seemingly (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. J. Ferreiros (1996). Traditional Logic and the Early History of Sets, 1854-1908. Archive for History of Exact Sciences 50:5-71.