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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Парадокс лжеца — семейство логических парадоксов, классический вариант которого гласит «Я лгу» или, более точно, «Данное утверждение ложно».

Если предположить, что утверждение истинно, то, поскольку оно гласит свою ложность, оно ложно, что является противоречием. Напротив, если предположить его ложность, то оно соответствует тому, что само гласит, а потому истинно, что также является противоречием.

Суть парадокса — самореференция, то есть указание предложения на самого себя[1].

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

История[править | править код]

Схожие утверждения[править | править код]

Раннее утверждение, подобное парадоксу лжеца, приписывают древнегреческому философу VII века до н. э. Эпимениду:

Эпименид: все критяне лжецы.

Поскольку Эпименид — критянин, утверждение схоже с парадоксом лжеца. Вопрос в том, каково отрицание высказывания «критяне всегда лгут»: если это «критяне никогда не лгут», то парадокс имеет место; если же «критяне не всегда лгут», как обычно считается в логике, то высказывание Эпименида просто ложно и никакого парадокса нет[3].

Античность[править | править код]

Сам парадокс лжеца был известен в Древней Греции IV века до н. э.. Евбулид Милетский включил его в список своих семи софизмов в следующей формулировке[4]:

Человек говорит, что он лжёт. То, что он говорит — истина или ложь?

Философ-стоик Хрисипп (III век до н. э.) написал шесть трактатов о парадоксе лжеца, которые упоминаются у других философов, но не дошли до нашего времени[3].

Парадокс упоминается в Новом Завете у апостола Павла (Тит. 1:12-13):

Из них же самих [из критян] один стихотворец сказал: «Критяне всегда лжецы, злые звери, утробы ленивые». Свидетельство это справедливо. По сей причине обличай их строго, дабы они были здравы в вере…

Средние века[править | править код]

Средневековый философ Жан Буридан использовал парадокс для доказательства бытия Бога. Он рассматривал два утверждения:

  1. Бог существует.
  2. Ни одно из этих двух утверждений не является истинным.

Если первое утверждение ложно, то получается парадокс, а потому, по мнению Буридана, оно должно быть истинно[4].

Разновидности[править | править код]

Классический парадокс[править | править код]

Рассмотрим следующее утверждение:

: Утверждение ложно.

Если утверждение истинно, то утверждение ложно, противоречие. Если же оно ложно, то утверждение не ложно, а значит истинно, противоречие. Последний шаг опирается на закон исключённого третьего, гласящий, что любое логическое утверждение или истинно, или ложно. Естественное решение — отрицание закона исключённого третьего — не работает в других вариантах парадокса лжеца[5].

Закон исключённого третьего[править | править код]

Рассмотрим следующее утверждение:

: Утверждение не является истинным.

Если утверждение истинно, то утверждение не истинно, противоречие. Если же оно не истинно, то утверждение истинно, противоречие. Такой вариант не использует закон исключённого третьего, тем не менее, утверждение ссылается само на себя[6].

Другая формулировка предполагает, что третий вариант, отличный от истинности или ложности — это бессмысленность[7]:

: Утверждение ложно или бессмысленно.

Логический цикл[править | править код]

Рассмотрим следующие утверждения:

: Утверждение ложно.
: Утверждение истинно.

Если истинно, то ложно и не истинно, противоречие. Если ложно, то не ложно и истинно, противоречие. Исправление ложности на неистинность и исправляет необходимость закона исключённого третьего аналогично предыдущему примеру. Такой вариант не использует отсылки утверждения к самому себе[8].

Возможны и циклы большей длины, например, такой:

: Утверждение ложно.
: Утверждение ложно.
: Утверждение ложно.

Парадокс Карри[править | править код]

Сначала рассмотрим следующее утверждение:

: Утверждение не является истинным или

Поскольку ложное утверждение не влияет на истинность , получаем противоречие аналогично классическому парадоксу лжеца[9].

Теперь рассмотрим похожее утверждение:

: Если утверждение верно, то русалки существуют.

Это утверждение, называющееся парадоксом Карри, почти не отличается от предыдущего. Во-первых, одно ложное утверждение () заменено на другое (русалки существуют). Во-вторых, логическая функция «(не ) или » заменена на функцию «из следует », при том что значения пары переменных и , при которых функция принимает значение истина, остались неизменны. Однако при этом появилась видимая на первый взгляд привязка к реальному миру[9].

Парадокс Ябло[править | править код]

Рассмотрим следующую бесконечную последовательность утверждений:

: Все утверждения при являются ложными.
: Все утверждения при являются ложными.
: Все утверждения при являются ложными.

Если истинно, то ложны все при и, в частности, ложно . Значит, существует такое , что истинно, противоречие. Если ложно, то существует истинное при , а потому получаем противоречие аналогично первому случаю[10].

Эта бесконечная цепочка утверждений, называемая парадоксом Ябло, на первый взгляд не содержит отсылки на саму себя, хотя по этому поводу ведутся научные дискуссии[10].

Парадокс Пиноккио[править | править код]

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

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

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

Попытки решения парадокса[править | править код]

Последователь Аристотеля Теофраст написал о парадоксе три папируса, а ранний стоик Хрисипп — шесть, но до нас они не дошли[4].

Известны две смерти мыслителей, вызванных попытками решить этот парадокс. Логик Диодор Кронос опрометчиво дал обет воздержания от еды до решения парадокса — и вскоре умер от истощения. Учёный, грамматик и поэт Филит Косский, отчаявшись найти решение, либо покончил с собой[11], либо, будучи слабого здоровья, умер от недоедания и бессонницы, слишком увлёкшись проблемой[12]. Надпись на могиле Филита на острове Кос гласит[4]:

О странник! Я Филит Косский,
И это лжец привёл к моей смерти,
И бессонные ночи из-за него.

Аристотель предлагал вариант своего решения. Он указывал, что софистические доводы («О софистических опровержениях», гл. 25) основаны на том, что «о чём-то [присущем] в собственном смысле утверждают как [о присущем] в каком-то отношении, или где-то, или каким-то образом, или в отношении чего-то, но не вообще» (Arist. Soph. El. 081а 25)[13]. Поэтому в варианте «человек говорит, что он лжёт» вполне верно рассуждение: «Однако, ничто не мешает, чтобы один и тот же вообще-то говорил неправду, а в каком-то отношении и о чём-то говорил правду или чтобы в чём-то он был правдив, а вообще-то неправдив» (Arist. Soph. El. 180b 5)[13].

Таким образом разделяются лжец как «некто, кто часто лжёт» и «тот, кто лжёт в определённый момент». Но таким образом Аристотель по сути ограничился указанием на причину возникновения парадоксальности, и вариант парадокса в прямом виде «это предложение ложно» таким образом не решается и не «обходится»[14].

Фрэнк Рамсей парадокс лжеца (в виде «Я сейчас лгу») рассматривал как лингвистический, относил к классу семантических, а не теоретико-множественных[15]:

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

Ряд других авторов часто пытаются решить парадокс именно логико-математическими средствами. Альфред Тарский пытался с помощью своей логико-математической теории переформулировать парадокс с бытового языка на некий формальный язык, имеющий однозначную логическую структуру[16]. Формально можно сказать, что А. Тарский нашёл решение: предикаты «истинно» либо «ложно» он считает терминами метаязыка и их нельзя применять к языку, на котором сформулировано изначальное высказывание. Однако это рассуждение основано на концепции метаязыка, а парадокс «внутри» обычного языка остаётся нерешённым[17].

К теме «перевода» парадокса на формальный логический язык имеет отношение и первая теорема Гёделя о неполноте:

"Факт, что теорема Гёделя и парадокс Лжеца близко соотносятся, не только хорошо известен, но является даже общим представлением логического сообщества. …сам Гёдель не стал исключением, сделав замечание в статье, анонсируя свой результат. «Аналогия между этим результатом и антиномией Ришара бросается в глаза; есть также близкое родство с антиномией „Лжеца“. здесь мы сталкиваемся с предложением, которое утверждает свою собственную недоказуемость»«[18].

Г. Серени указывает, что эта связь является общепризнанной в среде специалистов, но имеет форму скорее аналогии, внешнего сходства, и существует мало исследований о точной природе этой связи[19]. Ван Хейеноорт указывает, что если перейти от понятия истинности к доказательству, то парадокс исчезает[20]:

»…предложение, утверждающее «Я не истинно»… получаем парадокс… Но если мы как-то сконструируем предложение «Я не доказуемо», парадокс не возникает. Обозначим через g предложение, и в отношении понятия «доказательства» просто предположим, что ничто из доказуемого не может быть ложным. Если бы g было доказуемым, оно было бы ложным, отсюда, оно не доказуемо. Следовательно, оно не доказуемо и истинно (поскольку это именно то, что оно утверждает). Отрицание g, которое устанавливает, что оно доказуемо, ложно, отсюда оно также не доказуемо. Мы скользим вдоль парадокса, никогда не впадая в него истинно. Предложение g недоказуемо и истинно; его отрицание недоказуемо и ложно. Единственное обстоятельство, которое приводит к этому удивительному результату, это введение различия между «истинно» и «доказуемо»"[18].

Однако это является решением парадокса только в случае, если принять, что недоказуемое может являться истинным.

Проблемы логики, связанные с парадоксом, менялись в зависимости от концепции рассмотрения: является ли он двусмысленностью или же бессмысленностью, или — примером смешения разговорного языка и логического метаязыка, которые в повседневности не разделяются. Если же их дифференцировать, то утверждение «Я лгу» сформулировать невозможно. Вполне возможно, что в будущем этот давний парадокс приведёт к обнаружению других проблем в соответствующей области[11].

Между тем имеются и попытки отказаться от восприятия парадокса, сделать вид, что его нет. Вдовиченко А. В. предлагает рассмотреть парадокс «как естественный вербальный материал», указывая, что высказывающий этот парадокс «мог вовсе не думать о себе, когда произносил свои слова», то есть не причислять себя к «критянам», хотя им и являлся (речь именно к «критянской» формулировке): «мог говорить аффективно, имея в ввиду лишь своё отношение к ним, не причисляя к ним себя»[21].

Также решением парадокса является использование троичной логики, в которой помимо утверждений «Правдиво» и «Ложно» есть «Не определено». В таком случае высказывание «Это утверждение ложно» можно причислить к неопределённому, то есть не правдивому и не ложному одновременно.

См. также[править | править код]

Примечания[править | править код]

  1. Buldt B. On Fixed Points, Diagonalization, and Self-Reference / Freitag, W. et al. (eds) Von Rang and Namen. Essays in Honour of Wolfgang Spohn. — Munster: Mentis, 2016. — S. 47-63.
  2. Beall, Glanzberg, 2016, преамбула.
  3. 1 2 Гарднер, Мартин. А ну-ка, догадайся!. — М.: Мир, 1984. — С. 9—10. — 213 с.
  4. 1 2 3 4 Dowden, 2018, 1. History of the Paradox.
  5. Beall, Glanzberg, 2016, 1.1 Simple-falsity Liar.
  6. Beall, Glanzberg, 2016, 1.2 Simple-untruth Liar.
  7. Dowden, 2018, 1a. Strengthened Liar.
  8. Beall, Glanzberg, 2016, 1.3 Liar cycles.
  9. 1 2 Beall, Glanzberg, 2016, 1.4 Boolean compounds.
  10. 1 2 Beall, Glanzberg, 2016, 1.5 Infinite sequences.
  11. 1 2 Философия: Энциклопедический словарь / Под ред. А. А. Ивина. — М.: Гардарики, 2004. — 1072 С.
  12. Элиан. Пёстрые рассказы (книга IX, 14) / перевод С. В. Поляковой. — М.-Л.: Издательство АН СССР. 1963. — 188 С.
  13. 1 2 Аристотель. О софистических опровержениях / Аристотель. Сочинения в четырёх томах. Т.2. — М.: Мысль, 1978. — 687 С.
  14. Хлебалин А. В. Парадокс Лжеца в традиционной и современной логике // ΣΧΟΛΗ. — 2017. — № 2. — С. 536—544.
  15. Фрэнк Рамсей Основания математики / Рамсей Ф. Философские работы. — М.: Канон+, 2011. — 368 с. — С.16-64. — ISBN 978-5-88373-081-7
  16. Sher G. Truth, the Liar, and Tarski’s Semantics / A Companion to Philosophical logic. — Oxford: Blackwell Publishers, 2002. — P.145-163.
  17. Солопова M.А. Евбулид / Новая философская энциклопедия. В 4-х т. Т. II — М., Мысль, 2010. — С. 5-6.
  18. 1 2 Целищев В. В. Парадокс Лжеца и первая теорема Гёделя о неполноте // Scholae. Философское антиковедение и классическая традиция. — 2017. — № 2. — С.415-427.
  19. Sereny G. Gödel, Tarski, Church and the Liar // Bulletin of Symbolic logic. — 2003. — vol. 9 (1). — P. 3-25.
  20. Van Heijenoort J. Gödel’s Theorem / The Encyclopedia of Philosophy, ed. by P. Edwards. V. 2. — New York: The MacMillan Company & Free Press, 1967. — P. 352.
  21. Вдовиченко А. В. Самозначный язык и парадокс лжеца // Вестник Православного Свято-Тихоновского гуманитарного университета. Серия 3: Филология. — 2006. — № 2. — С.183-190.

Источники[править | править код]

Литература[править | править код]

  • Бахтияров К.И. Парадокс «Лжец» и достоверность истины // Бахтияров К. И. Логика с точки зрения информатики: бестселлер в духе Льюиса Кэрролла (12 этюдов).М., 2002. С. 50—57. ISBN 5-354-00089-0.
  • Дмитровская М.А. REAL/LIAR (разрешение "парадокса лжеца" в эстетико-художественной системе В.Набокова-Сирина). В сборнике: Логический анализ языка. Между ложью и фантазией. Москва, 2008. С. 264-272.
  • Вольнов В. В. Ох, уж эти парадоксы // Современная логика: проблемы теории, истории и применения в науке. — СПб., 2002. — С. 220—223. — ISBN 5-288-03115-0.
  • Ладов В.А. "Гераклит" Хайдеггера, ALETHEIA и парадокс лжеца// Schole. Философское антиковедение и классическая традиция. 2015. Т. 9. № 2. С. 221-227.
  • Левин Г.Д. Классическая теория истины и парадокс "Лжец" // Эпистемология и философия науки. 2008. Т. 15. № 1. С. 83-99.
  • Логинов Е.В."Пирс и парадокс лжеца"// Философия. Журнал высшей школы экономики, vol. 1, no. 4, 2017, pp. 59-83.
  • Полушин А. С. «Лжец», герцог софизмов // Логико-философские штудии-2. — СПб., 2003. — С. 264—268. — ISBN 5-93597-056-2.
  • Савельев В.В. Рассмотрение выполнения законов логики в случае парадокса лжеца. В книге: Конвергенция знаний. Тезисы II молодежного симпозиума. Москва, 2022. С. 19-23.
  • Слинин Я. А. Реконструкция одной античной формулировки парадокса «Лжец» // Современная логика: проблемы теории, истории и применения в науке". Ч. 2. — СПб., 1994. — С. 33—35.
  • Смоленов Х. О парадоксе «лжец» и о семантически замкнутых системах // Научные доклады высшей школы. Философские науки. — 1980. — № 5. — С. 126—131.
  • Хлебалин А.В.Парадокс лжеца в традиционной и современной логике//Schole. Философское антиковедение и классическая традиция. 2017. Т. 11. № 2. С. 536-544.
  • Черепанов С. К. Лгу, следовательно, высказываюсь // Современная логика: проблемы теории, истории и применения в науке. — СПб., 2000. — С. 546—549. — ISBN 5-288-02703-X.
  • Шустров А.Г. "Парадокс лжеца" и логика святоотеческой мысли //Вестник Ярославской духовной семинарии. 2019. № 1. С. 4-15.
  • Prior, Arthur. "Epimenides the Cretan, " Journal of Symbolic Logic, 23 (1958), 261—266.
  • Martin, Robert. The Paradox of the Liar, Yale University Press, Ridgeview Press, 1970. 2nd ed. 1978.
  • 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.
  • Betti, Arianna. 2004. «Lesniewski’s Early Liar, Tarski and Natural Language.» Annals of Pure and Applied Logic no. 127:267-287.
  • Ahad Faramarz Qaramaleki. The Liar Paradox in Shīrāz Philosophical School // Ишрак : ежегодник исламской философии : 2014. № 5 = Ishraq : Islamic Philosophy Yearbook : 2014. No. 5. — М. : Вост. лит., 2014. — С.41-52 ISBN 978-5-02-036569-8