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

Парадокс Рассела (также известный как парадокс Рассела — Уайтхеда, парадокс теории множеств) — это логическое противоречие, обнаруженное британским философом и логиком Бертраном Расселом в 1901 году. Парадокс демонстрирует, что наивная теория множеств, основанная на интуитивном принципе «любое свойство определяет множество», приводит к неразрешимому противоречию. Он ставит под вопрос существование «множества всех множеств, которые не содержат себя в качестве элемента».

Суть парадокса

Парадокс формулируется следующим образом. Рассмотрим множество \( R \), которое определяется как «множество всех множеств, не являющихся собственными элементами». Иными словами, \( R \) состоит из тех множеств \( x \), для которых \( x \notin x \). В наивной теории множеств такое определение кажется допустимым, так как оно задаётся чётким свойством.

Возникает вопрос: принадлежит ли само множество \( R \) самому себе? Если \( R \in R \), то по определению \( R \) должно удовлетворять условию \( R \notin R \), что приводит к противоречию. Если же \( R \notin R \), то по определению \( R \) должно быть включено в \( R \), то есть \( R \in R \), что также является противоречием. Таким образом, обе возможности ведут к логическому тупику, что и составляет суть парадокса.

История открытия

Парадокс был открыт Бертраном Расселом в ходе его работы над «Основаниями математики» (Principia Mathematica), написанными совместно с Альфредом Нортом Уайтхедом. В 1901 году Рассел, изучая работы Георга Кантора по теории множеств и «Законы мышления» Джорджа Буля, заметил, что канторовское понятие «множества всех множеств» ведёт к противоречию. Первоначально он сообщил о парадоксе в частной переписке с Готлобом Фреге, чья «Исчисление понятий» (Begriffsschrift) и «Основные законы арифметики» (Grundgesetze der Arithmetik) основывались на наивной теории множеств. Письмо Рассела, отправленное в 1902 году, заставило Фреге признать, что его система логики содержит неустранимое противоречие. Фреге был вынужден добавить к своему труду постскриптум, где отметил, что «самое неприятное, что может случиться с учёным, — это когда после завершения работы рушится её фундамент».

Парадокс был опубликован Расселом в 1903 году в книге «Принципы математики» (The Principles of Mathematics). Впоследствии он стал центральным элементом дискуссий о логических основаниях математики.

Формальная запись

В терминах наивной теории множеств парадокс можно записать так:

\[ R = \{ x \mid x \notin x \} \]

Тогда: \[ R \in R \iff R \notin R \]

Это эквивалентно утверждению \( \phi \iff \neg \phi \), что является классическим логическим противоречием.

Связь с другими парадоксами

Парадокс Рассела тесно связан с более ранними логическими парадоксами, такими как парадокс лжеца («Это утверждение ложно») и парадокс брадобрея (в версии, где брадобрей бреет всех, кто не бреется сам). Рассел сам приводил «парадокс брадобрея» как упрощённую иллюстрацию: «В деревне есть брадобрей, который бреет всех тех, кто не бреется сам. Бреет ли он сам себя?» — ответ приводит к аналогичному противоречию. Однако Рассел подчёркивал, что парадокс брадобрея — лишь бытовая аналогия, а математический парадокс касается строгих логических конструкций.

Решения и последствия

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

1. Теория типов (Рассел и Уайтхед)

В «Principia Mathematica» Рассел и Уайтхед предложили теорию типов, согласно которой объекты делятся на иерархические уровни (типы). Множество может содержать только элементы более низкого типа, чем оно само. Определение \( R \) как «множества всех множеств, не содержащих себя» становится невозможным, так как оно нарушает иерархию типов. Это устраняет парадокс, но делает систему громоздкой.

2. Аксиоматическая теория множеств Цермело — Френкеля (ZFC)

В стандартной аксиоматике ZFC (Цермело — Френкель с аксиомой выбора) вводится аксиома выделения (или аксиома подмножества): из существующего множества можно выделить подмножество элементов, удовлетворяющих заданному свойству. Само по себе свойство не порождает множество. Таким образом, \( R \) не может быть построено, так как для него нет исходного множества. Дополнительно, аксиома регулярности (фундирования) запрещает существование множеств, содержащих себя в качестве элемента (\( x \in x \)), что делает парадокс невозможным.

3. Теория множеств фон Неймана — Бернайса — Гёделя (NBG)

В этой системе различаются множества и классы. Свойство \( x \notin x \) определяет класс, но не обязательно множество. Класс \( R \) может быть определён, но он является собственным классом (не множеством), и вопрос о его принадлежности самому себе не имеет смысла в рамках теории.

Значение для математики и логики

Парадокс Рассела стал одним из ключевых событий, приведших к кризису оснований математики в начале XX века. Он показал, что интуитивные представления о множествах и свойствах могут быть обманчивы, и потребовал пересмотра логических оснований математики. Парадокс стимулировал развитие аксиоматического метода, теории типов, а также повлиял на работы Давида Гильберта, Курта Гёделя и других математиков. В частности, теорема Гёделя о неполноте (1931) показала, что любая непротиворечивая формальная система, способная выразить арифметику, содержит неразрешимые утверждения, что отчасти перекликается с идеями Рассела.

Интересные факты

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

Источники

• Рассел Б. «Принципы математики» (The Principles of Mathematics), 1903.
• Уайтхед А. Н., Рассел Б. «Principia Mathematica», 1910–1913.
• Фреге Г. «Основные законы арифметики» (Grundgesetze der Arithmetik), 1893–1903.
• Цермело Э. «Исследования по основаниям теории множеств», 1908.
• Френкель А. А. «Введение в теорию множеств», 1919.
• Гёдель К. «О формально неразрешимых предложениях Principia Mathematica и родственных систем», 1931.