Capacidades de los sistemas lógicos formales: El caso de algunos sistemas lógicos clásicos y de lógica libre

Abstract

[ES]Desde el surgimiento del Begriffsschrift de Frege [1879], no ha parado la producción de sistemas lógicos; incluso, se ha intensificado por la conjunción de investigaciones en lógica y ciencias de la computación. Además, la producción de nuevos sistemas lógicos se ha ampliado al combinar nuevas lógicas con otras ya existentes.

El problema central que plantea la investigación es determinar ¿cuáles son las razones que explican la diversidad de sistemas lógicos y que expliquen si podría haber o no redundancia en algunos de ellos?

En la investigación se sostiene que no hay redundancia dentro de la gran diversidad de sistemas lógicos y que para comprender mejor la aportación de cada sistema lógico hace falta apreciar que además de que tales sistemas poseen capacidades de expresividad y deducibilidad, también poseen una capacidad de análisis. Las capacidades de expresividad y deducibilidad han sido contempladas previamente en la literatura lógica, de modo tal que la investigación se dirigió particularmente a justificar la noción de capacidad de análisis de los sistemas lógicos al desarrollar un estudio de caso de dos sistemas de lógica libre, con el apoyo de la aplicación de una metodología de traducción entre lógicas.

De esta forma, la tesis constituye un primer esfuerzo por revelar las conexiones entre la naturaleza formal de la lógica, su dirección hacia el estudio de inferencias de contextos diversos y la proliferación de gran variedad de sistemas lógicos.