DA INTERPRETAÇÃO INTUICIONISTA DE PROVA À REJEIÇÃO DO PRINCÍPIO DO TERCEIRO EXCLUÍDO

O presente artigo trata do argumento intuicionista para a rejeição do princípio do terceiro excluído. A intenção é apresentar de forma clara as motivações que sustentam uma posição, por um lado, polêmica, por outro lado, natural, quando vista como uma inevitável consequência dos fundamentos da teoria e não apenas como uma mera atitude anticlássica. Para tal, devemos enfatizar o papel fundamental da noção de construção para o intuicionismo, além das consequências que recaem sobre a interpretação da lógica subjacente e sobre a interpretação da noção de verdade da proposição. Ao término do artigo, esperamos ter apresentado um cenário mais claro acerca desse tema que marca um traço de continuidade da empreitada intuicionista desde Brouwer até Martin-Löf.