Парадокс лжеца — утверждение «То, что я утверждаю сейчас — ложно» (либо «Я лгу», либо «Данное высказывание — ложь»).

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

Считается, что этот парадокс был сформулирован представителем мегарской школы Евбулидом. Иногда это называют парадоксом Эпименида, приписывая его авторство Эпимениду.

Это высказывание противоречит закону исключённого третьего. Закон исключённого третьего — закон классической логики, состоящий в том, что из двух высказываний — «А» или «не А» — одно обязательно является истинным, то есть два суждения, одно из которых является отрицанием другого, не могут быть одновременно ложными. Закон исключённого третьего является одним из основополагающих принципов «классической математики».

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

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

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

Парадокс Платона и Сократа

Платон: Следующее высказывание Сократа будет ложным.
Сократ: То, что сказал Платон, истинно.

Если предположить, что Платон говорит правду, что Сократ лжёт, то Сократ лжёт, что Платон говорит правду, значит Платон лжёт. Если же Платон лжёт, что Сократ лжёт, то Сократ говорит правду, что Платон прав. И цепочка рассуждений возвращается в начало.

Парадокс Пиноккио

У Пиноккио имелось свойство: когда он лгал (говорил неправду), его нос тут же заметно увеличивался.

Что будет, если Пиноккио скажет: «Сейчас у меня удлинится нос»?

Если нос не увеличится — значит, мальчик соврал, и нос будет обязан тут же вырасти. А если нос вырастет — значит, мальчик сказал правду, но тогда почему вырос нос?

Подробности

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

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

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

Попытка разрешить парадокс приводит к обобщениям классической логики: например, тройственной логике, комплексной логике или паранепротиворечивой логике.

Греческий учёный Филит Косский умер от бессонницы, пытаясь разрешить парадокс лжеца.

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

Парадокс Рассела

Парадокс Рассела формулируется следующим образом:

Пусть К — множество всех множеств, которые не содержат себя в качестве своего элемента.

Содержит ли К само себя в качестве элемента? Если предположить, что содержит, то мы получаем противоречие с “Не содержат себя в качестве своего элемента”.

Если предположить, что К не содержит себя как элемент, то вновь возникает противоречие, ведь К — множество всех множеств, которые не содержат себя в качестве своего элемента, а значит должно содержать все возможные элементы, включая и себя.

Противоречие в парадоксе Рассела возникает из-за использования в рассуждении внутренне противоречивого понятия множества всех множеств и представления о возможности неограниченного применения законов классической логики при работе с множествами.

Для преодоления этого парадокса было предложено несколько путей. В ходе реализации «спасения» теории множеств было предложено несколько возможных её аксиоматизаций (теория Цермело — Френкеля ZF, теория Неймана — Бернайса — Гёделя NBG и т. д.), однако ни для одной из этих теорий до настоящего момента не найдено доказательства непротиворечивости. Более того, как показал Гёдель, разработав ряд теорем о неполноте, такого доказательства не может существовать (в некотором смысле).

via