Парадокс лжеца — семейство логических парадоксов, классический вариант которого гласит

Я лгу

или, более точно,

Данное утверждение ложно.

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

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

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

ИсторияПравить

Схожие утвержденияПравить

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

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

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

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

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

АнтичностьПравить

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

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

Средние векаПравить

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

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

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

РазновидностиПравить

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

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

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

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

Закон исключённого третьегоПравить

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

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

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

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

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

Логический циклПравить

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

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

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

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

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

Парадокс КарриПравить

Основная статья: Парадокс Карри

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

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

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

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

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

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

Парадокс ЯблоПравить

Основная статья: Парадокс Ябло

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

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

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

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

Парадокс ПиноккиоПравить

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

См. такжеПравить

ПримечанияПравить

  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 3 4 Dowden, 2018, 1. History of the Paradox.
  4. Beall, Glanzberg, 2016, 1.1 Simple-falsity Liar.
  5. Beall, Glanzberg, 2016, 1.2 Simple-untruth Liar.
  6. Dowden, 2018, 1a. Strengthened Liar.
  7. Beall, Glanzberg, 2016, 1.3 Liar cycles.
  8. 1 2 Beall, Glanzberg, 2016, 1.4 Boolean compounds.
  9. 1 2 Beall, Glanzberg, 2016, 1.5 Infinite sequences.
  10. 1 2 Философия: Энциклопедический словарь / Под ред. А. А. Ивина. — М.: Гардарики, 2004. — 1072 С.
  11. Элиан. Пёстрые рассказы (книга IX, 14) / перевод С. В. Поляковой. — М.-Л.: Издательство АН СССР. 1963. — 188 С.
  12. 1 2 Аристотель. О софистических опровержениях / Аристотель. Сочинения в четырёх томах. Т.2. — М.: Мысль, 1978. — 687 С.
  13. Хлебалин А.В. Парадокс Лжеца в традиционной и современной логике // ΣΧΟΛΗ. — 2017. — №2. — С. 536-544.
  14. Фрэнк Рамсей Основания математики / Рамсей Ф. Философские работы. — М.: Канон+, 2011. — 368 с. — С.16-64. — ISBN 978-5-88373-081-7
  15. Sher G. Truth, the Liar, and Tarski’s Semantics / A Companion to Philosophical logic. — Oxford: Blackwell Publishers, 2002. — P.145-163.
  16. Солопова M.А. Евбулид / Новая философская энциклопедия. В 4-х т. Т. II — М., Мысль, 2010. — С. 5-6.
  17. 1 2 Целищев В. В. Парадокс Лжеца и первая теорема Гёделя о неполноте // Scholae. Философское антиковедение и классическая традиция. — 2017. — № 2. — С.415-427.
  18. Sereny G. Gödel, Tarski, Church and the Liar // Bulletin of Symbolic logic. — 2003. — vol. 9 (1). — P. 3-25.
  19. 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.
  20. Вдовиченко А.В. Самозначный язык и парадокс лжеца // Вестник Православного Свято-Тихоновского гуманитарного университета. Серия 3: Филология. — 2006. — №2. — С.183-190.

ИсточникиПравить

ЛитератураПравить

  • Смоленов Х. О парадоксе «лжец» и о семантически замкнутых системах // Научные доклады высшей школы. Философские науки. — 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.
  • 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