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 language | English |
---|---|
Pages (from-to) | 1169-1188 |
Journal | Revista Portuguesa de Filosofia |
Volume | 73 |
Issue number | 3-4 |
DOIs | |
Publication status | Published - 30 Dec 2017 |