Ambos textos abordan los fundamentos de la teoría de la prueba desde una perspectiva analítica, enfatizando la validez de las inferencias como clave en la lógica matemática.
Lógica sin metafísica
por Richard S. Prawitz · 1965
Ver sugerenciasSinopsis
Un trabajo fundamental en lógica intuicionista y teoría de la prueba, que explora cómo la validez de los argumentos puede basarse en la justificación de las inferencias en lugar de en la verdad de las proposiciones en un sentido clásico.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este libro desarrolla la lógica intuicionista y muestra cómo sus principios constructivistas se conectan con la justificación de inferencias, similar a la obra de Prawitz.
Prawitz investiga las bases de la inferencia, al igual que este capítulo, que se centra en la fundamentación de los conceptos de 'ground' e 'inferencia'.
El artículo ofrece una crítica y reformulación de la noción de 'argumento válido', al igual que Prawitz propone en su búsqueda por fundamentar la teoría de la prueba.
Este texto formaliza la noción de prueba natural y examina las deducciones lógicas, temas centrales que también se presentan en 'Lógica sin metafísica'.
Al desarrollar la relación entre la deducción natural y la semántica, este libro profundiza conceptos que son cruciales para la lógica intuicionista discutida por Prawitz.