Парадокс лжеца и первая теорема Геделя о неполноте
Автор: Целищев Виталий Валентинович
Журнал: Schole. Философское антиковедение и классическая традиция @classics-nsu-schole
Рубрика: Статьи
Статья в выпуске: 2 т.11, 2017 года.
Бесплатный доступ
В статье критически анализируется некорреткное использование метаматематических результатов, в частности, Первой теоремы Геделя о неполноте для экспликации Дж. Баркером Парадокса Лжеца. Показано, что такая экспликация, подвергающая сомнению известное определение истины в самом языке, основан на ошибочном использовании ключевых конструкций Геделя- идеи подстановки и диагональной леммы. Критика предлагаемой Баркером экспликации Парадокса Лжеца показывает определенные ограничения в демонстрации эвристической аналогии между Преложением Лжеца и геделевым предложением.
Парадокс лжеца, теорема геделя, экспликация, предикат истины, самореференция
Короткий адрес: https://sciup.org/147103516
IDR: 147103516 | DOI: 10.21267/AQUILO.2017.11.6471
Список литературы Парадокс лжеца и первая теорема Геделя о неполноте
- Куайн, У. (2010) «Референция и модальность», Куайн, У. С точки зрения логики. Пер. В. А. Суровцева. Москва: Канон+.
- Рамсей, Ф. (2011) «Основания математики», Рамсей, Ф. Философские работы. Пер. В. А. Суровцева. М.: Канон+.
- Barker, J. (2009) "Disquotation, Conditionals, and the Liar," Polish Journal of Philosophy 3.1, 5-21.
- Berto, F. (2009) There Is Something about Gödel: The Complete Guide to the Incompleteness Theorems. Oxford: Wiley-Blackwell, 89-94.
- Buldt, B. (2016) "On Fixed Points, Diagonalization, and Self-Reference," Von Rang und Namen. Essays in Honour of Wokfgang Spohn, ed. by W. Freitag et al. Munster: Mentis, 47-63.
- Hofstadter, D. (1979) Gödel. Escher. Bach. New York: Harvester Press.
- Jacquette, D. (2010) "Liar Paradox and Substitution into Intensional Contexts," Polish Journal of Philosophy 4.1, 119-147.
- Jacquette, D. (2007-2010) "Denying the Liar," Polish Journal of Philosophy 1.1 (2007) 91-98; 4.1 (2010) 119-147.
- Prior, A. N. (1967) "Correspondence Theory of Truth," The Encyclopedia of Philosophy, ed. by P. Edwards. V. 2 New York: The MacMillan Company & Free Press, 224.
- Ray, G. (2002) "Truth, the Liar, and Tarskian Truth Definition," A Companion to Philosophical Logic, ed. by D. Jacquette. Oxford: Blackwell Publishers, 164-176.
- Quine, W. V. (1966) "The Ways of Paradox," Quine, W. V. The Ways of Paradox and Other Essays. New York: Random House.
- Sainsbury, R. M. (2008) "The Essence of Reference," Oxford Handbook of Philosophy of Language, ed. by E. Lepore and B. Smith Oxford: Clarendon Press, 393-421.
- Sereny, G. (2003) "Gödel, Tarski, Church and the Liar," Bulletin of Symbolic Logic 9.1, 3-25.
- Sher, G. (2002) "Truth, the Liar, and Tarski’s Semantics," A Companion to Philosophical Logic, ed. by D. Jacquette. Oxford: Blackwell Publishers, 145-163.
- Smullyan, R. (1991) Gödel’s Incompleteness Theorems. New York: Oxford University Press.
- Tarski, A. (1983) Logic, Semantics, Metamathematics. New York: Hackett.
- Van Heijenoort, J. (1967) "Gödel’s Theorem," The Encyclopedia of Philosophy, ed. by P. Edwards. V. 2 New York: The MacMillan Company & Free Press, 352.
