пок и есть, наконец, драгоценные останки некогда величественной и затейливой конструкции. С тем и приступим к делу: мы попытаемся отыскать имяславские мотивы для каждого из понятий теории множеств, фигурирующих в лосевском перечне. Непосредственно от понятий нам и придется отталкиваться, потому в каждом случае понадобится небольшой экскурс в ту или иную область теории множеств. При этом нас будет интересовать не формально-математическая сторона, но содержательные (в этих областях сконцентрированные) запасы математики.
В канторовской теории есть бесспорно первоосновное понятие, с которого мы обязаны начать. По-русски его принято, – и не только теперь, но уже издавна, – называть множеством, а у Г. Кантора оно выражалось двумя равноправными терминами, т.е. Menge (основное словарное значение как раз «множество») и Mannigfaltigkeit («многообразие»). Сразу скажем, что и на русском и на немецком языках эти названия не вполне удачны. Все они или искажают, или не полностью передают содержание интересующего нас понятия, в чем нетрудно убедиться, воспользовавшись исходным определением у самого Г. Кантора. Наиболее известная формулировка такова:
«Под „множеством“ (Menge) мы понимаем соединение в некое целое М определенных хорошо различимых предметов m нашего созерцания или нашего мышления (которые будут называться „элементами“ множества М)» 3.
Как видим, говорить о Menge как о «множестве» мало, ибо еще и прежде всего Menge является «единством», Menge – это «единство-множество». Неслучайно именно на данную, отчетливо диалектическую примету новомодной математической конструкции обратили свое внимание такие авторы глубоких философских интерпретаций теории множеств, как П.А. Флоренский и А.Ф. Лосев. Сейчас, правда, канторовскую теорию принято называть «наивной». Это вполне справедливо после тех изощрений и мучительных поисков, что выпали на послеканторовскую историю разработки оснований математики. Однако находить в оценке теории множеств лишь снисходительный оттенок было бы неверно, – гениальная интуиция и чистосердечная наивность счастливо дополнили здесь друг друга.
П.А. Флоренскому выпало едва ли не с нуля излагать канторовские результаты для широкой отечественной публики, и ему обойти проблему содержательной стороны Mengenlehre было попросту невозможно. Во всяком случае, в статье «О символах бесконечности» (1904 г.) П.А. Флоренский предпочел называть Menge «группой», тем самым избегая, во-первых, филологически точного и одновременно философски ошибочного буквального перевода и рискуя навлечь на себя, во-вторых, справедливые упреки математиков, ибо термин «группа» был уже занят для обозначения известной конструкции из сопредельной области математики (теория групп в алгебре). Он предпочел использовать этот термин не в специально-математическом смысле, а скорее в обиходно-бытовом понимании, еще только оснастив его характерной теоретико-множественной синтетичностью. Тем подчеркивалось то, о чем мы уже заговорили выше, вчитываясь в Канторово определение, – что не «множество» только и не «единство» только есть Menge, но – «группа», но – «всякий результат синтеза некоторой множественности в единство актом духа» 4.
Эта терминологически-внешняя по форме, но глубинно-мировоззренческая по сути работа была в дальнейшем продолжена, поскольку проблемой уточнения или даже спасения диалектического содержания теории множеств немало озаботился и А.Ф. Лосев. Именно в 20-х годах, в пору максимальной интенсивности своей имяславской деятельности он, насколько можно теперь судить, отдал много сил на создание стройной системы категорий, образованных на диалектических принципах. Свое место в этой системе получила, среди многих других, и категория «множества». Подчеркнем, что А.Ф. Лосев не стал особо «спорить о словах» и ставить под сомнение соответствие термина и самой идеи «множественности в единстве», этим термином – с подачи Г. Кантора – обозначенной. Вместо этого была поставлена и разрешена куда более важная проблема: найти выражение для принципиально сложной и потому антиномичной природы множеств в максимально открытом виде, обрисовать существо множеств в логически ясной структуре. Что получилось у Кантора? Он интуитивно верно оценил фундаментальную роль вводимого им в научный оборот понятия множества, но, не заметив изначальной его антиномики, принялся с большим успехом собирать обильные урожаи на еще не истощенных целинных землях. А когда пробил час теоретико-множественных «парадоксов» и под сомнением оказались все канторовские результаты, у создателя теории множеств не хватило тех же запасов интуиции и он принялся «спасать» дело, постулируя существование такой «множественности», которую… «нельзя рассматривать как единство» 5. Так, взашей изгоняя парадокс, он впустил противоречие. Что сделал А.Ф. Лосев? Он не постулировал понятие «множества» изначально заданным, но построил, сконструировал его при совокупном рассмотрении более фундаментальных категорий (таких, к примеру, как тождество, различие, движение, покой и единство). Изначальной же здесь была принята как раз антиномичность в структуре множества, а для выражения собственно антиномичности понадобился диалектический синтез фундаментальных категорий, – так появилась знаменитая «единичность подвижного покоя самотождественного различия» и дефиниция множества как вполне определенного рода спецификации данной «единичности» 6. Так получило точную форму все то содержание понятия Menge, что открылось когда-то интуиции Г. Кантора.
К сожалению, избранная тема диктует свои ограничения, потому лишь скороговоркой остается упомянуть, что в системе категорий А.Ф. Лосева наряду с множеством получает специальное оформление также еще одна важная категория – имя7. Однако мы обследуем имяславские потенции не этой системы, безусловно заслуживающей отдельного и внимательного изучения, но теории множеств. И относительно нее пора фиксировать первый предварительный вывод: в теории множеств и прежде всего в ее основном понятии, понятии множества, имяславцы вполне справедливо могли находить ценный антиномико-диалектический пласт, с которым можно рассчитывать, читаем у А.Ф. Лосева, на «разумное выведение мистических антиномий и их систематическую локализацию в сфере разума» 8.
Если диалектический характер теории множеств не был, как следует из вышесказанного, с полной методологической ясностью осознан автором, то о другом не менее существенном свойстве так не скажешь. Это – платонизм теории множеств. Сам Г. Кантор применял для характеристики своего «учения о трансфинитном» прехарактерное обозначение «теория идеальных чисел» и напрямую указывал на «множество» как на «нечто, родственное платоновскому ειδος и ιδεα» 9. Говорить здесь о платонизме будет верно не только по букве, но и по духу, причем вопреки некоторым историко-философским сближениям у Г. Кантора. Так, ошибочно поставив на одну доску (по взглядам на природу числа) Платона и Аристотеля, сам он справедливо противопоставил число, отнесенное, «согласно его истинному происхождению», ко множеству как единосвязному целому, с числом как условным знаком «для единичных вещей, отсчитываемых при субъективном процессе счета» 10. Конкретным философским результатом, то бишь данным противопоставлением Г. Кантор явно отвергал аристотелевскую теорию числовой абстракции в пользу «ипостасийного» понимания числа по Платону – Плотину. Итак, к антиномико-диалектическому характеру теории множеств следует, как не менее характерный, добавить платонизм, – добавить, чтобы с полной уверенностью (и к теме) воспроизвести строчку имяславских тезисов:
«Имяславие возможно лишь как строгий диалектический платонизм типа Плотина или Прокла» 11.
По А.Ф. Лосеву,
«теоретической опорой имяславия, в смысле обоснования логики имени, является также современная феноменология» 12.
Но феноменологические черты присущи и теории множеств. Кстати, современный переводчик текстов Г. Кантора на русский язык не увидел в определении Menge, – оно приведено выше, – как раз феноменологического оттенка канторовской дефиниции. В этом смысле безупречен перевод П.А. Флоренского, который и воспроизведем:
«Под „группою“ мы разумеем, – говорит Кантор, – каждое объединение духом в целое М определенных, различных между собою объектов m нашего воззрения или нашего мышления (которые называются „элементы“ М)» 13.
Это-то «имелось» феноменологии, это «объединение духом в целое» и интересно. Именно с этой мощью теоретико-множественного полагания мы сталкиваемся постоянно, пользуясь идеей множества, но с особой яркостью и чистотой феноменологизм теории множеств проявляется на экстремальных, крайних случаях. Из классических (видимо, без особых философских амбиций, а скорее из дидактических потребностей сконструированных) примеров можно предложить к рассмотрению множество, состоящее из солнца, разума и апельсина (И.И. Жегалкин). Заметим, сколь далекие по природе элементы объединены в данное множество, и заодно подчеркнем разницу между понятиями суммы и множества (напомним, что эта пара фигурирует в имяславских тезисах А.Ф. Лосева под разделом «феноменология имяславия»). Суммирование предполагает однородность слагаемых и заданность результата лишь в потенции, лишь алгоритмически, тогда как в множества можно объединить произвольные объекты, причем множество дается финально, оно устанавливается актом онтологического полагания. Из других примеров достаточно экзотических теоретико-множественных полаганий укажем еще «множество всех множеств» (каковое сыграло известную драматическую роль в жизни и творчестве Г. Кантора) и, по очевидной ассоциации, «то, более чего нельзя ничего помыслить» (конструкция Ансельма Кентерберийского, знаменитого логициста-теолога XI века) 14.
Довольно пристально всмотревшись – воображаемым взглядом с позиций имяславца, – в основное понятие теории множеств, перейдем теперь к другим понятиям из лосевского перечня. Немалый интерес, прежде всего, составляют эксплицированные канторовской теорией представления об