Множество обычных множеств
Относительно любого произвольно взятого множества представляется осмысленным спросить, является оно своим собственным элементом или нет. Множества, не содержащие себя в качестве элемента, назовем обычными. Например, множество всех людей не является человеком, так же как множество атомов – это не атом. Необычными будут множества, являющиеся собственными элементами. Например, множество, объединяющее все множества, представляет собой множество и, значит, содержит само себя в качестве элемента.
Рассмотрим теперь множество всех обычных множеств. Поскольку РѕРЅРѕ множество, Рѕ нем тоже РјРѕР¶РЅРѕ спрашивать, обычное РѕРЅРѕ или необычное. Ответ, однако, оказывается обескураживающим. Если РѕРЅРѕ обычное, то, согласно своему определению, должно содержать само себя РІ качестве элемента, поскольку содержит РІСЃРµ обычные множества. РќРѕ это означает, что РѕРЅРѕ является необычным множеством. Допущение, что наше множество представляет СЃРѕР±РѕР№ обычное множество, РїСЂРёРІРѕРґРёС‚, таким образом, Рє противоречию. Значит, РѕРЅРѕ РЅРµ может быть обычным. РЎ РґСЂСѓРіРѕР№ стороны, РѕРЅРѕ РЅРµ может быть также необычным: необычное множество содержит само себя РІ качестве элемента, Р° элементами нашего множества являются только обычные множества. Р’ итоге РїСЂРёС…РѕРґРёРј Рє заключению, что множество всех обычных множеств РЅРµ может быть РЅРё обычным, РЅРё необычным множеством.
Ртак, множество всех множеств, РЅРµ являющихся собственными элементами, есть СЃРІРѕР№ элемент РІ том Рё только том случае, РєРѕРіРґР° РѕРЅРѕ РЅРµ является таким элементом. Рто СЏРІРЅРѕРµ противоречие. Рполучено РѕРЅРѕ РЅР° РѕСЃРЅРѕРІРµ самых правдоподобных предположений Рё СЃ помощью бесспорных как будто шагов.
Противоречие говорит о том, что такого множества просто не существует. Но почему оно не может существовать? Ведь оно состоит из объектов, удовлетворяющих четко определенному условию, причем само условие не кажется каким-то исключительным или неясным. Если столь просто и ясно заданное множество не может существовать, то в чем, собственно, заключается различие между возможными и невозможными множествами? Вывод о несуществовании рассматриваемого множества звучит неожиданно и внушает беспокойство. Он делает наше общее понятие множества аморфным и хаотичным, и нет гарантии, что оно не способно породить какие-то новые парадоксы.
Парадокс Рассела замечателен своей крайней общностью. Для его построения РЅРµ РЅСѓР¶РЅС‹ какие-либо сложные технические понятия, как РІ случае некоторых РґСЂСѓРіРёС… парадоксов, достаточно понятий «множество» Рё «элемент множества». РќРѕ эта простота как раз Рё РіРѕРІРѕСЂРёС‚ Рѕ его фундаментальности: РѕРЅ затрагивает самые глубокие основания наших рассуждений Рѕ множествах, поскольку РіРѕРІРѕСЂРёС‚ РЅРµ Рѕ каких-то специальных случаях, Р° Рѕ множествах вообще.
Другие варианты парадокса
Парадокс Рассела РЅРµ имеет специфически математического характера. Р’ нем используется понятие множества, РЅРѕ РЅРµ затрагиваются какие-то особые, связанные именно СЃ математикой его свойства.
Рто становится очевидным, если переформулировать парадокс РІ чисто логических терминах.
О каждом свойстве можно, по всей вероятности, спрашивать, приложимо оно к самому себе или нет.
Свойство быть горячим, например, неприложимо Рє самому себе, поскольку само РЅРµ является горячим; свойство быть конкретным тоже РЅРµ относится Рє самому себе, РёР±Рѕ это абстрактное свойство. РќРѕ РІРѕС‚ свойство быть абстрактным, являясь абстрактным, приложимо Рє самому себе. Назовем эти неприменимые Рє самим себе свойства неприложимыми. Применимо ли свойство быть неприложимым Рє самому себе? Оказывается, неприложимость является неприложимой только РІ том случае, если РѕРЅР° РЅРµ является таковой. Рто, конечно, парадоксально.
Логическая, касающаяся свойств разновидность антиномии Рассела, столь Р¶Рµ парадоксальна, как Рё математическая, относящаяся Рє множествам, ее разновидность.
Рассел предложил также следующий популярный вариант открытого РёРј парадокса.
Представим, что совет РѕРґРЅРѕР№ деревни так определил обязанности парикмахера: брить всех мужчин деревни, которые РЅРµ бреются сами, Рё только этих мужчин. Должен ли РѕРЅ брить самого себя? Если РґР°, то РѕРЅ будет относиться Рє тем, кто бреется сам, Р° тех, кто бреется сам, РѕРЅ РЅРµ должен брить. Если нет, РѕРЅ будет принадлежать Рє тем, кто РЅРµ бреется сам, Рё, значит, РѕРЅ должен будет брить себя. РњС‹ РїСЂРёС…РѕРґРёРј, таким образом, Рє заключению, что этот парикмахер бреет себя РІ том Рё только том случае, РєРѕРіРґР° РѕРЅ РЅРµ бреет себя. Рто, разумеется, невозможно.
Рассуждение Рѕ парикмахере опирается РЅР° допущение, что такой парикмахер существует. Полученное противоречие означает, что это допущение ложно, Рё нет такого жителя деревни, который Р±СЂРёР» Р±С‹ всех тех Рё только тех ее жителей, которые РЅРµ бреются сами.
Обязанности парикмахера не кажутся на первый взгляд противоречивыми, поэтому вывод, что его не может быть, звучит несколько неожиданно. Но этот вывод не является все-таки парадоксальным. Условие, которому должен удовлетворять деревенский брадобрей, на самом деле внутренне противоречиво и, следовательно, невыполнимо. Подобного парикмахера не может быть в деревне по той же причине, по какой в ней нет человека, который был бы старше самого себя или который родился бы до своего рождения.
Рассуждение Рѕ парикмахере может быть названо псевдопарадоксом. РџРѕ своему С…РѕРґСѓ РѕРЅРѕ строго аналогично парадоксу Рассела Рё этим интересно. РќРѕ РѕРЅРѕ РІСЃРµ-таки РЅРµ является подлинным парадоксом.
Другой пример такого же псевдопарадокса представляет собой известное рассуждение о каталоге.
Некая библиотека решила составить библиографический каталог, в который входили бы все те и только те библиографические каталоги, которые не содержат ссылки на самих себя. Должен ли такой каталог включать ссылку на себя?
Нетрудно показать, что идея создания такого каталога неосуществима; он просто не может существовать, поскольку должен одновременно и включать ссылку на себя и не включать.
Рнтересно отметить, что составление каталога всех каталогов, РЅРµ содержащих ссылки РЅР° самих себя, РјРѕР¶РЅРѕ представить как бесконечный, РЅРёРєРѕРіРґР° РЅРµ завершающийся процесс. Допустим, что РІ какой-то момент был составлен каталог, скажем Рљ1, включающий, РІСЃРµ отличные РѕС‚ него каталоги, РЅРµ содержащие ссылки РЅР° себя. РЎ созданием Рљ1 появился еще РѕРґРёРЅ каталог, РЅРµ содержащий ссылки РЅР° себя. Так как задача заключается РІ том, чтобы составить полный каталог всех каталогов, РЅРµ упоминающих себя, то очевидно, что Рљ1 РЅРµ является ее решением. РћРЅ РЅРµ упоминает РѕРґРёРЅ РёР· таких каталогов – самого себя. Включив РІ Рљ1 это упоминание Рѕ нем самом, получим каталог Рљ2. Р’ нем упоминается Рљ1, РЅРѕ РЅРµ сам Рљ2. Добавив Рє Рљ2 такое упоминание, получим РљР—, который опять-таки РЅРµ полон РёР·-Р·Р° того, что РЅРµ упоминает самого себя. Рдалее без конца.