Sobre el significado de las constantes lógicas: el caso de la armonía como principio de inversión

Abstract

El impacto de los hallazgos en el campo de la lógica del eminente Gerhard Gentzen aún no ha sido enteramente dimensionado. Sus reflexiones en torno a la teoría de la deducción a partir de los sistemas de deducción natural y el cálculo de secuentes permitieron pensar una semántica de la demostración y constituyen una perspectiva independiente y novedosa para el análisis de la noción de consecuencia lógica. La motivación filosófica particular de los sistemas de deducción natural, se centra en la representación precisa de ciertas propiedades estructurales del proceder deductivo en el campo de las matemáticas. A su vez, las derivaciones en los sistemas de deducción natural, en oposición a la producción de teoremas y a la determinación del significado de las constantes en los tradicionales sistemas axiomáticos, permiten construir implicaciones a partir de supuestos y presentan reglas de inferencia en pares que determinan en sus operaciones el significado de las constantes lógicas

<i>(Párrafo extraído del texto a modo de resumen)</i>