MODALIDADES PARACONSISTENTES COMO BASE PARA O TRATAMENTO DE PARADOXOS EPISTÊMICODOXÁSTICOS.

PRETENDE-SE NESTA DISSERTAÇÃO ANALISAR SISTEMAS DE LÓGICAS MODAIS PARACONSISTENTES QUE SIRVAM DE BASE PARA O TRATAMENTO FORMAL DE PARADOXOS NO ÂMBITO DAS LÓGICAS EPISTÊMICODOXÁSTICAS, LÓGICAS MODAIS QUE FORMALIZAM AS NOÇÕES DE CONHECIMENTO E CRENÇA. ESTAS POR SUA VEZ SÃO INTERPRETAÇÕES DE LÓGICAS MODAIS BASEADAS NA LÓGICA CLÁSSICA, NA QUAL DEMONSTRA-SE O PRINCÍPIO EX FALSO SEQUITUR QUODLIBET, CONHECIDO TAMBÉM COMO PRINCÍPIO DE EXPLOSÃO. A DEMONSTRAÇÃO DESTE PRINCÍPIO NESTAS LÓGICAS CONTRIBUI PARA RESULTADOS INDESEJADOS COMO O PARADOXO DA COGNOSCIBILIDADE (OU PARADOXO DE FITCH), E O PARADOXO DA CREDIBILIDADE, AMBOS RESULTADOS QUE LEVAM AOS COLAPSOS DOS OPERADORES DE CRENÇA E CONHECIMENTO, RESPECTIVAMENTE. ALGUMAS SOLUÇÕES TÊM SIDO PROPOSTAS PARA LIDAR COM OS PARADOXOS, DENTRE ELAS REJEITAR CERTAS HIPÓTESES ASSUMIDAS, TAIS COMO O PRINCÍPIO DE COGNOSCIBILIDADE. A PRESENTE DISSERTAÇÃO SEGUE OUTRA LINHA, A SABER, QUE BUSCA INVESTIGAR OS EFEITOS DECORRENTES DE DOTAR DE BASES PARACONSISTENTES OS SISTEMAS NOS QUAIS OS PARADOXOS OCORREM. O APARATO LÓGICO QUE UTILIZAREMOS PARA ESTA TAREFA SÃO OS CHAMADOS SISTEMAS CATÓDICOS, INTRODUZIDOS EM [BUENO-SOLER, 2009]. ESTES SÃO SISTEMAS MODAIS QUE CONTÊM NEGAÇÕES SUBCLÁSSICAS EM SUAS LINGUAGENS E PODEM SER VISTOS COMO COMBINAÇÕES ENTRE LÓGICAS MODAIS E PARACONSISTENTES. ESPECIFICAMENTE INVESTIGAMOS A POSSIBILIDADE DE QUE LÓGICAS DA INCONSISTÊNCIA FORMAL (LFIS), INTRODUZIDAS EM [CARNIELLI E MARCOS, 2002] E DESENVOLVIDAS EM [CARNIELLI, CONIGLIO E MARCOS, 2007] POSSAM CONSTITUIR SISTEMAS CATÓDICOS PROMISSORES PARA O TRATAMENTO DOS PARADOXOS EPISTÊMICO-DOXÁSTICOS.