Мы не останавливаемся на второй известной математической теории числа — на теории Дедекинда[164] — потому, что она занимает промежуточное место между теориями фрегевского типа и теорией, выводящей число из идеи порядка или отношения, и более вразумительно и философски ясно выраженной в учении о числе, развитом Г. Ф. Липпсом и Наторпом[165]. Рассмотрим ее в превосходном изложении Наторпа, в котором эта теория высказана с наибольшей зрелостью и продуманностью.
2. Число, в качестве категории, вытекающей из чистого мышления, опирается на основное свойство мышления, рассматриваемого с его логической стороны·. на полагание связи (Setzen von Beziehung); связь эта («синтетическое единство» Канта) есть единство моментов обособления и объединения, и потому есть связь двух раздельных терминов, причем термины не даны вне самой связи, а именно ею и полагаются; термины эти логически различаются между собой, как логически предшествующий и последующий члены. Оба члена, с одной стороны, разделены и исключают друг друга, и, с другой стороны, приурочены друг к другу и в этом смысле совместно образуют единство, т. е. в новой связи могут играть совместно роль одного члена, чем дано понятие нового, второго «одного»; и точно так же противочлен первой связи может в иной связи играть роль первого члена. Мы получаем, таким образом, незамкнутый ряд, в котором каждый элемент может в отношении последующего быть первым членом, и в отношении предыдущего — противочленом, и точно так же быть частью объемлющего единства (из двух или более терминов) и, следовательно, с другой стороны — единством частей. В этом уже даны необходимые предпосылки для порядкового и количественного числа: последовательное отношение члена кпротивочлену дает ряд «первый, второй, третий..», тогда как в отношении самой связи каждый из членов есть «один» и часть объемлющего единства («двух», «трех» и т. д.).[166]
Это понимание числа с замечательной последовательностью и логическим изяществом применяется Наторпом для всех основных числовых понятий современной математики. Эти детальные проблемы философии арифметики нас не касаются; мы должны только коснуться представленного Наторпом объяснения сложения, так как оно существенно дополняет его теорию. Логически ряд чисел определен порядком их связи так, что каждое число есть логический уникум, и что ряд 1,2,3,4… остаетсяединственным. Но что значит в таком случае 1 + 1=2? Откуда здесь берется вторая единица, если каждое число как таковое существует лишь в единственном числе? Или как мы можем мыслить 3 + 2, если 3 в ряде чисел следует за 2 и мы обязаны после 3 мыслить только 4? Ответ Наторпа опирается на уяснение природы числа как отношения. 1 есть 1 в отношении предшествующего ему нуля; но это же полагание, в качестве исходной точки для своего последующего, есть О в отношении к 1. Поэтому 1 + 1 означает собственно
О 1
о 1,
а равенство 1+1 = 2 равнозначно пропорции 1 +1 = = 0 + 2, т. е. суждению·, «переход от 0 к 1 и затем от этой единицы, рассматриваемой, как 0, к новой единице эквивалентен переходу от 0 к 2». Точно так же 3 + 2 = 5 означает: если то, что в первом счете стояло на третьем месте, в новом счете будет принято за исходную точку (= О) и от него отсчитано 2, то итог последнего счета будет эквивалентен простому счету от О до 5.[167]
165
Natorp. Die logischen Grundlagen der exacten Wissenschaften. 1910. Наторп ссылается на исследование Г. Φ. Липпса (Lipps G. F. Mythenbildung und Erkenntniss, 1907; ср. его же: Untersuchungen: uber die Grundlagen der Mathematik, Philos. Studien, 9—11, 14) и признает себя в общем солидарным с ним, однако, как нам думается, недостаточно оценивает значение Липпса как родоначальника принятой им теории.