Жар холодных числ и пафос бесстрастной логики

Построение исчисления предикатов, в которое исчисление высказываний входит как часть, составляет выдающуюся заслугу Фреге в логике. Исчисление высказываний есть логическая теория, средствами которой анализ высказываний может доводиться только до элементарных высказываний (типа «Треугольник имеет три угла» или «Вода кипит при 50 градусах Цельсия»), истинностное значение которых можно установить непосредственно — исходя из определения понятий («треугольник», «угол») или путем обращения к наблюдению или эксперименту. Но уже такое простое рассуждение, как вывод: «Все люди смертны, Сократ —человек, следовательно, Сократ смертен», в котором индивидуальный объект подводится под общее положение, не укладывается в схемы этого исчисления.

Для формального анализа этой и подобных конструкций нужна более мощная логическая система, система, некоторые выражения которой можно было бы интерпретировать как предикаты — свойства предметов («быть смертным», «быть натуральным числом», «быть человеком» и т. п.) и отношения между предметами («любит», «больше», «лежит между» я т. п.) — и в которой имеются средства для «переработки» предикатов в высказывания (передаваемые в разговорном языке такими выражениями, как «всякий», «каждый», «все», «некоторые», «существует» или «существуют» и т. п.; так, присоединяя выражение «существуют» к предикату «натуральное число, большее пяти», мы получаем высказывание «Существуют натуральные числа, большие пяти»).

Книга Фреге «Запись в понятиях» открыла новую главу в истории логической формализации. В ней впервые было дано дедуктивное построение логики как системы, определяемой аксиомами и правилами вывода. В этой книге содержалось изложение разработанного автором искусственного логического языка. Впоследствии, внеся в него некоторые изменения, Фреге использовал его в своей главной работе «Основные законы арифметики».

В этих трудах Фреге формализовал логику предикатов, которая до этого оставалась в основном в компетенции традиционной логической теории, пользующейся общеязыковыми средствами (это приводило к тому, что научно освоенной оказывалась лишь очень ограниченная часть логики свойств и отношений). В дальнейшем мы столкнемся ближе с языком исчисления предикатов и законами получения верных (доказуемых) формул (теорем) этого исчисления.

В связи с именем Фреге часто говорят о «логицизме» — одном из трех главных направлений философии математики начала нашего века, провозгласившем, что математика есть часть логики. Действительно, считая арифметику фундаментом математического анализа, Фреге полагал, что если ее удастся обосновать» то будет обоснована значительная часть математики. При этом обоснование Фреге понимал как выражение через что-то более надежное, не вызывающее сомнений. Этим более надежным была для Фреге логика.

Установка Фреге на чисто логическое обоснование математики лежала вполне в русле господствовавшего в тогдашней математике теоретико-множественного мировоззрения. Это объясняется тем, что между логикой, принципы которой были заложены Аристотелем — и которая называется классической логикой — и теорией множеств (теорией классов объектов) существует глубокая связь и далеко идущий параллелизм.