A lógica de Brouwer e o príncipio ex falso quodlibet
Autor(a) principal: | |
---|---|
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 |
id |
UFMG_2438c1c75ac0007e60e550105adfb306 |
---|---|
oai_identifier_str |
oai:repositorio.ufmg.br:1843/BUOS-B2TP8V |
network_acronym_str |
UFMG |
network_name_str |
Repositório Institucional da UFMG |
repository_id_str |
|
spelling |
Abilio Azambuja Rodrigues FilhoAntonio Mariano Nogueira CoelhoAndré da Silva PortoEdgar Henrique do Nascimento Campos2019-08-13T23:52:33Z2019-08-13T23:52:33Z2018-02-20http://hdl.handle.net/1843/BUOS-B2TP8VDe 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 BrouwerFrom both a historical and philosophical point of view, the development of intuitionist logic by Arend Heyting is usually justified as the formalization of L.E.J. Brouwers ideas on the nature of logic and its relationship with mathematical activity. It is shown, however, that a more adequate understanding of the conception of logic developed in Brouwers works render the admission of the principle of inference known as ex falso quodlibet problematic as axiom of a formal system which purports to be the codification of his ideas and also that the justifications presented in favor of the acceptance of this principle in intuitionist logic are not satisfactory from a brouwerian point of view. Thus, despite its traditional identification as the most adequate formal system to formally represent Brouwers conception of logic, it is maintained that intuitionist logic should not be considered as such. Finally, it is argued that minimal logic, which differs from intuitionist logic precisely by not admitting the above mentioned principle as axiom, would be a formal system more adequate than Heytings intuitionist logic to be taken as a formal image of Brouwers conception of logicUniversidade Federal de Minas GeraisUFMGLógica simbólica e matemáticaLógicaFilosofiaLógica matemática não clássicaLógica simbólica e matemáticaLógicaFilosofiaLógica matemática não clássicaA lógica de Brouwer e o príncipio ex falso quodlibetinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMGORIGINALdisserta__o_de_mestrado_de_edgar_campos.pdfapplication/pdf1452004https://repositorio.ufmg.br/bitstream/1843/BUOS-B2TP8V/1/disserta__o_de_mestrado_de_edgar_campos.pdf59c7f2cea2d4475c5178c6481427a090MD51TEXTdisserta__o_de_mestrado_de_edgar_campos.pdf.txtdisserta__o_de_mestrado_de_edgar_campos.pdf.txtExtracted texttext/plain232445https://repositorio.ufmg.br/bitstream/1843/BUOS-B2TP8V/2/disserta__o_de_mestrado_de_edgar_campos.pdf.txt875415f5f5a76f73b87033c956f49af3MD521843/BUOS-B2TP8V2019-11-14 15:29:25.087oai:repositorio.ufmg.br:1843/BUOS-B2TP8VRepositório de PublicaçõesPUBhttps://repositorio.ufmg.br/oaiopendoar:2019-11-14T18:29:25Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)false |
dc.title.pt_BR.fl_str_mv |
A lógica de Brouwer e o príncipio ex falso quodlibet |
title |
A lógica de Brouwer e o príncipio ex falso quodlibet |
spellingShingle |
A lógica de Brouwer e o príncipio ex falso quodlibet Edgar Henrique do Nascimento Campos 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 |
title_short |
A lógica de Brouwer e o príncipio ex falso quodlibet |
title_full |
A lógica de Brouwer e o príncipio ex falso quodlibet |
title_fullStr |
A lógica de Brouwer e o príncipio ex falso quodlibet |
title_full_unstemmed |
A lógica de Brouwer e o príncipio ex falso quodlibet |
title_sort |
A lógica de Brouwer e o príncipio ex falso quodlibet |
author |
Edgar Henrique do Nascimento Campos |
author_facet |
Edgar Henrique do Nascimento Campos |
author_role |
author |
dc.contributor.advisor1.fl_str_mv |
Abilio Azambuja Rodrigues Filho |
dc.contributor.referee1.fl_str_mv |
Antonio Mariano Nogueira Coelho |
dc.contributor.referee2.fl_str_mv |
André da Silva Porto |
dc.contributor.author.fl_str_mv |
Edgar Henrique do Nascimento Campos |
contributor_str_mv |
Abilio Azambuja Rodrigues Filho Antonio Mariano Nogueira Coelho André da Silva Porto |
dc.subject.por.fl_str_mv |
Lógica simbólica e matemática Lógica Filosofia Lógica matemática não clássica |
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 |
dc.subject.other.pt_BR.fl_str_mv |
Lógica simbólica e matemática Lógica Filosofia Lógica matemática não clássica |
description |
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 |
publishDate |
2018 |
dc.date.issued.fl_str_mv |
2018-02-20 |
dc.date.accessioned.fl_str_mv |
2019-08-13T23:52:33Z |
dc.date.available.fl_str_mv |
2019-08-13T23:52:33Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/1843/BUOS-B2TP8V |
url |
http://hdl.handle.net/1843/BUOS-B2TP8V |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.publisher.none.fl_str_mv |
Universidade Federal de Minas Gerais |
dc.publisher.initials.fl_str_mv |
UFMG |
publisher.none.fl_str_mv |
Universidade Federal de Minas Gerais |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFMG instname:Universidade Federal de Minas Gerais (UFMG) instacron:UFMG |
instname_str |
Universidade Federal de Minas Gerais (UFMG) |
instacron_str |
UFMG |
institution |
UFMG |
reponame_str |
Repositório Institucional da UFMG |
collection |
Repositório Institucional da UFMG |
bitstream.url.fl_str_mv |
https://repositorio.ufmg.br/bitstream/1843/BUOS-B2TP8V/1/disserta__o_de_mestrado_de_edgar_campos.pdf https://repositorio.ufmg.br/bitstream/1843/BUOS-B2TP8V/2/disserta__o_de_mestrado_de_edgar_campos.pdf.txt |
bitstream.checksum.fl_str_mv |
59c7f2cea2d4475c5178c6481427a090 875415f5f5a76f73b87033c956f49af3 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG) |
repository.mail.fl_str_mv |
|
_version_ |
1803589283454386176 |