Алексей Лосев - Хаос и структура

Итак, суждение, несомненно, есть диалектический синтез смыслового перво–акта и самого акта, синтез перво–принципа и самого принципа, над–категориальной смысловой неразличимости и самой категории, самого понятия. Суждение есть положение перво–акта как предиката (или одного из предикатов) в себе же самом как субъекте, т. е. синтез перво–акта с самим же собою, но, разумеется, уже развитой синтез (а не тот неразличимый, которым является сам перво–акт). Числовые суждения потому тоже суть та сфера, которая диалектически синтезирует числовой перво–принцип с самим числом как принципом или как понятием.

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

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

А именно, будем брать это определение в буквальном смысле. Будем понимать аксиому как суждение, очевидность которого не нуждается в доказательствах, но возникает из самого же суждения. Мы ведь так и определяли аксиому. Аксиома есть число как суждение, т. е. она не есть ни число как понятие, ни число как умозаключение. Если бы она в своей очевидности нуждалась в умозаключениито уже нельзя было бы сказать, что она «не требует доказательств». Однако аксиома есть именно числовое суждение. С другой стороны, для аксиомы мало и одной категориальной очевидности. Категория сама по себе ничего не утверждает; аксиома же есть прежде всего некоторое утверждение. Поэтому очевидность ее есть именно очевидность категориального утверждения. Это–то и подчеркивается тем, что мы находим на первых страницах учебников, где аксиома понимается как «истина, не требующая доказательства».

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

I. Числовой перво–принцип.

II. Число как принцип (как категория, как понятие).

III. Основные аксиомы числа (число как суждение).

Нами обследованы две первые области. Теперь, найдя диалектическое место для третьей области и исследовавши сущность самой аксиоматики, мы можем перейти и к детальному рассмотрению всей этой математически–аксиоматической области.

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

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

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