Diagonalização, Paradoxos e o Teorema de Löb

2017, V. 73, N. 3-4 • Revista Portuguesa de Filosofia

Autor: Paulo Guilherme Santos, Reinhard Kahle

Abstract:

Diagonalization is a transversal theme in Logic. In this work, it is shown that there exists a common origin of several diagonalization phenomena — paradoxes (the Liar, Curry's Paradox, and Russell's Paradox) and Löb's Theorem. That common origin comprises a common reasoning and a common logical structure. We analyse the common structure from a philosophical point-of-view and we draw some conclusions.

ISSN: http://doi.org/10.17990/RPF/2017_73_3_1169

DOI: http://doi.org/10.17990/RPF/2017_73_3_1169

Texto Completo: https://www.publicacoesfacfil.pt/product.php?id_product=1054

Palavras-Chave: diagonalization,liar,Löb,paradox

Revista Portuguesa de Filosofia

A Revista Portuguesa de Filosofia (RPF) foi fundada em 1945 por Domingos Maurício, SJ; Cassiano Abranches, SJ; Severiano Tavares, SJ e Diamantino Martins, SJ. É uma publicação trimestral da Axioma - Publicações da Faculdade de Filosofia.

A RPF, sendo de inspiração cristã, tem por missão a publicação de artigos inéditos de reconhecido mérito, aceitando textos de qualquer horizonte de pensamento, em qualquer área de filosofia, escritos nas principais línguas europeias (português, inglês, francês, alemão, espanhol e italiano). Todos os artigos são revistos inter pares (peers review), mediante o sistema de avaliação anónima (double-blind).

Os artigos publicados na RPF são indexados e referenciados pelas seguintes bases de dados e repertórios bibliográficos: The Philosophers's Index (Ohio, USA); International Philosophical Bibliography / Répertoire Bibliographique de la Philosophie (Louvain, Bélgica); Francis-Bulletin Signalétique (CNRS, INIST - França); Ulrich's International Periodicals Directory (New York, USA); Internationale Bibliographie Geistes und Sozialwissenschaftlicher Zeitschriftenliteratur (IBZ - Alemanha); Dialnet (Logroño, Espanha); JSTOR (Michigan, EUA).