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, esse…