Парадокс лжеца

Парадокс лжеца: «То, что я утверждаю сейчас, ложно».

Если это высказывание истинно, то оно ложно, и в то же время, если оно ложно, то истинно.

Считают, что этот парадокс был сформулирован Евбулидом.

Предложение такого рода принципиально не может быть ни доказано, ни опровергнуто в пределах того языка, на котором оно изложено.

Парадокс Эпименида

По преданию, Эпименид утверждал, что все критяне лжецы. Верно ли это утверждение, если учесть, что сам Эпименид родом с острова Крит?

Подробности

Старик постоянно говорил, что всё вокруг — неправда. Правда, потом оказалось, что он лгал.
Дуглас Адамс, «Путеводитель путешествующего автостопом по галлктике».

Парадокс лжеца демонстрирует расхождение разговорной речи с формальной логикой, вводя высказывание которое одновременно истинно и ложно. Если рассмотреть парадокс лжеца подробнее, то высказывание

  • Данное высказывание — ложь

ложно, потому что это в нем и высказывается, однако любое высказывание A можно записать в виде

  • Данное высказывание — истина. И A.

Таким образом парадокс лжеца превращается в

  • Данное высказывание — истина и данное высказывание — ложь.

В данной записи парадокс лжеца не является парадоксом, последнее высказывание — ложь.

Дополнительной проблематикой является разница между понятиями не истина и ложь.

Близким к парадоксу лжеца высказыванием является теорема Гёделя о неполноте.

См. также

Ссылки

 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home