PARACONSISTENTIZAÇÃO DE LÓGICAS

ESTA TESE TEM COMO OBJETIVO ESTUDAR A PARACONSISTENTIZAÇÃO DE LÓGICAS, QUE CONSISTE EM ENCONTRAR, PARA UMA DADA LÓGICA, SUA CONTRAPARTE PARACONSISTENTE. A ESTRATÉGIA GERAL UTILIZADA PARA TAL TAREFA É: AO ENCONTRAR PREMISSAS INCONSISTENTES, FAÇA INFERÊNCIAS A PARTIR DE SEUS SUBCONJUNTOS CONSISTENTES. PARA ISSO, FORAM DESENVOLVIDOS DOIS MÉTODOS DE PARACONSISTENTIZAÇÃO. O PRIMEIRO CONSISTE NA UTILIZAÇÃO DO ARCABOUÇO TEÓRICO DA TEORIA DE CATEGORIAS, ENQUANTO QUE O SEGUNDO FAZ USO DA TEORIA DA PROVA E DA NOÇÃO DE ESTRUTURAS VALORATIVAS. APÓS A APRESENTAÇÃO DOS MÉTODOS, ALGUMAS PROPRIEDADES FORMAIS DE AMBAS AS PROPOSTAS FORAM INVESTIGADAS. EM PARTICULAR, PROVOU-SE QUE A PARACONSISTENTIZAÇÃO PRESERVA CORREÇÃO E COMPLETUDE, ISTO É, SE A LÓGICA INICIAL FOR CORRETA E COMPLETA, SUA CONTRAPARTE PARACONSISTENTE TAMBÉM O SERÁ. TAMBÉM FORAM ESTABELECIDAS AS CONDIÇÕES SUFICIENTES QUE UMA LÓGICA DEVE SATISFAZER PARA PODER SER PARACONSISTENTIZADA. A PARTIR DESTES RESULTADOS, OS DOIS MÉTODOS PROPOSTOS FORAM COMPARADOS COM OUTRAS ABORDAGENS DESENVOLVIDAS PARA RACIOCINAR A PARTIR DE CONJUNTOS INCONSISTENTES. POR FIM, A TESE ANALISA O DEBATE ENTRE PLURALISMO E MONISMO LÓGICO INVESTIGANDO, ESPECIFICAMENTE, AS CONTRIBUIÇÕES DA PARACONSISTENTIZAÇÃO PARA TAL DISCUSSÃO.