LÓGICAS PARACONSISTENTES DE UM PONTO DE VISTA FILOSÓFICO

ESTE TRABALHO ABORDARÁ OS ASPECTOS FILOSÓFICOS DAS LÓGICAS PARACONSISTENTES. ANALISAREMOS A HISTÓRIA DOS PRINCÍPIOS LÓGICOS FUNDAMENTAIS PARA ESTA LÓGICA, A SABER: A LEI DE NÃO-CONTRADIÇÃO E O PRINCÍPIO DE EXPLOSÃO, BEM COMO A HISTÓRIA DO SURGIMENTO DA PARACONSISTÊNCIA. ADEMAIS, DISCUTIREMOS UMA INTERPRETAÇÃO DA PARACONSISTÊNCIA QUE DEFENDE A EXISTÊNCIA DE CONTRADIÇÕES VERDADEIRAS, DENOMINADA DIALETEISMO, E AS POSSÍVEIS CRÍTICAS AO DIALETEISMO E, DE FORMA GERAL, ÀS LÓGICAS PARACONSISTENTES. O CARÁTER FILOSÓFICO DO TRABALHO NÃO SIGNIFICA QUE O TEXTO ESTARÁ ISENTO DE TEOREMAS, FÓRMULAS, DEMONSTRAÇÕES E OUTRAS QUESTÕES FORMAIS. PORÉM, ESTE ASPECTO FORMAL NÃO SERÁ TRATADO COMO UM FIM EM SI MESMO. O FORMALISMO SERÁ UTILIZADO PARA APRESENTAR DOIS SISTEMAS PROPOSICIONAIS PARACONSISTENTES - LÓGICA PARA CLÁSSICA E LÓGICA PARA CLÁSSICA COM INCLUSÃO - E COMPARÁ-LOS COM A LÓGICA PROPOSICIONAL CLÁSSICA. O ARCABOUÇO TEÓRICO CONSTRUÍDO PARA TAL FIM É FILOSOFICAMENTE RELEVANTE PARA DISCUTIR QUESTÕES CENTRAIS À LÓGICA"""" COMO A EXISTÊNCIA DE LEIS LÓGICAS, SEU CARÁTER A PRIORI E, ATÉ MESMO, A PRÓPRIA DEFINIÇÃO DE LÓGICA. POR FIM, SERÁ APRESENTADO UM MÉTODO PARA ENCONTRAR, A PARTIR DE UMA LÓGICA DADA, SUA VERSÃO PARACONSISTENTE. FACE À MULTIPLICIDADE, DE SISTEMAS LÓGICOS PARACONSISTENTES, ESTE ESTUDO É IMPORTANTE, POIS PERMITE EXPLORAR AS POSSÍVEIS CARACTERÍSTICAS GERAIS DAS LÓGICAS PARACONSISTENTES, SUAS ESPECIFICIDADES E, PRINCIPALMENTE, MÉTODOS ABSTRATOS PARA GERAR LÓGICAS PARACONSISTENTES