Este trabajo complementa la noción de 'argumento válido' de Prawitz, explorando la validez desde una perspectiva constructivista en teoría de la demostración.
El problema fundamental de la teoría general de la prueba
por Dag Prawitz · 2019
Ver sugerenciasSinopsis
Artículo donde Prawitz reformula y profundiza su proyecto de fundar una teoría general de la prueba, presentando una nueva noción de 'argumento válido' y discutiendo críticamente las ideas de Gentzen y la tradición intuicionista.
Sé el primero en valorar este libro.
Más de Dag Prawitz
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Profundiza en los fundamentos de la inferencia y su relación con los argumentos válidos, estableciendo una conexión directa con la teoría de la prueba de Prawitz.
Establece las bases de la teoría de la prueba moderna, resonando con la búsqueda de Prawitz por una formalización coherente en matemáticas.
Revisa críticamente el programa de Hilbert, vinculándose con el proyecto de Prawitz de fundamentar la teoría de la prueba en aspectos filosóficos clave.
Formaliza la noción de prueba natural y su estructura, similar a la investigación de Prawitz sobre la naturaleza de los argumentos válidos en lógica.
Examina la validez desde una lógica intuicionista, alineándose con el enfoque de Prawitz sobre la justificación de las inferencias en su análisis filosófico.