Алексей Лосев – Диалектические основы математики (страница 26)

К общему резюмирующему заключению фундаментального анализа числа необходимо сделать еще два добавления.

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

Именно, можно взять основную триаду и в каждый из ее членов вставлять снова триаду же. В таком положении удобнее взять основную триаду не в виде «бытие, инобытие, определенное бытие», но в виде «бытие, инобытие, становление». Тогда первый член, бытие, с проведением внутри него новой триады превратится в перво-принцип и на его фоне – число, точнее, перво-принцип и исходящая из его глубины триада, которую мы уже формулировали в § 16, – «число, количество, величина». Второй член, инобытие, в этих условиях будет состоять из триады «смысл (бытие), гилетическое инобытие, эйдос». Третий член, становление, будет содержать – «становление, ставшее, энергия (выражение)». Таким образом получится девятка, эннеада, а с присоединением сверху абсолютной неразличимости – декада; и в каждом из членов такой эннеады можно проводить всю эннеаду снова, а в каждом члене малой эннеады еще новую эннеаду и т.д. В дальнейшем мы не раз будем применять введение триадического принципа в области уже выведенной триадической конструкции.

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

До сих пор мы дедуцировали не столько структуру числа, сколько самое число, продуцируя категории, как они появляются в общем диалектическом процессе, независимо даже от поставленной нами цели – дать диалектику данного числа. Можно сказать, что до сих пор наше исследование велось так, что мы как бы забывали, что такое число, и просто занимались общей диалектикой. И в общем диалектическом процессе мы вдруг перекинулись на категорию числа, которую и вывели наряду с прочими категориями. Теперь же нам предстоит другая задача. Уже имея диалектически сконструированную идею числа, мы должны рассмотреть внутри этой идеи функционирование каждой из выведенных нами категорий, понять каждую такую категорию как реальное определение идеи числа. Это приводит нас к дедукции ряда основных суждений, которые и должны демонстрировать впервые зарождающуюся здесь науку о числе, ибо наука невозможна не только без категорий, но она невозможна и без суждений. Суждения (а также и необходимо вытекающие из них умозаключения) есть не что иное, как реальное приложение и функционирование самих же категорий. А основные, конститутивные категории числа должны привести к дедукции также и основных, конститутивных суждений о числе. И если бы мы это сделали, мы тем самым наметили бы и дали бы в некотором предварительном, но тем не менее систематическом очерке науку о числе в ее самом основном и самом первоначальном виде. И это сразу же математически конкретизировало бы все наши предыдущие дедукции, весьма отягощенные принципами общей диалектики и ориентированные только на голую идею числа, а не на логически-математическую структуру.

Это и значит, что мы должны перейти сейчас к математической аксиоматике, к диалектической дедукции основных аксиом числа вообще.

III.

ОСНОВНЫЕ АКСИОМЫ ЧИСЛА

(ЧИСЛО КАК СУЖДЕНИЕ)

A) ОБЩАЯ ТЕОРИЯ

§ 32.

Обычные предрассудки

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

Во-первых, аксиоматика чаще всего преследует цели не чисто математические и даже не чисто логические. С аксиоматикой часто связывают, напр., гносеологические, если не прямо метафизические, цели и точки зрения. Одни стараются доказать, что наши аксиомы чисто опытного происхождения; другие уверяют, что их наличие, наоборот, указывает на априорное происхождение. Одни говорят, что аксиомам соответствует какая-то реальная предметность; другие, наоборот, – что это чистейшие фикции, о реальности которых нечего и ставить вопрос и которые функционируют как словесные знаки, совершенно условные и субъективные. Ясно, что все подобные суждения направлены к целям совсем не математическим и совсем не к чисто логическим. Эти рассуждения хотят протащить то или иное определенное (а часто и совсем неопределенное) мировоззрение и меньше всего стараются изъяснить смысл самих аксиом. Аксиоматику с такой точки зрения рассматривают, в сущности, только как пример для подтверждения и иллюстрации более общих, уже чисто мировоззрительных убеждений. Так можно рассматривать не только математическую аксиоматику, но все, что угодно, любую науку и любое знание, любое представление или идею человеческого ума.

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

Такое положение дела оказывается возможным потому, что вначале не подвергается никакому анализу самое-то пространство и время, а ставятся вопросы, уже предполагающие определенное их понимание и указывающие на их судьбу уже в какой-нибудь инобытийной, в сравнении с ними самими, сфере. Можно иметь какие угодно интуиции времени и пространства, и можно как угодно решать вопрос об их реальности: это два совершенно разные вопроса. Решивши один из них, мы еще ничего не сказали для решения другого вопроса. А гносеологи и метафизики думают, что эмпиризм или априоризм уже сами по себе способны решить вопрос о существе [дела].

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

Во-вторых, общей особенностью современной математической аксиоматики является ее формалистический и антидиалектический характер. Выставляется ряд аксиом; и – неизвестно, почему, собственно, взяты эти аксиомы, а не другие и откуда можно почерпнуть гарантию полноты этого списка аксиом. Такая беспомощность вполне характерна, напр., для знаменитого Гильберта, которого математики почему-то особенно превозносят именно в этом отношении. Мы читаем его перечисление аксиом и – совершенно не знаем, откуда он их получил, как он к ним логически пришел и действительно ли все аксиомы тут перечислены. Ведь система аксиом должна быть такова, чтобы была действительно ясна ее полнота и логическая завершенность. У Гильберта же мы можем в крайнем случае сказать только то, что каждая из данных аксиом имеет в математике действительное значение, но совсем не можем сказать, что тут исчерпана вся аксиоматика, и не знаем, где гарантия ее логической законченности.