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

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

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

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

Это высказывание противоречит закону исключённого третьего.

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

Разновидности

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

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

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

Этот парадокс даётся в Новом Завете у апостола Павла в Тит.1:12-13: Κρήτες ἀεί ψεύσται… и т. д. — «Из них же самих один стихотворец сказал: „Критяне всегда лжецы, злые звери, утробы ленивые“. Свидетельство это справедливо…».

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

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

Сократ: То, что сказал Платон, истинно.

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

Подробности

Старик постоянно говорил, что всё вокруг — неправда.

Правда, потом оказалось, что он лгал.

— Дуглас Адамс, «Автостопом по галактике»

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

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

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

Близким к парадоксу лжеца высказыванием является теорема Гёделя о неполноте. Согласно Диогену Лаэртскому, стоик Хрисипп посвятил «Лжецу» целый ряд сочинений.

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

См. также

• Парадокс Карри
• Самореференция
• Софизм
• Апория

Литература

• Смоленов Х. О парадоксе «лжец» и о семантически замкнутых системах // Научные доклады высшей школы. Философские науки. — 1980. — № 5. — С. 126—131.
• Слинин Я. А. Реконструкция одной античной формулировки парадокса «Лжец» // Современная логика: проблемы теории, истории и применения в науке". Ч. 2. — СПб., 1994. — С. 33—35.
• Черепанов С. К. Лгу, следовательно, высказываюсь // Современная логика: проблемы теории, истории и применения в науке. — СПб., 2000. — С. 546—549. — ISBN 5-288-02703-X.
• Бахтияров К. И. Парадокс «Лжец» и достоверность истины // Бахтияров К. И. Логика с точки зрения информатики: бестселлер в духе Льюиса Кэрролла (12 этюдов). — М., 2002. — С. 50—57. — ISBN 5-354-00089-0.
• Вольнов В. В. Ох, уж эти парадоксы // Современная логика: проблемы теории, истории и применения в науке. — СПб., 2002. — С. 220—223. — ISBN 5-288-03115-0.
• Полушин А. С. «Лжец», герцог софизмов // Логико-философские штудии-2. — СПб., 2003. — С. 264—268. — ISBN 5-93597-056-2.
• Barwise J., Etchemendy, J. The Liar. — New York: Oxford University Press, 1984.
• Visser A. Semantics and the liar paradox // Handbook of Philosophical Logic. Vol. IV. — Dordrecht: Kluwer, 1989. — P. 617—706.
• Hajek P., Paris J., Shepherdson J. The liar paradox and fuzzy logic // Journal of Symbolic Logic. — 2000. — № 65. — P. 339—346.