Алексей Лосев - Хаос и структура
Еще необходимо обратить внимание на обычное определение аксиомы как очевидного положения, принимаемого без доказательств. Если из этого определения исключить аффективный тон, его можно считать достаточно точным. Аффектация же обычно слышится то в желании все свести на аксиомы и принизить логический аппарат математики, то в эмоциях, положительных или отрицательных, по поводу недоказуемости аксиом, то в ажиотаже относительно мнимой произвольности аксиом и пр. Вся эта чувствительная лирика мало приносит пользы как математике, так и диалектике. Поэтому исключить ее только полезно. Но тогда указанное популярное «определение» аксиомы неожиданно оказывается весьма пригодным и более точным, чем многие другие определения.
А именно, будем брать это определение в буквальном смысле. Будем понимать аксиому как суждение, очевидность которого не нуждается в доказательствах, но возникает из самого же суждения. Мы ведь так и определяли аксиому. Аксиома есть число как суждение, т. е. она не есть ни число как понятие, ни число как умозаключение. Если бы она в своей очевидности нуждалась в умозаключениито уже нельзя было бы сказать, что она «не требует доказательств». Однако аксиома есть именно числовое суждение. С другой стороны, для аксиомы мало и одной категориальной очевидности. Категория сама по себе ничего не утверждает; аксиома же есть прежде всего некоторое утверждение. Поэтому очевидность ее есть именно очевидность категориального утверждения. Это–то и подчеркивается тем, что мы находим на первых страницах учебников, где аксиома понимается как «истина, не требующая доказательства».
§ 34. Разделение всей общей теории числа и место аксиоматики в ней.Все наши категории, которые мы вывели раньше в общей теории числа, есть категории конститутивные для этого числа, т. е. те самые, без которых оно не может логически существовать. Все эти категории необходимы для смысловой конструкции числа и достаточны для нее. Значит, и суждения, возникающие на их основе, будут также для числа конститутивны, т. е. они будут необходимы и их будет достаточно для того, чтобы описать и диалектически построить число как суждение. Но тогда становится ясным, что эти–то суждения и есть числовые основоположения, основные аксиомы, те первичные и принципиальнейшие суждения, с которых начинается (логически начинается) математика как наука. Следовательно, если мы выделим из общесмыслового перво–принципа перво–принцип числовой и сосредоточимся вообще только на одной числовой сфере, то возникнут такие три области общей теории числа, связанные между собою как обычная диалектическая триада, как тезис, антитезис и синтез:
I. Числовой перво–принцип.
II. Число как принцип (как категория, как понятие).
III. Основные аксиомы числа (число как суждение).
Нами обследованы две первые области. Теперь, найдя диалектическое место для третьей области и исследовавши сущность самой аксиоматики, мы можем перейти и к детальному рассмотрению всей этой математически–аксиоматической области.
§ 35. Общая основа всех аксиом.Аксиоматика вытекает из единого принципа, и принцип этот есть функционирование числа как суждения. Каждая из диалектических категорий, из которых конструируется число, трактуется в этой плоскости как предикат общего числового субъекта. Отсюда и возникают эти основоположения о числе, которые обычно называют аксиомами. Относительно так получаемой аксиоматики необходимо заметить следующее.
Во–первых, доказательность и очевидность этих аксиом ничуть не больше, чем в тех положениях, которые вырастают на их основе. Вся математика, если ее строить так, как она строится в этом сочинении, т. е. чисто диалектически, одинаково состоит из суждений, возникших благодаря реализации соответствующих категорий. Иного ничего и не знает диалектика в этом своем состоянии, как только дедукцию категорий. Дедукция же потому и есть дедукция, что она дает положения, с логической необходимостью вытекающие из более общих положений. Поэтому какие бы математические суждения мы ни взяли, доказательность их с точки зрения диалектики совершенно одинаковая. Это все есть только реализация данной категории в суждении.
Во–вторых, разница между аксиомами и теоремами заключается только в том, что аксиомы суть первые логические построения, они предшествуют теоремам. Аксиомы есть реализация именно самых первых категорий, из которых вырастает число. И отсюда ясно, что граница между аксиомами и теоремами довольно зыбкая. Можно по–разному понимать, где кончаются первичные категории и начинаются вторичные. Мы — довольно–таки условно, хотя и не без обоснования, — остановились в предыдущем исследовании на категории энергии, считая го, что должно было бы быть выводимо дальше, уже вторичным и уже детализацией. Эта граница, конечно, могла бы быть отодвинута и дальше, и мы получили бы гораздо больше аксиом, чем в теперешнем случае.
В–третьих, не мешает знать, почему все–таки целесообразно ради конструирования числа как понятия остановиться именно на энергийно–выразительной стороне числа. Первые три диалектические момента числа, конечно, суть только весьма общая смысловая сфера. Тут сказано только то, что число есть некий раздельный в себе смысл, непрерывно становящийся. Этого мало и для всякой диалектики. Каждая вещь есть ведь не только смысл, хотя бы и становящийся, а первая диалектическая триада в нашем понимании есть нечто чисто смысловое. Каждая вещь есть еще именно вещь, факт, тело. Разумеется, число не может быть вещью в обычном смысле слова; оно строго отграничено от всего вещественно–качественного. Но это нисколько не мешает тому, чтобы эта категория вещи или факта осуществилась бы в недрах самого числа. При всей его чисто смысловой природе можно и необходимо различать в нем самом смысл и факт, идею и носитель этой идеи. Так вот, становящаяся едино–раздельная совокупность должна еще осуществиться как таковая, т. е. ее становление должно где–то иметь предел, оно должно остановиться и тем самым превратиться из неопределенно растекающегося смысла в устойчивый и данный в определенных границах факт. Поэтому ставшее в числе так же важно и конститутивно, как и становление. Без становления мы не имели бы в числе подвижной непрерывности, а без ставшего мы не имели бы в числе устойчивой прерывности. Можно ли мыслить число без моментов непрерывности и прерывности? Конечно, нет.
Следовательно, «ставшее», «факт», «вещь», или, как сказал бы Гегель, Dasein (наряду с Sein), является, несомненно, первичной категорией числа. Она первична в той же мере, в какой необходима категория факта для того, чтобы при обсуждении вещей мы не остались только с чисто смысловыми и отвлеченно–идеальными операциями.
Чего еще не хватает таким способом построенному числу? В нем есть смысл, идея, и в нем есть свой числовой факт, вещь. Сама собой напрашивается мысль, что всякая вещь не есть ведь просто нечто насквозь вещественное и совершенно никак не осмысленное. Если бы вещество было чистым веществом и не содержало бы в себе ровно никакой идеи и никакого смысла, такое вещество было бы совершенно немыслимо; это была бы абсолютно немыслимая, абсолютно неразличимая гьма иррациональности. Если бы мы высказали о нем хотя бы один только звук, то это уже было бы каким–то осмыслением вещества и это уже значило бы, что вещество не есть просто вещество, но что ему свойственно нечто идеальное. И так как реальные вещи именно таковы, что они суть нечто оформленное и осмысленное, а вовсе не сплошная иррациональность, то ясно, что реальная вещь есть соединение смысла, или идеи, и факта, или вещи. Если мы в числе увидим определенный числовой смысл и определенный числовой факт, то этим самым мы постулируем в числе и объединение того и другого, постулируем не просто смысл и не просто факт, но осмысленный факт, или осуществленный смысл. Вводя категорию энергии, мы как раз и имеем в виду всю эту область осмысленного факта числа, или осуществленного смысла числа. Едва ли есть возможность считать эту категорию не–первичной.
В сущности говоря, на этом мы и остановились в дедукции первичных категорий числа. Есть все основания думать, что это есть нечто действительно самое первичное и самое примитивное в числе и что тут самая естественная граница для определения основного и центрального от второстепенного и периферического.
В этой общей энергийно–выразительной области числа мы реально не останавливаемся на осуществлении какой–нибудь из трех основных категорий первой триады, но мыслим ее осуществленной целиком. Наша выразительная энергия числа энергийно выражает не только самый перво–принцип числа вообще, но и его раздельность и его становление. Числовое «ставшее» «выражает» всю смысловую триаду, включая и становление. А это больше всего и дает право называть всю эту выразительную область именно энергийной. Энергийно–выра–зительная сторона числа особенно важна включением этого момента становления. Становление (в данном случае пока чисто смысловое, без перехода в распадение) включает в себя неподвижную едино–раздельную структуру числа вместе с ее инобытием. Становление в диалектике ведь и есть синтез бытия и инобытия. Будучи перенесено в сферу выражения, оно в самом выражении дает синтез бытия и инобытия, т. е. выражение тем самым включает в себя свою соотнесенность со своим инобытием, не переходя, однако, фактически в это инобытие, а оставаясь все время чистым смыслом. Если бы тут был реальный переход в инобытие, это привело бы к распаду того, что тут выражено. Тут, однако, нет ни инобытия как факта, ни распадения смысла, а есть только смысловое же его распадение и различение, т. е. новый смысловой рисунок, новый — по сравнению с отвлеченно данной первой триадой.
