Всё началось с проекта по избавлению от лишнего.
Бертран Рассел и Альфред Норт Уайтхед хотели показать, что математика — это не некая мистическая сущность, отдельная от человеческого мышления. Это просто логика, приукрашенная. Их ответом на эту задачу стала Principia Mathematica (Принципия Математики) — трехтомный труд, опубликованный в период с 1910 по 1913 год.
Идея была достаточно простой на бумаге: взять базовые понятия математики и определить их, используя только логические термины. Никаких «чисел». Никаких «квадратных корней». Только чистая логика. Пропозиции. Классы. Если бы удалось свести всё к этим строительным блокам, это доказало бы то, что философы называют логизмом.
Рассел продвигал эту точку зрения с 1903 года в своей работе The Principles of Mathematics (Принципы математики). Он утверждал, что несколько простых аксиом — тех, которые не опираются на специфические математические понятия, — могут породить всю математику целиком.
Затем он уперся в стену.
В большую стену.
Дилемма парикмахера
Рассел обнаружил противоречие. Оно находилось в самом сердце логической системы, которую он пытался построить.
Сейчас мы называем это парадоксом Рассела.
Вот в чем проблема. Некоторые классы являются элементами самих себя. Класс всех классов? Да. Он содержит сам себя. Класс всех людей? Нет. Вы не являетесь классом-человеком.
Таким образом, логически вы должны иметь возможность построить класс всех классов, которые не являются элементами самих себя.
Назовем этот класс Классом R.
Теперь задайте вопрос: является ли Класс R элементом самого себя?
Если да, то по определению он не должен быть элементом самого себя.
Если нет, то он соответствует критериям для вхождения в класс. Значит, он является элементом самого себя.
Это петля. Узел, который невозможно развязать.
Подумайте о деревенском парикмахере. Правило таково: он бреет всех, кто не бреет себя сам.
Бреет ли парикмахер себя сам?
Если бреет, он нарушает правило.
Если не бреет, он должен побрить себя.
Нет последовательного ответа.
Сначала Рассел считал это глупым краевым случаем. Затем он понял, что это означает трещину во всем его фундаменте. Он написал об этом Готлобу Фреге. Фреге, немецкий математик, чьи ранние работы Рассел признавал, ответил двумя словами: «арифметика шатается».
Исправление сломанного фундамента
Нельзя строить небоскреб на провале. Расселу и Уайтхеду пришлось залатать эту дыру.
Они ввели понятие логических типов.
Правило жесткое. Множество определенного типа T может содержать только элементы типа ниже, чем T. Вы не можете поместить корзину в корзину того же размера. Вам нужно создать новую, более широкую категорию для контейнера.
Так возникла «простая» теория типов. Она устранила непосредственное противоречие.
Но они беспокоились, что существуют и другие способы обмануть систему. В частности, они беспокоились о самоотсылающих определениях. Что если вы определяете объект с помощью кванторов («все» или «некоторые»), которые включают сам этот объект?
Рассел назвал это принципом порочного круга. Сейчас мы называем это непредикативным определением. Чтобы предотвратить это, они еще больше усложнили структуру типов. Они создали «рамифицированную» теорию типов.
Это сработало. Парадоксы исчезли.
Но исправление обошлось дорого. Чтобы доказать, что стандартная математика все еще может быть выведена из этой сложной системы, Расселу и Уайтхеду пришлось добавить аксиому редукции. Эта аксиома фактически свела на нет иерархию, которую они только что построили, чтобы сохранить согласованность системы.
Рамифицированная теория избегала противоречий, таких как парадокс Рассела, но она (и остается) чрезвычайно сложной для понимания.
Стоило ли оно того?
Principia Mathematica — это титаническое усилие. Формальные доказательства в этих трех томах? Они надежны. Никто больше не оспаривает их математическую обоснованность.
Но философская цель? Мечта о логизме?
Она все еще обсуждается.
Доказывает ли это, что математика — это логика? Только если вы принимаете теорию типов как «логическую истину». И многие логики в этом сомневаются. Это кажется скорее заплаткой, чем естественной истиной.
Затем появился Курт Гёдель.
В 1931 году австрийский логик доказал свою первую теорему о неполноте. Он показал, что никакая единая логическая теория не может вывести всю математику. Любая согласованная система арифметики неизбежно неполна. Всегда будут существовать истинные утверждения, которые система не может доказать.
Таким образом, Principia Mathematica не достигла своей главной цели. Она не смогла охватить всё.
Но называть её провалом — значит упускать суть.
Её влияние на математическую логику и философию математики огромно. Она заставила эту область столкнуться с собственными пределами. Она прояснила, что мы подразумеваем под согласованностью, типами и редукцией.
Фундамент не удержал весь дом. Но он показал нам, где именно находятся трещины. И это редко бывает потраченным впустую усилием.
Что вы думаете? Можем ли мы когда-либо действительно свести область изучения к её самым голым логическим основам, или всегда что-то остается лишним?
Как теория описаний Рассела изменила анализ языка
«Принципы математики» (Principia Mathematica) сделали больше, чем просто кодифицировали логику. Они дали философам инструмент, в котором они даже не осознавали нужды. Этот инструмент — теория описаний. Рассел ввёл её ранее, в 1905 году, в своей статье «О обозначении» (On Denoting). Цель была простой, но радикальной: перевести предложения с определёнными описаниями в выражения без них.
Возьмём фразу «нынешний король Франции». Грамматически она выглядит как имя. Она функционирует как подлежащее. Но нынешнего короля Франции не существует. Это создаёт логический хаос. Метод Рассела рассеивает эту неловкость. Он устраняет видимость обращения к несуществующим вещам.
Изначально это было заплаткой для его собственной теории логики. Он пытался разрешить противоречия в своей работе. Исправление оказалось настолько успешным, что вышло за пределы математики. Теперь его используют даже философы, которые ненавидят математику.
Главный вывод глубже, чем сама конкретная техника. Рассел показал, что обычный язык скрывает истину. Грамматические структуры не тождественны логическим формам. Они часто скрывают то, что на самом деле утверждается. Это разделение остаётся его самым долговечным вкладом.
«Грамматические структуры обычного языка отличны от и часто скрывают истинные „логические формы“ выражений».
Это понимание изменило то, как мы читаем философию. Оно заставило нас заглянуть за кулисы синтаксиса. Мы перестали принимать предложения на веру. Мы начали задаваться вопросом, что они на самом деле утверждают. Этот сдвиг продолжает формировать дискуссии и сегодня.
Для студентов логики урок носит практический характер. Не доверяйте только грамматике. Ищите лежащую в основе логическую форму. Этот навык применим далеко за пределами философии. Он помогает в праве, в программировании, в повседневных спорах. Мир полон скрытых структур. Умение видеть их — это суперсила.
