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

593

моделей теория Синтаксические характеристики операторов d и 0 во всех этих случаях должны быть различными. Напр., для деонтических модальностей не проходит аксиомная схема dAz> A, поскольку нормы могут быть нарушены. Вместо нее должна использоваться аксиомная схема oAz> —id—iA (обязательная норма допустима). Для всех этих и многих других модальных исчислений остро встала проблема их формальной интерпретации: построение адекватной им формальной семантики, в которой: 1) каждая формула исчисления является либо истинной, либо ложной; 2) каждая доказуемая формула истинна (непротиворечивость исчисления); 3) каждая истинная формула доказуема (полнота исчисления); 4) установлена тесная связь с содержательной семантикой. Первый шаг был сделан Р. Карнапом. Используя идеи Лейбница, он строит семантику на основе множества описаний состояния (положений дел, характеризуемыхсредствамиязы- ка, или «возможных миров»). Высказывание «А возможно» семантически характеризуется им как «А истинно хотя бы в одном описании состояния (возможном мире)» и высказывание «А необходимо» как «А истинно во всех описаниях состояния (возможных мирах)». Следующий шаг связан с именем С Крипке. Он отказался от обязательного представления возможного мира в виде описания состояния, зависящего от структуры логического языка. Такое представление сохраняется только в канонических моделях (максимально непротиворечивых множествах), тогда как в общем случае возможный мир — это просто элемент произвольного непустого множества (возможных миров). При этомдопускаетсявозможностьсуществованияизолированных элементов такого множества (элементов, не связанных ни с какими другими элементами множества). Для формального выражения этой идеи Крипке вводит отношение достижимости — некоторое бинарное отношение R, определимое на множестве возможных миров. Пусть а и b — возможные миры. Тогда, если имеет место a R Ь, то эти миры связаны: из мира а можно достичь мира Ь. В противном случае это оказывается невозможным. Формальные семантики для различных исчислений различаются теперь только свойствами отношения R. Так, чтобы получить адекватную семантику для S4, достаточно предположить, что отношение R рефлексивно и транзитивно. Если дополнительно предположить симметричность этого отношения, то получим адекватную семантику для S5. В этом последнем случае каждый возможный мир достижим из каждого, и надобность в специальном отношении достижимости отпадает. Предложенная Карнапом формальная модальная семантика соответствует этому частному случаю и годится, следовательно, только для S5. Далее, для каждой предикатной модели каждый мир w из множества возможных миров W, на котором определено бинарное отношение достижимости R, характеризуется непустым множеством Dw индивидов, существующих в этом мире. Существует также выделенный элемент w*, называемый действительным миром. Для разных w множества Dw могут быть разными. С этой точки зрения понятно, почему принцип подстановоч- ности тождественного и экзистенциальное обобщение требуют ограничений в модальных контекстах. Если индивидные константы или переменные находятся в сфере действия модального оператора, то они могут обозначать один и тот же индивид в действительном (выделенном) мире, но различные индивиды в других возможных мирах (а в каких-то мирах ничего не обозначать). Поэтому, чтобы указанные принципы были применимыми в модальных контекстах, каждый входящий в этот контекст индивидный символ должен обозначать один и тот же объект во всех мирах, связанных с данным миром отношением R. Быстрый рост числа модальных исчислений в 70—80-е гг. поставил вопрос о создании более общей и более богатой по своим возможностям формальной семантики, чем семантика Крипке. Один из путей создания такой семантики связан с именем 3. Стахняка. Его основная идея элегантна и проста, хотя ее реализация технически может быть очень сложной. Семантика Крипке является теоретико-множественной. Каждый «возможный мир» есть просто лишенный внутренней структурыэлементнекоторогомножества,которому(элемен- ту) в предикатных интерпретациях приписано еще одно множество — множество индивидов, допустимых в этом мире. Вся ее изобразительная сила определяется поэтому только свойствами отношения R. Если удастся наделить и сами элементы внутренней структурой, то изобразительная мощь формальной семантики резко возрастет. Для реализации этой идеи Стахняк использовал сочетание алгебраических и теоретико-множественных подходов. На исходном множестве, рассматриваемом в качестве алгебраического объекта, можно построить вторичное множество алгебраических структур (напр., ультрафильтров). На новом множестве процесс можно повторить, получая множество элементов с более богатой структурой, а затем построить на нем отношение достижимости R. Тем самым мы получаем семантику возможных миров, в которой в отличие от семантики Крипке элементы базисного множества могут быть наделены сколь угодно сложной внутренней структурой. Такого рода формальная семантика обладает огромной изобразительной силой. Ее можно использовать не только для интерпретации существующих модальных исчислений, но и для построения новых модальных исчислений, обладающих наперед заданными желательными семантическими свойствами. Фактически впервые появилась возможность того, что современная формальнаялогикаможетбытьиспользованане тол ько и даже не столько в качестве преимущественного средства для построения оснований математики, как это повелось со времен Д. Гильберта, сколько в качестве метода построения оснований любого вида научного знания, в том числе философского. Лит.: Gabbay D. M. Investigations in Modal and Tense Logics with applications to problems in Philosophy and linguistics. N. Y., 1976; Леммон Е. Алгебраическая семантика для модальных логик I. IL— В кн.: Семантика модальных и интенсиональных логик. М., 1981; Костюк В. Н. Элементы модальной логики. К., 1976; Крипке С. Семантический анализ модальной логики.— В кн.: Фейс Р. Модальная логика. М, 1974; Stachniak Z Introduction to model theory for Lesniewski's Ontology. Wroclaw, 1981; Hughes G E. and Cresswell M. J. A Compation to Modal Logic. Methuen — London, 1984; Van Benthem J. A. F. K. Modal and Classical Logic. Napoli, 1983; Zeman J. J. Modal Logic. The Lewis- Modal Systems. Oxf., 1973; Segerberg К. An essay in classical modal logic — «Filosofiska Studier», Uppsala, 1971, N 13; Chagrov A. V., Zakhar- yaschev M. Modal Logic. Oxf, 1997. В. Н. Костюк

МОДЕЛЕЙ ТЕОРИЯ- раздел математической логики, изучающий модели формальных теорий, соотношения между моделями и теориями и преобразования моделей. Предшественниками теории моделей были Б. Больцано и Э. Шредер, осознавшие понятие выполнимости формулы на интер-

594

МОДЕЛЕЙ ТЕОРИЯ претации. В настоящий момент теория моделей делится на следующие разделы: Классическая теория моделей (КМТ), изучающая теоретико- множественные модели классических теорий. Алгебраическая теория моделей (ATM), изучающая прежде всего модели неклассических логик, базирующиеся на обобщенной семантике истинностных значений. Теория моделей Крипке (СВМ), изучающая модели неклассических логик, базирующиеся на возможных миров семантике. Интерпретации реализуемости (ИР), моделирующие логики и теории как исчисления задач.

КМТберет начало от работ Лёвенгейма (1915) и Скулема (1920), установивших существование моделей любой бесконечной мощности для любой непротиворечивой теории, имеющей бесконечную модель. Этот результат вначале рассматривался как парадоксальный, потому что из него следовало существование счетных моделей несчетных множеств, а мощность множества в те времена содержательно интерпретировали как число элементов, по аналогии с конечными множествами, а не как сложность его задания, как сейчас делается по аналогии с теорией алгоритмов. Фундаментальным результатом КМТ явилась теорема Геделя о полноте классической логики предикатов (первого порядка), из которой следует существование моделей у любых (основанных на этой логике) непротиворечивых теорий. В 70-е гг. выяснилось, что теорема Геделя о полноте эквивалентна аксиоме выбора множеств теории. Если задана некоторая сигнатура (перечисление констант, функциональных символов и предикатов вместе с числом аргументов у них), то (классической) интерпретацией данной сигнатуры является непустое множество объектов — универсум интерпретации, и функция вычисления значения C, сопоставляющая каждой константе — элемент универсума, n-местной функции/—функционал W—> ^л-местному предикату Р— функционал W —»{0,1}. В интерпретации естественно определяется понятие значения любого терма и любой формулы теории (точное определение истинности формулы в интерпретации было впервые дано А. Тарским). Интерпретация называется моделью теории, если в ней истинны все аксиомы теории. Еще одной формулировкой теоремы полноты Геделя является совпадение множества теорем с множеством формул, истинных в любой модели теории. По теореме Мальцева о компактности, теория имеет модель тогда, и только тогда, когда любое конечное число ее аксиом имеет модель. Эта теорема послужила основой для построения нестандартных моделей традиционных математических объектов, таких, как действительные и натуральные числа. В самом деле, взяв в качестве теории все истинные на стандартной модели формулы и добавив новое число ю и бесконечную совокупность аксиом ю > 0, со > 1, © > п, мы получаем, что любая конечная совокупность новых аксиом удовлетворяется на стандартной модели. Значит, есть и модель, где они все выполнены. Она сохраняет все выразимые на языке логики предикатов свойства стандартной модели, но пополнена новыми элементами. Позитивно использовал существование нестандартных моделей А. Робинсон (1960). Он показал, что в нестандартной модели анализа можно на строгой основе возродить методы математиков 17—18 вв., использовавших бесконечно малые и бесконечно большие величины. Основополагающим явился здесь результат, что любое конечное нестандартное число однозначно разлагается в сумму стандартного и бесконечно малого. Далее, сохранение всех выразимых свойств используется для установления принципов переноса, которые позволяют отбрасывать бесконечно малые либо доказывать общее утверждение о стандартных числах на основе рассмотрения одной бесконечно малой либо бесконечно большой величины. Но здесь приходится строго разделять формулы стандартного языка и формулы метаязыка, говорящего о нестандартной модели. В частности, утверждения, явно включающие предикат «быть (не)стандартным», уже могут нарушать все свойства стандартной модели. Дальнейшее развитие нестандартного анализа привело к теории полумножеств Г. Хаека и к альтернативной теории множеств С. Вопенки, где конечные нестандартные совокупности могут включать бесконечные подклассы. Современная КМТ развивается во многих направлениях, большинство из которых в данный момент имеют дело со сложнейшими идеальными математическими понятиями (абстрактными объектами) без выхода на общенаучные либо методологические результаты. Правда, приятным исключением является совокупность теорем, характеризующих теории частного вида через их модели. V -теория — это теория, все аксиомы которой имеют вид \/хА(х), где х — совокупность переменных, и А не содержит кванторов. Теорема Лося. Теория представима как V -теория тогда, и только тогда, когда каждая подсистема ее модели также является ее моделью. Эта теорема при внешней простоте формулировки требует использования абстрактных и сложных конструкций КМТ Таковы же и другие теоремы характеризации. В частности, совокупность систем называется многообразием, если она является множеством моделей теории с аксиомами вида \/xP(t(x) , где Р—предикат. Многообразия — это V -теории, модели которых сохраняются при гомоморфизмах. Теоремы характеризации используются в современной информатике для описания абстрактных типов данных. ATM началась с предложенной Линденбаумом и Тарским концепции, согласно которой любая теория может рассматриваться как алгебра, операциями которой являются логические связки, а объектами — классы формул, для которых доказуема эквивалентность. Такая алгебра называется алгеброй Линденбаума-Тарского (ЛТ-алгеброй) теории. ЛТ-алгебра классической теории—булева алгебра. ЛТ-алгебра интуиционистской — псевдобулева, теории в модальной логике S4 — булева алгебра с замыканиями. Данный подход был вторым основанием и инструментом для построения альтернативной теории множеств. Для неклассических логик он математически эквивалентен СВМ и поэтому в последнее время употребляется менее интенсивно. Трудностью в ATM является интерпретация кванторов. Для данной цели была развита теория цилиндрических алгебр. Семантика возможных миров (СВМ) предлагалась уже Аристотелем, который рассматривал теорию модальных суждений. Ее предшественником можно считать Г. Лейбница, который явно ввел понятие возможного мира. В современном виде она впервые была предложена для частного случая интуиционистской логики Э. Бетом (1954) и последовательно развита для целого ряда логик С. Крипке, имя которого она и получила. При СВМ интерпретациях имеется некоторая алгебраическая система классических (либо, в более тонких случаях, алгебраических) моделей, называемых мирами, связанных отноше-

595

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

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

596

МОДЕРНИЗАЦИЯ СОЦИАЛЬНАЯ терную схему, которая при подаче на вход определенного стимула давала бы на выходе реакцию, тождественную или близкую к реакции моделируемой системы. Если спектр совпадающих входных и выходных процессов достаточно широк, то можно ожидать, что построенная схема точно воспроизводит исследуемый объект. Лет.: Эшби У. Р. Введение в кибернетику. М., 1959; Гастев Ю. А. Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования. М., 1975; Кузин Л. Т. Основы кибернетики. В 2-х т. М., 1979; БулосДж., Джефри Р. Вычислимость и логика. М., 1994. Г. Б. Гутнер

МОДЕРАТ(Mooeparoc) из Гадеса (финикийское поселение в Испании) (2-я пол. I в. н. э.) — философ-пифагореец, автор сочинения «Пифагорейские учения» в 10/11 книгах, которое используется Порфирием в сочинениях «Жизнь Пифагора» (48—53) и «О материи» (ср.: SimpL In Phys., p. 230, 34 ff. Diels). Сводка мнений Mодерата о душе дается Ямвлихом (De Anima, ар. Stob. Anth. I 364). Приписываемые Модерату рассуждения о числе (Stob. Anth. I p. 21 \fachsm.) сходны с пассажами из ТеонаСмирнского (р. 18,3 ff. Hiller). На основании интерпретации сохранившихся фрагментов можно предположить (Доддс), что Модерат в ходе толкования платоновского « Парме н ид а» предвосхитил ряд основных инноваций Плотина (сверхбытийное Единое, а также — на примере числа — описание процесса разворачивания единства во множество и обратно) или же во всяком случае что существовала традиция, для которой был характерен отказ от среднепла- тонического отождествления единого с нусом и которая могла оказать влияние на Плотина (или Аммония). Лиг.: Dodds Е. R. The «ftumenides» of Plato and the Origin of the Neo- platonic «One».- «Classical Quarterly» 22,1928, p. 129-142; WhittakerJ. Epekeina nou kai ousias.— «Vjgiliae Christianae» 23,1969, p. 91—104; Он же. Neopythagoreanism and Negative Theology.— «Symbolae Osloensis» 44, 1969, p. 109—125; Он же. Neopythagoreanism and the Transcendent Absolute.- Ibidem. 48,1973, p. 77-86. А. В. Пахомова

МОДЕРНИЗАЦИЯ ПОЛИТИЧЕСКАЯ- один из аспектов универсального процесса модернизации социальной, роль которого, первоначально подчиненная решению задачи экономического роста, постепенно усиливается до такой степени, что именно политическая модернизация оказывается решающей для успешной трансформации общества традиционного в современное. Политическую модернизацию можно рассматривать исторически, типологически и эволюционно. В первом случае в фокусе внимания оказывается опыт стран Западной Европы и Северной Америки, первыми осуществивших социальную модернизацию. При этом необходимо иметь в виду, что ритм, последовательность стадий и институциональные формы политической модернизации, проявленные в ходе модернизации западных стран, не являются универсальными нормами политического развития, хотя и составляют сущностные характеристики этого процесса. Социокультурная специфика «западных демократий» ставит естественный предел попыткам имитировать ее политические институты и процедуры в иных культурных контекстах. Отсюда — практическая невозможность построить типологию политических систем, которая смогла бы ранжировать промежуточные формы по признаку большей или меньшей мо- дернизированности. В этом — принципиальная слабость типологического подхода. Эволюционный подход, предложенный Дж. Коулменом, определяет политическую модернизацию как открытый и бесконечно вариативный процесс. Политическая система обретает качество современной, когда она достигает структурной дифференциации, соответствует императивам равенства и обладает высокой интегративно-адаптивной способностью. Конфликтно-продуктивное взаимодействие этих трех факторов, образующих «синдром развития», приводит к тому, что вырабатываются принципиально новые способы интеграции дифференцированной политической системы, консолидации ее властных институтов. Решается задача обеспечения расширенного участия граждан в политическом процессе и распределения всевозможных ресурсов. Система, успешно освоившая эти базисные функции, способна обеспечить свою легитимацию и заложить основы для решения принципиальной проблемы — формирования новой (национальной) идентичности. Исторически первичной является западная модель политической модернизации, в которой начальной фазой выступила рационализация властного авторитета (17—18 вв.), дифференциация политических функций и институтов (19 в.) и расширение политического участия (20 в.). Однако для постколониального мира 60-х гг. 20 в., а также для посткоммунистического мира 90-х началом политической модернизации оказывается конечная фаза западной модели, что ведет к значительным перегрузкам становящейся политической системы. В этой ситуации приходится учитывать не только перспективу политического развития, но и упадка, и даже — коллапса политики как таковой. Последнее возможно, если модернизирующаяся политическая система не сможет справиться с набором кризисов, способность преодолевать которые свидетельствует о приближении данной политической системы к стадии политической современности. Это кризисы идентичности, легитимности, проникновения, участия и распределения. Специфика политической модернизации в каждой стране определяется тем, в какой последовательности и в каком сочетании эти кризисы возникают и преодолеваются. Современная политическая система также не избавлена от этих кризисов — она лишь обладает значительно большими возможностями для их нейтрализации. Лет.: Eisenstadt S. N. The Political Systems of Empires. N. Y, 1962; Huntington S. P. Political Modernization: America vs. Europe.— «W>rid Politics», v. 18, 1966, N 3; Welch С ?., Jr. (ed.). Political Modernization. A Reader in Comparative Political Change. Belmont (Calif.), 1967; Organski A. F. K. G. The Stages of Political Development. N. Y., 1967; ApterD. E. Some Conceptual Approaches to the Study of Modernization. Englewood Clifls(N. J.), 1968; Huntingtons. P. Political Order in Changing Societies. New Haven (Conn.), 1968; De SchweinitzJr. A. Growth, Development, and Political Modernization.- «World Politics», v. 22,1970, N 4; Binder L., Coleman J. S etat. Crises and Sequences in Political Development. Princeton (N.J.), 1971; Baum R. С On Political Modernity: Stratification and the Generation ofSocietal Power. — В кн.: Perspectives on Modernity: Essays in memory of Jan Weinberg. Toronto, 1972; Lewis P M. Economic Reform and Political Transition in Africa.- «W)rld Politics», v. 49,19%. Л. В. Поляков

МОДЕРНИЗАЦИЯ СОЦИАЛЬНАЯ- совокупность экономических,демографических, психологическихиполити- ческих изменений, претерпеваемых обществом традиционного типа в процессе его трансформации в общество современного типа (см. Современность). Различение этих двух типов обществ (появившееся в кон. 19 в. в работах таких социоло-

597

МОДЕРНИЗАЦИЯ СОЦИАЛЬНАЯ гов, как Г. Спенсер и Ф. Теннис) наиболее последовательно введено и обосновано французским социологом Э. Дюркгей- мом в работе «О разделении общественного труда» (1893; рус. пер.: М., 1991). Критерий, избранный Дюркгеймом, — тип социальной связи, обозначенный им термином «солидарность». Для обществ традиционных характерна «механическая» солидарность или «солидарность по сходствам», что предполагает построение общества путем простого суммирования однородных исходных социальных ячеек — «кланов». Общество современное строится принципиально иначе, поскольку ему присуща «органическая солидарность», превращающая его в системную целостность, где каждый элемент выполняет собственную неповторимую функцию. Процесс разделения функций (разделение общественного труда) сообщает современному обществу внутреннюю динамику, которой принципиально лишено общество традиционное. Неявное предположение Дюркгейма о том, что только западные общества перешли рубеж, достигли эпохи «современности», нашло свое развитие в исследованиях немецкого социолога М. Вебера. В книге «Протестантская этика и дух капитализма» (1905; рус. изд. см.: Вебер М. Избр. произв. М., 1990) он показал обусловленность становления западного типа общества (в котором все виды жизнедеятельности — от музыки до политики, от архитектуры до бухгалтерского учета — тя- готеюткмаксимальнойрационализации)появлениемспеци- фической «хозяйственной этики» протестантизма. Вебер при этом не отождествлял современность как социальный тип с Западом, но его исследования хозяйственной этики основных мировых религий не давали оснований полагать, что для незападных традиционных обществ открыта подобная же перспектива модернизации. Теоретическое наследие классиков социологии по вопросу модернизации нашло свое применение и переосмысление в 50—60-х гг. 20 в. в эпоху деколонизации и появления новых государств. Постколониальному миру Азии, Африки, а также Латинской Америки американскими социологами была предложена «теория» (точнее — набор теорий) социальной модернизации как стратегия ликвидации «недоразвитости» путем трансформации традиционного общества в современное. При этом тип современного общества был универсализирован и выведен за пределы западного исторического контекста, а сама социальная модернизация уже не отождествлялась исключительно с рационализацией. Центральная посылка этой теории такова: постколониальный мир должен модернизироваться по образцам Запада лишь потому, что сам Запад на несколько столетий раньше проделал этот же путь под действием неумолимой исторической необходимости (см. Вестерниза- ция). Попытка Я. Вайнсберга предложить подход, ограничивающий применение термина «социальная модернизация» только постколониальным миром, а для описания западного опыта с кон. 18 в. и для Латинской Америки предложить термины «ремодернизация» и «демодернизация», последователей не нашла (см.: Weinberg I. The Concept of Modernization: On Unfinished Chapter in Sociological Theory— В кн.: Perspectives on Modernity: Essays in Memory of Ian Weinberg. Toronto, 1972, p. 11-12). Основной акцент социальной модернизации был сделан на индустриализацию экономики, в ходе которой происходит радикальное преобразование всех социальных структур традиционного, т. е. аграрного, общества. Предполагалось, что развитие индустриального производства должно вызвать спрос на научное знание и новые технологии, вызвать переток сельского населения в города и развитие городов (см. Урбанизация), принципиально изменить статус традиционной (объединяющей несколько поколений) крестьянской семьи и постепенно вытеснять ее семьей нуклеарной, высвобождающей индивида и задающей новую мотивацию его деятельности. Индустриализация — лишь один аспект социальной модернизации, но он «столь могуществен по своим последствиям, что изменяет недееспособные социальные институты и обычаи с помощью создания новых ролей и способов социального действия, основанных на использовании машины» (см.: ApterD. 7he Politics of Modernization. Chi., L.. 1965, p. 68). Переход от традиционализма к современности осмысливается как: индивидуализация (базовой социальной единицей во все большей степени становится индивид, а не группа); дифференциация (передача отдельных функций, ранее принадлежавших «семье», специализированным институтам социальным); и формализация (подход к социальным институтам как действующим на основе абстрактных и универсальных законов и правил, предполагающий доминирующую позицию науки и экспертов). Чем глубже изменения традиционного общества по этим параметрам, тем более оно обретает способность использовать инновации не разрушаясь. В конечном счете социальная модернизация понималась как альтернативасоциалистическомурешениютриединойпробле- мы т. н. третьего мира — проблемы искоренения голода, болезней и неграмотности. Именно относительная нерешенность этой проблемы, выражающаяся в абсолютном отставании по параметрам социально-экономического благополучия третьего мира от развитых (западных) стран (после исчезновения альтернативного «второго мира» — «социалистического лагеря» — укореняется противопоставление «богатого» Севера и «бедного» Юга), привела к тому, что теория социальной модернизации оказалась дискредитированной как в западном научном сообществе, так и в странах, которым она адресовалась как стратегия развития. Однако само понятие современного общества или современности продолжает оставаться одним из центральных во многих социально-философских и социологических теориях. При этом можно вьщелить два основных подхода. Один состоит в том, чтобы определить современность не через привязку к конкретному пространственно-временному континууму, а через основной признак. Так поступил Д. Аптер, утверждавший: «Быть современным — значит воспринимать жизнь как выбор, как предпочтение одного другому, как альтернативность» (Ibid., р. 10). Другой подход нацелен на описание институциональной структуры современности и наиболее полно представлен Гидденсом, который выделил четыре основных института: 1) капитализм (накопление капитала на конкурентных рынках труда и товаров); 2) индустриализм; 3) вооруженные силы (контроль над средствами насилия в контексте индустриализации войны); 4) национальное государство (см.: Giddens Л. The Consequences of Modernity. Stanford (Calif.), 1990, p. 56— - 59). Базовые понятия теории социальной модернизации могут продуктивно использоваться для описания и анализа процессов посткоммунистической трансформации на постсоветском пространстве, а также для реконструкции модернизационного процесса в России. Лит.: Парсонс Т. Система современных обществ. М, 1997; Поляков Л. В. Путь России в современность: модернизация как де- архаизация.— ИФ РАН. М., 1998; Eisenstadt S. N. Transformation of

598

МОДЕРНИЗМ Social, Political, and Cultural Orders in Modernization.— «American Sociological Review», v. 30, 1965; Horovitz L Three Worlds of Development: the Theory and Practice of International Stratification. N. Y, 1972; Berger P., Berger A, Kellner H. The Homeless Mind: Modernization and Consciousness. N.Y., 1973; Chodak Sz. Societal Development. N.Y., 1973; Worsley P. The Three Worlds: Culture and World Development. L., 1984; Von Laue Th. The World Revolution of Modernization: The Twentieth Century in Global Perspective. N. Y, Oxf, 1987; Harris P. Inside the Third World. The Anatomy of Poverty. L., 1993; Huntington S. P The Clash of Civilizations and the Remaking the World Order. N. Y, 1996. Л. В. Поляков

МОДЕРНИЗМ(отфранц. moderne —новейший, современный) — общее наименование в первую очередь художественных течений и практик, формировавшихся с кон. 19 в.; порвав с принципом гуманистически окрашенного реализма, они тем самым бросили вызов преобладавшим эстетическим нормам эпохи, равно как и самой ее морали. Возникающий в это время новый реализм (Э. Мане, III. Бодлер, Э. Золя и др.) даже при известной преемственности формы наполнен необычным содержанием, эпатировавшим общественный вкус: предметом изображения — как живописного, так и литературно-поэтического — становится «низкое», то, что прежней эстетикой относилось скорее к сфере безобразного (знаменитая «Олимпия» Мане, изображавшая публичную женщину, или стихотворение Бодлера «Падаль»). Настоящего пика модернизм, понимаемый указанным образом, достигает в авангардных опытах нач. 20 в. (кубизм, футуризм, позднее абстракционизм, сюрреализм и др.; ср. Авангард), в которых фигуративность подвергается наиболее полному и последовательному преодолению. Подобный взрыв беспредметности соответствовал изменению окружающего социального пространства, мощный технологизм которого не мог не сказаться на навыках коллективного восприятия (новую картину мира брутально утвердила реальность первой мировой войны). Носителем изменившегося восприятия отныне становятся массы — явление, типичное для 20 в. (см. X. Ортега-и-Гас- сет). Беспредметность имеет и свои литературные аналоги: она выражается во внутренней исчерпанности, а следовательно, перерождении традиционных жанровых форм (романа, автобиографии, рассказа, стихотворения и т д.). Модернизм М. Пруста, к примеру, состоит в такой «литературности», которая является избыточной и дополнительной по отношению к «литературе» (фактически речь идет о литературе, рефлексивно обращенной на саму себя). В поэзии беспредметность проявляется, в частности, в смещении акцента на звуковую и графическую оболочку приобретающих отдельное существование слов. Если следовать предложенной логике, то модернизм покрывает собой все последовательно сменяющие друг друга эксперименты с формой (а именно таким путем и движется современное искусство), и так понимаемый модернизм продолжается по сей день. Однако трудности в определении соотношения модернизма и постмодернизма (в неутихающих спорах последний термин распространяют на широкий круг «по-настоящему» современных явлений, пытаясь, не всегда удачно, обозначить их специфику) наводят на мысль о том, что контуры модернизма — как исторические, так и содержательные —начинаютпрорисовыватьсял ишьретроспектив- но, в той самой точке, где нынешнее культурное самосознание считает его реально или мнимо преодоленным. Грань между модернизмом и постмодернизмом можно определить, если считать, что проблема формы затронула сами основы идентичности, которая составляется сегодня из гетерогенных разбросанных частиц (утрачены привычные социальные роли, поколеблены незыблемые оппозиции, в т. ч. «мужское — женское», реальность виртуализируется благодаря широкому распространению новейших технических средств). Несмотря на провозглашаемую постмодернизмом радикальность, он соткан из «модернистских» ожиданий, что в первую очередь проявляется в настойчивой потребности присвоить имя. Пытаясь поставить под сомнение многие из прежних установок, он не может отказаться от ностальгии по форме, какой бы переиначенной и неузнаваемой она ни становилась. Если модернизм доводит форму до апогея, до предела, когда она перестает быть равной самой себе, то постмодернизм отчаянно боится ее потерять (отсюда его «пустая» форма или компиляции всех и всяческих имевших место форм). Модернизм иногда отождествляется с тем, что принято называть «модернистским проектом» (Ю. Хабермас). В этом случае речь идет о просветительской ориентации на разум как синоним познаваемости мира и вещей. Даже авангард, предлагающий вернуться к истокам (к первослову, первообразу и т. д.) либо начать с чистого листа, отвергнув традицию как устаревшую и буржуазную (еще одна версия истины, ждущей искупления), вполне последовательно вписывается в эту парадигму. Так понимаемый модернизм сохраняет в себе романтическое представление о роли творца и в том случае, когда творец имеет дело со «вторичным» материалом (с пос- тмодернистическими «цитатами»). В этом плане модернизм является эпохой последних «великих имен» и последних завершенных стилей (в первую очередь одноименного стиля модерн, ставшего вызовом утилитарности и явной данью системе). Поэтому модернизм в его зрелых формах выступает своеобразной попыткой переформулировать исходные понятия, вдохнуть в них новую жизнь, но не отказаться от порождающей их логики. Наследуя основные предпосылки и постулаты классического мышления, модернизм вместе с тем обнаруживает признаки того релятивизма, который постмодернизм сочтет своей неотъемлемой чертой, и т. о. порождает зерна принципиально иного видения и по нимания реальности. Е. В. Петровская