Парадокс лжеца
Материал из Википедии — свободной энциклопедии
Парадокс лжеца: «То, что я утверждаю сейчас, ложно».
Если это высказывание истинно, то оно ложно, и в то же время, если оно ложно, то истинно.
Считают, что этот парадокс был сформулирован Евбулидом.
Предложение такого рода принципиально не может быть ни доказано, ни опровергнуто в пределах того языка, на котором оно изложено.
Парадокс Эпименида
По преданию, Эпименид утверждал, что все критяне лжецы. Верно ли это утверждение, если учесть, что сам Эпименид родом с острова Крит?
Платон: «Следующее высказывание Сократа будет ложным».
Сократ: «То, что сказал Платон, истинно».
[править] Подробности
- Старик постоянно говорил, что всё вокруг — неправда. Правда, потом оказалось, что он лгал.
- Дуглас Адамс, «Путеводитель путешествующего автостопом по галактике».
Парадокс лжеца демонстрирует расхождение разговорной речи с формальной логикой, вводя высказывание которое одновременно истинно и ложно. Если рассмотреть парадокс лжеца подробнее, то высказывание
- Данное высказывание — ложь
ложно, потому что это в нем и высказывается, однако любое высказывание A можно записать в виде
- Данное высказывание — истина. И A.
Таким образом парадокс лжеца превращается в
- Данное высказывание — истина и данное высказывание — ложь.
В данной записи парадокс лжеца не является парадоксом, последнее высказывание — ложь.
Дополнительной проблематикой является разница между понятиями не истина и ложь.
Близким к парадоксу лжеца высказыванием является теорема Гёделя о неполноте.