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.
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.
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 |
Barwise, J. Handbook of Mathematical Logic (Oitava ed.). North-Holland, 1993.
Beall, J. Curry's Paradox (Spring 2013 ed.). Metaphysics Research Lab, Stanford University. https://plato.stanford.edu/archives/spr2013/entries/ curry-paradox/.
Beall, J., M. Glanzberg, and D. Ripley. Liar Paradox (Winter 2016 ed.). Metaphysics Research Lab, Stanford University. https://plato.stanford.edu/archives/win2016/ 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. https://plato.stanford.edu/archives/win2016/entries/ 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: https://doi.org/10.2307/2266895.
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. https://plato.stanford.edu/archives/sum2017/entries/ logic-provability/.
Voltaire. Le dîner du comte de Boulainvilliers. https://books.google.pt/books?id=_GNOAAAAcAAJ&printsec=frontcover.