Las Lógicas de la Verdad

Abstract

El objetivo principal de este plan es analizar si las paradojas semánticas pueden que ser resueltas vía revisión de la lógica, y el impacto que estos intentos de solución puedan tener en el modo de entender las constantes lógicas y la relación de consecuencia. En este proyecto de investigación, exploraremos dos tipos de soluciones: (i) las propuestas subestructurales, y (ii) las Lógicas Formales de la Inconsistencia (LFIs), una clase de lógicas paraconsistentes desarrolladas originalmente en la UniCamp que permiten expresar dentro del lenguaje la noción de inconsistencia. Se explorarán diversas revisiones de la lógica, tanto respecto del tratamiento de la negación y del condicional, tal como es usual en los enfoques paracompletos y paraconsistentes, como de las propiedades estructurales de contracción y corte, intentando evaluar en qué medida puede lograrse el añorado objetivo de la autosuficiencia semántica. Además, se incorporará la posibilidad de expresar otros conceptos (usualmente metateóricos) como validez y consistencia con el objetivo de generalizar los resultados alcanzados.