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

Research output: Contribution to journalArticle

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.
Original languageEnglish
Pages (from-to)1169-1188
JournalRevista Portuguesa de Filosofia
Volume73
Issue number3-4
DOIs
Publication statusPublished - 30 Dec 2017

Fingerprint Dive into the research topics of 'Diagonalização, Paradoxos e o Teorema de Löb'. Together they form a unique fingerprint.

Cite this