LÓGICAS DE INCONSISTÊNCIA FORMAL E NÃO-MONOTONICIDADE

EXISTEM DIVERSAS RAZÕES PARA JUSTIFICAR O DESENVOLVIMENTO DE LÓGICAS NÃO-CLÁSSICAS TAIS COMO A EXPRESSIVIDADE DESTAS LINGUAGENS E COMO ELAS PODERIAM AJUDAR A FORMALIZAR O PENSAMENTO HUMANO. NESTE SENTIDO, AS LÓGICAS NÃO-MONOTÔNICAS FORAM DESENVOLVIDAS EM PROL DE FORMALIZAR RACIOCÍNIOS COTIDIANOS BASEADOS NA PREMISSA DE QUE NÓS DEVERÍAMOS SER CAPAZES DE RETRATAR CONCLUSÕES PREVIAMENTE OBTIDAS QUANDO CONFRONTADAS COM NOVAS INFORMAÇÕES[1]. ALGUMAS LÓGICAS NÃO-MONOTÔNICAS UTILIZAM A NOÇÃO DE PENSAMENTO DEFAULT PARA FORMALIZAR RACIOCÍNIOS COTIDIANOS [2]. POR OUTRO LADO, AS LÓGICAS PARACONSISTENTES SÃO AQUELAS LÓGICAS QUE ESTUDAM TEORIAS NÃO-EXPLOSIVAS E FORAM DESENVOLVIDAS EM PROL DE LIDAR COM CONTRADIÇÕES. SOBRE AS LÓGICAS PARACONSISTENTES, EXISTE UMA CLASSE DE SISTEMAS QUE SE MOSTRAM REALMENTE INTERESSANTES, PARTICULARMENTE: AS LÓGICAS DE INCONSISTÊNCIA FORMAL [LIFS][10]. LIFS SÃO UM TIPO ESPECIAL DE LÓGICAS PARACONSISTENTES QUE SÃO GENTILMENTE EXPLOSIVAS E INTERNALIZAM O CONCEITO DE CONSISTÊNCIA NO NÍVEL DA LINGUAGEM-OBJETO UTILIZANDO O OPERADOR DE CONSISTÊNCIA [10]. A QUESTÃO INICIAL PODERIA A PARACONSISTÊNCIA SUBSTITUIR A NÃO-MONOTONICIDADE? APRESENTADA EM [14] NOS GUIOU À FORMALIZAÇÃO DE UMA PERGUNTA MAIS ESPECÍFICA, ENTRETANTO, MAIS INTRIGANTE: É POSSÍVEL DESENVOLVER UMA LÓGICA NÃO-MONOTÔNICA GENTILMENTE EXPLOSIVA?. NO INTUITO DE BUSCAR RESPONDER A ESSA QUESTÃO, É IMPORTANTE INVESTIGAR CONCEITUAL E FILOSOFICAMENTE A RELEVÂNCIA E AS PROBLEMÁTICAS DE SE DESENVOLVER TAL LÓGICA. ESTE TRABALHO VISA JUSTIFICAR A IMPORTÂNCIA DE UMA LÓGICA NÃO-MONOTÔNICA PARACONSISTENTE BASEADA NAS LÓGICAS DE INCONSISTÊNCIA FORMAL A PARTIR DE UMA ANÁLISE INTUITIVA DOS CONCEITOS E DAS NOÇÕES ENVOLVIDAS EM TAIS SISTEMAS FORMAIS CONSIDERANDO, AINDA, ABORDAGENS POSSÍVEIS A PARTIR DAS CHAMADAS LÓGICAS ADAPTATIVAS DE INCONSISTÊNCIA E DAS LÓGICAS MODULADAS.