Глава II. Многообразие парадоксов

 

2.1 Парадокс "Лжец"

 

Наиболее известным и, пожалуй, самым интересным из всех логических парадоксов является парадокс "Лжец", сформулированный греческим философом Эвбулидом из Милета в IV веке до н.э.

Имеются различные варианты этого парадокса. В простейшем варианте "Лжеца" человек произносит всего одну фразу: "Я лгу", или говорит: "Высказывание, которое я сейчас произношу, является ложным". Традиционная лаконичная формулировка этого парадокса гласит: если лгущий говорит, что он лжет, то он одновременно лжет и говорит правду.

Данный парадокс можно переформулировать и так. Допустим, что на лицевой стороне карточки стоят слова: "На другой стороне этой карточки написано истинное высказывание" - и ничего более. Ясно, что эти слова представляют собой осмысленное утверждение. Перевернув карточку, мы находим на ее обороте слова: "На другой стороне этой карточки написано ложное высказывание" - и опять-таки ничего более. Предположим, что утверждение на лицевой стороне - истинно. Тогда утверждение на обороте должно быть истинным и, значит, утверждение на лицевой стороне должно быть ложным. Но если утверждение с лицевой стороны ложно, тогда утверждение на обороте также должно быть ложным и, следовательно, утверждение на лицевой стороне должно быть истинным. Выходит, что данное утверждение не может быть ни истинным, ни ложным. Но это противоречит принципу исключенного третьего. Парадокс ошеломляющий. Он произвел громадное впечатление на греков. Ходит даже легенда, что он привел к самоубийству некоего Филита Косского. Этот парадокс разбил Аристотель и многие другие логики, жившие позднее. Некоторые философы считали, что поскольку рассматриваемое утверждение содержит ссылку на самое себя, то оно просто не имеет смысла, а бессмысленные высказывания должны быть исключены из языка.

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

Было предложено другое объяснение, основанное на анализе одной весьма необычной особенности этого высказывания. Дело в том, что это высказывание одновременно является актом действия; причем как раз то, что в этом высказывании утверждается, в то же время становится и действием. Более того, высказывание и действие разорвать нельзя. Такие высказывания встречаются не так уж и редко. Например: "Я клянусь", "Я говорю", "Я лгу", и т.п. Высказывания такого рода называются перформативными и к ним как считают некоторые авторы, не применимы какие-либо оценки их истинности. Их истинность зависит от того, когда, кем и где они употребляются.

Выше было сказано, что парадокс "Лжец" возникает из-за смешения двух языков. Как же связан этот парадокс с ними. Еще античные философы заметили, что каждое высказывание естественного языка выражает определенную мысль, но не несет никакой информации о том, истинна ли эта мысль или нет. Более того, они показали, что именно это утверждение об истинности того или иного высказывания не может быть выражено в естественном языке. Рассуждали они следующим образом. Пусть A₀ есть некоторое высказывание, например: "1 января шел снег", и пусть это событие действительно имело место. Но так как из содержания высказывания А₀ не следует, что оно истинно, то необходимо дополнительное высказывание A₁: "Высказывание A₀ истинно". Нетрудно, однако, заметить, что истинность высказывания A1 тоже ниоткуда не следует. Поэтому необходимо новое высказывание А₂: "Высказывание A₁ истинно" и т.д. до бесконечности.

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

Впрочем, это не совсем так. На самом деле доказано только то, что выше описанным способом нельзя выразить утверждение об истинности высказывания A₀. Поэтому остается вопрос: "А нельзя ли это сделать каким-либо другим способом?". И вообще, неужели утверждение об истинности или ложности какого-либо конкретного высказывания нельзя сформулировать так, чтобы достоверность этого утверждения не вызывала сомнений?

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

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

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

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

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

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

 

Парадокс Греллинга

 

Парадокс Греллинга был сформулирован в 1908 году математиками Куртом Греллингом (1886-1941) и Леонардом Нельсоном (1882-1927). В этом парадоксе речь идет о прилагательных. Каждое прилагательное либо само обладает тем свойством, которое оно выражает, либо - нет. Например, прилагательное "русский" (-ая, - ое, - ие) само является русским, а прилагательное "голубой" (-ая, - ое, - ые) само, конечно, голубым не является. Прилагательные первого вида описывают самих себя, т.е. применимы к себе. Такие прилагательные назовем "автологичными". Прилагательные второго вида не применимы к себе, их мы назовем "гетерологическими". Введем теперь обозначения: прилагательные обозначим буквами р, g,..., а выражаемые ими свойства обозначим, соответственно, буквами Р, G,....

Предложение "Прилагательное р применимо к себе" символически запишется в форме Р (р), а предложение "Прилагательное р не применимо к себе" запишется в форме Р (р). Если относительно некоторого прилагательного р установлено Р (p), то по принятому определению, прилагательное р будет гетерологическим. Обозначив свойство "быть гетерологическим" через G получим: "p (G (p)" (P (p)) (*).

Слово "гетерологический" само тоже является прилагательным. Обозначим это прилагательное буквой g. Тогда при р=g из условия (*) получим противоречие: (g)"G (g).

Это противоречие снимается, если учесть, что первоначально мы имели только прилагательные некоторого предметного языка, которые классифицировались на автологические и гетерологические; прилагательное же "гетерологический" появилось только при описании этой классификации и, значит, относится к метаязыку. Поэтому в условии (*) квантор общности имел смысл "для всех прилагательных предметного языка" и подстановка р=g была неправомерной.

 

Парадокс Берри

 

Еще один внешне простой парадокс был указан в самом начале нашего века Д. Берри, занимавшем должность библиотекаря Оксфордского университета. Позже он был опубликован Бертраном Расселом. В русской интерпретации он звучит так: множество натуральных чисел бесконечно. Множество же тех имен этих чисел, которые имеются в русском языке и содержат меньше, чем, допустим, сто слов, является конечным. Это означает, что существуют такие натуральные числа, для которых в русском языке нет имен менее чем из ста слов. Среди этих чисел есть, очевидно, наименьшее число. Его нельзя назвать посредством русского выражения, содержащего менее ста слов. Но выражение "наименьшее натуральное число, для которого не существует в русском языке его сложное имя, слагающееся из менее чем ста слов" является как раз именем этого числа. Это имя сформулировано в русском языке и содержит только девятнадцать слов. Очевидный парадокс: названным оказалось то число, для которого нет имени.

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

 

Парадоксы со множествами

 

В результате абстракции неизбежно возникают понятия, относящиеся к более высокому иерархическому уровню, чем исходные. Таковым является, в частности, и понятие множества, являющееся ключевым в современной математике. Чтобы в этом убедиться, представим себе, что наблюдаем стадо, состоящее из пяти коров. Когда мы говорим о стаде, мы имеем в виду множество этих коров; и мы представляем его себе именно как отдельный самостоятельный предмет. Таким образом, получается шесть предметов: пять коров и стадо, состоящее из них. Но если нас спросят: "Сколько предметов вы видите?" - мы ответим: "Пять!". Шестой предмет увидеть нельзя! Множество - это предмет, созданный нашей мыслью. Мы мысленно объединяем эти коровы и представляем себе результат объединения как нечто целое, самостоятельное.

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

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

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

Допустим, что построение домов-подмножеств закончено. Что же получилось? Совокупность домов, возникшая в результате нашего построения, домом не является. Построен город, состоящий из домов. Если сначала мы имели дело с множествами жильцов и называли эти множества домами, то теперь возникло множество нового вида - множество домов и это новое множество мы, естественно, называем по-другому: это город. Можно теперь идти дальше и рассматривать множество всех подмножеств этого города. То, что мы получим, не будет городом, это будет нечто более общее. Можно, например, назвать эту совокупность городов "страной".

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

Рассмотрим множество всех одноэлементных множеств к и обозначим его через U. Построим теперь множество E, единственным элементом которого является U. Значит, E={U}.

Из этого определения следует: U есть элемент E. Но, поскольку E является одноэлементным множеством, а U - это множество всех одноэлементных множеств, E есть элемент U.

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

Причина противоречия кроется опять в игнорировании иерархических различий. Множество U было множеством всех одноэлементных множеств некоторого исходного иерархического уровня, а множество E было сформировано позже; оно относится уже к другому, более высокому иерархическому уровню. Поэтому утверждение E элемент из U было неправомерным, так как на исходном иерархическом уровне множества Е не было.

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

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

Кантор исходил из того, что каждое множество А должно обладать некоторой "мощностью". Под "мощностью" он понимал количественную характеристику множества.

Мощность множества А Кантор обозначил через , отмечая двумя черточками, что она получается в результате двойной абстракции: абстракции от природы элементов и абстракции от их порядка. Множество всех подмножеств данного множества А (называемое также булеаном множества А) обозначено через Р (А). Кантор доказал, что .

Рассмотрим теперь множество всех множеств, назовем его "универсумом" и обозначим через U. Из приведенной выше теоремы при А=U получим, что .

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

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

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

 

Парадоксы-петли

 

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

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

Парадокс Рассела (О парикмахере) был найден Бертраном Расселом (1872-1970). Допустим, что в некотором поселке нет бородатых людей и все мужчины бреются либо сами, либо у местного парикмахера. Допустим также, что в этом поселке принято правило, согласно которому парикмахер бреет тех и только тех, кто не бреется сам. Спрашивается: бреет ли парикмахер самого себя? Оказывается, что ни "да", ни "нет" ответить нельзя. Если парикмахер бреет самого себя, то он относится к категории тех, кто бреется сам, а людей этой категории, согласно принятому правилу, он не должен брить. Значит, он не должен себя брить. Если же парикмахер не будет брить самого себя, то он относится к категории тех, кто не бреется сам, а таких людей он как раз и должен брить. Значит, он должен бриться сам.

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

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

Парадокс Маннури (О мэре) голландского математика Геррита Маннури (1867-1956) похож на предыдущий парадокс. В этом парадоксе речь идет о стране, состоящей из отдельных областей. Каждая из которых имеет мэра, который, однако, не обязательно должен жить в той же области, которой он управляет. На основании этой оговорки всех мэров можно разделить на две категории. К одной из них относятся те мэры, которые живут в той же области, которой они управляют, - их мы назовем "хорошими"; к другой относятся все те, которые не живут в той области, которой они управляют, - этих мы назовем "плохими".

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

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

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

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

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

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

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

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

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

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

123	Поделиться:

Воспользуйтесь поиском по сайту: