• PhilPapers
  • PhilPeople
  • PhilArchive
  • PhilEvents
  • PhilJobs
  • Sign in
PhilPeople
 
  • Sign in
  • News Feed
  • Find Philosophers
  • Departments
  • Radar
  • Help
 
profile-cover
Drag to reposition
profile picture

Constantino Contreras

National Autonomous University of Mexico
  •  Home
  •  Publications
    6
    • Most Recent
    • Most Downloaded
    • Topics
  •  Recommended
    2
  •  News and Updates
    6

 More details
  • National Autonomous University of Mexico
    Instituto de Matemáticas
    Undergraduate
Email (login required)
CV
Homepage
0009-0000-2863-3465
Areas of Specialization
Science, Logic, and Mathematics
Metaphilosophy
Philosophy of Mathematics
General Philosophy of Science
Ontology
Realism and Anti-Realism
1 more
Areas of Interest
Metaphysics and Epistemology
Mathematical Truth
Ontology of Mathematics
Naturalism
Metaphysical Realism
  • All publications (6)
  • ¿Qué es el Cientificismo?
    with Martín Barra-Acuña
    In Constantino Contreras (ed.), El Espíritu Científico: Perspectivas Contemporáneas sobre Naturalismo y Cientificismo, Ediciones Colegas. forthcoming.
    NaturalismMetaphilosophical Views, MiscScientific PracticeScientific Method
  • ¿La filosofía como ciencia? Naturalismo minimalista, cientificismo y robusticidad epistémica
    In El Espíritu Científico: Perspectivas Contemporáneas sobre Naturalismo y Cientificismo, Ediciones Colegas. forthcoming.
    NaturalismEpistemology of Philosophy, MiscMethodology in Metaphysics
  • El Espíritu Científico: Perspectivas Contemporáneas sobre Naturalismo y Cientificismo (edited book)
    Ediciones Colegas. forthcoming.
    Methodology in MetaphysicsEpistemology of Philosophy, MiscNaturalismPhilosophy, MiscPhilosophy of Ma…Read more
    Methodology in MetaphysicsEpistemology of Philosophy, MiscNaturalismPhilosophy, MiscPhilosophy of Mathematics
  •  121
    Teoría Homotópica de Tipos I: Introducción a los Fundamentos Univalentes
    Revista de Filosofía Homónima 1 (2): 281-307. 2026.
    En este artículo, el primero de una bilogía, se introduce al lector no especializado a la Teoría Homotópica de Tipos (HoTT), un reciente marco fundacional para las matemáticas donde convergen lógica, computación, topología y teoría de tipos. En la segunda parte, varias de las aplicaciones e implicaciones filosóficas de HoTT serán exploradas.
    Philosophy of Mathematics, MiscLogic and Philosophy of LogicTopologyType Theory in MathematicsMathem…Read more
    Philosophy of Mathematics, MiscLogic and Philosophy of LogicTopologyType Theory in MathematicsMathematical LogicCategory Theory
  •  259
    Un naturalismo minimalista
    Revista de Filosofía Homónima 1 (1): 79-111. 2026.
    In this article, I propose a minimalist characterization of naturalism as the thesis that: 1) we must have a minimal, but not total, commitment to the ontology of our sciences, and 2) we must have a meta-methodological commitment to the use of methods that allow for justifications and claims that can be intersubjectively evaluated, such as formal and informal arguments, or the use of the methods of science themselves. In this way, I will first critique the classical definitions of naturalism und…Read more
    In this article, I propose a minimalist characterization of naturalism as the thesis that: 1) we must have a minimal, but not total, commitment to the ontology of our sciences, and 2) we must have a meta-methodological commitment to the use of methods that allow for justifications and claims that can be intersubjectively evaluated, such as formal and informal arguments, or the use of the methods of science themselves. In this way, I will first critique the classical definitions of naturalism understood as a form of physicalism and as a restriction on the postulation of supernatural entities and explanations in science. Then I will defend the priority of this meta-methodology not only in science and philosophy, but in all intellectual endeavors of research. I conclude that if philosophy intends to be an intellectual enterprise of research, then it must be oriented according to this meta-methodology; that is, it must be naturalistic.
    Philosophical MethodsScientific MethodNaturalism
  •  300
    Teoría Homotópica de Tipos: ¿Fundamento de las matemáticas?
    La teoría homotópica de tipos (HoTT) es un sistema formal que ha ganado notoriedad por su propuesta como un nuevo fundamento de las matemáticas. Sin embargo, el uso de conceptos avanzados de topología y teoría de homotopía como conceptos básicos dificulta su adopción. En este artículo introduzco al lector a esta discusión, haciendo primero un repaso formal e histórico de HoTT, su teoría de tipos y sus nociones topológicas. Finalmente, discuto las dos propuestas más relevantes en la literatura co…Read more
    La teoría homotópica de tipos (HoTT) es un sistema formal que ha ganado notoriedad por su propuesta como un nuevo fundamento de las matemáticas. Sin embargo, el uso de conceptos avanzados de topología y teoría de homotopía como conceptos básicos dificulta su adopción. En este artículo introduzco al lector a esta discusión, haciendo primero un repaso formal e histórico de HoTT, su teoría de tipos y sus nociones topológicas. Finalmente, discuto las dos propuestas más relevantes en la literatura como justificación informal e intuitiva de HoTT, junto a las críticas y problemas que deben enfrentar ambas propuestas para lograr su objetivo.
    Type Theory in MathematicsTopologyLogic and Philosophy of Logic
PhilPeople logo

On this site

  • Find a philosopher
  • Find a department
  • The Radar
  • Index of professional philosophers
  • Index of departments
  • Help
  • Acknowledgments
  • Careers
  • Contact us
  • Terms and conditions

Brought to you by

  • The PhilPapers Foundation
  • The American Philosophical Association
  • Centre for Digital Philosophy, Western University
PhilPeople is currently in Beta Sponsored by the PhilPapers Foundation and the American Philosophical Association
Feedback