$$\newcommand{\bra}[1]{\left<#1\right|}\newcommand{\ket}[1]{\left|#1\right>}\newcommand{\bk}[2]{\left<#1\middle|#2\right>}\newcommand{\bke}[3]{\left<#1\middle|#2\middle|#3\right>}$$
X
INFORMAÇÕES SOBRE DIREITOS AUTORAIS


As obras disponibilizadas nesta Biblioteca Digital foram publicadas sob expressa autorização dos respectivos autores, em conformidade com a Lei 9610/98.

A consulta aos textos, permitida por seus respectivos autores, é livre, bem como a impressão de trechos ou de um exemplar completo exclusivamente para uso próprio. Não são permitidas a impressão e a reprodução de obras completas com qualquer outra finalidade que não o uso próprio de quem imprime.

A reprodução de pequenos trechos, na forma de citações em trabalhos de terceiros que não o próprio autor do texto consultado,é permitida, na medida justificada para a compreeensão da citação e mediante a informação, junto à citação, do nome do autor do texto original, bem como da fonte da pesquisa.

A violação de direitos autorais é passível de sanções civis e penais.
Coleção Digital

Avançada


Estatísticas | Formato DC |



Título: LOGICAL ECUMENISM
Autor: VICTOR LUIS BARROSO NASCIMENTO
Instituição: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO - PUC-RIO
Colaborador(es):  LUIZ CARLOS PINHEIRO DIAS PEREIRA - ADVISOR
Nº do Conteudo: 34598
Catalogação:  30/07/2018 Idioma(s):  PORTUGUESE - BRAZIL
Tipo:  TEXT Subtipo:  THESIS
Natureza:  SCHOLARLY PUBLICATION
Nota:  Todos os dados constantes dos documentos são de inteira responsabilidade de seus autores. Os dados utilizados nas descrições dos documentos estão em conformidade com os sistemas da administração da PUC-Rio.
Referência [pt]:  https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=34598@1
Referência [en]:  https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=34598@2
Referência DOI:  https://doi.org/10.17771/PUCRio.acad.34598

Resumo:
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.

Descrição Arquivo
COMPLETE  PDF
Logo maxwell Agora você pode usar seu login do SAU no Maxwell!!
Fechar Janela



* Esqueceu a senha:
Senha SAU, clique aqui
Senha Maxwell, clique aqui