Apostolado da Oração


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

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

Paulo Guilherme Santos and Reinhard Kahle, “Diagonalização, Paradoxos e o Teorema de Löb,” Revista Portuguesa de Filosofia 73, no. 3–4 (2017): 1169–88, DOI 10.17990/RPF/2017_73_3_1169.

Mais detalhes

À venda À venda!
10,00 €


Disponível apenas on-line

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

Type Journal Article
Author Paulo Guilherme Santos
Author Reinhard Kahle
Rights © 2018 Aletheia - Associação Científica e Cultural | © 2018 Revista Portuguesa de Filosofia
Volume 73
Issue 3-4
Pages 1169-1188
Publication Revista Portuguesa de Filosofia
ISSN 0870-5283; 2183-461X
Date 2017
DOI 10.17990/RPF/2017_73_3_1169
Language Portuguese
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.
Date Added 17/01/2018, 17:50:12
Modified 17/01/2018, 19:35:34


  • diagonalization,
  • liar,
  • Löb,
  • paradox


  • Barwise, J. Handbook of Mathematical Logic (Oitava ed.). North-Holland, 1993.
    Beall, J. Curry's Paradox (Spring 2013 ed.). Metaphysics Research Lab, Stanford University. curry-paradox/.
    Beall, J., M. Glanzberg, and D. Ripley. Liar Paradox (Winter 2016 ed.). Metaphysics Research Lab, Stanford University. entries/liar-paradox/.
    Benthem, J. 'Four paradoxes'. Journal of Philosophical Logic 7 (1), (1978), 49–72.
    Bíblia Sagrada. Lisboa: Sociedade Bíblica de Portugal.
    Curry, H. 'The Inconsistency of Certain Formal Logics'.  Journal of Symbolic  Logic 7 (3), (1942), 115 –117. doi: 10.2307/1968646.
    Ebbinghaus, H.-D., J. Flum, and W. Thomas. Mathematical Logic (Segunda ed.). Springer, 1996.
    Eldridge-Smith, P. The Liar Paradox and its Relatives. Ph. D. thesis, The Australian National University and Philosophy Program, School of Humanities, 2008.
    Irvine, A. D. and H. Deutsch. Russell's Paradox (Winter 2016 ed.). Metaphysics Research Lab, Stanford University. russell-paradox/.
    Lindström, P. 'Note on some fixed point constructions in provability logic'. Journal of Philosophical Logic 35 (3), (2006): 225–230. doi: 10.1007/s10992-005-9013-8.
    Löb, M. H. 'Solution of a Problem of Leon Henkin'. The Journal of Symbolic Logic 24, (1955), 115–118. doi:
    Moschovakis, Y. Notes on Set Theory (Segunda ed.). Springer, 2006.
    Smorynski, C. 'The Incompleteness Theorems'. In Handbook of Mathematical Logic, 821–865. North-Holland, 1977.
    Smullyan, R. M. . Diagonalization and Self-reference. Oxford Science Publications. Verbrugge, R. L. (2017). Provability Logic (Summer 2017 ed.). Metaphysics Research.
    Verbrugge, R. L., Stanford University. logic-provability/.
    Voltaire. Le dîner du comte de Boulainvilliers.


Sem produtos

Envio 0,00 €
Total 0,00 €

Carrinho Encomendar