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