23 found
Order:
See also
Profile: Jose Ferreiros (Universidad de Sevilla)
  1. The Architecture of Modern Mathematics.Gray Jeremy & Ferreiros Jose (eds.) - 2006 - Oxford University Press.
    This edited volume, aimed at both students and researchers in philosophy, mathematics and history of science, highlights leading developments in the overlapping areas of philosophy and the history of modern mathematics. It is a coherent, wide ranging account of how a number of topics in the philosophy of mathematics must be reconsidered in the light of the latest historical research, and how a number of historical accounts can be deepened by embracing philosophical questions.
    Translate
     
     
    Export citation  
     
    My bibliography   4 citations  
  2. The Road to Modern Logic-an Interpretation.Jose Ferreiros - 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 (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  3.  57
    On Arbitrary Sets and ZFC.José Ferreirós - 2011 - 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)  
     
    Export citation  
     
    My bibliography   2 citations  
  4. Hilbert, Logicism, and Mathematical Existence.José Ferreirós - 2009 - 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)  
     
    Export citation  
     
    My bibliography   2 citations  
  5.  34
    La lógica matemática: una disciplina en busca de encuadre (Mathematical Logic).José Ferreirós - 2010 - 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
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  38
    Notes on Types, Sets, and Logicism, 1930-1950.José Ferreiros - 1997 - 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 (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  7.  23
    Presentacion.José Ferreiros & Javier Ordoñez - 2002 - Theoria 17 (2):209-219.
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  8.  4
    La lógica matemática.José Ferreirós - 2010 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 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
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  85
    The Early Development of Set Theory.José Ferreirós - unknown - Stanford Encyclopedia of Philosophy.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  10.  21
    Hacia una filosofía de la experimentación (Towards a Philosophy of Experiment).José Ferreirós & Javier Ordóñez - 2002 - 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
      Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  5
    Dedekind’s Map-Theoretic Period.José Ferreirós - forthcoming - Philosophia Mathematica:nkw010.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12.  26
    Mathematical Knowledge and the Interplay of Practices.Jose Ferreiros - 2010 - 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. pp. 55--64.
    Direct download  
     
    Export citation  
     
    My bibliography  
  13.  47
    A Long-Awaited Edition of Zermelo's Works.José Ferreirós - 2011 - 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.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  14.  52
    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]José Ferreirós - 2009 - Philosophia Mathematica 17 (3):nkn028.
    This book is part of a major project undertaken by the Centre for Studies in Civilizations , being one of a total of ninety-six planned volumes. The author is a statistician and computer scientist by training, who has concentrated on historical matters for the last ten years or so. The book has very ambitious aims, proposing an alternative philosophy of mathematics and a deviant history of the calculus. Throughout, there is an emphasis on the need to combine history and philosophy (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  15.  28
    Uncertain Foundations.José Ferreirós - 2004 - Metascience 13 (1):79-82.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  16.  8
    Dogmas and the Changing Images of Foundations.José Ferreirós - 2005 - Philosophia Scientiae:27-42.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17.  7
    University of California, Irvine Irvine, California March 27–30, 2008.Sam Buss, Stephen Cook, José Ferreirós, David Marker, Theodore Slaman & Jamie Tappenden - 2008 - Bulletin of Symbolic Logic 14 (3).
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  18.  2
    ¿Un doble vínculo? Reflexiones sobre historia, ciencia y cultura.José Ferreirós - 2010 - Arbor 186 (743):425-433.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  3
    Modern Algebra and the Rise of Mathematical Structures. [REVIEW]José Ferreirós - 2009 - Isis: A Journal of the History of Science 100:412-413.
    Direct download  
     
    Export citation  
     
    My bibliography  
  20.  2
    Dogmas and the Changing Images of Foundations.José Ferreirós - 2005 - Philosophia Scientae:27-42.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21.  1
    Leo Corry.Modern Algebra and the Rise of Mathematical Structures. Viii + 431 Pp., Index. Second Revised Edition. Basel/Boston/Berlin: Birkhäuser Verlag, 2004. €69.55. [REVIEW]José Ferreirós - 2009 - Isis 100 (2):412-413.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22. Hacia una filosofía de la experimentación.José Ferreirós & Javier Ordóñez - 2002 - Crítica: Revista Hispanoamericana de Filosofía 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
     
     
    Export citation  
     
    My bibliography  
  23. Labyrinth of Thought. A History of Set Theory and Its Role in Modern Mathematics.José Ferreirós - 2002 - Studia Logica 72 (3):437-440.
     
    Export citation  
     
    My bibliography