Хаос и структура - Лосев Алексей Федорович. Страница 50
2) Далее, идея порядка начинает более глубоко и осмысленно внедряться в инобытийно–нулевое число. Именно, она внедряется в противоположность первому случаю вполне смысловым образом, избегая, однако, своего субстанциального воплощения. Там воплощалась субстанция порядка без его смысловой структуры; тут же воплощается смысловая структура без ее субстанции. Там мы имеем упорядоченность, в которой было дано очень много актов полагания, но ввиду отсутствия принципа структурности порядка все эти акты полагания в смысловом отношении оказались слитыми в одну общую неразличимость; здесь же воплощается сама структурность порядка, т. е. зависящая от него как от принципа фигур–ность, но ввиду отсутствия субстанциальности и как бы овеществленности порядка вся эта фигурность остается чисто идеальной, абстрактной, она не принимается в расчет как таковая, а только продолжается такой же «субстанциальный» и континуальный учет этой фигурности, что и раньше. Тут мы — в области топологии.
Это уже не просто континуум, ничем не заполненный, но фигурность, рассматриваемая топологически. Топология занимается, как известно, изучением свойств фигур в отвлечении от конкретной формы с единственным условием— непрерывности деформации. Фигура не должна разрываться, во всем же остальном она может быть деформирована как угодно. Это значит, что в топологическом рассмотрении фигурность дана не целиком, но только абстрактно, как понятие, и воплощается она на континуальном фоне так, что важным оказывается не самая структура фигуры, а только те моменты, которые входят в определение отвлеченного понятия данной фигуры. Это так в геометрической топологии, в analysis situs [30]; это так и в теоретико–множественной топологии. Здесь множество тоже упорядочено так, что еще не дается порядка во всей его конкретной и законченной структурности. Вместе с чистой континуалогией топология рассматривает упорядоченность множества только с точки зрения внешних актов полагания порядка, вне структуры самого порядка — хотя в отличие от чистого континуума топологическое множество уже воплощает на себе идею порядка, пока в самом абстрактном и только понятийном его смысле.
3) Обе установки—упорядоченность субстанциально–актуальная и упорядоченность абстрактно–смысловая — должны объединиться вместе так, чтобы множество оказалось упорядоченным и в том и в другом отношении. Другими словами, должны существовать множества, которые сохраняют свою фигурность и в своих преобразованиях не нарушают ни субстанциальной, ни смысловой упорядоченности. Как и везде в диалектике, здесь отвлеченная идея, соединяясь со своим инобытием, с алогическим (в отношении себя самой) материалом, порождает уже конкретный образ, в котором нельзя отделить идею от инобытия и инобытие от идеи. Здесь появляется чистая фигурность, в которую воплотилась идея порядка, и мы впервые можем увидеть ее стройные контуры. Однако если прослеживать этот ход идей в геометрии, то с этой фигурностью еще не получится обыкновенная элементарная геометрия. Это будет так называемая проективная геометрия, отличающаяся от обыкновенной тем, что ей не свойственна идея измерения, не свойственны метрические установки, представляющие собою уже дальнейшее диалектическое воплощение идей порядка. Аналогично с этим мы должны требовать категорию проективного множества в отвлечении от всякой идеи размерности.
Одна и та же диалектическая конструкция этого тройного вида упорядоченности — континуальной, топологической и проективной—может быть выражена и зафиксирована разно. Во–первых, мы уже указали одну категориальную схему: континуум может трактоваться как перво–принцип, и тогда топологическая множественность будет определена через положенность чистого и абстрактного порядка, а проективное множество будет положенностью и воплощенностью порядка как структурно выработанного порядка. Можно сказать, во–вторых, и иначе: континуум и топологическая структура есть воплощенность из идеи порядка его категории самотождественного различия (можно привести, например, Энриквеса, который прямо говорит, что учение о континууме и вообще топология вырастают на аксиомах сочетания (взаимопринадлежности), что соответствует, как мы видели, нашей категории самотождественного различия); проективное же множество есть воплощенность вместе и самотождественного различия, и подвижного покоя (по Энриквесу, это будет «сфера действия аксиом сочетания» и «аксиом порядка»). Можно диалектически понять то же самое еще и так: континуум — неоформленный и внутри не расчлененный тезис; топологическое множество — антитезис, ибо присоединение фигурности пока только абстрактно — как структурно безразличный акт полагания. Проективное множество—синтез, воплощенность в числовой сфере чистой и законченной, конкретной структуры (т. е. фигурности). Мы уже знаем, что диалектически возможны самые разнообразные конструкции одного и того же смыслового обстояния; и поэтому настаивать на какой–нибудь одной из предложенных конструкций нет никаких оснований. Тут важна только нарастающая смысловая сложность упорядочения: континуум, топос и проективное множество.
В данном месте нецелесообразно давать полную диалектику всех видов упорядочения, так как это является предметом целого специального отдела нашего исследования. Поэтому мы не касаемся пока таких построений, как аналитическое множество или измеримое множество, представляющих собою еще дальнейшие диалектические этапы упорядочения. Предыдущие замечания были только образцом исследования данного вопроса.
4. Стоит упомянуть еще и о том, что в математической литературе мы имеем попытки определить и самое понятие порядка. Это, конечно, редкость, потому что большая часть основных понятий в математике вообще не определяется никак. Кажется, никто еще не дал определения таких понятий, как «точка», «линия», «сумма», «множество» и т. п. К числу этих определяемых только вербально понятий принадлежит и изучаемая нами здесь категория порядка. У Френкеля [31]мы находим следующее определение этой категории: «Множество R обладает следующими характеристическими для него свойствами: 1. если т уи т 2—два различных элемента множества А/, R xи Я 2 —соответствующие им остатки из А/, то или Я 2есть подмножество для /? ьили R xесть подмножество для R 2(именно смотря по тому, появляется ли т храньше т 2или т 2раньше т х)\ 2. если т хи т 2 —два различных элемента А/, то в R входит по крайней мере один остаток R 0, содержащий один из обоих элементов т хи т 2(а именно элемент, появляющийся в Μ на более позднем месте; если т хстоит раньше т 2, то, например, соответствующий т хостаток R 0хотя и содержит т ъно он не содержит т х)\ 3. объединенное множество каждого множества остатков от Μ (т. е. каждого подмножества для R) есть в свою очередь остаток от Μ—следовательно, элемент от R». Множество R с такими тремя свойствами и есть то множество, при наличии которого упорядочивается множество М.
[а)] Это определение упорядочивающего множества способно сначала поставить философствующего только в тупик. Однако тщательное расследование этого определения вскрывает как всю беспомощность математической мысли поставить философскую проблему, так и ее весьма поучительную слепоту, но все же в своей слепоте бессознательно правильно нащупывающей логический аппарат, который тут пускается в ход человеческим сознанием.
b) Возьмем первое свойство множества R. Здесь указывается, что каждому элементу из Μ соответствует некий определенный остаток до всего М 9который пока мыслится как неупорядоченный. Выставляется требование, чтобы эти неупорядоченные куски множества Μ тоже находились между собою в отношениях целого и части. Что такое требование вполне естественно, в этом сомневаться не приходится. Но тут с первого же шага совершается обычная в математических рассуждениях petitio principii; а именно, требуется определить, что такое порядок множества или что такое упорядочивающее множество. Но при этом уже предполагается, что Μ упорядочено (так как имеется в виду, что т 1раньше т 2или наоборот). Ведь только зная порядок элементов в М, и можно будет сказать, какой остаток и для какого [элемента ] окажется частью или подмножеством. Что т храньше т 2, это Френкель знает; и что значит этот порядок, его нисколько не смущает. Но для R он почему–то не знает, как понимать порядок, и вдается тут в сложное рассуждение.