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

• Название: Новая философская энциклопедия. Том второй Е—M
• Автор: В Степин
• Издательство: МЫСЛЬ
• Жанр: Философия
• Год: 2010
• ISBN: 978-2-244-01115-9

Новая философская энциклопедия дает обзор мировой философии во всем богатстве ее основных понятий, произведений, исторических традиций, школ, имен, обобщает достижения российских и зарубежных философских исследований за последние десятилетия, является самым полным в отечественной литературе сводом философских знаний на рубеже тысячелетий. Энциклопедия содержит около пяти тысяч статей, авторами которых являются более четырехсот известных ученых - специалистов в различных областях философии.

При подготовке данного издания внесены некоторые уточнения и дополнения. В частности, в первом томе помещена статья, посвященная 80-летию Института философии РАН в четвертом - именной указатель по всем томам.

---

537

МЕСТО ВАРАБО-МУСУЛЬМАНСКОИ ФИЛОСОФИИ temps, 1748, § XV). Согласно X. Вольфу, место — способ сосуществования тел друг с другом. И. Кант, развивая «Топику» Аристотеля и раскрывая содержание трансцендентальной топики, называет трансцендентальным местом место, уделяемое нами понятию или б чувственности, или в чистом рассудке {Кант Я. Критика чистого разума. М., 1998, с. 269), делая акцент на гносеологической характеристике места. Однако эта линия не получила в дальнейшем развития, и место в послекантовской философии трактовалось как единство пространства и времени, выраженное в изменении положения тел (К. Розенкранц), как расширение понятия протяженного пространства (О. Либман), как пространственное соотношение тел друг с другом (О. Кюль- пе). Теория относительности А. Эйнштейна, введя принцип равноправия инерциалъных систем, отказалась от поисков истинного «естественного» места тел, что и было подчеркнуго как физиками, так и философами науки 20 в. (Э. Касссирер, Г. Вейль, А. Эддингтон, В. Фок и др.). См. также Пространство, Время, Движение. Лит.: Зубов В. Я. Пространство и время у парижских номиналистов 14 в.— В кн.: Из истории французской науки. М., 1950; Гайденко П. П. Эволюция понятия науки. М.,1980; Романский И. Д. Развитие естествознания в эпоху античности. М, 1979; Асоян Ю. А. Учение Аристотеля о «естественных местах» и особенности античной культуры. — «Философские исследования», 1995, № 1, с. 65—99. А. П. Огурцов

МЕСТО ВАРАБО-МУСУЛЬМАНСКОЙ

ФИЛОСОФИИв наиболее общем плане обозначается как макан (то- где-есть). В этом смысле можно говорить о «месте вещи», будь то Бог или мир, тело или воля. Бог понимается в каламе либо как присутствующий в любом месте, что истолковывается как управление им каждой вещью, либо как находящийся «вне места» (лафй макан). Кроме того, вне места некоторыми мугазилитами полагались такие божественные атрибуты, как воля или знание. В мугазилизме выдвинуты два основных понимания места-макан: во-первых, как «предела» вещи, того, что «отделяет» ее от окружающего, и во-вторых, как того, что она «занимает» и где «располагается». Мугазилиты признавали возможность выхода тела за пределы места-макан мира, но одни считали, что в таком случае и место мира расширится вместе с таким телом, другие утверждали, что тело будет двигаться вне места. В арабоязычном перипатетизме, где пространство ограничено абсолютным телом, задающим в нем «направления» (см. Пространство), движение тела вне мира оказывается логически невозможным. Близким к «макан», но более узким является термин «хаййиз», обозначающий место, занимаемое телом. Он принят также в качестве специального термина для «естественного места» первоэлемента в арабоязычном перипатетизме и исмаилизме. Од- нокоренное тахаййуз («занятие места») считается признаком тел и субстанций. Кроме того, место понимается как «вместилище» (махалл), что связано с делением всех вещей на «самостоятельные» (ка'им би-нафси-хи) и «несамостоятельные» (ма ла йакум би-нафси-хи), при этом вторые должны «внедряться» (халла) в первые для того, чтобы существовать; так, тело служит вместилищем для своих акциденций. Близким к понятию место является понятие «положение» (мавди', вад'), трактуемое в духе соответствующей аристотелевской категории. А. В. Смирнов

МЕСТР(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-ого постулата в геометрии Евклида. Как известно, эти исследования привели к созданию неевклидовых геометрий. В общем случае построение доказательств является творческим процессом. Однако в последнее время в связи с исследо-