Логика. Элементарный курс. Учебное пособие | страница 9
Итак, множество всех множеств, не являющихся собственными элементами, есть свой элемент в том и только том случае, когда оно не является таким элементом. Это явное противоречие. И получено оно на основе самых правдоподобных предположений и с помощью бесспорных как будто шагов.
Противоречие говорит о том, что такого множества просто не существует. Но почему оно не может существовать? Ведь оно состоит из объектов, удовлетворяющих чётко определённому условию, причём само условие не кажется каким-то исключительным или неясным. Если столь просто и ясно заданное множество не может существовать, то в чём, собственно, заключается различие между возможными и невозможными множествами? Вывод о несуществовании рассматриваемого множества звучит неожиданно и внушает беспокойство. Он делает наше общее понятие множества аморфным и хаотичным, и нет гарантии, что оно не способно породить какие-то новые парадоксы.
Парадокс Рассела замечателен своей крайней общностью. Для его построения не нужны какие-либо сложные технические понятия, как в случае некоторых других парадоксов, достаточно понятий «множество» и «элемент множества». Но эта простота как раз и говорит о его фундаментальности: он затрагивает самые глубокие основания наших рассуждений о множествах, поскольку говорит не о каких-то специальных случаях, а о множествах вообще.
Другие варианты парадокса
Парадокс Рассела не имеет специфически математического характера. В нём используется понятие множества, но не затрагиваются какие-то особые, связанные именно с математикой его свойства.
Это становится очевидным, если переформулировать парадокс в чисто логических терминах.
О каждом свойстве можно, по всей вероятности, спрашивать, приложимо оно к самому себе или нет.
Свойство быть горячим, например, неприложимо к самому себе, поскольку само не является горячим; свойство быть конкретным тоже не относится к самому себе, ибо это абстрактное свойство. Но вот свойство быть абстрактным, являясь абстрактным, приложимо к самому себе. Назовём эти неприменимые к самим себе свойства неприложимыми. Применимо ли свойство быть неприложимым к самому себе? Оказывается, неприложимость является неприложимой только в том случае, если она не является таковой. Это, конечно, парадоксально.
Логическая, касающаяся свойств разновидность антиномии Рассела, столь же парадоксальна, как и математическая, относящаяся к множествам, её разновидность.
Рассел предложил также следующий популярный вариант открытого им парадокса.