Abstract

En "Paraconsistencia y fundamentación de las matemáticas" se reformula un aspecto del programa formalista de Hilbert, problema clásico dentro del panorama de la filosofía de las matemáticas. Lo anterior se hace desde un enfoque no clásico de la lógica, particularmente desde LP de Priest. Finalizando el articulo se rescatan las virtudes de la reformulación de este problema clásico y se evalúa hasta qué punto puede ser posible hablar del programa formalista desde la luz de la aritmética inconsistente de Priest.