Хаос и структура
Шрифт:
4. В связи с этим аксиома самотождественного различия примет форму, аналогичную с геометрией, но с переходом к чисто числовой интерпретации. В геометрической совокупности даны абсолютно изолированные по акту своего полагания элементы. Но в геометрии они даны сами по себе, без влияния на числовое содержание совокупности. Здесь же смысловое содержание множества будет в точности соответствовать инобытийным актам полагания. Соответственно изменится и формулировка аксиомы.
Аксиома самотождественного различия в теории множеств: множество есть совокупность абсолютно изолированных элементов, возвратившихся из инобытия к самим себе. Или подробнее: множество есть совокупность элементов, абсолютно изолированных по актам своего полагания, но отождествленных или различенных в точном соответствии с этими актами, однако же в их чисто числовом понимании.
5. Эту формулу выражают в теоретико–множественной аксиоматике иначе. Даже, собственно говоря, нельзя и сказать, что иначе. Дело в том, что обычная аксиоматика, с которой приходится встречаться в изложении теории множеств, слишком слепая и связанная; и никогда не знаешь,
Именно, нашей аксиоме самотождественного различия в теории множеств соответствует, по–видимому, та аксиома Цермело и других, которая известна под названием аксиомы объединения, хотя и т. н. аксиома спаривания, по–видимому, говорит в значительной мере о том же самом. Аксиома объединения (Vereinigung) гласит у Цермело— Френкеля так: «Если т есть множество, содержащее по крайней мере один элемент, то существует объединенное множество, которое содержит в качестве элементов все вместе элементы т и также—только эти». Аксиома спаривания (Paarung) гласит: «Если а и b—два различных множества, то существует множество <д, ft), которое содержит в себе множества а и ft— и только их — и которое может считаться парой а и ft». Взятые сами по себе, эти аксиомы весьма важны, потому что очень важно отметить различие отношения, в которое вступают между собою элементы разных множеств в зависимости от объединения самих множеств. Так, если город состоит из улиц, а улицы — из домов, то дома суть элементы вовсе не города, а только улицы; если дома в каком–то смысле могут считаться элементами города, то это надо фиксировать специально, что, по–видимому, и сделано в «аксиоме объединения». То же соответственно и в «аксиоме спаривания».
Однако такая формулировка весьма формалистична и недостаточна. Прежде всего, тут совершенно не подчеркнут спецификум множества; и аксиома сформулирована так, что она применима и к любой совокупности, и прежде всего к чисто арифметической. Эта аксиома говорит ведь только то, что если мы имеем сумму 5 и 7, то она будет содержать в себе все единицы пятерки и все единицы семерки, и только их. Такая безобидная вещь, конечно, тоже очень интересна, но место ее в арифметике, а не в теории множеств. Далее, совершенно не показано, зачем понадобилась такая аксиома и как она связана с самим понятием множества. Между тем в нашей — чисто диалектической — дедукции со всею ясностью показано, откуда получается такая аксиома и каково специфическое значение ее в теории множеств. Именно, показано, каким образом множества, инобытийные одно в отношении другого и, следовательно, являющиеся только частями какого–то другого, более общего множества, могут слиться в новое множество, в котором и не узнаешь никаких бывших самостоятельных «частей», но в котором все элементы всех объединенных множеств сольются в новую цельность и подчинятся новой смысловой структуре. Тут важно не то, что два множества можно объединить в одно целое (это обычно делается и в арифметике с любыми числами), а важно то, что из этого объединения получается совершенно новая смысловая структура, новая цельность, имеющая весьма мало общего с каждым из объединяемых множеств, но заново освещающая и переделывающая элементы этих первоначально данных множеств. Это и зафиксировано в нашей основной формулировке.
1. Эта аксиома самотождественного различия может быть выражена иначе, и в связи с этим есть смысл в соответствующем видоизменении этой аксиомы и для интенсивного и экстенсивного числа. А именно, поскольку в этих аксиомах идет речь об инобытии, полезно ввести различие «элемента» и «части». Говоря кратко и обще, элемент есть смысловой момент целого, а часть — инобытийный момент целого. Например, если условно согласиться, что точное определение прямой есть то, которое всегда дается в школах («прямая есть кратчайшее расстояние между двумя точками»), то на основании этого можно сказать: элементом прямой является наличие двух точек и частью прямой является тот или иной ее отрезок. Это, однако, относится скорее к определению понятия прямой и к определению элементов понятия прямой, а не самой прямой, и потому можно привести более яркий пример. Если я разобью мелодию, разыгрываемую на скрипке, на отдельные ноты, то каждая такая нота будет частью мелодии; когда же я реально начинаю играть на скрипке и всю эту мелодию воспринимаю как целое, то каждая нота уже оценивается в сфере целого, и тогда она не часть целого, но элемент целого. Часть есть инобытие элемента точно так же, как и все части, т. е. все есть инобытие всех элементов, т. е. инобытие целого. Целое осуществлено во всем, и элемент осуществлен в соответствующей части. Целое объем лет части и одухотворяет их, без чего они остались бы самими собою и не имели никакой связи ни между собою, ни с целым. Никакая отдельная линия, взятая сама по себе, не есть квадрат, и мы можем взять тысячу прямых, и из них никакого квадрата не получится. Но достаточно взять только четыре прямых и привнести извйе идею квадрата, как вдруг получается и самый квадрат. Идея же четырехугольника тоже не имеет ничего общего ни с самими прямыми линиями, ни с линиями вообще; иначе пришлось бы сказать, что сама идея четырехугольника четыреугольна или четырелинейна, что было бы нелепостью. Итак, целое и все, т. е. элемент и часть, взятые сами по себе, не имеют друг к другу никакого отношения; они взаимно инобытийны и диспаратны.
2. а) Во–первых, часть может быть подчиненной элементу, т. е. целое может в точности равняться сумме своих частей. Другими словами, здесь сначала даются различия смысловые, а потом механически примыкают к ним различия фактические, инобытийные. Вернее, сначала проводятся различия смысловые, потом оказывается, что это же и есть различия инобытийные. Таково арифметическое число. Здесь по смыслу дается столько–то элементов (или единиц); и тут же оказывается: столько имеется и частей, т. е. столько же имеется различий и по факту, по инобытию; иначе выражаясь, сумма частей и есть все целое, целое в точности равняется сумме своих частей. Это возможно только тогда, когда дан смысл без инобытия, т. е. абстрактный смысл. Тут целое в полном смысле слова делимо на свои части, но возможно это только в том случае, если первоначальные различия установлены как чисто смысловые, а инобытийные только следуют за этими, не привнося ничего нового.
b) Во–вторых, отношение между элементами и частью может быть обратное, а именно элемент может быть подчинен части и целое — сумме своих частей. Это возможно, очевидно, когда вся система переходит в инобытие. Тут мы забываем о смысловых различиях и сначала даем волю инобытийным различиям. Когда установилась та или другая система инобытийных различий, т. е.
та или иная система частей, мы, не производя никаких специально смысловых различий, только фиксируем смысловым образом то, что получилось в результате инобытийных различий, и этим ограничиваемся. Такова система отношений в геометрической совокупности. Здесь, забывши о том, что такое чистая и абстрактная единица, чистая и абстрактная двойка, тройка и т. д., мы отдаемся во власть инобытийного раздробления, нагромождая путем бесконечного дробления одну часть на другую, а потом, выбравши то или иное взаимоотношение частей, которое получилось в результате инобытийного становления, фиксируем его как таковое, и — получается точка, линия, плоскость и пр. Здесь элементы (смысловые акты) следуют за своим инобытием, элементы следуют за частями. Может ли здесь целое равняться сумме своих частей? Очевидно, нет, но сумма частей образует здесь свое целое, независимое от того первоначального и абстрактного целого, из которого мы исходили. Целое есть везде—и в арифметике, и в геометрии. Но в арифметике оно равняется сумме своих частей, и сумма эта всецело им определена. В геометрии же целое перешло в инобытие, и потому оно уже не зависит от себя, но определено своим инобытием, т. е. суммой своих частей. В арифметике целое равно сумме своих частей, а в геометрии сумма частей равна своему (своему собственному) целому.
[с)] Наконец, в–третьих, между частью и элементом может быть полное равновесие, и целое может ровно в такой же мере быть подчиненным сумме своих [23] частей, как и обратно сумма частей — целому. Это происходит во множествах следующим образом. Здесь инобытие продолжает определять смысловую значимость элементов и сумма частей продолжает определять собою целое. Но это целое оказывается уже не чем–то противоположным первоначальному целому и инобытийным в отношении к числу, но оно оказывается ровно в той же мере чисто смысловой структурой, как и само арифметическое число, лишаясь того противостояния смысла и факта, которым инобытие как раз и отличалось от чистого смысла. В чистом смысле, мы знаем, нет положенное™ различия между бытием и инобытием; инобытие тут есть также бытие, оно определяет собою различие внутри бытия же, нисколько не мешая ему быть бытием, а только делая его внутренно раздельным. В инобытии же самая яркая особенность — это разрыв между смысловым бытием и алогическим инобытием и их несовпадение во всех существенных пунктах. Так вот, во множестве и оказывается снова снятой и уничтоженной эта противоположность бытия и инобытия, уничтожен это разрыв и снова восстановлена простота и неинобытийность чистого числа. Конечно, это с сохранением (теперь уже.смысловым сохранением) той инобытийной регулировки, которая была достигнута на стадии примата частей над элементами, инобытия смысла над самим смыслом. Тут, стало быть, мы находим подчинение целого сумме частей, но сама сумма здесь такова, что она ничем не отличается от чисто смысловой структуры целого. Целое окунулось в инобытие, но не рассыпалось на бесчисленные части, что сулило ему это инобытие, а только вобрало их в себя смысловым образом, получило вместо абстрактной значимости фигурную разрисовку, но не перестало быть чистым смыслом.
23
В рукописи: других.
3. Отсюда три формулированные выше аксиомы самотождественного различия могут быть выражены еще и таким образом.
Арифметическое число есть такая совокупность элементов, в которой каждая часть подчинена соответствующему элементу и целое в точности равняется сумме своих частей.
Геометрическая величина есть такая совокупность элементов, в которой каждый элемент подчинен соответствующей части и сумма частей не равняется целому, но сумма эта сама определяет для себя самостоятельно свое целое.
Множество есть такая совокупность элементов, в которой каждый элемент и соответствующая часть находятся в полном равновесии, так что целое хотя и не равняется сумме частей, но эта последняя образует из себя как раз то самое целое, которое перешло в сумму частей.
4. а) Относительно множества также может быть выставлен ряд положений, с полной очевидностью вытекающих из этой аксиомы и являющихся, собственно говоря, лишь иным ее выражением, хотя для математиков здесь лежат неимоверные трудности и парадоксы.