Парадокс лжеца: различия между версиями
[непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Klip game (обсуждение | вклад) →Попытки решения парадокса: стилевые правки |
Klip game (обсуждение | вклад) |
||
Строка 103:
[[Рамсей, Фрэнк Пламптон|Фрэнк Рамсей]] парадокс лжеца (в виде «Я сейчас лгу») рассматривал как лингвистический, относил к классу семантических, а не теоретико-множественных<ref>''[[Рамсей, Фрэнк Пламптон|Фрэнк Рамсей]]'' Основания математики / Рамсей Ф. Философские работы. — М.: Канон+, 2011. — 368 с. — С.16-64. — ISBN 978-5-88373-081-7</ref>:<blockquote>…противоречия группы В не являются чисто логическими и не могут быть сформулированы в одних логических терминах, ибо все они содержат некоторую отсылку к мысли, языку или символизму, которые являются не формальными, но эмпирическими терминами. Поэтому своим возникновением они могут быть обязаны не ошибочной логике или математике, но ошибочным идеям, касающимся мысли и языка.</blockquote>
Ряд других авторов часто пытаются решить парадокс именно логико-математическими средствами. [[Тарский, Альфред|Альфред Тарский]] пытался с помощью своей логико-математической теории
К теме «перевода» парадокса на формальный логический язык имеет отношение и Первая теорема о неполноте [[Гёдель, Курт|Гёделя]]:<blockquote>"Факт, что теорема Геделя и парадокс Лжеца близко соотносятся, не только хорошо известен, но является даже общим представлением логического сообщества. …сам Гедель не стал исключением, сделав замечание в статье, анонсируя свой результат. «Аналогия между этим результатом и антиномией Ришара бросается в глаза; есть также близкое родство с антиномией „Лжеца“. здесь мы сталкиваемся с предложением, которое утверждает свою собственную недоказуемость»«<ref name=":0">''Целищев В. В.'' Парадокс Лжеца и первая теорема Гёделя о неполноте // Scholae. Философское антиковедение и классическая традиция. — 2017. — № 2. — С.415-427.</ref>.</blockquote>Г. Серени указывает, что эта связь является общепризнанной в среде специалистов, но имеет форму скорее аналогии, внешнего сходства, и существует мало исследований о точной природе этой связи<ref>''Sereny G.'' [http://arxiv.org/abs/math/9903005v1 Gödel, Tarski, Church and the Liar] // Bulletin of Symbolic logic. — 2003. — vol. 9 (1). — P. 3-25.</ref>.
|