A LÓGICA DE BROUWER E O PRINCÍPIO EX FALSO QUODLIBET

DE UM PONTO DE VISTA TANTO HISTÓRICO QUANTO FILOSÓFICO, O DESENVOLVIMENTO DA LÓGICA INTUICIONISTA POR AREND HEYTING É USUALMENTE JUSTIFICADO COMO A FORMALIZAÇÃO DAS IDEIAS DE L.E.J. BROUWER SOBRE A NATUREZA DA LÓGICA E SUA RELAÇÃO COM A ATIVIDADE MATEMÁTICA. MOSTRAREMOS, NO ENTANTO, QUE UM ENTENDIMENTO MAIS ADEQUADO DA CONCEPÇÃO DE LÓGICA DESENVOLVIDA NA OBRA DE BROUWER TORNA PROBLEMÁTICA A ADMISSÃO DO PRINCÍPIO DE INFERÊNCIA CONHECIDO COMO EX FALSO QUODLIBET COMO AXIOMA DE UM SISTEMA FORMAL QUE PRETENDE SER A CODIFICAÇÃO DE SUAS IDEIAS E QUE AS JUSTIFICATIVAS APRESENTADAS EM FAVOR DA ACEITAÇÃO DESSE PRINCÍPIO NA LÓGICA INTUICIONISTA SÃO INSATISFATÓRIAS DO PONTO DE VISTA BROUWERIANO. ASSIM, A DESPEITO DE SUA TRADICIONAL IDENTIFICAÇÃO COMO O SISTEMA FORMAL MAIS ADEQUADO PARA REPRESENTAR FORMALMENTE A CONCEPÇÃO DE LÓGICA DE BROUWER, SUSTENTA-SE QUE A LÓGICA INTUICIONISTA NÃO DEVERIA SER CONSIDERADA COMO TAL. POR FIM, ARGUMENTA-SE QUE A LÓGICA MINIMAL, QUE DIFERE DA LÓGICA INTUICIONISTA PRECISAMENTE POR NÃO ADMITIR O PRINCÍPIO MENCIONADO ACIMA COMO AXIOMA, SERIA UM SISTEMA FORMAL MAIS ADEQUADO DO QUE A LÓGICA INTUICIONISTA DE HEYTING PARA SER TOMADO COMO UMA IMAGEM FORMAL DA CONCEPÇÃO DE LÓGICA DE BROUWER.