431
ЭЛИДО-ЭРЕТРИЙСКАЯ ШКОЛА вид всегда уже социализирован, а общество в свою очередь образуется из сети взаимосвязей между обладающими конкретным историческим обликом людьми. Предметом исследования социальных наук в таком случае являются изменчивые взаимозависимости («фигурации») между людьми со специфической организацией душевных процессов, с исторически неповторимой личностной структурой. Эти изменения не выводятся из неких возвышающихся над историей универсальных законов (Элиас подвергает критике экономизм либералов и марксистов), но они не являются и случайными. Задачей социальных наук является установление закономерностей в долговременных рядах изменений. К такого рода долговременным процессам относятся изменения в поведении людей, которые Элиас называет «процессом цивилизации». Цивилизация рассматривается им не как абстрактная тотальность («западная», «китайская» или др. цивилизации) и не как состояние, но как движение, происходящее независимо от проектов и волеизъявлений людей. Сами понятия «цивилизация», «цивилизованность», «культура» в их противопоставлении «варварству», «дикости», «животности» обладают своей историей. Окончательное оформление стандарта поведения, который именуется «цивилизованным», происходило в 18—19 вв. в буржуазном обществе. Но «третье сословие» унаследовало основные черты этого культурного кода от придворной аристократии — он распространяется сверху вниз, от высших слоев к низшим (подобно тому, как на протяжении 19—20 вв. он распространялся на рабочих). В работе «Придворное общество» (переработанный текст его диссертации 1930-х гг.) Элиас проводит детальный анализ «куртуазной» культуры, поведения и мышления аристократии. Он оспаривает концепции, в которых истоки современной рациональности обнаруживаются то в протестантской этике, то в гуманизме Возрождения, то в науке Нового времени, то в буржуазном просветительстве. За этими идейными образованиями стоят изменения на ином уровне — индивидуальной психики, социального характера, форм общения между людьми. Подобно тому как современное государство — наследник абсолютной монархии, так и западная «цивилизованность» и рациональность генетически связаны с культурой придворного общества. Тот механизм контроля над аффектами и влечениями, который чуть ли не автоматически действует у «цивилизованного» человека, имеет долгую историю. Рационализация поведения происходит вместе с ростом числа взаимозависимостей между людьми, с удлинением цепей обмена товарами, услугами, информацией. Самоконтроль и стабильность поведенческих реакций возможны и необходимы в обществе с высокой степенью безопасности, обеспечиваемой государственной монополией на легитимное насилие. Эта монополия появляется в Европе вместе с абсолютной монархией, которая налагает ограничения и на феодальное сословие, ранее руководствовавшееся не столько силой права, сколько правом силы. Все позднейшие формы рациональности, включая научную, имеют своим истоком рост дистанции между людьми, появление механизмов самоконтроля и вытеснения социально неприемлемых влечений. Генезис этих механизмов рассматривается Элиасом в его главной работе «О процессе цивилизации». В качестве исходного пункта им берутся запреты и предписания позднего Средневековья. По изменяющимся привычкам, манерам, формам общения Элиас прослеживает трансформацию психических структур, происходящую параллельно с возникновением абсолютных монархий из множества феодальных уделов. Эта одновременная трансформация на макро- и микроуровне есть «процесс цивилизации». Демографические, экономические и т. п. процессы складываются из взаимодействия людей и задают условия «борьбы за жизненные шансы»; рост взаимозависимости накладывает ограничения на поведение; внешнее принуждение интериоризируется как совокупность запретов, которые в дальнейшем усваиваются в раннем детстве и становятся составными частями Сверх-Я. Усиливающееся в «процессе цивилизации» Сверх-Я понимается Элиасом не как результат разрешения эдиповского конфликта в раннем детстве, но как социально детерминированная структура (хотя психоанализ был одним из главных источников его социологии). Культурный код поведения менялся вместе с его носителями. Никто не планировал превращение неотесанных феодалов в изящных придворных, равно как и переход от «куртуазности» к «цивилизованности» среднего класса. Социальная эволюция и трансформация habitus'a индивидов представляют собой один и тот же процесс. «Фигурации» представляют собой результат взаимодействия между индивидами и группами — кооперации, дифференциации функций, борьбы за монополизацию «жизненных шансов». Из межгрупповых отношений Элиас уделил наибольшее внимание отношению между представителями «истеблишмента» и группами «аутсайдеров». В работах по социологии знания Элиас стремился показать генезис научного мышления и форм искусства, изменение некоторых фундаментальных понятий (напр., времени) в связи с изменениями социальных и психических структур. Широкая известность концепции Элиаса во многом связана с тем, что его работы 1930-х гг. оказались созвучными «истории мен- тальностей» (школа «Анналов») и работам тех историков и социологов, которые обратились к изучению «повседневной жизни» в 1970—80-е гг. Соч.: Uber den Prozess der Zivilisation. Soziogenetische und psychogenetische Untersuchungen, Bd. I—II. Bern, 1939 (переизд. 1969); Was ist Soziologie? Munch., 1970; Die hofische Gesellschaft. Untersuchungen zur Soziologie des Konigtums und der hofischen Aristokratie. Fr./M., 1989; Studien uber die Deutschen. Fr./M., 1989; Engagement und Distanzierung. Fr./M., 1990; Mozart: Zur Soziologie eines Genies. Fr./M., 1990. A. M. Руткевич ЭЛИДО-ЭРЕТРИЙСКАЯ ШКОЛА -одна из сократических школ (4—1-я пол. 3 в. до н. э.). Основана Федоном из Элиды и была известна как «элидская» ('НАлспст) агреац); преемником Федона был Плистен из Элиды. После Плистена школу возглавил ученик элидцев Мосха и Анхипила Мене- дем из Эретрии, и она стала называться «эретрийской» ('Epexpiaicfi); видимо, на Менедеме история школы заканчивается. Неразлучным другом Менедема был еще один представитель школы — Асклепиад из Флиунта, вместе с ним слушавший Мосха и Анхипила; как и Менедем, он ничего не писал, в отличие от Федона, известного своими сократическими диалогами. Основной источник сведений о школе — Диоген Лаэртий (Vitae, II). Во времена Федона и Плистена в школе обсуждались традиционные софистические темы «воспитания нравственности» с особым акцентом на образовательной и преобразовательной силе философии; вероятно, одной из популярных школьных тем было обсуждение роли удовольствия для добродетельной жизни. При Менедеме более интересовались эрис- тическими диспутами в духе поздних мегариков-эристиков, один из которых, Стильпон, вызывал наибольшее восхищение у Менедема. Характерное для Менедема сочетание ме-
432
ЭЛИМИНАЦИОННАЯ ТЕОРЕМА гарской эристики с мировосприятием, близким к киническо- му, лишь подчеркивает в целом неоригинальный характер учения Элидо-эретрийской школы. Лит.: Mallet С. Histoire de l'ecole de Megare et des ecoles d'Elis et d'Eretrie. P., 1845. См. также лит. к ст. Сократические школы. М. А. Солопова ЭЛИМИНАТИВИЗМ (отангл. elimination — удаление, устранение, исключение) — направление в современной западной (преимущественно англо-американской) философии, доказывающее возможность и необходимость устранения терминов ментального словаря, используемых для описания психических процессов, и полной замены их терминами, описывающими нейрофизиологическую активность мозга. Исторически элиминативизм связан с различными вариантами теории тождества духовного и телесного (ментального и физического), которые развивались в русле научного реализма и «научного материализма», однако отличается от них своим радикализмом. Элиминативизм не считает возможным редуцировать «народную психологию» (т. е. такие слова из словаря «здравого смысла», как «убеждение», «верование», «желание», «надежда», «страх», «ожидание», «намерение», «предпочтение» и др.: в специальной литературе по отношению к этим словам применяется термин «пропозициональные установки») к нейрофизиологии. Первая, по мнению элими- нативистов, должна быть полностью устранена. Тем самым будет снята и психофизиологическая проблема. В разное время подобной установки придерживались У. Куайн, П. Фейе- рабенд и Р. Рорти. В последние годы новые аргументы в пользу элиминативизма выдвинули Пол и Патриция Черч- ленд. Так, Пол Черчленд утверждает, что «народная психология» представляет собой теорию особого рода, ибо отношения пропозициональных установок имеют законоподоб- ный характер и выразимы в символической форме. Но это, на его взгляд, плохая теория (неизменная со «времен Софокла») и дегенерирующая исследовательская программа, наподобие алхимии. В элиминативном материализме Черчлендов описываются различные сценарии исключения общеупотребляемых ментальных терминов. Напр., в соответствии с одним из них общение людей в будущем станет происходить аналогично взаимодействию двух полушарий мозга. Это будет непропозициональная коммуникация: нужда в словах и предложениях естественного языка вообще отпадет. В библиотеках книги будут заменены сообщениями примеров нервной активности мозга. Предполагается, что подобный язык изменит систему межличностной коммуникации, сделает обмен информацией более эффективным. И хотя элиминати- вистские сценарии в известной степени напоминают сюжеты научной фантастики, само обсуждение экстремальных прогнозов интересно с философской точки зрения. Элиминативизм вызвал критику и появление теорий, обосновывающих необходимость ментального словаря для описания психических процессов и невозможность их замены нейрофизиологическими терминами. Лит.: Quine W. Word and Object. Cambr. (Mass.), 1960; Feyerabend P. Mental Events and the Brain.— «Journal of Philosophy», v. 60, 1963; RortyR. Philosophy and the Mirror of Nature. Princeton, 1979; ChurchlandP.M. Matter and Consciousness. Cambr. (Mass.), 1984; ChurchlandP. S. Neurophilosophy. Cambr. (Mass.), 1986; Church- land P. A/. The Engine of Reason, the Seat of the Soul. Cambr. (Mass.), 1995. А. Ф. Грязное ЭЛИМИНАЦИОННАЯ ТЕОРЕМА - фундаментальная теорема доказательств теории. Термин «элиминационная теорема» введен X. Карри в качестве альтернативного названия теоремы об устранении сечения, которая впервые была сформулирована и доказана Г. Генценом в виде «Основной теоремы» (Hauptsatz) для исчисления секвенций классической и интуиционистской логики предикатов в работе «Исследования логических выводов» (1934). Согласно этой теореме, любой вывод в классическом или интуиционистском исчислении секвенций можно преобразовать в вывод с той же конечной секвенцией, не содержащий применений правила сечения. Идейно устранение сечения связано со следующей характерной особенностью секвенциальных исчислений. Все правила вывода (кроме сечения) действуют так, что любая формула, использованная в дереве вывода, оказывается подформулой формулы, входящей в результат вывода (конечную секвенцию). Поэтому уже по структуре формул данной секвенции, фактически, можно определить, что необходимо использовать для получения ее вывода. Наличие сечения ликвидирует такую возможность, т. к. при применениях этого правила из вывода исчезают формулы, входящие в обе посылки сечения. Доказательство элиминационной теоремы заключается в демонстрации эффективной процедуры преобразования произвольного исходного вывода (с применениями сечения) в результирующий вывод (без применений сечения). Естественно, исходный и результирующий выводы строятся в одном и том же исчислении и заканчиваются одной и той же секвенцией. В классическом варианте доказательства 1енцена ключевую роль играет т. н.«основная лемма», согласно которой из исходного вывода всегда можно устранить применения правила смешения. Поскольку сечение является частным случаем смешения, из основной леммы следует, что применения сечения устранимы. Основная лемма доказывается возвратной индукцией по трем параметрам: числу применений правила смешения в исходном выводе, степени и рангу смешения. Идея доказательства состоит в том, чтобы показать устранимость смешения из той части дерева исходного вывода, которая заканчивается единственным применением этого правила. Если такое возможно, то все применения смешения устранимы последовательно, начиная с самого верхнего. Структура доказательства определяется конечным числом редукций (шагов преобразований исходного вывода, заканчивающегося единственным применением смешения), в ходе которых уменьшается либо степень, либо ранг смешения и в результате получается вывод без смешений. Формальное доказательство основной леммы состоит из рассмотрения большого числа отдельных случаев и подслучаев. Содержательно оно базируется на перестановочности правил заключения в секвенциальном выводе. Суть редукций в том, что единственное применение смешения «перемещается» вверх по дереву вывода — переставляется с предшествующими применениями других правил заключения до тех пор, пока не становится очевидным, что его вообще можно удалить из вывода. Метод доказательства Генцена существенно зависит от т. н. свойства чистоты переменных первопорядковой логики предикатов, от наличия структурных правил сокращения и уточнения (добавления) и от перестановочности правил заключения. В частности, в доказательстве предполагается, что исчисление с правилом сечения дедуктивно эквивалентно исчислению с правилом смешения, что верно только при нали-
