Занимательная и парадоксальная логика. Логика: Логические парадоксы

Никакого исчерпывающего перечня логических парадоксов не существует, да он и невозможен.

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

«Теоретико-множественные парадоксы являются очень серьезной проблемой, не для математики, однако, а скорее для логики и теории познания», - пишет австрийский математик и логик К.Гедель. «Логика непротиворечива. Не существует никаких логических парадоксов», - утверждает математик Д.Бочвар. Такого рода расхождения иногда существенны, иногда словесны. Дело во многом в том, что именно понимается под логическим парадоксом.

Своеобразие логических парадоксов

Необходимым признаком логических парадоксов считается логический словарь.

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

Логические парадоксы не отделяются жестко от всех иных парадоксов, подобно тому как последние не отграничиваются ясно от всего непарадоксального и согласующегося с господствующими представлениями.

На первых порах изучения логических парадоксов казалось, что их можно выделить по нарушению некоторого, еще не исследованного положения или правила логики. Особенно активно претендовал на роль такого правила введенный Б.Расселом принцип порочного круга. Этот принцип утверждает, что совокупность объектов не может содержать членов, определимых только посредством этой же совокупности.

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

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

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

Простая ссылка на использование самоприменяемых понятий недостаточна, таким образом, для дискредитации парадоксов. Необходим еще какой-то дополнительный критерий, отделяющий самоприменимость, ведущую к парадоксу, от всех иных ее случаев.

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

Попытка найти какой-то специфический принцип логики, нарушение которого было бы отличительной особенностью всех логических парадоксов, ни к чему определенному не привела.

Несомненно полезной была бы какая-то классификация парадоксов, подразделяющая их на типы и виды, группирующая одни парадоксы и противопоставляющая их другим. Однако и в этом деле ничего устойчивого не было достигнуто.

Английский логик Ф.Рамсей, умерший в 1930 г., когда ему еще не исполнилось и двадцати семи лет, предложил разделить все парадоксы на синтаксические и семантические. К первым относится, например, парадокс Рассела, ко вторым - парадоксы «Лжеца», Греллинга и др.

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

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

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

Парадоксы и современная логика

Какие выводы для логики следуют из су ществования парадоксов?

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

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

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

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

Однако такие опасения, как и вообще все предостережения, касающиеся парадоксов, не были до нашего века в должной мере систематическими и определенными. Они не вели к каким-либо четким предложениям о пересмотре привычных способов мышления и выражения.

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

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

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

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

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

Разумеется, болезнь проявляется многообразно, и ее в конце концов удается раскрыть и без таких острых симптомов, как парадоксы. Скажем, основания теории множеств были бы проанализированы и уточнены, если бы даже никакие парадоксы в этой области не были обнаружены. Но не было бы той резкости и неотложности, с какой поставили проблему пересмотра теории множеств обнаруженные в ней парадоксы.

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

«За последние шестьдесят лет сотни книг и статей были посвящены цели разрешения парадоксов, однако результаты поразительно бедны в сравнении с затраченными усилиями», - пишет А.Френкель. «Похоже на то, - заключает свой анализ парадоксов Х.Карри, - что требуется полная реформа логики, и математическая логика может стать главным инструментом для проведения этой реформы».

Устранение и объяснение парадоксов

Следует обратить внимание на одно важное различие.

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

Но это еще не разрешение парадокса. Мало найти способ, как его исключить, надо убедительно обосновать предлагаемое решение. Само сомнение в каком-то шаге, ведущем к парадоксу, должно быть хорошо обосновано.

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

Кроме того, отказ от какого-то допущения, даже если он и обеспечивает устранение некоторого конкретного парадокса, вовсе не гарантирует автоматически устранения всех парадоксов. Это говорит о том, что за парадоксами не следует «охотиться» поодиночке. Исключение одного из них всегда должно быть настолько обосновано, чтобы появилась определенная гарантия, что этим же шагом будут устранены и другие парадоксы.

Каждый раз, как обнаруживается парадокс, пишет А.Тарский, «мы должны подвергнуть наши способы мышления основательной ревизии, отвергнуть какие-то посылки, в которые верили, и усовершенствовать способы аргументации, которыми пользовались. Мы делаем это, стремясь не только избавиться от антиномий, но и с целью не допустить возникновения новых».

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

Каким может быть минимальный, наименее радикальный комплекс мер, позволяющих избежать известных парадоксов?

Логическая грамматика

Один путь - это выделение наряду с истинными и ложными предложениями также бессмысленных предложений. Этот путь был принят Б.Расселом. Парадоксальные рассуждения были объявлены им бессмысленными на том основании, что в них нарушаются требования логической грамматики. Не всякое предложение, не нарушающее правил обычной грамматики, является осмысленным - оно должно удовлетворять также правилам особой, логической грамматики.

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

Основная идея теории типов - выделение разных в логическом отношении типов предметов, введение своеобразной иерархии, или лестницы, рассматриваемых объектов. К низшему, или нулевому, типу относятся индивидуальные объекты, не являющиеся множествами. К первому типу относятся множества объектов нулевого типа, т.е. индивидов; ко второму - множества множеств индивидов и т.д. Иными словами, проводится различие между предметами, свойствами предметов, свойствами свойств предметов и т.д. При этом вводятся определенные ограничения на конструирование предложений. Свойства можно приписывать предметам, свойства свойств - свойствам и т.д. Но нельзя осмысленно утверждать, что свойства свойств имеются у предметов.

Возьмем серию предложений:

Этот дом - красный.

Красное - это цвет.

Цвет - это оптическое явление.

В этих предложениях выражение «этот дом» обозначает определенный предмет, слово «красный» указывает на свойство, присущее данному предмету, «являться цветом» - на свойство этого свойства («быть красным») и «быть оптическим явлением» - указывает на свойство свойства «быть цветом», принадлежащего свойству «быть красным». Здесь мы имеем дело не только с предметами и их свойствами, но и со свойствами свойств («свойство быть красным имеет свойство быть цветом»), и даже со свойствами свойств свойств.

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

Простая теория типов устраняет парадокс Рассела. Однако для устранения парадоксов «Лжеца» и Берри простое разделение рассматриваемых объектов на типы уже недостаточно. Необходимо вводить дополнительно некоторое упорядочение внутри самих типов.

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

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

Будущее парадоксов

У Г.Фреге, величайшего логика прошлого века, был, к сожалению, очень скверный характер. Кроме того, он был безоговорочен и даже жесток к своей критике современников.

Возможно, поэтому его вклад в логику и обоснование математики долго не получал признания. И вот когда известность начала приходить к нему, молодой английский логик Б.Рассел написал ему, что в системе, опубликованной в первом томе его книги «Основные законы арифметики», возникает противоречие. Второй том этой книги был уже в печати, и Фреге смог лишь добавить к нему специальное приложение, в котором изложил это противоречие (позднее названное «парадоксом Рассела») и признал, что он не способен его устранить.

Однако последствия этого признания были для Фреге трагическими. Он испытал сильнейшее потрясение. И хотя ему тогда было всего 55 лет, он не опубликовал больше ни одной значительной работы по логике, хотя прожил еще более двадцати лет. Он не откликнулся даже на оживленную дискуссию, вызванную парадоксом Рассела, и никак не прореагировал на многочисленные предлагавшиеся решения этого парадокса.

Впечатление, произведенное на математиков и логиков только что открытыми парадоксами, хорошо выразил Д.Гильберт: «...Состояние, в котором мы находимся сейчас в отношении парадоксов, на продолжительное время невыносимо. Подумайте: в математике - этом образце достоверности и истинности - образование понятий и ход умозаключений, как их всякий изучает, преподает и применяет, приводит к нелепости. Где же искать надежность и истинность, если даже само математическое мышление дает осечку?»

Фреге был типичным представителем логики конца XIX в., свободной от каких бы то ни было парадоксов, логики, уверенной в своих возможностях и претендующей на то, чтобы быть критерием строгости даже для математики. Парадоксы показали, что абсолютная строгость, достигнутая якобы логикой, была не более чем иллюзией. Они бесспорно показали, что логика - в том интуитивном виде, какой она имела на рубеже веков, - нуждается в глубоком пересмотре.

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

И вместе с тем такое состояние вряд ли кого волнует сегодня. С течением времени отношение к парадоксам стало более спокойным и даже более терпимым, чем в момент их обнаружения. Дело не только в том, что парадоксы сделались чем-то привычным. И, разумеется, не в том, что с ними смирились. Они все еще остаются в центре внимания логиков, поиски их решений активно продолжаются. Ситуация изменилась прежде всего потому, что парадоксы оказались, так сказать, локализованными. Они обрели свое определенное, хотя и неспокойное место в широком спектре логических исследований. Стало ясно, что абсолютная строгость, какой она рисовалась в конце прошлого века и даже иногда в начале нынешнего, - это в принципе недостижимый идеал.

Было осознано также, что нет одной-единственной, стоящей особняком проблемы парадоксов. Проблемы, связанные с ними, относятся к разным типам и затрагивают, в сущности, все основные разделы логики. Обнаружение парадокса заставляет глубже проанализировать наши логические интуиции и заняться систематической переработкой основ науки логики. При этом стремление избежать парадоксов не является ни единственной, ни даже, пожалуй, главной задачей. Они являются хотя и важным, но только поводом для размышления над центральными темами логики. Продолжая сравнение парадоксов с особо отчетливыми симптомами болезни, можно сказать, что стремление немедленно исключить парадоксы было бы подобно желанию снять такие симптомы, не особенно заботясь о самой болезни. Требуется не просто разрешение парадоксов, необходимо их объяснение, углубляющее наши представления о логических закономерностях мышления.

Что такое парадокс? Парадоксом называются два несовместимых и противоположных утверждения, имеющие убедительные аргументы каждый в свою сторону. Наиболее ярко выраженной формой парадокса является антиномия – рассуждение, которое доказывает равносильность утверждений, одно из которых представляет собой явное отрицание другого. И особого внимания заслуживают именно парадоксы в наиболее точных и строгих науках, таких как, например, логика.

Логика, как известно, является абстрактной наукой. В ней нет места экспериментам и каким-либо конкретным фактам в обычном их понимании; она всегда предполагает анализ реального мышления. Но расхождения в теории логики и практике реального мышления всё же имеют место быть. И самым явным подтверждением этому служат логические парадоксы, а иногда даже логическая антиномия, олицетворяющая собой противоречивость самой логической теории. Именно это и объясняет значение логических парадоксов и то внимание, которое уделяется этим парадоксам в логической науке. Ниже мы познакомим вас с самыми яркими примерами логических парадоксов. Эта информации будет непременно интересна как тем, кто углублённо изучает логику, так и тем, кто просто любит узнавать новую и интересную информацию.

Начнём же мы с парадоксов, составленных древнегреческим философом Зеноном Элейским, жившим в V веке до н.э. Его парадоксы получили название «Апории Зенона» и даже имеют свою трактовку.

Апории Зенона

Апории Зенона являются внешне парадоксальными рассуждениями о движении и множестве. Всего современниками Зенона было упомянуто свыше 40 апорий (кстати, слово «апория» с древнегреческого языка переводится как «трудность») его авторства, однако до нашего времени дошли только девять из них. При желании вы можете ознакомиться с ними в трудах Аристотеля, Диогена Лаэртского, Платона, Фемистия, Филопона, Элия и Сипмликия. Мы же приведём в пример три самые известные.

Ахиллес и черепаха

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

Дихотомия

Для того чтобы преодолеть определённый путь, нужно изначально преодолеть его половину, а чтобы преодолеть половину, нужно преодолеть половину этой половины и т.д. Исходя из этого, движение никогда так и не начнётся.

Летящая стрела

Летящая стрела всегда остаётся на месте, т.к. в любой момент времени она находится в состоянии покоя, а поскольку она в состоянии покоя в любой момент времени, она находится в состоянии покоя всегда.

Здесь же будет уместно привести ещё один парадокс.

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

Авторство этого парадокса приписывается древнегреческому жрецу и провидцу Эпимениду. Парадокс звучит так: «То, что я в данный момент говорю — ложь», т.е. выходит: либо «Я лгу», либо «Моё высказывание — ложно». Это значит, что если высказывание правдиво, то, основываясь на его содержании, оно является ложью, но если это высказывание изначально ложно, то его и утверждение — ложь. Получается, ложно, что это высказывание – ложь. Следовательно, высказывание правдиво – это вывод возвращает нас к началу наших рассуждений.

В наше время парадокс лжеца рассматривается в качестве одной из формулировок парадокса Рассела.

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

Парадокс Рассела был открыт в 1901 году британским философом Бертраном Расселом, а позже его независимо переоткрыл немецкий математик Эрнст Цермело (иногда этот парадокс называют «парадоксом Рассела-Цермело»). Данный парадокс демонстрирует противоречивость логической системы Фреге, в которой математика сводится к логике. У парадокса Рассела есть несколько формулировок:

Парадокс всемогущества – способно ли всемогущее существо создать что-либо, что может ограничить его всемогущество?
Допустим, какая-то библиотека поставила задачу составить один большой библиографический каталог, в который должны входить все и лишь те библиографические каталоги, в которых не содержится ссылок на самих себя. Вопрос: нужно ли включить в этот каталог ссылку на него?
Например, в какой-то стране вышел закон о том, что мэрам всех городов запрещено жить в своём городе, и разрешено жить только в «Городе мэров». Где, в таком случае, будет жить мэр этого города?
Парадокс брадобрея – в деревне только один брадобрей, и ему приказано брить всех, кто не бреется сам, и не брить тех, кто сам бреется. Вопрос: кто должен брить брадобрея?

Не менее интересны и занятны следующие парадоксы.

Парадокс Бурали-Форти

Предположение о том, что идея о возможности множества порядковых чисел может привести к противоречиям, а это значит, что противоречивой будет теория множеств, в которой возможно построение множества порядковых чисел.

Парадокс Кантора

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

Парадокс Гильберта

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

Ложный вывод Монте-Карло

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

Парадокс Эйнштейна-Подольского-Розена

Вопрос о том, способны ли развивающиеся вдали друг от друга процессы и события оказывать друг на друга влияние? К примеру, воздействует ли каким-либо образом рождение в отдалённой галактике сверхновой звезды на погоду в Москве? В качестве ответа можно привести следующее: исходя из законов квантовой механики, такое влияние невозможно по причине того, что как скорость света, так и скорость переноса информации являются конечными величинами, а Вселенная является бесконечной.

Парадокс близнецов

Вопрос: будет ли близнец-путешественник, вернувшийся из космического странствия на сверхсветовом звездолёте моложе своего брата, остававшегося всё это время на Земле? Если исходить из теории относительности, то на Земле (по земному течению времени) прошло больше времени, чем в звездолёте, летящем со сверхсветовой скоростью, а значит, близнец-путешественник будет моложе.

Парадокс убитого дедушки

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

Парадокс предопределения

К примеру, человек оказывается в прошлом, имеет половой контакт со своей прабабушкой и зачинает её сына, т.е. своего деда. Это становится причиной череды потомков, включая родителей этого человека, а также его самого. Получается, что если бы этот человек не совершил путешествие в прошлое, он бы вообще никогда не появился на свет.

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

Кстати, касаемо размышлений: на тему логических парадоксов есть очень интересная книга под названием «Гёдель, Ешер и Бах». Её автором является американский физик и информатик Даглас Хофштадтер.

Уважаемые читатели, было бы замечательно, если бы в своих комментариях вы привели несколько знакомых вам примеров логических парадоксов. А также нам будет интересно и ваше мнение по поводу значения логики в нашей жизни — Проголосуйте за одно из расположенных ниже утверждений.

October 1st, 2014

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

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

1. Апория «Ахиллес и черепаха»

Парадокс Ахиллеса и черепахи - одна из апорий (логически верных, но противоречивых высказываний), сформулированных древнегреческим философом Зеноном Элейским в V-м веке до нашей эры. Суть её в следующем: легендарный герой Ахиллес решил посоревноваться в беге с черепахой. Как известно, черепахи не отличаются прыткостью, поэтому Ахиллес дал сопернику фору в 500 м. Когда черепаха преодолевает эту дистанцию, герой пускается в погоню со скоростью в 10 раз большей, то есть пока черепаха ползёт 50 м, Ахиллес успевает пробежать данные ей 500 м форы. Затем бегун преодолевает следующие 50 м, но черепаха в это время отползает ещё на 5 м, кажется, что Ахиллес вот-вот её догонит, однако соперница всё ещё впереди и пока он бежит 5 м, ей удаётся продвинуться ещё на полметра и так далее. Дистанция между ними бесконечно сокращается, но по идее, герою так и не удаётся догнать медлительную черепаху, она ненамного, но всегда опережает его.

Конечно, с точки зрения физики парадокс не имеет смысла - если Ахиллес движется намного быстрее, он в любом случае вырвется вперёд, однако Зенон, в первую очередь, хотел продемонстрировать своими рассуждениями, что идеализированные математические понятия «точка пространства» и «момент времени» не слишком подходят для корректного применения к реальному движению. Апория выявляет расхождение между математически обоснованной идеей, что ненулевые интервалы пространства и времени можно делить бесконечно (поэтому черепаха должна всегда оставаться впереди) и реальностью, в которой герой, конечно, выигрывает гонку.

2. Парадокс временной петли

«Новые путешественники во времени» Дэвида Туми

Парадоксы, описывающие путешествия во времени, давно служат источником вдохновения для писателей-фантастов и создателей научно-фантастических фильмов и сериалов. Существует несколько вариантов парадоксов временной петли, один из самых простых и наглядных примеров подобной проблемы привёл в своей книге «The New Time Travelers» («Новые путешественники во времени») Дэвид Туми, профессор из Университета Массачусетса.

Представьте себе, что путешественник во времени купил в книжном магазине экземпляр шекспировского «Гамлета». Затем он отправился в Англию времён Королевы-девы Елизаветы I и отыскав Уильяма Шекспира, вручил ему книгу. Тот переписал её и издал, как собственное сочинение. Проходят сотни лет, «Гамлета» переводят на десятки языков, бесконечно переиздают, и одна из копий оказывается в том самом книжном магазине, где путешественник во времени покупает её и отдаёт Шекспиру, а тот снимает копию и так далее… Кого в таком случае нужно считать автором бессмертной трагедии?

3. Парадокс девочки и мальчика

Мартин Гарднер / © www.post-gazette.com

В теории вероятностей этот парадокс также называют «Дети мистера Смита» или «Проблемы миссис Смит». Впервые он был сформулирован американским математиком Мартином Гарднером в одном из номеров журнала «Scientific American». Учёные спорят над парадоксом уже несколько десятилетий и существует несколько способов его разрешения. Поразмыслив над проблемой, вы можете предложить и свой собственный вариант.

В семье есть двое детей и точно известно, что один из них - мальчик. Какова вероятность того, что второй ребёнок тоже имеет мужской пол? На первый взгляд, ответ вполне очевиден - 50 на 50, либо он действительно мальчик, либо девочка, шансы должны быть равными. Проблема в том, что для двухдетных семей существует четыре возможных комбинации полов детей - две девочки, два мальчика, старший мальчик и младшая девочка и наоборот - девочка старшего возраста и мальчик младшего. Первую можно исключить, так как один из детей совершенно точно мальчик, но в таком случае остаются три возможных варианта, а не два и вероятность того, что второе чадо тоже мальчик - один шанс из трёх.

4. Парадокс Журдена с карточкой

Проблему, предложенную британским логиком и математиком Филиппом Журденом в начале XX-го века, можно считать одной из разновидностей знаменитого парадокса лжеца.

Филипп Журден

Представьте себе - вы держите в руках открытку, на которой написано: «Утверждение на обратной стороне открытки истинно». Перевернув открытку, вы обнаруживаете фразу «Утверждение на другой стороне ложно». Как вы понимаете, противоречие налицо: если первое утверждение правдиво, то второе тоже соответствует действительности, но в таком случае первое должно оказаться ложным. Если же первая сторона открытки лжива, то фразу на второй также нельзя считать истинной, а это значит, первое утверждение опять-таки становится правдой… Ещё более интересный вариант парадокса лжеца - в следующем пункте.

5. Софизм «Крокодил»

На берегу реки стоят мать с ребёнком, вдруг к ним подплывает крокодил и затаскивает ребёнка в воду. Безутешная мать просит вернуть её чадо, на что крокодил отвечает, что согласен отдать его целым и невредимым, если женщина правильно ответит на его вопрос: «Вернёт ли он её ребёнка?». Понятно, что у женщины два варианта ответа - да или нет. Если она утверждает, что крокодил отдаст ей ребёнка, то всё зависит от животного - посчитав ответ правдой, похититель отпустит ребёнка, если же он скажет, что мать ошиблась, то ребёнка ей не видать, согласно всем правилам договора.

Отрицательный ответ женщины всё значительно усложняет - если он оказывается верным, похититель должен выполнить условия сделки и отпустить дитя, но таким образом ответ матери не будет соответствовать действительности. Чтобы обеспечить лживость такого ответа, крокодилу нужно вернуть ребёнка матери, но это противоречит договору, ведь её ошибка должна оставить чадо у крокодила.

Стоит отметить, что сделка, предложенная крокодилом, содержит логическое противоречие, поэтому его обещание невыполнимо. Автором этого классического софизма считается оратор, мыслитель и политический деятель Коракс Сиракузский, живший в V-м веке до нашей эры.

6. Апория «Дихотомия»

Ещё один парадокс от Зенона Элейского, демонстрирующий некорректность идеализированной математической модели движения. Проблему можно поставить так - скажем, вы задались целью пройти какую-нибудь улицу вашего города от начала и до конца. Для этого вам необходимо преодолеть первую её половину, затем половину оставшейся половины, далее половину следующего отрезка и так далее. Иначе говоря - вы проходите половину всего расстояния, затем четверть, одну восьмую, одну шестнадцатую - количество уменьшающихся отрезков пути стремится к бесконечности, так как любую оставшуюся часть можно разделить надвое, значит пройти весь путь целиком невозможно. Формулируя несколько надуманный на первый взгляд парадокс, Зенон хотел показать, что математические законы противоречат реальности, ведь на самом деле вы можете без труда пройти всё расстояние без остатка.

7. Апория «Летящая стрела»

Знаменитый парадокс Зенона Элейского затрагивает глубочайшие противоречия в представлениях учёных о природе движения и времени. Апория сформулирована так: стрела, выпущенная из лука, остаётся неподвижной, так как в любой момент времени она покоится, не совершая перемещения. Если в каждый момент времени стрела покоится, значит она всегда находится в состоянии покоя и не движется вообще, так как нет момента времени, в который стрела перемещается в пространстве.

Выдающиеся умы человечества веками пытаются разрешить парадокс летящей стрелы, однако с логической точки зрения он составлен абсолютно верно. Для его опровержения требуется объяснить, каким образом конечный временной отрезок может состоять из бесконечного числа моментов времени - доказать это не удалось даже Аристотелю, убедительно критиковавшему апорию Зенона. Аристотель справедливо указывал, что отрезок времени нельзя считать суммой неких неделимых изолированных моментов, однако многие учёные считают, что его подход не отличается глубиной и не опровергает наличие парадокса. Стоит отметить, что постановкой проблемы летящей стрелы Зенон стремился не опровергнуть возможность движения, как таковую, а выявить противоречия в идеалистических математических концепциях.

8. Парадокс Галилея

В своём труде «Беседы и математические доказательства, касающиеся двух новых отраслей науки» Галилео Галилей предложил парадокс, демонстрирующий любопытные свойства бесконечных множеств. Учёный сформулировал два противоречащих друг другу суждения. Первое: есть числа, представляющие собой квадраты других целых чисел, например 1, 9, 16, 25, 36 и так далее. Существуют и другие числа, у которых нет этого свойства - 2, 3, 5, 6, 7, 8, 10 и тому подобные. Таким образом, общее количество точных квадратов и обычных чисел должно быть больше, чем количество только точных квадратов. Второе суждение: для каждого натурального числа найдётся его точный квадрат, а для каждого квадрата существует целый квадратный корень, то есть, количество квадратов равно количеству натуральных чисел.

На основании этого противоречия Галилей сделал вывод, что рассуждения о количестве элементов применены только к конечным множествам, хотя позже математики ввели понятие, мощности множества - с его помощью была доказана верность второго суждения Галилея и для бесконечных множеств.

9. Парадокс мешка картофеля

Допустим, у некоего фермера имеется мешок картофеля весом ровно 100 кг. Изучив его содержимое, фермер обнаруживает, что мешок хранился в сырости - 99% его массы составляет вода и 1% остальные вещества, содержащиеся в картофеле. Он решает немного высушить картофель, чтобы содержание воды в нём снизилось до 98% и переносит мешок в сухое место. На следующий день оказывается, что, один литр (1 кг) воды действительно испарился, но вес мешка уменьшился со 100 до 50 кг, как такое может быть? Давайте посчитаем - 99% от 100 кг это 99 кг, значит соотношение массы сухого остатка и массы воды изначально было равно 1/99. После сушки вода насчитывает 98% от общей массы мешка, значит соотношение массы сухого остатка к массе воды теперь составляет 1/49. Так как масса остатка не изменилась, оставшаяся вода весит 49 кг.

Конечно, внимательный читатель сразу обнаружит грубейшую математическую ошибку в расчётах - мнимый шуточный «парадокс мешка картофеля» можно считать отличным примером того, как с помощью на первый взгляд «логичных» и «научно подкреплённых» рассуждений можно буквально на пустом месте выстроить теорию, противоречащую здравому смыслу.

10. Парадокс воронов

Проблема также известна, как парадокс Гемпеля - второе название она получила в честь немецкого математика Карла Густава Гемпеля, автора её классического варианта. Проблема формулируется довольно просто: каждый ворон имеет чёрный цвет. Из этого следует, что всё, что не чёрного цвета, не может быть вороном. Этот закон называется логическая контрапозиция, то есть если некая посылка «А» имеет следствие «Б», то отрицание «Б» равнозначно отрицанию «А». Если человек видит чёрного ворона, это укрепляет его уверенность, что все вороны имеют чёрный окрас, что вполне логично, однако в соответствии с контрапозицией и принципом индукции, закономерно утверждать, что наблюдение предметов не чёрного цвета (скажем, красных яблок) также доказывает, что все вороны окрашены в чёрный цвет. Иными словами - то, что человек живёт в Санкт-Петербурге доказывает, что он живёт не в Москве.

С точки зрения логики парадокс выглядит безукоризненно, однако он противоречит реальной жизни - красные яблоки никоим образом не могут подтверждать тот факт, что все вороны чёрного цвета.

Вот у нас уже с вами была подборка парадоксов - , а так же в частности , и Оригинал статьи находится на сайте ИнфоГлаз.рф Ссылка на статью, с которой сделана эта копия -

Никакого исчерпывающего перечня логических парадоксов не существует, да он и невозможен.

Своеобразие логических парадоксов

Необходимым признаком логических парадоксов считается логический словарь.

Парадоксы и современная логика

Какие выводы для логики следуют из су ществования парадоксов?

Устранение и объяснение парадоксов

Следует обратить внимание на одно важное различие.

Каким может быть минимальный, наименее радикальный комплекс мер, позволяющих избежать известных парадоксов?

Логическая грамматика

Возьмем серию предложений:

Этот дом - красный.

Красное - это цвет.

Цвет - это оптическое явление.

Будущее парадоксов

Философ Стивен Рид о парадоксе лжеца, семантических парадоксах и их прямой связи с основами математики.

Разговор о логических парадоксах стоит начать с небольшой истории, которую Сервантес рассказывает в своей книге «Дон Кихот». В одном месте в «Дон Кихоте» он оставляет Санчо Пансу губернатором на острове Баратария, и, пока он на посту губернатора, «подданные» его дурачат. Однажды утром его разбудили и сказали: «До завтрака вам нужно рассудить одно дело». А в Испании в то время было много бродяг, так что с людьми нужно было быть очень осторожным. И вот у одного помещика по землям протекает река, через которую переброшен мост, и, чтобы убедиться, что все прохожие заслуживают доверия, этот помещик поставил около моста виселицы и стражника, который требует у каждого прохожего объяснить, куда и зачем он идет. Если прохожий говорит правду, ему разрешается перейти через мост, а если он лжет, то его ждет виселица. И все было хорошо, это помогало различить, кто бродяга, а кто торговец, пока однажды не пришел человек, который сказал: «Моя цель - быть повешенным на этой виселице, и ничего более». И стражника это поразило, потому что он подумал: «Хорошо, если мы его повесим, получится, что он сказал правду, тогда нам надо было его пропустить, но если мы его пропустим, то получится, что он солгал, тогда нам надо было его повесить». «Итак, Санчо Панса, как нам рассудить это дело?» И у Санчо Пансы какое-то время уходит на то, чтобы оценить парадокс, но в итоге он выносит свое решение: повесить ту половину человека, которая солгала, и пропустить ту половину, которая сказала правду.

Это все звучит как развлечение для ума, но для людей, которые хотят разобраться в вопросах истины, аргументации, языка и так далее, это указывает на что-то очень тревожное в природе языка. Кажется, очень просто попасть в парадокс: мы просто не знаем, было ли высказывание того человека правдой или нет, солгал ли он или нет. И это отсылает нас к первоначальному парадоксу лжеца, сформулированному Евбулидом в IV веке до нашей эры. Он возвел его до произведения искусства, он сказал: «Подумайте о высказывании “Я лгу”». Если я говорю: «Я лгу», я, конечно, могу иметь в виду какое-то другое свое высказывание, но если использовать предельно аккуратные формулировки, то можно сказать: «Нет, я лгу в той самой фразе, которую я говорю сейчас, это мое высказывание ложно». И снова, если вы подумаете, вы скажете: «Если бы это была истина, значит, раз он говорит, что его высказывание ложно, следует, что оно должно быть ложным, а не истинным, то есть оно не может быть истинным - оно должно быть ложным. Но если оно ложно, так как в нем говорится, что оно ложно, что он лгал - оно должно быть истинным». Так что мы получаем парадокс, изящно заключенный в одном предложении.

Таких парадоксов очень много, и легко понять, почему они называются логическими парадоксами: противоречие, содержащееся в них, вскрывается при помощи логики. Некоторые слышали об Эпимениде: он был уроженцем Крита, и он был настолько разочарован в способности своих соотечественников говорить правду, что однажды сказал: «Все критяне - лжецы». Если он был прав, если действительно все критяне были лжецами или другие критяне всегда лгали, тогда его собственное высказывание должно быть парадоксальным. Ведь если он говорит: «Все критяне - лжецы», то он говорит, что и его собственное высказывание ложно, но в таком случае действительно все до единого критяне были бы лжецами, а значит, он говорил правду, когда сказал, что все критяне - лжецы. Выход из парадокса, разумеется, в том, что если бы некоторые критяне говорили правду, то его высказывание было бы просто-напросто ложным, а не парадоксальным.

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

Некоторые средневековые мыслители предпочитали описывать этот парадокс через Сократа и Платона или иногда Платона и Аристотеля. Итак, Платон был учителем Аристотеля и считал его своим лучшим учеником, так что однажды он сказал: «Все, что говорит Аристотель, - истина». Но Аристотель был не самым примерным учеником в том смысле, что он хотел оспорить учение Платона, так что он сказал: «Все, что говорит Платон, ложно», и это очень похоже на парадокс с карточкой.

Все это были парадоксы в области правды, лжи и языка. Но в XX веке мы столкнулись с парадоксами в математике. Краткая история вопроса такова: после появления математического анализа, а затем после работы с бесконечными рядами в XVIII веке основы математики оказались неустойчивы, люди задавались вопросом «Как бесконечные ряды работают, не приводя нас к противоречиям в математике?». И в XIX веке развернулось большое движение, целью которого был поиск устойчивых основ математики. Тогда такой основой стала теория множеств. Множество - это совокупность объектов, определяемых через какое-то свойство: например, может быть множество всех натуральных чисел, множество четных чисел или даже множество рисовых пудингов - можно брать разные множества. В математике, конечно же, используются только числовые множества.

И все это выглядело прекрасно до конца XIX века. Фреге, Дедекинд и многие другие мыслители установили математику или то, что казалось твердым основанием теории множеств. Но потом Бертран Рассел, знаменитый британский философ, читая работы Фреге, подумал: «Можно задать множество чисел, можно задать множество множеств; можно задать множество множеств, включающих самих себя, а можно задать множество множеств, не включающих самих себя». А потом он подумал: «Подождите-ка, а если у нас есть множество множеств, не включающих самих себя, это множество будет включать себя или нет?» Если бы такое множество включало само себя, тогда оно не должно включать само себя, ведь по условию мы берем только те множества, которые не включают сами себя. Так что лучше бы это множество не включало само себя, но если оно не включает само себя, тогда оно является множеством, не включающим самого себя, и оно должно быть частью этого множества. И, как я уже говорил, все эти парадоксы поначалу выглядят как развлечение для ума, но теперь, в начале XX века, мы нашли парадокс, противоречие в самом сердце того, что должно быть основами математики. Как широко известно, это был большой удар для Фреге: он вот-вот должен был выпустить второй том своей работы «Основные законы арифметики», и ему пришлось добавить приложение, в котором он писал: «Бертран Рассел указал на слабое место в самом сердце моей теории, но, думаю, я могу решить эту проблему», и он предложил решение, но, как оказалось, оно не было корректным.

Я обращусь еще ненадолго к парадоксам в теории множеств, потому что есть еще один довольно занимательный парадокс, который возвращает нас к разговору о парадоксах, связанных с истиной, или так называемых семантических парадоксах. Итак, спустя примерно 40 лет, около 1940 года, американский математик и логик Хаскелл Б. Карри обдумывал парадокс Рассела и сказал: «В основе парадокса Рассела лежит отрицание - он говорит о множестве множеств, не включающих себя». Можно ли получить такой же парадокс, не используя отрицание? Есть ли способ? И он сказал, что способ есть. Возьмем множество всех множеств; если они включают себя, то ноль равен единице. По теории множеств это вполне допустимое множество. Но если мы начнем рассматривать такое множество, если оно будет включать себя, то оно будет удовлетворять условию, что если оно включает само себя, то ноль равен единице.

А мы предположили, что оно включает само себя, следовательно, ноль действительно равен единице. Но вполне очевидно, что ноль не может быть равен единице, так что мы отыгрываем все назад и предполагаем, что множество не может включать само себя. Если оно не включает само себя, незамедлительно следует, что либо оно не включает само себя, либо ноль равен единице. Но это то же самое, что сказать, что если оно включает себя, ноль действительно равен единице - это то же самое, что сказать: либо оно не включает себя, либо ноль равен единице. А это все равно что сказать, что если множество включает себя, то оно не является не включающим самого себя, тогда ноль равен единице. Но тогда оно включает себя, то есть мы доказали, что оно включает само себя, но, раз мы это доказали, следовательно, ноль равен единице. Спасите! Мы только что доказали, что ноль равен единице! Так что у нас прямо в сердце математики снова появился настоящий кошмарный парадокс.

И спустя несколько лет этот парадокс был превращен в один из семантических парадоксов, о которых я говорил ранее, и он получил форму высказывания: «Если это высказывание истинно, следовательно, ноль равен единице». Или даже: «Если это высказывание истинно, то Бог существует». И тогда мы всего в несколько строк можем доказать, что Бог существует или что угодно еще: ноль равен единице, Бог существует, сегодня в Москве идет дождь - мы можем доказать что угодно с таким высказыванием. Люди очень много размышляют о правде, так что это очень опасно: неужели правда действительно такова? Неужели правда - противоречивое понятие?

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

Подведем итоги. Я описал несколько семантических парадоксов, в основном связанных с концепцией истины, а также показал, что они очень похожи на парадоксы, связанные с теорией множеств, лежащие в самом сердце математики. Кроме того, мы познакомились с эпистемическими парадоксами, которые связаны не только с понятием истины, но и с понятием знания. Итак, мы разобрали несколько семантических парадоксов, таких как парадокс лжеца, парадокс Эпименида и парадокс с карточкой, которые основываются на понятии правды (в них мы говорим о лжи, неправде, истине и так далее), а затем мы разобрали несколько парадоксов, которые возникают в математике, - они связаны с теорией множеств. И в конце мы поговорили также о еще одном типе парадоксов - эпистемических парадоксах.

Сразу можно понять, насколько важно для нас найти решение этих парадоксов, раз в них замешана математика, ведь мы искали прочные основы математики, чтобы убедиться, что мы не делаем ошибок - а теперь мы обнаружили в них противоречие. Так что нам действительно нужно решение, когда речь заходит о математических парадоксах, связанных с теорией множеств, но и для семантических парадоксов оно нам тоже нужно. Над понятием правды размышляет очень много философов, и они хотят понять природу истины, что такое истинное высказывание. Естественно предположить, что высказывание истинно, если все обстоит так, как оно говорит; а теперь посмотрите на парадокс лжеца: это истинно, если я лгу - это же парадоксально и ведет к противоречию. Так что нам нужно переосмыслить понятие истины, некоторые хотят переосмыслить логику, лежащую в его основе, и методы доказательств, которые привели нас к противоречию. И очень важно, чтобы мы это сделали, если мы хотим получить полное понимание понятий истины и знания.

gif: postnauka.ru/ Стивен Рид