The liar paradox and Godel's first incompleteness theorem

Результат исследования: Научные публикации в периодических изданияхстатья

Аннотация

The article critically analyzes the example of the incorrect application of metamathematics, in particular, Gödel's First incompleteness theorem, to the explication of the Liar Paradox by J. Barker. It is shown that an explication of this kind, doubting well known Tarki's definition of truth, is based on the erroneous use of key Gödel constructions - substitution idea and the diagonal lemma. The criticism of the proclamation by Barker of the explication of the Liar as a mathematical theorem shows certain limitations in demonstrating the heuristic analogy between the Liar's sentence and the Godelian sentence.

Язык оригиналаанглийский
Страницы (с-по)415-427
Число страниц13
ЖурналSchole
Том11
Номер выпуска2
DOI
СостояниеОпубликовано - 1 янв 2017

Fingerprint Подробные сведения о темах исследования «The liar paradox and Godel's first incompleteness theorem». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать