Dag Prawitz

Este trabajo presenta una "teoría de la demostración" y un estudio de los fundamentos de la lógica intuicionista, explorando la validez de los principios lógicos y matemáticos desde una perspectiva constructivista.

Este trabajo es un texto fundamental en la teoría de la prueba, donde Prawitz formaliza la noción de prueba natural en lógica. Aborda las propiedades estructurales de las deducciones lógicas y la normalización de las pruebas.

Un influyente trabajo que establece los fundamentos de la teoría de la prueba moderna, particularmente la deducción natural, una formalización de la lógica que se alinea bien con el concepto de demostración en matemáticas.

Una obra clave en la lógica matemática que desarrolla la teoría de la prueba de la deducción natural y cómo se relaciona con la semántica de la lógica, brindando una estructura formal para la comprensión de las demostraciones matemáticas.

Prawitz ofrece una revisión crítica del programa de Hilbert, analizando sus aspectos filosóficos y sus implicaciones para la teoría de la prueba en la fundamentación matemática.

Este libro proporciona un estudio detallado y riguroso de la deducción natural y la teoría de la prueba, consolidando las contribuciones de Prawitz a la lógica matemática y filosófica.

Un capítulo de libro donde Prawitz profundiza en la pregunta fundamental de por qué algunas inferencias nos dan fundamentos (grounds) para sus conclusiones, proponiendo una reconstrucción de los conceptos de 'ground' e 'inferencia'.

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.