В этой части фундаментальных мемуаров Бертран Рассел подробно восстанавливает историю создания монументального труда Principia Mathematica, над которым он работал совместно с Альфредом Нортом Уайтхедом. Автор ставит перед собой амбициозную задачу: доказать, что вся чистая математика выводится из чисто логических предпосылок и не требует никаких дополнительных допущений. Этот подход становится прямым вызовом традиционной философии Канта и устоявшимся математическим взглядам того времени. Рассел показывает, как скрупулезный совместный труд двух ученых продвигался от разрозненных набросков к единой логической системе.
Главным поворотным моментом в исследовании становится открытие разрушительного логического парадокса, известного теперь как парадокс Рассела. Обнаружив противоречие в кантовском доказательстве относительно кардинальных чисел, автор понимает, что традиционная логика дает серьезный сбой. На примере простого класса классов, которые не являются членами самих себя, Рассел демонстрирует неизбежность тупика, когда каждая альтернатива ведет к противоположному результату. Этот кризис заставляет переосмыслить сами основания науки, в то время как современники реагируют на проблему по-разному: от злорадного скептицизма Пуанкаре до глубокого разочарования Готлоба Фреге, отказавшегося от дальнейших изысканий.
В поисках выхода из тупика Рассел формулирует три жестких условия для будущего решения: устранение противоречий, сохранение математического массива и опора на логический здравый смысл. Не найдя готовых ответов у предшественников, он в одиночку ведет поиски и приходит к созданию знаменитой теории типов. Автор объясняет общие принципы этого метода на интуитивных примерах из повседневной жизни, постепенно переходя к строгому логическому языку. По его мнению, именно иерархия суждений и запрет на рефлексивную самоотнесенность позволяют успешно блокировать разрушительные парадоксы.
Важнейшей частью размышлений становится разработка теории дескрипций, впервые изложенной в программной статье «О денотации». Рассел четко разделяет собственные имена и описательные фразы, решая давние проблемы философии языка. На примере разницы между именем «Скотт» и дескрипцией «автор Веверлея» он доказывает, что грамматический субъект предложения далеко не всегда указывает на реально существующий объект. Это открытие позволяет по-новому взглянуть на природу существования и избавляет логику от мнимых сущностей вроде платоновских миров для несуществующих вещей.
В финале автор подводит итог многолетним интеллектуальным усилиям, сформировавшим облик современной аналитической философии. Несмотря на критику со стороны научного сообщества и сопротивление коллег, Рассел отстаивает необходимость радикального пересмотра логического аппарата. Созданные им теория типов и теория дескрипций предстают не просто техническими приемами, а единственным надежным инструментом для наведения порядка в основаниях человеческого мышления.
