Em direção a um marco lógico unitário para a não-monotonidade e a paraconsistência

Resumo

O programa de pesquisa aqui proposto refere-se à filosofia da lógica, especialmente ao debate de longa data sobre o monismo e o pluralismo lógico. Monistas como Quine defendem a idéia de que a única lógica correta é a lógica clássica, e tal que os outros cálculos ditos desviantes - intuicionista, paraconsistente e, em geral, os sistemas não-clássicos [26, 18, 29] - seriam baseados, essencialmente, em equívocos relacionados ao significado dos conectivos lógicos [21]. No lado oposto, os relativistas argumentam contra tal suposta singularidade, apoiando um pluralismo em que diferentes cálculos não-clássicos se encaixam em diferentes contextos semânticos, e desta forma recebem sua própria justificação epistemológica [1]. Do ponto de vista da aplicação prática, o pluralismo lógico é amplamente justificado e apoiado por muitos campos de pesquisa bem conhecidos como inteligência artificial, ciências cognitivas e por desenvolvimentos recentes no campo da ciência da computação. No entanto, tal atitude pluralista envolve muitos problemas filosóficos, como os relacionados com a noção de consequência lógica e à natureza dos conectivos, que necessitam de maiores explicações e de um aprofundamento conceitual [7, 2]. Nos propomos a definir um marco unitário capaz de abranger, uniformemente, a chamada lógica clássica com uma parte considerável das chamadas lógicas não-clássicas, especialmente aquelas que lidam com a não-monotonicidade e a paraconsistência, e desta forma reconsiderar e, possivelmente, chegar a uma resposta definitiva (ou pelo menos amplamente aceitável) para alguns dos enigmas filosóficos envolvidos no pluralismo lógico [7, 1, 12] . Esse quadro uniforme deverá ser obtido por meio dos control sets, dispositivos metalógicos introduzidos e parcialmente discutidos em [6, 9]. A idéia intuitiva é que um control set reúne todos os contextos lógicos os quais se supõe que possam bloquear uma certa derivação. Para realizar esta tarefa estão envolvidas tanto questões sintáticas quanto semânticas, especialmente em relação às lógicas subestruturais [19] e às Lógicas da Inconsistência Formal [8]. (AU)