Новая философская энциклопедия. Том второй Е—M

МЕСТР(Maistre) Жозеф де (1 февраля 1753, Шамбери — 26 февраля 1821, Турин) — французский публицист, политический деятель, философ, основоположник традиционалистского, консервативного течения во французской политической мысли. Выходец из Савойи, из патриархальной и глубоко религиозной семьи; был членом Сената Савойи, канцлером Сардинского королевства, посланником короля Сардинии в Санкт-Петербурге (1802—17). Основные сочинения: «Опыт о порождающем принципе человеческих учреждений» («Essai sur le principe generateur ties constitutions politiques», 1810), «0 папе» («Du pape...», v. 1—2, 1819), «Петербургские вечера...» («Les soirees de St. Petersbourg...», v. 1—2,1821). Просветительской атеистической философии де Местр противопоставляет понятие Божественного Провидения, главенствующего в истории и во всех политических институтах. Именно Бог создает и суверенов, и конституции. Человек — ничто, если он не опирается на Божественный промысел, он — лишь инструмент в руках Провидения. Для де Местра не существует случайности в управлении человеческими делами. Все вытекает из порядка Провидения, включая и хаос, который порожден Божественной волей в целях, неведомых человеку. Называя свой метод «экспериментальным», Местр считает историю опытным полем политической науки. Признавая значимость разума в естественных науках, он ограничивает его компетенцию в области политики и морали, где принципы разума носят абстрактный характер и применимы только к «человеку вообще», существование которого де Местр отрицает. Кроме того, индивидуальный разум склонен подвергать сомнению сложившиеся институты, проверенные временем и историческим опытом, и способен развязывать революции. Представление об изолированном индивиде, наделенном своеволием и стремлением к социальности, де Местр считает ложной и пустой абстракцией, выдумкой либерализма. Человека обуревают страсти, он зол по природе, и воспитание не может его изменить. Общество и индивид созданы друг для друга, но ни один из них не есть цель сама по себе — оба существуют ради высшего предназначения. Де Местр выступает против концепций общественного договора, в частности против идей Руссо: общество не может быть результатом соглашения, которое уже предполагает существование общества, в т. ч. власти и языка. «Представить себе человеческое общество, народ без правителя столь же невозможно, как вообразить улей без матки. Общество и власть возникают одновременно» («Опыт о суверенитете»). Подчеркивая пагубность идеалов свободы, равенства и братства, де Местр отстаивает органически сложившийся традиционный общественный порядок, согласный с Божественной волей, проповедует синтез религии, философии и науки. Соч.: Oeuvres completes, 14 vol. Lyon, 2ed., 1924—28; в рус. пер.: Петербургские письма. СПб., 1995; Рассуждения о Франции. М., 1997. Лет.: Bayle F. Les idees politiques de Joseph de Maistre. Lyon, 1945; CordelierJ.-P. La theorie constitutionnelle de Joseph de Maistre. P., 1965. M. M. Федорова

МЕТАЛОГИКА— раздел современной логики, в котором исследуются способы построения различных логических теорий, свойства, присущие им, а также отношения, существующие между ними. Зачатки металогической проблематики можно обнаружить уже в «Аналитиках» Аристотеля, который пытался обосновать синтаксическими методами полноту своей ассерторической силлогистики. Однако в подлинном смысле металогика стала активно развиваться в связи с построением разнообразных логических систем и их использованием в обосновании математики (в метаматематике).

538

МЕТАЛОГИКА Обычно под логикой понимается множество предложений, связанных между собой содержательным (семантическим) отношением логического следования. Поэтому первый вопрос, который в этой связи встает, есть вопрос о формализации этого отношения, т. е. о возможности построения логической теории, в которой это отношение задавалось бы некоторым формальным его аналогом. В составе теории в качестве такого формального аналога выступает отношение выводимости. В настоящее время логические теории строятся в нескольких основных формах — в форме аксиоматического исчисления, натурального исчисления или в форме исчисления секвенций. Для многих теорий имеются их дедуктивно-эквивалентные представления во всех указанных формах. Тем не менее для целого ряда логик вопрос о той или иной их формализации остается открытым и составляет содержание соответствующих металогических исследований. В металогике каждую логическую теорию испытывают на ее семантическую и синтаксическую непротиворечивость. Логическая теория считается семантически непротиворечивой, если каждое, доказуемое в ней утверждение, является общезначимым в данной логике, т. е. является ее законом. С другой стороны, логическая теория считается синтаксически непротиворечивой, если в ней нельзя доказать некоторое утверждение А и его отрицание. Последнее понятие наиболее употребимо, хотя для некоторых логических теорий используются и другие понятия синтаксической непротиворечивости. В металогике доказывается метаутверждение, согласно которому теория семантически непротиворечива тогда и только тогда, когда она имеет модель (см. Моделей теория). С этой точки зрения теория не имеющая моделей, ничего не описывает, а потому такого рода теория не представляет никакого научного интереса. Это же относится и к синтаксически противоречивым теориям, так как в последних доказуемым становится любое утверждение. Ясно, что если при построении теории мы преследуем цель установить, что имеет место в мире, т. е. пытаемся отделить сущее от несущего, то противоречивая теория как раз эту функцию и не может выполнить, а потому противоречивая теория не имеет научной ценности. В настоящее время метатеоремы о непротиворечивости доказаны для целого ряда логических теорий. В частности, такие теоремы доказаны относительно первопорядкового исчисления предикатов. Доказательство же относительно более сильных теорий ограничено тем результатом, согласно которому в таких доказательствах необходимо использовать более мощные дедуктивные средства, чем те средства, которые формализуются в самой теории. Поэтому для многих теорий часто доказываются метатеоремы об их относительной непротиворечивости: некоторая теория Т, считается непротиворечивой относительно теории Т2, если допущение противоречивости Т, означает, что и теория Т2 тоже противоречива. Другой важной парой понятий металогики являются понятия синтаксической и семантической полноты теорий. Логическая теория считается семантически полной, если каждое предложение, сформулированное на ее языке и являющееся законом данной логики, доказуемо в ней. Выполнимость для некоторой логической теории этого условия, совместно с выполнением условия о семантической ее непротиворечивости, означает, что данная логическая теория адекватно формализует соответствующую логику. В этом случае говорят, что се мантика теории адекватна ее синтаксису. Теория синтаксически полна (максимальна), если никакое предложение, сформулированное на ее языке и недоказуемое в ней, не может быть без противоречия включено в состав теории. Синтаксически полные теории, т. о., как бы «перенасыщены» и не допускают присоединения к себе в качестве дедуктивных средств никаких новых утверждении, ибо такое присоединение приводит теорию к информационному «взрыву» — в ней становится доказуемо любое утверждение. Синтаксически и семантически полной теорией является, напр., классическое исчисление высказываний. Семантически полно классическое исчисление предикатов первого порядка, однако оно не обладает свойством максимальности, т. е. допускает присоединение к себе новых утверждений в качестве аксиом. Немаксимальное классическое первопоряд- ковое исчисление предикатов может быть пополнено специальными аксиомами т. о., что некоторая нелогическая теория окажется синтаксически полной. Такой теорией является, напр., теория частичного порядка. Однако исчисление предикатов второго порядка является не только синтаксически неполной системой, но и семантически неполной. Иначе говоря, класс логических законов классической второпорядко- вой логики неформализуем. Причем эта неформализуемость, в силу результата Геделя о неполноте формальной арифметики, носит принципиальный характер — данная теория не только семантически неполна, но ее и принципиально нельзя сделать полной. В металогике рассматривается также понятие категоричности теории. Теория считается категоричной, если все ее интерпретации (модели) изоморфны. Напр., категорична классическая логика высказываний. Однако категоричность теорий является, скорее, исключением, чем правилом. Как показали Лёвенгейм и Сколем, первопорядковое исчисление предикатов допускает модели произвольной мощности. Некатегоричность теории говорит о неоднозначности описания в ее рамках класса интерпретаций. Еще одним важным свойством логических теорий является свойство их разрешимости. Теория считается разрешимой, если существует некоторая алгоритмическая процедура, которая дает ответ на вопрос, является некоторое утверждение теоремой теории или нет. Свойством разрешимости обладает классическое исчисление высказываний. В качестве разрешающей процедуры здесь применяется процедура построения таблиц истинности. Свойством разрешимости обладают и некоторые простые математические теории. Однако, как доказал А. Чёрч, уже классическое первопорядковое исчисление предикатов не является разрешимой теорией. Отметим еще один важный ограничительный результат металогики, полученный А. Тарским. Для достаточно широкого класса теорий, в том числе логических, им была доказана ме- татеорема о неопределимости предиката «истина» логическими средствами, формализуемыми в данных теориях. Этот результат аналогичен результату К. Геделя о недоказуемости утверждения о непротиворечивости формальной арифметики теми средствами, которые формализуются этой теорией. Еще одним часто проверяемым свойством логических теорий является свойство независимости друг от друга их дедуктивных принципов. Значение этих исследований в металогике можно уяснить из аналогии с проверкой независимости 5-ого постулата в геометрии Евклида. Как известно, эти исследования привели к созданию неевклидовых геометрий. В общем случае построение доказательств является творческим процессом. Однако в последнее время в связи с исследо-

539

МЕТАМОРФОЗА ваниями в области искусственного интеллекта в металогике озникла насущная задача доказательства метатеорем о нормализации выводов, устранимости особого правила — сечения — в секвенциальных исчислениях, алгоритмизации на этой основе процессов доказательств в различных логических системах и построения компьютерных реализации этих алгоритмов для осуществления автоматического поиска теорем. В настоящее время построены весьма разнообразные и достаточно мощные компьютерные реализации алгоритмов автоматического поиска доказательств теорем. Так как теории представляют собой классы предложений, над ними можно производить все операции, которые производятся и над множествами. Единственное условие состоит в том, что результатом этих операции должна быть опять теория. Так, напр., пересечение двух теорий Т, и Т2 всегда является теорией. Однако в общем случае объединение двух теорий Т, и Т2 не обязательно является теорией. Тем не менее, Сп(Т, и Т2) всегда есть теория, где Сп — операция замыкания относительно выводимости. Можно особым образом ввести и другие теоретико-множественные операции над теориями. А^ Тарским было показано, что класс всех теорий, сформулированных на одном и том же языке на базе классической логики, образует брауэрову алгебру. С другой стороны, если ограничиться рассмотрением только конечно-аксиоматизир уемых теорий, то класс всех таких теорий образует булеву алгебру. К проблемам металогики относится и вопрос рассмотрения различныхотношений, существующихмеждулогическимите- ориями. В настоящее время выделено и исследовано огромное количество таких отношений. Наиболее важными являются отношения дедуктивной эквивалентности двух теорий (напр., различные формулировки классического исчисления высказываний, задаваемых различным набором аксиом, являются эквивалентными теориями), отношение «быть под- теорией» (интуиционистская логика высказывании является подтеорией классической логики высказываний), отношение некреативного расширения (классическое первопорядковое исчисление предикатов является некреативным (от греч. кре- ация — творение) расширением классического исчисления высказываний), отношение дефинициального расширения и многие другие. Чрезвычайно важным способом сравнения теорий, применимым даже в том случае, когда теории построены не только в разных языках, но и строятся с использованием различных логик, является понятие переводимости одной теории в другую. На основе последнего понятия вводятся различные отношения между теориями, в частности понятие погружаемости одной теории в другую. В настоящее время доказано большое число метатеорем, обосновывающих погружаемость одной теории в другую. В частности, известен результат о погружаемости классического исчисления высказываний в интуиционистскую логику. Лет.: ЧёрчА. Введение в математическую логику. М., I960; Клини С. К. Введение в метаматематику. М., 1957; Мендельсон Э. Введение в математическую логику. М., 1971. В. А. Бочаров

МЕТАМОРФОЗА(от греч. ретацорсрсэоц — превращение) — в философии и культуре превращение одних вещей, процессов, явлений в другие. Метаморфоза предполагает изменение в форме, виде и/или субстанции объекта, но включает в себя также и постоянство, поскольку превращающийся объект не исчезает, а переходит в другую форму. В мифологическом мышлении метаморфоза выражала всеобщую изменчивость вещей и их единство во взаимопревращениях. Членами таких взаимопревращений могли быть неодушевленные предметы, растения, "животные, люди, боги. Как метаморфоза трактовалось возникновение мира (напр., превращение хаоса в космос), смерть (переход в царство мертвых). Формой метаморфозы выступало переселение душ (метемпсихоз) в древнеиндийской философии, орфизме, пифагореизме, неоплатонизме. Смысловая специфика метаморфозы заключается прежде всего в выражении неизменного через меняющееся, в передаче единого в своей основе явления через многообразие его превращающиеся форм. М. А. Иванов

МЕТАТЕОРИЯ(от греч. цета — после и теория; букв, теория о некоторой другой теории) — одно из важнейших понятий современной логики, математики, философии и методологии науки; теория, анализирующая структуру, методы и свойства некоторой другой теории — предметной, или объектной, теории. В самом общем смысле метатеорией является любой метаязык, описывающий структуру, свойства и т. п. какого-либо языка-объекта. Согласно выработанным в 20 в. представлениям (Э. Сепир, Б. Уорф, К. Поппер и др.), каждый язык является концептуализацией мира или его фрагментов, т. е. теорией (возможно, не очень богатой, как, напр., язык знаков светофора, или очень богатой в случае естественного языка). Поэтому соответствующий метаязык выступает в качестве метатеории по отношению к теории, сформулированной в языке-объекте. Исторически термин «метатеория» был первоначально введен в начале 20 в. в исследованиях по основаниям математики и логики (Д. Гильберт, К. Гедель, А. Тарский, Р. Карнап, А. Чёрч, С. Клини и др.) применительно к изучению математических и логических теорий, результатом чего явились программы построения метаматематики и металогики. Именно в этой области в метатеоретических исследованиях были получены важные результаты. Основная задача построения метатеории состоит в уточнении (экспликации) соответствующих предметных теорий и анализе их свойств. При этом в рамках общей программы проведения метатеоретических исследований на предметные теории и метатеории не накладывается никаких ограничений: они могут быть содержательными, дедуктивными, частично или полностью формализованными и могут использовать любые логические средства. Результатами таких исследований явились попытки построения метабиологии, метахимии, метатеории физического знания, метатеории теорий систем и даже метанауки, однако в них пока не получены значительные метатеоретические достижения, сравнимые с теми, которые имеются в метаматематике и металогике. Одной из исходных посылок метаматематической программы Гильберта является утверждение о том, что в качестве предметной теории, для которой будет строиться соответствующая метатеория, следует брать не некую содержательную теорию, напр., содержательную математику, а ее формализованное представление в виде исчисления или формальной системы (теории). Такая формальная система строится по явно сформулированным, четким правилам; она может состоять из не- интерпретированных знаков и знакосочетаний (формул, выражений) — в этом случае она является синтаксической (см. Логический синтаксис), или ее элементам приписывается определенная интерпретация, то есть фиксируется их смысл или значение, — и в этом случае она является семантической (см.

540

МЕТАФИЗИКА Логическая семантика). Метатеория, которая строится по отношению кт. о. представленной предметной теории, является содержательной теорией, т. е. она состоит из содержательно понимаемых элементов естественного языка. В ней формулируются метатеоремы — теоремы о теоремах, которые описывают синтаксические и семантические свойства соответствующей предметной (формализованной) теории. Для того, чтобы метаматематика выполнила свою основную функцию — обоснования содержательной математики, она, согласно Гильберту, должна пользоваться только т. н. финитными методами, то есть использовать лишь конечные конструкции и конструктивные доказательства, не допускающие применения абстракции актуальной бесконечности, которая играет важную роль в содержательной математике и в ее формализованном представлении. В рамках этой программы был полученрядважньиметатеоретических результатов. Так, была доказана синтаксическая метатеорема о дедукции, которая устанавливает связь между понятием выводимости (доказуемости) в данной предметной теории (напр., в исчислении высказываний или исчислении предикатов) и логической операцией импликации, входящей в алфавит данной предметной теории. Примером семантической метатеоремы является теорема о полноте классического исчисления высказываний, согласно которой для этого исчисления понятия доказуемой формулы (формальной теоремы) и формулы, истинной при некоторой его интерпретации, совпадают. Некоторые понятия метаматематики носят смешанный — синтаксически-се мантический характер. Таково, напр., понятие непротиворечивости, которое синтаксически определяется как невыводимость в предметной теории противоречия, т. е. конъюнкции некоторой формулы и ее отрицания, а в семантическом плане означает соответствие данной предметной теории некоторой ее интерпретации. Эквивалентность этих определений является нетривиальным метатеоретическим фактом. Несмотря на указанные и многие другие метатеоретические результаты оказалось, что метаматематическая программа Гильберта и прежде всего его финитистская установка не могут быть реализованы. Это убедительно показал Гедель ( 1931 ), доказав свои две знаменитые теоремы. Согласно его первой теореме, любая формализованная система, достаточно богатая для того, чтобы включать в себя арифметику натуральных чисел, неполна, так как в ней имеются правильно построенные формулы (выражения), которые не доказуемы и не опровержимы в ее рамках. Вторая теорема Гёделя утверждает: если арифметическая формальная система непротиворечива, то невозможно построить доказательство ее непротиворечивости, проведенное средствами, формализуемыми в этой системе. Эти теоремы, имеющие несомненное философско- методологическое значение, свидетельствуют об ограниченности метода формализации теорий, который лежит в основе гильбертовской метаматематической программы, и о том, что с помощью финитных методов нельзя доказать непротиворечивость не только классической математики, но даже и классической арифметики. Вслед за результатами Гёделя были вскрыты и другие ограниченности формализмов: Чёрч доказал неразрешимость проблемы разрешения для узкого исчисления предикатов, Тарский показал невыразимость предиката истинности для какого-либо исчисления средствами этого же исчисления и т. д. В связи с этим потребовалась определенная модификация программы Гильберта — необходимо было найти новые, более сильные, чем финитные, но также достаточно убедительные методы метатеоретических рассуждений. Значительный прогресс в этом отношении был получен в середине и во 2-й пол. 20 в. Г Генценом, В. Аккерманом, П. С. Новиковым, К. Шютте, А. С. Есениным-Вольпиным и др.; метаматематические и металогические исследования остаются актуальной задачей и в настоящее время. Лит.: Гильберт Д. Основания геометрии. М—Л., 1948; Клини С. К. Введение в метаматематику. М., 1957; Математическая теория логического вывода. М., 1967; Турчин В. Ф. «Сумасшедшие» теории и метанаука.— «ВФ» 1968, № 5; Садовский В. И. Общая теория систем как метатеория.— «ВФ» 1972, № 4; Есенин-Вольпин А. С. Об антитрадиционной (ультраинтуиционистской) программе основании математики и естественнонаучном мышлении.— «ВФ», 1996, № 8; Tarski А., MostovskiA., Robinson P. M. Undecidable Theories. Amst., 1953; Woodger J. H. The Axiomatic Method in Biology. Cambr., 1937. См. также литературу к статье Метаязык. Ю. А. Гастев, Б. Н. Садовский

МЕТАФИЗИКА(греч. — цета та <ргхжа — то, что после Физики) — философское учение о сверхопытных началах и законах бытия вообще или какого-либо типа бытия. В истории философии слово «метафизика» часто употреблялось как синоним философии. Близко ему понятие «онтология». Термин «метафизика» ввел Андроник Родосский, систематизатор произведений Аристотеля (1 в. до н. э.), назвавший так группу его трактатов о «бытии самом по себе». Условное название произведения дает позже имя предмету его исследования, который сам Аристотель определял как «первую философию», чья задача — изучать «первые начала и причины» (Met 982 b 5—10), или же как науку о божественном, «теологию» (1026 а 19). Однако метафизика как способ философского мышления возникает задолго до Аристотеля, по сути совпадая с первыми шагами философии. Для раннегреческих мыслителей «философия» и «мудрость» были синкретичным созерцанием истинной картины космоса, а потому собственно философский метод исследования не отличался от научного (от recopia — «теории»). В то же время намечается различие между «ионийским» и «италийским» стилями философствования: между подходами «физиологов »-натурфилософов и «теологов», искавших сверхприродное бытие. Рефлексия над методом, критика «физики» софистами и Сократом приводят к осознанию необходимого размежевания натурфилософской и собственно философской установок познания. У Платона метафизика может быть уже обнаружена как специально обоснованный метод. Не предпринимая формального расчленения «мудрости» на различные науки, Платон дает, тем не менее, в ряде диалогов описание высшего типа знания, восходящего от эмпирической реальности к бестелесным сущностям по иерархической «лестнице» понятий и нисходящего обратно к чувственному миру, обретая при этом способность видеть истинное бытие и находить во всяком множестве единство, а во всяком единстве — множество (Платон называл этот метод «диалектикой»). Т. о., Платон уже очертил круг специфических проблем метафизики. Аристотель построил классификацию наук, в которой первое по значению и ценности место занимает наука о бытии как таковом, о первых началах и причинах всего сущего, «первая философия». В отличие от «второй философии», то есть «физики», «первая философия», рассматривает бытие независимо от конкретного соединения материи и формы, от движения оформленной материи. Не связанная ни с субъективностью человека (как науки «пойетические»), ни с человеческой деятельностью (как науки «практические»), метафизика, по Аристо-

541

МЕТАФИЗИКА телю, является самой ценной из наук, существуя не как средство, а как цель человеческой жизни и источник высшего наслаждения. Античная метафизика явилась образцом метафизики вообще, но на протяжении истории западноевропейской философии существенно менялась как оценка метафизического знания, так и положение метафизики в системе философских наук и в горизонте мировоззрения той или иной эпохи. Средневековая философия признает метафизику высшей формой рационального познания бытия, но подчиненной сверхразумному знанию, данному в Откровении. Схоластика считала, что метафизике доступно богопознание, осуществляемое по аналогии с высшими родами сущего (благо, истина и т. п.). Такое сужение круга допустимых проблем и возможных результатов метафизики позволило в то же время дать углубленную трактовку некоторых вопросов, затронутых античной метафизикой лишь в общих чертах (напр., соотношение свободы и необходимости, природа общих понятий и др.). Средневековая метафизика, достигшая своего расцветав 13—14 вв., существенно обогатила понятийный и терминологический словарь философии. Метафизика нового времени вышла из границ, очерченных теологией, и, пройдя этап пантеистической натурфилософии Возрождения, возвращает себе «природу» как объект автономного исследования. Но на смену авторитету богословия приходит наука, не менее властно подчинившая себе метод и направление метафизического знания. Метафизика, оставшись формально «царицей наук», не только испытывает слияние естественных наук, достигших в этот период выдающихся успехов (особенно в механике и математике), но и до некоторой степени сливается с ними. Великие философы 17 в. — века расцвета метафизики нового Времени — как правило, являются и великими естествоиспытателями. Основная черта новой метафизики — сосредоточенность на вопросах гносеологии, что делает ее в первую очередь метафизикой познания, а не метафизикой бытия (каковой она была в Античности и в Средние века). Это справедливо и для метафизики рационализма, тесно связанной с традиционной онтологией, и для метафизики эмпиризма, особенно резко размежевавшейся с дедуктивным методом средневековой схоластики, приводившим, по мнению критиков-эмпириков, к гипостазированию понятий, догматическому возведению их в статус бытия. Метафизика 17 в., получившая классическое выражение в системах Декарта (создателя нового типа обоснования метафизики через самосознание Я), Спинозы, Лейбница, переживает кризис в 18 в., что обусловлено отъединением от нее позитивных наук, вырождением метафизики в догматическое системати- заторство (напр., в системах Вольфа и Баумгартена), активной разрушительной критикой метафизики со стороны сенсуализма, скептицизма, механистического материализма и Просвещения. Показательны в этом отношении система Беркли, в наибольшей степени отвечающая критериям метафизики, но в то же время своим учением о невозможности бытия без восприятия подрывавшая основы традиционной метафизики, и учение Юма, фактически осуществившее критикой понятий Я и причинности самодеструкцию метафизики. В немецкой классической философии 18—19 вв. происходил сложный процесс радикального пересмотра старой метафизики, парадоксально связанный с реставрацией метафизики как умозрительной картины мира. Определяющую роль в этом процессе сыграла критическая философия Канта, который критиковал не метафизику как науку (ее необходимость и ценность он признавал, считая метафизику завершением культуры человеческого разума), а догматическую метафизику прошлого. Своей задачей он считал изменение метода метафизики и определение собственной сферы ее приложения. Разделяя рассудок и разум, Кант показывает, что некритическое распространение деятельности рассудка за пределы возможного опыта порождает ошибки старой метафизики. Кант предлагает программу построения метафизики как истинной системы (т. е. такой, где каждый отдельный принцип или доказан, или в качестве гипотезы приводит к остальным принципам системы как следствиям). В работе «Какие действительные успехи сделала метафизика...» он указывает на «два опорных пункта», вокруг которых вращается метафизика: учение об идеальности пространства и времени, указывающее на непознаваемое сверхчувственное, и учение о реальности понятия свободы, указывающее на познаваемое сверхчувственное. Фундаментом обоих пунктов, по Канту, является «понятие разума о безусловном в целокупности всех подчиненных друг другу условий». Задача метафизики — в том, чтобы освободить это понятие от иллюзий, возникших из-за смешения явлений и вещей в себе, и избегнув тем самым антиномии чистого разума, выйти к «сверхчувственному» (см. Кант И. Соч. в 6 тт., т. 6, с. 239.) Истинная метафизика, т. о., возможна лишь как систематическое знание, выведенное из чистого и «очищенного» от иллюзий разума. Однако Кант не построил такой системы, ограничившись исследованием противоречий, в которые неизбежно впадает разум, пытающийся синтезировать законченную картину мира. Кант ввел разделение метафизики на метафизику природы и метафизику нравов, толкуя последнюю как такую сферу, где противоречия чистого разума находят практическое разрешение. Он также четко размежевал метафизику и естествознание, указав, что предметы этих дисциплин совершенно различны. На основе кантовских идей (в частности, его учения о творческой роли субъекта в познании) Фихте и ранний Шеллинг построили новый вариант метафизики. Его наиболее специфичной чертой было понимание абсолюта не как неизменный сверхреальности (такова была установка традиционной метафизики), а как сверхэмпирической истории, в которой совпадают процесс и результат. Связав на основе принципа историзма мышление и бытие, метафизику и науку, разум и природу, они истолковали диалектику разума не как теоретический тупик, а как движущую силу развития познания: диалектика, которая у Канта была лишь сигналом антиномии, становится у них неотъемлемым свойством истинного мышления и способом существования самой реальности. Рассматривая истину и бытие как процесс, Гегель создал систему, в которой истина выступает как поступательное развитие разума, а противоречие — как его необходимый момент. Он переосмыслил кантовское различение рассудка и разума и сделал последний носителем истинного познания, а диалектику — методом постижения противоречий и развития понятий. Рассудок, согласно Гегелю, оперируя конечными однозначными определениями, является хотя и необходимым, но недостаточным условием познания. Источник ошибок метафизического метода он видел в ограничении познавательной деятельности лишь сферой рассудка. Т. о., Гегель впервые противопоставил метафизику и диалектику как два различных метода. Вместо с тем он оценивал свою философию как «истинную» метафизику и традиционно понимал ее как «науку наук». «Человек, — пишет Гегель в § 98 «Малой Логики», — как мыслящее существо есть врожденный метафизик.

542

МЕТАФИЗИКА Важно поэтому лишь то, является ли та метафизика, которую применяют, настоящей, а именно: не придерживаются ли вместо конкретной, логической идеи односторонних, фиксированных рассудком определений мысли...» В отличие от «дурной» метафизики, истинная метафизика, по Гегелю, есть мышление, которое постигает единство определений в их противоположности (Гегель обозначает такое мышление рядом синонимичных терминов: «спекулятивное», «положительно-разумное», «мистическое»), тогда как мышление рассудочное, постигает определения в «раздельности и противопоставленности» (см. там же, § 82). Особую позицию по отношению к метафизике занимает поздний Шеллинг, чья «положительная» философия отмежевалась от немецкого трансцендентализма как от «негативного» конструирования идеальных схем. Истинная метафизика должна, по Шеллингу, обратиться к позитивной реальности, данной, с одной стороны, — в Откровении, с другой — в экзистенциальном опыте. Философия 19 в. характеризуется отрицательным отношением к метафизике вообще и ее гегелевскому варианту в частности: критика метафизики — один из ее доминирующих мотивов. Попытки же возродить докантовскую метафизику не выходят за рамки профессиональных экспериментов, хотя в некоторых случаях (Гербарт, Лотце, Тейхмюллер, Брентано) оказываются востребованными в 20 в. феноменологией и др. течениями. В этот период понятие «метафизика» приобретает устойчиво отрицательную окраску, подобно понятию «схоластика». Уже первые результаты критической реакции на гегелевскую философию показали основные направления антиметафизики 19 в.: таковыми были волюнтаризм Шопенгауэра (развитый впоследствии «философией жизни»), религиозный иррационализм Кьеркегора, антропологизм Фейербаха, позитивизм, марксизм. К ним присоединяются сформировавшиеся во 2-й половине 19 в. витализм Ницше, прагматизм и сциентистские версии неокантианства. Несмотря на различие позиций, с которых велась критика, общим был вывод о метафизике как бесплодной конструкции разума, не выходящей к реальности природы и индивидуума. Можно найти общность и в положительных программах этих течений; они противопоставляют метафизике тот или иной тип эмпирической реальности (психологической, социальной, прагматической и т. п.), или практической деятельности, к которым редуцируются традиционные онтологические и аксиологические универсалии. Зачастую альтернативой метафизики оказываются при этом не новые методы, а вульгаризация старых (напр., «диалектика», т. е. дурная схоластика марксизма). Это впечатляющее своим размахом мировоззренческое восстание против метафизики было по сути частью общекультурного кризиса классического рационализма и гуманизма. В философии начала 20 в. происходят сложные процессы (подготовленные последними десятилетиями 19 в.), которые приводят и к частичной реабилитации классической метафизики, и к поискам новых неклассических форм метафизики. Такие направления, как неогегельянство, неокантианство, неотомизм, неоромантизм, неореализм, самой своей «нео»-установкой на возвращение к истокам реставрировали и адаптировали фундаментальные схемы метафизического мышления, которые оказались более адекватными в кризисной для Европы ситуации, чем оптимистический позитивизм 19 в. Но потребность в метафизике как опоре для мышления и морального выбора вела к новым, неклассическим моделям. Нередко при этом новая метафизика вырастала из антиметафизических течений в той мере, в какой они — осознанно или нет — осуществляли свое самообоснование: такова была, напр., эволюция неопозитивизма, ницшеанства, фрейдизма. Подобным образом развивалась в начале 20 в. философия жизни, которая в трактовке Бергсона вышла за границы витализма, обретая измерение спиритуализма и даже воспроизводя неоплатонические интуиции; в трактовке Дильтея — обнаружила кризис психологизма и потребность в онтологии понимания исторических феноменов; в трактовке Шпенглера — востребовала первичной реальности форм культуры. Многообразные рецепции Ницше в это время также показывают предрасположенность умов к новому прочтению классической метафизики (напр., ницшеанство философского символизма), то же можно сказать о юнгианском пересмотре фрейдизма. Метафизическое обоснование становится актуальным и для философии религии. «Второе дыхание» неотомизма, инициированная Бартом «диалектическая теология» протестантизма, поиски философских основ православия российскими интеллигентами, — во всех этих процессах метафизика помогает преодолевать антропоцентризм 19 в. Философия культуры, окончательно сформировавшаяся в 20 в. (Шпенглер, Зиммель, Тойнби, Кассирер, Ортега-и-Гассет, Коллингвуд, Вяч. Иванов, Флоренский, Лосев), тяготеет к пониманию «первых начал» как сверхопытных прототипов исторически разворачивающегося культурного творчества и в ряде версий допускает связанность этих парадигм мифоподобным сквозным «сюжетом». Симптоматична апология метафизики, предпринятая Коллингвудом, с его проектом «метафизики без онтологии», которая должна искать «абсолютные предпосылки», формирующие культурный и познавательный опыт. Виталистские и религиозные направления к середине 20 в. дают зрелые плоды новой метафизики, чаще всего на пересечениях с философиями языка, науки и культуры. Таковы религиозный экзистенциализм (Ясперс, Марсель, Тиллих, Бердяев, Шестов), философия диалога и интерсубъективности (Бубер, Розеншток-Хюсси, Бахтин, Левинас, Апель), герменевтика (Гадамер, Рикёр, Хайдеггер). Этим направлениям свойственны поиски первоначал метафизики не в сфере объективности безличных субстанций, а в интерсубъективном измерении межличностных коммуникаций, не поддающихся сведению к универсалиям. Показателен обостренный интерес представителей этих течений к Кьеркегору, первопроходцу темы метафизической первичности «конечного» бытия. Значительных результатов достигает метафизика русской философии в 1-й половине 20 в. Традиционная опора на христианский платонизм, интерес к системам Гегеля и Шеллинга, тяга к предельным обоснованиям этики и политики — все это сделало естественным тот поворот к метафизике, который с трудом давался Западу. Системные построения Вл. С. Соловьева и его ближайших учеников кн. С. Н. и Е. Н. Трубецких задают каноническую модель метафизики, от которой идут ветви метафизики «всеединства» (Булгаков, Карсавин, Франк), «имяславия» (Лосев), «конкретной метафизики» (Флоренский). Самостоятельными версиями метафизики являются персонализм Н. Лосского и трансцендентализм идущей от Б. Н. Чичерина философско-правовой школы (Вышеславцев, Новгородцев, И. Ильин). Родовой чертой русской метафизики можно назвать стремление к онтологической укорененности религиозно-этической правды. Философия науки, стимулируемая научной революцией 20 в., приходит к метафизике двумя путями: в ходе интерпретации научных открытий и через анализ методологии и языка на-

543

МЕТАФИЗИКА уки. В первом процессе активно участвовали сами естествоиспытатели (напр., показательно влияние Платона на Гей- зенберга, Спинозы на Эйнштейна, восточной диалектики на Бора); во втором — по преимуществу философы. Наиболее значительные типы ревизии метафизики, генетически связанные с проблемой обоснования математики, дают аналитическая философия и феноменология. Гуссерль самим постулированием задачи феноменологии как описания сущностей, данных в субъективном опыте, но не растворяющихся в нем, уходит от психологически окрашенного позитивизма 19 в. и предполагает транссубъективный статус сущностей и аналогичный статус модусов их восприятия (характерно желание Iyccepjw назвать свое учение «археологией», где «архе» имеет аристотелевский смысл; ср. название одной из его главных работ. «Первая философия»). Не останавливается Гуссерль и перед необходимостью восстановить в таком случае онтологию как философскую науку: его доктрина «региональных онтологии», изучающих нередуцируемые чистые сущности, порождающие независимые регионы бытия (напр., этика, наука, религия), далека от наивного объективизма «школьной» метафизики, но близка версиям Платона и Канта. В поздних работах Гуссерля («Кризис европейских наук...») звучит и аксиологический мотив метафизики: защита истинного рационализма от догматизма и скептицизма. От феноменологии ответвляются такие метафизически валентные учения, как антропология Шелера, фундаментальная онтология Хайдеггера, косвенно — «новая онтология» Н. Гартма- на; французская ветвь дает версии Мерло-Понти и Сартра. Н. Гартман, опираясь на теорию интенциональности, но отказываясь от феноменологического примата трансцендентальной субъективности, строит «метафизику познания», ориентированную на «реальное» бытие, что сближает это построение с позицией неореализма (Уайтхед). Гартман критикует классическую метафизику за логизацию бытия и признает бытийной реальностью лишь обладающее необходимостью «действенное» (иерархические слои которого должны изучаться метафизикой), отвергая действенность идеально-возможного. Шелер и Хайдеггер, разделяя установку Гуссерля на обоснование науки не через абстрактные универсалии, а через выявление собственной структуры феноменов в соотнесении со структурой Я, осуществляют тем не менее далеко идущее переосмысление статуса Я и делают еще один шаг навстречу традиционной метафизике. В аксиологии Шелера предельным обоснованием смысла бытия оказывается категория «духа», порождающего человека как сверхприродное (но сохраняющее структуру естественной эмоциональности) существо. В онтологии Хайдеггера установка метафизики присутствует и в раннем варианте (соотнесение экзистенциальных структур Я с «Бытием», не тождественным никакому отдельному сущему), и в позднем (соотнесение мышления, которое позволяет Бытию говорить через себя, с необъективируемым «Событием», благодаря которому сохраняется самость человека). В ряде работ Хайдеггер специально рассматривает статус метафизики («Кант и проблема метафизики», «Что такое метафизика», «Введение в метафизику»). Старая метафизика, с его точки зрения, привела к забвению бытия, власти техники и нигилизму, поскольку толковала бытие через эмпирическое сущее и сделала субъективное мышление единственным посредником между человеком и бытием; поэтому возвращение к подлинному мышлению есть одновременно конец метафизики. В поздних образцах «экзистенциальной феноменологии» Мерло-Понти проблематика метафизики превращается в структурный анализ мира повседневного чувственного (в первую очередь перцептивного) опыта, который играет роль «онтологии чувственного мира» (особенно в произведениях искусства): Экзистенциалистскую версию феноменологической метафизики дает Сартр («Бытие и ничто»). В качестве первичной фактичности им рассматривается сознание, «пустота» и «случайность» которого приносит в мир «ничто» и почти синонимичные ему «свободу» и «ответственность». Позиция Сартра, несмотря на социальный радикализм, зачастую оказывается (как отмечал Хайдеггер) лишь перевернутой формой традиционной метафизики. Философия языка порождает метафизику языка, в которой, в свою очередь, можно выделить несколько принципиальных решений проблемы метафизики. На стыке с философией науки находится аналитическая философия, для которой проблема метафизики возникла в связи с анализом естественного языка и его метафизических импликаций. Если на ранних этапах этому направлению было свойственно стремление «разоблачить» метафизику как языковую иллюзию или намеренный софизм (напр., Карнап. Преодоление метафизики логическим анализом языка. 1931), то в дальнейшем проблематика метафизики становится для аналитиков разных направлений ординарной темой; антиметафизическая аргументация позитивизма и прагматизма, приводившая к деструктивным релятивистским выводам, постепенно вытесняется доверием «здравому смыслу» и «реалистической» компонентой, заложенной в аналитическую философию еще логицизмом Фре- ге, Дж. Мура и Рассела. Специфична версия Витгенштейна: в «Логико-философскомтрактате»можнонайтипоследователь- ную критику метафизики и признание за философией только статуса деятельности по логическому прояснению мыслей («Большинство предложений и вопросов философа коренится в нашем непонимании логики языка»), но в свете жизненной позиции Витгенштейна и некоторых этических мотивов позднего творчества его «тезис о молчании» (о том, что невыразимо, надо молчать) приобретает характер метафизической установки. Аналитики в конечном счете находят компромиссный способ сохранить позитивные возможности метафизики (в первую очередь это способность предельного обоснования теоретического знания) и избежать свойственного старой метафизике гипостазирования понятий: если не приписывать языковым структурам «реального» бытия, то можно признать их квазиметафизический статус «начал и причин» в рамках принимаемого языка. От публикации работы Стросона «Индивиды. Опыт дескриптивной метафизики» (1959) отсчитывают обычно начало умеренной реставрации традиционных установок метафизики в аналитической традиции. «Дескриптивная» метафизика Стросона доказывает, что без метафизических допущений существования «тел», «личностей» и про странственно-временной рамки их бытия невозможна идентификация ни единичных объектов, ни состояний сознания. «Реставрационная» же метафизика показывает, каким образом можно усовершенствовать и расширить использование языка. Сходную позицию по отношению к метафизике занимает Куайн, противопоставивший таким антиметафизическим «противоядиям», как методы верификации и фальсификации, доктрину оценки теории только как целостной системы предложений. Поскольку теория, в соответствии с его принципом «онтологической относительности», может рассматриваться лишь на языке другой теории, то этот разомкнутый процесс взаимоперевода теоретических языков не мо-