Виктор Троицкий – Разыскания о жизни и творчестве А.Ф. Лосева (страница 55)

Гильбертовская программа спасения классической математики от парадоксов, по определению С. Клини (1967), состоит в следующем: математика «должна быть сформулирована в виде формальной аксиоматической теории, после чего следует доказать ее непротиворечивость, т.е. установить, что в этой формальной аксиоматической теории нельзя доказать противоречие»; сами доказательства при этом становятся «предметом специальной математической дисциплины, названной Д. Гильбертом метаматематикой, или теорией доказательств» ²⁴. Данная программа полагалась к реализации для арифметики, функционального анализа и, в перспективе, геометрии. Уже над отдельными фрагментами математики старательно возводились ажурные конструкции гильбертовой метаматематики (это оказалось изнурительно трудным занятием), когда подоспели знаменитые теоремы Гёделя. Здесь выяснилось, во-первых, что во всякой математической теории можно сформулировать вполне осмысленное (правильное), но недоказуемое и, вместе, неопровержимое утверждение, т.е. внутри всякой такой теории, содержательно достаточно богатой, гарантировано присутствие сомнительной ее составляющей. Потому доказательство «изнутри» невозможно. Выяснилось, во-вторых, что непротиворечивость данной формальной теории доказывается только в рамках иной, более развернутой формальной теории, та в свою очередь нуждается в новом расширении, и т.д. Потому доказательство непротиворечивости «извне» всегда незавершимо. Таким образом, было строго доказано наличие принципиальных ограничений на строгость доказательств в математике. Это фактически указывало на необходимость выхода за пределы метаматематики (по Гильберту) в объемлющие ее области, причем по двум путям: либо пытаться преодолеть барьер, поставленный результатами Гёделя, за счет отказа от прежнего экстремизма и создания новых формальных методов и повторного (через них) обращения к проблеме существования математических объектов, либо развивать более содержательную «метаматематику», действительно конструируя такие объекты из некоторых первооснов и уже не прибегая к математическим формализмам. Первым путем и по сей день следуют многие специалисты по основаниям математики ²⁵, по второму пути пошел Лосев и больше, кажется, никто.

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

Заметим прежде всего, что построения Лосева нигде не расходятся с математическими данными. Автор даже с некоторой (методологически оправданной) назойливостью и монотонностью вновь и вновь показывает, где и как его содержательная аксиоматика, его «основоположения числа» естественно перерастают в аксиомы и теоремы самой математики. Можно сказать, философская метаматематика Лосева проделывает свой отрезок пути и заканчивается там, где начинает собственно математика, – в изощрениях профессионалов-нефилософов. Логически Лосев оказался раньше, впереди, прежде специалистов по математике и ее основаниям. Исторически имелась уже математика со всеми ее достижениями, принципиальными кризисами, необозримостью тем и предметов, когда явились на свет (точнее, от света, «в стол» московского одиночки) построения новой метаматематики. Эта ситуация определенно повторяет одну весьма давнюю историю – вспомним происхождение явно родственного «метаматематике» термина. Последний возник случайно, когда Андроник Родосский (I в. до Р.Х.), заново упорядочивая и переписывая труды Аристотеля, вслед за группой сочинений «о природе» (ta phisika) поместил другую группу под условным названием «то, что после физики» (ta meta ta phisika). С тех пор наука, «исследующая первые начала и причины» (Met. 982 b 10) и самим Аристотелем величаемая «первой философией», стала «метафизикой». То, что в материальном мире занимало локус «после», в мире идей оказалось «до».

Впрочем, это только аналогия, пусть и полезная. О самом прямом вхождении лосевской «философии числа» (как метаматематики) в традицию «наук о первоначалах», как и о справедливости притязаний на многообещающую семантику греческой приставки «мета», легче судить, если привлечь к нашему терминологическому рассмотрению книгу С.Л. Франка «Предмет знания» (1915). Автор книги ставит перед собой задачу построения единой «теории знания и бытия», предпочитает называть ее «не онтологией, а старым и вполне подходящим аристотелевским термином „первой философии“», себя относит опять-таки «к старой, но еще не устаревшей секте платоников» и особо выделяет в последней фигуры Плотина и Николая Кузанского ²⁶. Не правда ли, тут узнаются и предпочтения Лосева? Но еще больше согласий и перекличек обнаруживается в главе «Время и число» книги Франка. В основу построений здесь кладется «всеединство» («единство целого», «единство единства и множественности»), которое и рассматривается как тот «подлинный источник, из которого может быть выведено понятие числа», одно из основных понятий «первой философии». Это всеединство – источник единственный, ибо только на этом пути не возникает логический круг, ибо только отправляясь от всеединства, замечает Франк, «мы действительно не предполагаем математических понятий единого и многого, а восходим к тому, в чем, как таковом, этих моментов еще нет и из чего они должны возникнуть» ²⁷. Далее следовало непосредственное «выведение числа из всеединства». Именно этой части «Предмета знания» Лосев посвятил специальный комментарий в книге «Музыка как предмет логики» (1927), где он строил концепцию числа с опорой на пример трактата Плотина (Эннеады VI.6 «О числах») и обнаруживал согласованность конструкций – своей, Франка и Плотина. Это и неудивительно: «одни и те же предпосылки приводят при правильном методе и к тождественным результатам» ²⁸.

Лосевская метаматематика, в основе которой лежат глубокие неоплатонические интуиции, получала, таким образом, мощную поддержку и примером непосредственного предшественника. Но этого мало. В своем построении и анализе «числовых структур бытия» Лосев сумел избежать одного существенного перекоса «первой философии» по Франку, на который в свое время было указано некоторыми наиболее проницательными критиками. Так, в рецензии на книгу «Предмет знания» Н.А. Бердяев отмечал неоправданный «монизм» теории Франка, подчеркивал упрощенность решения проблемы «изменения, творческого движения, возникновения нового, небывалого», напоминал о неустранимом присутствии во всеединстве не только «света» как творящего начала, но и «тьмы», «темных волн безосновной основы бытия», и в итоге определял: «Знание потому имеет творческую природу, что оно должно одолевать этот вечный напор тьмы, пронизывать его светом, оформлять его изначальный хаос» ²⁹. Для Лосева было уже естественно относиться к извечной «меональной тьме» не только с пониманием, но и чрезвычайно конструктивно: «из этого становящегося мрака как из некоей глины будем созидать те или иные смысловые фигурности» (501), – возглашает он фундаментальный принцип строительства математических объектов и повсеместно проводит его в практике своей метаматематики. Применительно совсем к другой области знания, еще в «Диалектике художественной формы», лет за десять до «Диалектических основ математики», легко отыскиваются те же мотивы и установки. К примеру (тоже почти инструкция по применению):

«В сфере смысла, где слиты в единое и сплошное тождество категория и ее внутреннее инобытие, вполне позволительно выделять поочередно то самую категорию, подчиняя ей ее инобытие, то ее инобытие, подчиняя ей его категорию» (здесь речь шла о классификации искусств по «категориальному» и «меональному» принципам).

Или там же прочтем и учтем лосевскую похвалу Шопенгауэру за то, что «он больше всех других почувствовал как раз алогическую основу мира в отличие от всякой оформленности» ³⁰.

5. Диалектика как точная наука

Мы рассмотрели и дальнее, и ближнее окружение лосевской «философии числа», то окружение, в драматическом притяжении-отталкивании с которым она и оформилась. По ходу рассмотрения уже были, конечно, получены некоторые содержательные характеристики самого ядра, центра всех соотнесений. Теперь пришла пора сосредоточить наше внимание специально на этом центре, в его смысловой точке.

Только сделаем одно предваряющее замечание. Приходится констатировать, что Лосеву не удалось реализовать в полном объеме свой замысел строго диалектического обоснования математики. Причинами тому следует указать как обстоятельства общего плана (вряд ли подобное грандиозное предприятие по силам одному человеку, даже при самых благоприятных внешних условиях), так и частные биографические особенности печального свойства, о которых уже говорилось выше. Добавим еще одно: значительная часть довоенных рукописей периода максимальной активности автора на философско-математическом поприще погибла летом 1941 года в результате прямого попадания фашистской авиабомбы в дом на Воздвиженке, где была квартира Лосева. Чего-то не успел сделать или не дали, толкая под руку, что-то было уничтожено, готовое. Потому теперь приходится заниматься реконструкцией общей панорамы математических знаний, как она представлялась автору «Диалектических основ математики» (особо ценны для нашей задачи параграфы 9, 34, 80 книги), а также отыскивать следы прежних замыслов в более позднем творчестве философа. По ходу этих операций будут видны и общие контуры всей конструкции, и зияющие места утраченных ее деталей.