ECUMENISMO LÓGICO
Autor(a) principal: | |
---|---|
Data de Publicação: | 2018 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Institucional da PUC-RIO (Projeto Maxwell) |
Texto Completo: | https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=34598@1 https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=34598@2 |
Resumo: | A história recente da Lógica Matemática foi marcada por alguns conflitos entre diferentes correntes filosóficas, cada uma buscando contextualizar a atividade matemática a partir de seu próprio prisma analítico e, por meio disso, tentando conquistar para si mesma o pódio fundacional das Ciências Formais Tais discussões, perenes o bastante para ainda quedarem sem solução, foram fortemente impactadas pela apropriação semântica de alguns resultados técnicos obtidos no campo da teoria da prova, o que redefiniu a relação existente entre as abordagens clássica e intuicionista na matemática. Neste contexto, a presente dissertação tem por finalidade realizar uma descrição da emergente literatura de propostas integrativas entre diferentes sistemas lógicos e matemáticos (apelidadas por Dag Prawitz de ecumenismo lógico), além de investigar alguns impactos que mudanças formais poderiam ocasionar nas concepções filosóficas de algumas teorias matemáticas. No capítulo introdutório, traçamos um panorama geral desta nova proposta ecumênica e analisamos com mais atenção o conflito entre as lógicas Clássica, Intuicionista e Minimal, considerado por muitos como um dos mais influentes na literatura contemporânea. No segundo capítulo, este trabalho fornece uma contribuição original para a literatura ao criar uma nova abordagem ecumênica, além de provar algumas equivalências no interior do sistema Clássico-Intuicionista recentemente criado por Prawitz e compará-lo com uma lógica que criamos usando esta nova abordagem. No terceiro capítulo, contribuímos tanto com a abordagem tradicional quanto com nossa abordagem original ao criar e comparar dua lógicas ecumênicas Minimal-Intuicionistas. Por fim, realizamos uma breve revisão do tímido estado da arte no último capítulo, oferecendo um novo esquema conceitual de interpretação dos sistemas ecumênicos e comentando alguns aspectos promissores do campo, que poderão vir a ser melhor trabalhados no futuro. |
id |
PUC_RIO-1_915315d29e357a2ba034e58ca95d4573 |
---|---|
oai_identifier_str |
oai:MAXWELL.puc-rio.br:34598 |
network_acronym_str |
PUC_RIO-1 |
network_name_str |
Repositório Institucional da PUC-RIO (Projeto Maxwell) |
repository_id_str |
534 |
spelling |
info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisECUMENISMO LÓGICO LOGICAL ECUMENISM 2018-04-13LUIZ CARLOS PINHEIRO DIAS PEREIRA17913322187lattes.cnpq.br/8418729116626386EDWARD HERMANN HAEUSLERBRUNO LOPES VIEIRAJEFFERSON DE BARROS SANTOSJEFFERSON DE BARROS SANTOSJEFFERSON DE BARROS SANTOS14205461712lattes.cnpq.br/6367175343969926VICTOR LUIS BARROSO NASCIMENTOPONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIROPPG EM FILOSOFIAPUC-RioBRA história recente da Lógica Matemática foi marcada por alguns conflitos entre diferentes correntes filosóficas, cada uma buscando contextualizar a atividade matemática a partir de seu próprio prisma analítico e, por meio disso, tentando conquistar para si mesma o pódio fundacional das Ciências Formais Tais discussões, perenes o bastante para ainda quedarem sem solução, foram fortemente impactadas pela apropriação semântica de alguns resultados técnicos obtidos no campo da teoria da prova, o que redefiniu a relação existente entre as abordagens clássica e intuicionista na matemática. Neste contexto, a presente dissertação tem por finalidade realizar uma descrição da emergente literatura de propostas integrativas entre diferentes sistemas lógicos e matemáticos (apelidadas por Dag Prawitz de ecumenismo lógico), além de investigar alguns impactos que mudanças formais poderiam ocasionar nas concepções filosóficas de algumas teorias matemáticas. No capítulo introdutório, traçamos um panorama geral desta nova proposta ecumênica e analisamos com mais atenção o conflito entre as lógicas Clássica, Intuicionista e Minimal, considerado por muitos como um dos mais influentes na literatura contemporânea. No segundo capítulo, este trabalho fornece uma contribuição original para a literatura ao criar uma nova abordagem ecumênica, além de provar algumas equivalências no interior do sistema Clássico-Intuicionista recentemente criado por Prawitz e compará-lo com uma lógica que criamos usando esta nova abordagem. No terceiro capítulo, contribuímos tanto com a abordagem tradicional quanto com nossa abordagem original ao criar e comparar dua lógicas ecumênicas Minimal-Intuicionistas. Por fim, realizamos uma breve revisão do tímido estado da arte no último capítulo, oferecendo um novo esquema conceitual de interpretação dos sistemas ecumênicos e comentando alguns aspectos promissores do campo, que poderão vir a ser melhor trabalhados no futuro.The recent history of Mathematical Logic was marked by some conficts between different philosophical positions, each trying to contextualize mathematical activity from its own analytical viewpoint and, with this, trying to conquer the foundational podium of the formal sciences for itself. Such discussions, lasting enough to remain without a solution, were strongly impacted by the semantical appropriation of some technical results obtained in the field of proof theory, which redefined the relation between the classical and intuitionistic approaches to mathematics. In this context, the present dissertation aims to describe the emergent literature about the integration of different logical and mathematical systems (nicknamed logical ecumenism by Dag Prawitz), in addition to investigating some impacts that those formal changes could have on the philosophical conceptions of some mathematical theories. In the introductory chapter, we have outlined a general overview of this new ecumenical proposal and analysed in greater depht the conflicts between Classical, Intuitionistic and Minimal logic, considered by many as one of the most influent on the contemporary literature. In the second chapter, this work provides an original contribution to the literature by creating a new ecumenical approach, in addition to proving some equivalencies within Prawitz s recently created Classical-Intuitionist system, and compares it with the logical system we have created using this new approach. In the third chapter, we contribute both to the traditional approach and our original approach by creating and comparing two Minimal-Intuitionist ecumenical logics. Finally, we briefly review the timid state of the art in the last chapter, offering a new conceptual framework for interpreting ecumenical systems, as well as commenting on some promising aspects of the field, which may be better analyzed in the future.https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=34598@1https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=34598@2porreponame:Repositório Institucional da PUC-RIO (Projeto Maxwell)instname:Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)instacron:PUC_RIOinfo:eu-repo/semantics/openAccess2022-11-01T13:43:02Zoai:MAXWELL.puc-rio.br:34598Repositório InstitucionalPRIhttps://www.maxwell.vrac.puc-rio.br/ibict.phpopendoar:5342018-07-31T00:00Repositório Institucional da PUC-RIO (Projeto Maxwell) - Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO)false |
dc.title.pt.fl_str_mv |
ECUMENISMO LÓGICO |
dc.title.alternative.en.fl_str_mv |
LOGICAL ECUMENISM |
title |
ECUMENISMO LÓGICO |
spellingShingle |
ECUMENISMO LÓGICO VICTOR LUIS BARROSO NASCIMENTO |
title_short |
ECUMENISMO LÓGICO |
title_full |
ECUMENISMO LÓGICO |
title_fullStr |
ECUMENISMO LÓGICO |
title_full_unstemmed |
ECUMENISMO LÓGICO |
title_sort |
ECUMENISMO LÓGICO |
author |
VICTOR LUIS BARROSO NASCIMENTO |
author_facet |
VICTOR LUIS BARROSO NASCIMENTO |
author_role |
author |
dc.contributor.advisor1.fl_str_mv |
LUIZ CARLOS PINHEIRO DIAS PEREIRA |
dc.contributor.advisor1ID.fl_str_mv |
17913322187 |
dc.contributor.advisor1Lattes.fl_str_mv |
lattes.cnpq.br/8418729116626386 |
dc.contributor.referee1.fl_str_mv |
EDWARD HERMANN HAEUSLER |
dc.contributor.referee2.fl_str_mv |
BRUNO LOPES VIEIRA |
dc.contributor.referee3.fl_str_mv |
JEFFERSON DE BARROS SANTOS |
dc.contributor.referee4.fl_str_mv |
JEFFERSON DE BARROS SANTOS |
dc.contributor.referee5.fl_str_mv |
JEFFERSON DE BARROS SANTOS |
dc.contributor.authorID.fl_str_mv |
14205461712 |
dc.contributor.authorLattes.fl_str_mv |
lattes.cnpq.br/6367175343969926 |
dc.contributor.author.fl_str_mv |
VICTOR LUIS BARROSO NASCIMENTO |
contributor_str_mv |
LUIZ CARLOS PINHEIRO DIAS PEREIRA EDWARD HERMANN HAEUSLER BRUNO LOPES VIEIRA JEFFERSON DE BARROS SANTOS JEFFERSON DE BARROS SANTOS JEFFERSON DE BARROS SANTOS |
description |
A história recente da Lógica Matemática foi marcada por alguns conflitos entre diferentes correntes filosóficas, cada uma buscando contextualizar a atividade matemática a partir de seu próprio prisma analítico e, por meio disso, tentando conquistar para si mesma o pódio fundacional das Ciências Formais Tais discussões, perenes o bastante para ainda quedarem sem solução, foram fortemente impactadas pela apropriação semântica de alguns resultados técnicos obtidos no campo da teoria da prova, o que redefiniu a relação existente entre as abordagens clássica e intuicionista na matemática. Neste contexto, a presente dissertação tem por finalidade realizar uma descrição da emergente literatura de propostas integrativas entre diferentes sistemas lógicos e matemáticos (apelidadas por Dag Prawitz de ecumenismo lógico), além de investigar alguns impactos que mudanças formais poderiam ocasionar nas concepções filosóficas de algumas teorias matemáticas. No capítulo introdutório, traçamos um panorama geral desta nova proposta ecumênica e analisamos com mais atenção o conflito entre as lógicas Clássica, Intuicionista e Minimal, considerado por muitos como um dos mais influentes na literatura contemporânea. No segundo capítulo, este trabalho fornece uma contribuição original para a literatura ao criar uma nova abordagem ecumênica, além de provar algumas equivalências no interior do sistema Clássico-Intuicionista recentemente criado por Prawitz e compará-lo com uma lógica que criamos usando esta nova abordagem. No terceiro capítulo, contribuímos tanto com a abordagem tradicional quanto com nossa abordagem original ao criar e comparar dua lógicas ecumênicas Minimal-Intuicionistas. Por fim, realizamos uma breve revisão do tímido estado da arte no último capítulo, oferecendo um novo esquema conceitual de interpretação dos sistemas ecumênicos e comentando alguns aspectos promissores do campo, que poderão vir a ser melhor trabalhados no futuro. |
publishDate |
2018 |
dc.date.issued.fl_str_mv |
2018-04-13 |
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 |
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=34598@1 https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=34598@2 |
url |
https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=34598@1 https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=34598@2 |
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 |
PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO |
dc.publisher.program.fl_str_mv |
PPG EM FILOSOFIA |
dc.publisher.initials.fl_str_mv |
PUC-Rio |
dc.publisher.country.fl_str_mv |
BR |
publisher.none.fl_str_mv |
PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da PUC-RIO (Projeto Maxwell) instname:Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO) instacron:PUC_RIO |
instname_str |
Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO) |
instacron_str |
PUC_RIO |
institution |
PUC_RIO |
reponame_str |
Repositório Institucional da PUC-RIO (Projeto Maxwell) |
collection |
Repositório Institucional da PUC-RIO (Projeto Maxwell) |
repository.name.fl_str_mv |
Repositório Institucional da PUC-RIO (Projeto Maxwell) - Pontifícia Universidade Católica do Rio de Janeiro (PUC-RIO) |
repository.mail.fl_str_mv |
|
_version_ |
1748324938867015680 |