Detalhes bibliográficos
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
|
Resumo: |
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 |