Был ли Бог математиком?

Логические аксиомы Фреге имеют общий вид «для всех… если… то». Например, одна из аксиом выглядит так: «для всех p, если не (не-р), то р»[126]. В целом эта аксиома гласит, что если утверждение, противоречащее рассматриваемому, ложно, то само утверждение истинно. Например, если утверждение, что вам не надо останавливать машину на красный сигнал светофора, ложно, то вам совершенно точно надо останавливать машину на красный сигнал светофора. Чтобы в полной мере развить логический «язык», Фреге дополнил набор аксиом очень важным новым инструментом. Он заменил традиционный «субъектно-предикатный» стиль классической логики понятиями, позаимствованными у математической теории функций. Позволю себе краткое объяснение. Когда математическое выражение записывают как

f (x) = 3x + 1, это означает, что f – это функция переменной x, а значение этой функции можно получить, умножив значение переменной на 3 и прибавив к результату 1. Фреге определил свои так называемые концепты

как функции. Например, предположим, что вы хотите обсудить концепт «ест мясо». Этот концепт будет символически описан функцией F (x), и значение этой функции будет «истина», если x – лев, и «ложь», если x – олень. Если речь идет о числах, то концепт (функция) «меньше 7» пометит все числа, равные и больше 7, как «ложь», а все числа меньше 7 – как «истину». Фреге называл объекты, для которых тот или иной концепт принимал значение «истина», «подпадающими под» этот концепт.

Как я уже отметил, Фреге был убежден, что любое утверждение, имеющее отношение к натуральным числам, можно познать и вывести исключительно на основе логических определений и законов. Подобным же образом он начал свое описание темы натуральных чисел, не требуя никакого априорного понимания идеи «числа». Например, на логическом языке Фреге два концепта равномощны (то есть с ними ассоциируется одно и то же число), если есть взаимно однозначное соответствие между объектами, «подпадающими под» один концепт, и объектами, «подпадающими под» другой. То есть крышки от мусорных баков равномощны самим мусорным бакам (если у каждого бака есть крышка), и это определение не требует никакого упоминания о числах. Затем Фреге предлагает интереснейшее логическое определение числа 0. Представьте себе концепт F, который по определению «не тождествен самому себе». Поскольку любой объект должен быть тождествен самому себе, то под концепт

F не подпадают никакие объекты. Иначе говоря, F (x) – ложь для любого объекта x. Привычное всем нам число нуль Фреге определил как «мощность концепта F». Затем он определил все натуральные числа в терминах сущностей, которые назвал объемами (Frege 1884). Объем концепта – это класс всех объектов, подпадающих под этот концепт. Человеку, далекому от логики как науки, переварить такое определение, пожалуй, сложновато, но на самом деле все очень просто. Например, объем концепта «женщина» – это класс всех женщин. Обратите внимание, что объем класса «женщина» сам по себе не женщина.

Вероятно, вам интересно, как это абстрактное логическое определение помогает определить, скажем, число 4. По Фреге, число 4 – это объем (или класс) всех концептов, под которые подпадают четыре объекта. Так что к этому классу, а следовательно, к числу 4, принадлежит и концепт «быть лапкой песика по имени Снупи», и концепт «прабабушка Готлоба Фреге».

Программа Фреге произвела настоящую сенсацию, однако были у нее и серьезные недостатки. С одной стороны, идея применять концепты – самую суть мышления – к построению арифметики была просто гениальной. С другой – Фреге не разглядел в собственной системе понятий весьма существенные противоречия. В частности, доказано, что одна из его аксиом, так называемый «Основной закон V», ведет к противоречию и поэтому безнадежно ошибочна. Сам по себе закон довольно невинен: он гласит, что объем концепта F идентичен объему концепта G тогда и только тогда, когда под концепты F и G подпадают одни и те же объекты. Однако 16 июня 1902 года разорвалась бомба: Бертран Рассел (рис. 49) написал Фреге письмо, где привел некий парадокс, доказывавший, что Основной закон V приводит к противоречию. Судьба распорядилась так, что письмо Рассела пришло как раз тогда, когда второй том «Основных законов арифметики» готовился к печати. Потрясенный Фреге поспешил сделать к рукописи откровенное примечание: «Едва ли для ученого что-то может быть неприятнее, чем обнаружить, что самые основы его рассуждений рухнули, когда работа уже завершена. Именно в такое положение поставило меня письмо мистера Бертрана Рассела, когда книга была уже практически в печати». Самому же Расселу Фреге, как человек благородный, написал: «Открытое Вами противоречие стало для меня величайшей неожиданностью – и вынужден признаться, что я даже испугался, поскольку оно сотрясло самые основы, на которых я намеревался выстроить арифметику».