Autor: Filipe Borges Albernaz

Resumo:

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.

Abstract:

This paper deals with the intuitionist argument for rejecting the law of excluded middle. The intention is to clearly present the motivations that support a position, on the one hand, of controversy, on the other hand, natural, when viewed as an inevitable consequence of the foundations of the theory and not just as a mere anticlassical attitude. To this end, we must emphasize the fundamental role of the notion of construction for intuitionism, in addition to the consequences that fall on the interpretation of the underlying logic and on the interpretation of the notion of truth of the proposition. By the end of the paper, we hope to have presented a clearer picture of this theme that marks a continuity trace of the intuitionist endeavor from Brouwer to Martin-Löf.

ISSN: 1984-8900

DOI: https://doi.org/10.36311/1984-8900.2020.v12n31.p152-171

Texto Completo: https://revistas.marilia.unesp.br/index.php/kinesis/article/view/10620

Palavras-Chave: Fundamentos da Matemática, Intuicionismo, Prova, Construção, Existência, Lógica.