•  76
    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.
  •  213
    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
  •  241
    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