Представьте человека, который произносит: «То, что я сейчас говорю, — ложь». Если высказывание истинно, значит, он действительно говорит правду, однако утверждает он, что лжёт. Следовательно, оно должно быть ложным. Но если оно ложно, значит, он не говорит правду, то есть на самом деле он не лжёт. Следовательно, оно истинно. Это, казалось бы, безобидное предложение заводит логику в тупик. Оно истинно тогда и только тогда, когда оно ложно. Это и есть парадокс лжеца — одна из древнейших интеллектуальных головоломок, которая уже две тысячи лет не даёт покоя философам, логикам и математикам.
Эпименид и его критяне
История парадокса начинается задолго до появления формальной логики. В VI веке до нашей эры критский философ и поэт Эпименид произнёс фразу, которая дошла до нас в пересказе апостола Павла: «Все критяне — лжецы». Парадокс здесь неявный, но уже ощутимый. Сам Эпименид был критянином. Если все критяне всегда лгут, то и его утверждение — ложь, а значит, не все критяне лжецы, и он сам, возможно, говорит правду. Но если он говорит правду, то все критяне, включая его, лжецы, и тогда он снова лжёт. Круг замыкается.
Этот вариант называют эпименидовым парадоксом, или парадоксом критянина. Он чуть сложнее классического парадокса лжеца, потому что содержит ссылку на множество («все критяне»), а не на самого себя. Но именно отсюда начинается череда логических ловушек, которые впоследствии превратятся в фундаментальную проблему оснований математики.
Когда предложение говорит о себе
Настоящий парадокс лжеца в его чистом виде звучит так: «Это предложение ложно». В более развёрнутой форме: «Предложение, которое вы сейчас читаете, не является истинным». Всё, что нужно для парадокса, — это способность высказывания ссылаться на само себя. Самореференция обрушивает фундаментальные законы логики.
В классической логике любое высказывание должно быть либо истинным, либо ложным. Парадокс лжеца показывает, что существуют высказывания, которые не укладываются в эту стройную схему. Они не истинны и не ложны, или истинны и ложны одновременно, или вынуждают нас признать, что наша привычная логика имеет границы.
Это важно потому, что математика, которая считалась образцом строгости и непротиворечивости, строится на той же самой логике. Если в логике есть неразрешимые противоречия, то всё наше математическое знание оказывается под угрозой. Именно этот страх двигал математиками начала XX века, пытавшимися построить непротиворечивые основания своей науки.
Почему нельзя ни принять, ни отвергнуть
Пусть L — предложение: «L ложно». Предположим, что L истинно. Тогда то, что оно утверждает, должно быть правдой. Оно утверждает, что L ложно. Значит, L ложно. Получается противоречие. Предположим, что L ложно. Тогда то, что оно утверждает, не является правдой. Оно утверждает, что L ложно. Если это утверждение неверно, то L на самом деле истинно. И вновь противоречие.
Каждое предположение ведёт к своей противоположности. В основании логики возникает глубокая трещина. Аристотель утверждал, что закон непротиворечия — самый надёжный и очевидный принцип: «Не может быть, чтобы одно и то же одновременно было и не было присуще одному и тому же». Парадокс лжеца показывает, что есть высказывания, для которых этот закон не работает, или, по крайней мере, его применение ведёт к абсурду.
Запретить самореференцию?
Схоласты Средневековья предложили простое, но радикальное решение: запретить высказываниям ссылаться на самих себя. Такие предложения, считали они, просто бессмысленны. Согласно Уильяму Оккаму, утверждения, содержащие самореференцию, не имеют истинностного значения. Их нельзя назвать ни истинными, ни ложными, поскольку они пусты — пусть и грамматически правильные, они, тем не менее, являют собой бессодержательные конструкции. Эта позиция прагматична, правда, она не решает проблему: ведь парадокс может возникнуть и без прямой самореференции, как это показал эпименидовский парадокс.
Рассел и теория типов
В начале XX века, когда математики пытались свести всю математику к логике и теории множеств, парадокс лжеца восстал в новом обличье. Бертран Рассел обнаружил, что наивная теория множеств, предложенная Кантором, содержит ровно ту же логическую дыру. Представьте себе множество всех множеств, которые не содержат сами себя. Содержит ли оно само себя? Если да, то оно должно не содержать себя по определению. Если нет, то оно должно содержать себя. Тот же круг, что и у лжеца.
Этот парадокс, названный парадоксом Рассела, потряс основы математики. Рассел и его учитель, Альфред Норт Уайтхед, предложили выход: теорию типов. Согласно ей, высказывания и множества разделяются на уровни, и никакое высказывание не может говорить о высказываниях своего уровня. Самореференция просто запрещается правилами грамматики. Это позволило построить непротиворечивую (как тогда казалось) систему оснований математики. Но цена оказалась высока: язык математики стал громоздким, а многие естественные рассуждения пришлось переформулировать искусственным образом.
ТАКЖЕ МОЖЕТЕ ПРОЧЕСТЬ В МОЁМ БЛОГЕ:
Гёдель и неразрешимость
В 1931 году Курт Гёдель доказал, что в любой достаточно богатой формальной системе (включая арифметику) существуют истинные утверждения, которые нельзя ни доказать, ни опровергнуть в рамках самой системы. Ключевой приём Гёделя — построение утверждения, которое говорит о себе: «Это утверждение недоказуемо». Если оно доказуемо, оно ложно, а значит, доказуемо ложное утверждение — система противоречива. Если оно недоказуемо, оно истинно, но его истинность не может быть установлена средствами системы. Парадокс лжеца, таким образом, был не устранён, но переосмыслен. Он указал на фундаментальное свойство любой формальной системы: она всегда будет неполной.
Почему мы любим тупики
Парадокс лжеца не исчез в лабораториях логиков. Он живёт в нашей повседневной речи, в шутках, в литературе. «Я всегда вру» — фраза, которую мы произносим, не задумываясь, но она работает именно потому, что её невозможно проверить. «Единственное, что я знаю, — это то, что я ничего не знаю» — знаменитое изречение Сократа тоже несёт в себе отблеск того же парадокса. Эти фразы так притягательны по той причине, что заставляют наш мозг выйти из автоматического режима, почувствовать границы привычной логики и прикоснуться к чему-то, что не укладывается в простые схемы.
За две с половиной тысячи лет парадокс лжеца не был «решён» в том смысле, что кто-то нашёл способ сделать его безобидным. Но он был понят гораздо глубже. Мы узнали, что любые попытки построить замкнутую, непротиворечивую и полную систему знаний обречены, что отнюдь не говорит об их абсолютной слабости и уязвимости. Настоящая мысль всегда рискует упереться в собственные границы, и самый надёжный способ избежать парадоксов — перестать думать. Но мы почему-то предпочитаем думать, даже если это означает жить среди россыпи парадоксов.
На этом всё. Спасибо! :)
***
Меня зовут Анна, я репетитор по математике с 20-летним стажем. Помогаю с подготовкой к ЕГЭ, ОГЭ, помогаю с прохождением ДВИ.
Занимаюсь также и со взрослыми учениками — если хотите освежить в памяти математические знания, если математика вам нужна для работы/учёбы, или если вы хотите заняться математикой для себя, то обращайтесь!
Связаться со мной можно через Телеграм (@annavladimirovnamath)
Кроме того, могу дать небольшую консультацию тем, кто сам хочет заняться репетиторством.
***
Делитесь мнениями, комментариями, ставьте лайки и подписывайтесь на мой канал — здесь и в Телеграме, там много интересного и полезного!