TOPICS IN LOGICAL ANTI-EXCEPTIONALISM AND PARACONSISTENT LOGICS

A RIVALIDADE ENTRE A LÓGICA CLÁSSICA E SUAS CONCORRENTES NÃO-CLÁSSICAS OCUPA UM LUGAR IMPORTANTE NA FILOSOFIA DA LÓGICA CONTEMPORÂNEA. A QUESTÃO CENTRAL É SABER COMO ESCOLHER UM SISTEMA LÓGICO (OU TEORIA LÓGICA) DENTRE AS VÁRIAS POSSIBILIDADES DISPONÍVEIS. UMA PROPOSTA RECENTE, NOMEADA ANTI-EXCEPCIONALISMO LÓGICO, AFIRMA QUE DISPUTAS LÓGICAS PODEM SER DECIDIDAS ATRAVÉS DO EMPREGO DOS MESMOS MÉTODOS DE ESCOLHA DE TEORIA UTILIZADOS NAS CIÊNCIAS EXATAS, ISTO É, ATRAVÉS DA INFERÊNCIA À MELHOR EXPLICAÇÃO E DA ANÁLISE DAS VIRTUDES TEÓRICAS DE CADA TEORIA EM DISPUTA. ESTA TESE FILOSÓFICA TEM SIDO EXPLORADA COMO UMA AGENDA DE PESQUISA PARA INVESTIGAR PROBLEMAS COMO A REVISABILIDADE DA LÓGICA, O CARÁTER A PRIORI DO CONHECIMENTO LÓGICO, O DEBATE PLURALISMO/MONISMO LÓGICO, OS MÉTODOS DE ESCOLHA DE TEORIAS LÓGICAS, E OU- TRAS QUESTÕES SIMILARES. A PRESENTE MONOGRAFIA CONSISTE NUMA INVESTIGAÇÃO DE TÓPICOS FUNDACIONAIS PARA O ANTI-EXCEPCIONALISMO LÓGICO EM SUA RELAÇÃO COM UMA CLASSE ESPECÍFICA DE LÓGICAS NÃO-CLÁSSICAS, A SABER, A DAS LÓGICAS PARACONSISTENTES. A PRIMEIRA PARTE DA TESE EXPLORA QUESTÕES FUNDACIONAIS DO DEBATE ANTI-EXCEPCIONALISTA A PARTIR DA APLICAÇÃO DE MÉTODOS E FERRAMENTAS CONCEITUAIS DA FILOSOFIA DA CIÊNCIA. TÓPICOS COMO A IMPREGNAÇÃO TEÓRICA NA ESCOLHA DE TEORIAS LÓGICAS, A SUBDETERMINAÇÃO DOS DADOS LÓGICOS, A NOÇÃO DE DADO ADEQUADA PARA AS LÓGICAS PARACONSISTENTES, O PAPEL DAS VIRTUDES TEÓRICAS NOS DESACORDOS LÓGICOS, COMO TAMBÉM A ADEQUADA NOÇÃO DE APRIORICIDADE PARA OS PROPÓSITOS ANTI-EXCEPCIONALISTAS, SÃO INTRODUZIDOS E DISCUTIDOS. A SEGUNDA PARTE É DEDICADA AOS ASPECTOS TÉCNICOS DAS LÓGICAS PARACONSISTENTES. OS RESULTADOS CENTRAIS SÃO A INTRODUÇÃO DE UMA NOVA FAMÍLIA DE LÓGICAS PARACONSISTENTES NÃO-MONOTÔNICAS DE PRIMEIRA ORDEM CAPAZES DE VALIDAR MUITAS PROPRIEDADES CENTRAIS DAS LÓGICAS NÃO-MONOTÔNICAS. ALÉM DISSO, APRESENTAMOS UMA NOVA DEMONSTRAÇÃO DE COMPACIDADE PARA LÓGICAS DE PRIMEIRA ORDEM FINITO-VALORADAS E CARACTERIZADAS POR UMA SEMÂNTICA NÃO-DETERMINÍSTICA.