4. а) Чем же теперь заполнен этот аксиоматический путь? Его тоже можно было бы сначала описать чисто фактически, не вникая во всю сложность диалектических связей. Однако господствующие здесь предрассудки так велики, что никакое простое описание без всего потребного здесь логического аппарата никем не примется здесь на веру. Можно было бы, напр., исходить из чисто геометрической аналогии. Всякому ясно, что если вместо одной точки мы возьмем две различных точки, то тем самым мы получим какую–то линию, и прежде всего прямую, и даже определенный ее отрезок. Всякому ясно, что если вместо двух точек взять три различные точки не на одной прямой, то мы получим плоскость. Далее мы также получим тело (в связи с тремя измерениями) и разные структуры телесности (в связи с большим числом измерений). Однако не всякому ясно, что перейти от точки к прямой — это значит затратить[106] категорию самотождественного различия, и если невозможно отрицать, что для прямой необходимы по крайней мере две различных точки, то большинство, конечно, не поймет, как это они должны отождествляться, хотя и абсолютно очевидно[107], что между концами отрезка нет ровно никакого перерыва.

Следовательно, даже аналогия с геометрией ничего не скажет тому, кто глух к диалектике. А между тем логическое назревание категорий происходит как раз в том смысле, в каком назревает геометрическая фигура по мере перехода точки к образованиям с тем или иным числом измерений. В диалектике мы проходим ровно такие же этапы логического развития, как и в эволюции геометрической фигуры от точки до многомерного образования. Здесь действуют те же самые основные категории, создающие возможность мыслить ту или иную структуру. Ясно, что можно всячески подходить к этим вехам диалектического развития, но от этого подхода они нисколько не меняются. Мы можем, напр., описать этот путь при помощи диалектических триад, тетрад, пентад и пр.; можем сделать это даже при помощи диад, — напр., просто противопоставляя одну категорию другой, как прямая противополагается точке, плоскость — прямой и т. д. Можно и совсем отбросить всякую диалектическую манеру выражаться; и от этого сама диалектика, залегающая в основе математического бытия, конечно, нисколько не пострадает. Но мы изберем наиболее педантический, но зато наиболее простой и очевидный путь. Это путь триад.

b) Очень ясно этот путь аксиоматики от начала к концу рисуется при помощи триад так. Что такое система первоначальных элементов, пояснения не требует. Будем считать такую систему за исходный пункт аксиоматической диалектики. Тогда ее отрицанием, или инобытием, окажется ее переход в новую форму при помощи тех или иных преобразований. Этим инобытием и будут самые преобразования. Но полученный после этих преобразований результат есть тоже некоторая система. Этим самым мы отрицаем наше отрицание и возвращаемся к тезису, т. е. совершаем обычный диалектический переход. Получается система систем—диалектический синтез. В арифметике системой актов полагания будет само число, но — уже готовое и сформированное, цельное арифметическое число. В геометрии это есть фигура, в теории множеств — тип и в теории вероятностей — исчисленная вероятность. Этот общий аксиоматический тезис можно также назвать и совокупностью. В антитезисе мы получим разного рода преобразования, и прежде всего то, что называется действиями, или операциями. И в синтезе — метризованную систему, или совокупность, или же систему систем, дающую, смотря по характеру математической области, ту или иную метрическую систему чисел, пространства, множества и вероятностей.

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

Так из единого перво–принципного корня вырастает все диалектическое дерево математической аксиоматики.

IV. ФУНКЦИЯ И СОСЕДНИЕ КАТЕГОРИИ (ЧИСЛО КАК СУЖДЕНИЕ, УМОЗАКЛЮЧЕНИЕ, ДОКАЗАТЕЛbСТВО И ВЫРАЖЕНИЕ)

§ 75. |Суждение и определение].

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

[1 ]. Здесь, однако, полезно вспомнить первые общедиалектические категории, которые являлись и еще много раз будут являться для нас руководящей нитью для нашей системы. Именно, припомним, что бытие, истекающее из перво–бытия и противостоящее инобытию, синтезируется с ним в становление, а становление, противополагаясь и синтезируясь со своим собственным инобытием, порождает ставшее или наличное бытие, факт и в дальнейшем — выражение, энергийно–смысловое выражение. Эта элементарная диалектическая структура должна быть проведена и в отношении всего понятия числа еще до перехода к конкретно–математическим наукам. До сих пор, как сказано, мы разбирали только три первых момента этой структуры— перво–принцип, понятие, и суждение. Что же такое тут будет умозаключение, если его понимать как переход от смыслового становления к смысловому ставшему? Здесь нужны, однако, предварительные разъяснения и условия.

Чем, в сущности, занималась аксиоматика и что такое аксиома? До сих пор мы попросту говорили, что числу, как суждению, соответствует аксиома. Сейчас же этот вопрос необходимо расчленить, так как иначе не будет понятен переход к умозаключению.

Именно, суждение есть, как мы знаем, положенное понятие. Положить, или утвердить, — это значит обвести границей, определить. Строго говоря, в том, что мы до сих пор называли суждением, самым важным был именно этот момент определения. Аксиома, строго говоря, и есть не столько суждение вообще, сколько именно определение. Ведь бытие и инобытие, синтезируясь в становление, дают еще более ранний синтез, т. е. предшествующий становлению и являющийся его предусловием, это сама граница, определенность, определенное бытие. Мы знаем, что тот и другой синтез могут выдвигаться по мере надобности. Так вот, говоря о суждении, дедуцируя аксиоматику, мы еще не имели нужды в том расчленении и могли говорить о суждении, не обращая особенного внимания на то, есть ли это действительно суждение вообще или это специально определение.

Суждение отличается от определения так, как становление отличается от определенного бытия. В определении суждение есть положенное понятие плюс его исчерпывающее раскрытие; т. е. иоложенность не вообще понятия, но понятия во всем его смысловом содержании. Определить что–нибудь — это и значит исчерпать все его «признаки». Для суждения же этого вовсе не требуется. Суждение дает только голую положенность понятия — независимо от раскрытия и исчерпания всего его содержания. Содержание остается нераскрытым; содержание мыслится — каким угодно становящимся, и акт нолагания нонятия[108] скользит но этому полю инобытия — как угодно далеко. Если говорится: «Иван спит», то ведь таких предицирова–ний может быть сколько угодно, и тут не ставится никаких целей исчерпания того смыслового содержания, которое зафиксировано в слове «Иван».

Итак, если иметь в виду определенность положенного понятия, то мы получаем не суждение вообще, но определение. А если иметь в виду главным образом чистую положенность понятия, то мы получаем суждение.