Conferencia de Atocha Aliseda

El viernes 18 de mayo a las 12:00 la profesora Atocha Aliseda dará una conferencia en el aula 012 del Edificio FES de la Universidad de Salamanca. Podeis encontrar el resumen en este mismo mensaje.

PROPIEDADES ESTRUCTURALES PARA LA INFERENCIA CLÁSICA

Atocha Aliseda
En Amor (2003), el autor presenta dos resultados metalógicos respecto a sistemas axiomáticos que satisfacen la propiedad de correctud-completud restringida. El primero de ellos, muestra que la regla Modus Ponens es una condición necesaria y suficiente para que el sistema cumpla con la completud extendida. El segundo resultado exige que el sistema satisfaga el Metateorema de la Deducción como condición necesaria y suficiente para la correctud extendida del sistema. Estos resultados muestran que la regla del Modus Ponens y el Metateorema de la deducción pueden caracterizarse como propiedades estructurales que permiten la correctud-completud extendida de un cierto sistema axiomático. La pregunta natural a hacerse es si este resultado puede generalizarse a otros sistemas axiomáticos. En esta charla presentaremos los resultados Amor y expondremos algunas ideas en torno a esta pregunta.

Amor, J.A. (2003) A Structural Characterization Of Extended Correctness-Completeness In Classical Logic, Crítica, Vol 35, No. 133, 69—82.