Логические аксиомы Фреге имеют общий вид «для всех… если… то». Например, одна из аксиом выглядит так: «для всех p, если не (не-р), то р»[126]. В целом эта аксиома гласит, что если утверждение, противоречащее рассматриваемому, ложно, то само утверждение истинно. Например, если утверждение, что вам не надо останавливать машину на красный сигнал светофора, ложно, то вам совершенно точно надо останавливать машину на красный сигнал светофора. Чтобы в полной мере развить логический «язык», Фреге дополнил набор аксиом очень важным новым инструментом. Он заменил традиционный «субъектно-предикатный» стиль классической логики понятиями, позаимствованными у математической теории функций. Позволю себе краткое объяснение. Когда математическое выражение записывают как f (x) = 3x + 1, это означает, что f – это функция переменной x, а значение этой функции можно получить, умножив значение переменной на 3 и прибавив к результату 1. Фреге определил свои так называемые концепты как функции. Например, предположим, что вы хотите обсудить концепт «ест мясо». Этот концепт будет символически описан функцией F (x), и значение этой функции будет «истина», если x – лев, и «ложь», если x – олень. Если речь идет о числах, то концепт (функция) «меньше 7» пометит все числа, равные и больше 7, как «ложь», а все числа меньше 7 – как «истину». Фреге называл объекты, для которых тот или иной концепт принимал значение «истина», «подпадающими под» этот концепт.
Как я уже отметил, Фреге был убежден, что любое утверждение, имеющее отношение к натуральным числам, можно познать и вывести исключительно на основе логических определений и законов. Подобным же образом он начал свое описание темы натуральных чисел, не требуя никакого априорного понимания идеи «числа». Например, на логическом языке Фреге два концепта равномощны (то есть с ними ассоциируется одно и то же число), если есть взаимно однозначное соответствие между объектами, «подпадающими под» один концепт, и объектами, «подпадающими под» другой. То есть крышки от мусорных баков равномощны самим мусорным бакам (если у каждого бака есть крышка), и это определение не требует никакого упоминания о числах. Затем Фреге предлагает интереснейшее логическое определение числа 0. Представьте себе концепт F, который по определению «не тождествен самому себе». Поскольку любой объект должен быть тождествен самому себе, то под концепт F не подпадают никакие объекты. Иначе говоря, F (x) – ложь для любого объекта x. Привычное всем нам число нуль Фреге определил как «мощность концепта