A lógica de Brouwer e o príncipio ex falso quodlibet

• Autor(a) principal: Edgar Henrique do Nascimento Campos
• Data de Publicação: 2018
• Tipo de documento: Dissertação
• Idioma: por
• Título da fonte: Repositório Institucional da UFMG
• Texto Completo: http://hdl.handle.net/1843/BUOS-B2TP8V
• topic: Lógica simbólica e matemática; Lógica; Filosofia; Lógica matemática não clássica; Lógica simbólica e matemática; Lógica; Filosofia; Lógica matemática não clássica

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