Чтение онлайн

на главную - закладки

Жанры

Новая философская энциклопедия. Том четвёртый Т—Я
Шрифт:

263

ФОРМА ПРЕВРАЩЕННАЯ му мысли. Его нельзя рассматривать как лишенное содержания, оно содержит информацию, выражаемую логическими терминами, а также информацию о категориях дескриптивных терминов исходного контекста, об их тождестве и различии и о специфике их сочленения. Логическую форму не следует трактовать как нечто раз и навсегда данное, как атрибут, присущий мысли самой по себе. Ее исследование во многом обусловлено категориальными особенностями искусственного языка, его выразительными возможностями, принимаемым способом членения сложных выражений на составляющие. Анализ логической формы может иметь различную степень глубины. Так, при выражении формы естественно-языковых контекстов в языке логики высказываний производится замещение простых высказываний параметрами соответствующего типа — пропозициональными переменными, тем самым внутренняя структура простых высказываний игнорируется. Выразительные средства языков силлогистики и логики предикатов позволяют учесть внутреннюю структуру; процедуре замещения подвергаются здесь не простые высказывания целиком, а дескриптивные термины в их составе. Однако эти языки базируются на разных системах семантических категорий (в обычной силлогистике имеется лишь один тип нелогических терминов — общие термины, знаки классов, в то время как в логике предикатов содержатся параметры для знаков индивидов, свойств, отношений и предметных функций), поэтому между ними имеется существенное различие в характере и глубине воспроизведения логической формы. Так, форма высказывания «Все планеты вращаются вокруг Солнца» в силлогистическом языке может быть выражена формулой SaP («Всякий S есть Р»), где параметрами S и Р замещены общие термины «планета» и «тело, вращающееся вокруг Солнца», а само высказывание рассматривается как атрибутивное. В языке логики предикатов имеется возможность передать реляционный характер данного высказывания, выразив его логическую форму посредством формулы Уде (?!(x) z> ^(х, а)), где параметр ?1 соответствует знаку свойства «быть планетой», R1 — знаку отношения «вращается вокруг», а — имени «Солнце». Уточнение понятия логической формы в рамках теории семантических категорий содержится, в частности, в работе Е. Д. Смирновой «Формализованные языки и проблемы логической семантики» (М., 1982), в которой различаются понятия логической формы первого уровня, являющейся результатом замещения примитивных знаков в составе выражения индексами соответствующих категорий и способной быть представленной в виде графа, и логической формы второго уровня, представленной в виде обобщенного дерева, которое содержит информацию о тождестве и различии дескриптивных составляющих и о значении логических констант. Понятие логической формы является одним из наиболее фундаментальных в логике, т. к. особенность ее предмета — в исследовании мыслительных феноменов, познавательных приемов, языка с точки зрения их структуры, формы. Определения таких важнейших логических терминов, как «правильное дедуктивное умозаключение», «логически истинное высказывание», и др. существенным образом опираются на понятие логической формы. Законы логических теорий (см. Закон логический) являются не чем иным, как логическими формами высказываний естественного языка, принимающими при любых допустимых интерпретациях дескриптивных символов значение «истина». В. И. Маркин ФОРМА ПРЕВРАЩЕННАЯ —понятие, введенное в философский оборот Марксом и характеризующее строение и способ функционирования сложных систем; это понятие позволяет исследовать видимые зависимости и эффекты, выступающие на поверхности целого в качестве того, что Маркс называл «...формой его действительности, или, точнее, формой... действительного существования» (Теории прибавочной стоимости, ч. 3, 1961, с. 460). Подобная форма существования есть продукт превращения внутренних отношений сложной системы, происходящего на определенном ее уровне и скрывающего их фактический характер и прямую взаимосвязь косвенными выражениями. Эти последние, являясь продуктом и отложением превращенности действия связей системы, в то же время самостоятельно бытийствуют в ней в виде отдельного, качественно цельного явления, «предмета» наряду с другими. В этой «бьггийственности» и состоит проблема превращенной формы, которая видимым (и практически достоверным) образом представляется конечной точкой отсчета при анализе свойств функционирования системы в целом, представляется как особое, не разлагаемое далее образование, как «субстанция» наблюдаемых свойств. Иррациональность превращенной формы заключается в том, что вещь наделяется свойствами общественных отношений и эти свойства выступают вне связи с человеческой деятельностью, т. е. вполне натуралистически. Если подобная объективная видимость разрешается в системе связей, восстанавливаемых и прослеживаемых методом восхождения от абстрактного к конкретному, то мы имеем дело с содержательным исследованием превращенной формы, выводящим их как необходимую форму «...проявления существенных отношений» (Маркс К. Капитал, т. 1, 1955, с. 539) в условиях, когда последние накладываются одно на другое и подвергаются искажению. Но самодостаточный, исчерпывающий себя характер такого «проявления» должен быть сохранен анализом (со всей парадоксальностью его бытийных эффектов), что предполагает расширение объективного описания существующих отношений за счет учета в них той области, где соизмеримы действие наблюдения и действие содержания наблюдения (соизмеримы как части единого действия системы, включающей в себя наблюдателя-субъекта). Особенность превращенной формы, отличающая ее от классического отношения формы и содержания, состоит в объективной устраненное™ здесь содержательных определений: форма проявления получает самостоятельное «сущностное» значение, обособляется, и содержание заменяется в явлении иным отношением, которое сливается со свойствами материального носителя (субстрата) самой формы (напр., в случаях символизма) и становится на место действительного отношения. Эта видимая форма действительных отношений, отличная от их внутренней связи, играет вместе с тем — именно своей обособленностью

и бытийностью — роль самостоятельного механизма в управлении реальными процессами на поверхности системы. При этом связи действительного происхождения оказываются «снятыми» в ней. Прямое отображение содержания в форме здесь исключается. Спецификой превращенной формы является не столько действительно (а не в сознании наблюдателя) существующее извращение, сколько ее особая, объективно «сущностная» роль, на этом извращении основанная и делающая ее индивидуально-цельным элементом самой же системы. Взаимодействие в сложных системах создает качественно новые явления, дополнительные «формы жизни» предмета. Хотя действительная жизнь таких форм определяется этим

264

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

265

ФОРМАЛИЗАЦИЯ знании компенсируется отождествлением знака и предмета, которое позволяет перевести целые слои языковой деятельности в область лингвистического автоматизма. Превращенный, восполненный внешний облик отношений не только отделяется от того действительного движения, формой которого он является, но и становится его готовой исходной предпосылкой, независимым условием. Это — феноменологическое замещение, выполняемое превращенной формой. Синкретизм превращенной формы позволяет системе действовать без учета или реального проявления всех ее связей, суммарно. Весь процесс на этом уровне выступает как реализация свойств превращенной формой, замещающих своим действием другие уровни системы. Когда, напр., знаковая культурная система замещает определенные моменты содержательной работы сознания, то она превращенно выступает как конечная причина всего движения сознания, лишь проявляющая себя в нем. На наблюдении этого обстоятельства основывалась относительности лингвистической теория, предполагающая, что структура того или иного языка определяет направление, в котором мышление расчленяет действительность. По отношению к мышлению, к идеологическим явлениям понятие замещения в превращенной форме описывает те образования, которые не требуют для своего действия теоретического осознания и расчленения всех их элементов на уровне понятия. Эта же особенность превращенной формы наблюдается и внутри научно-теоретического освоения действительности, когда функционирование готового мыслительного содержания предполагает отождествление неосознаваемой абстракции с объектом, т. е. нерасчлененность объекта и способа деятельности, объекта и знания. Здесь оно оказывается источником антиномий теоретического мышления. В этом смысле деятельность теоретического сознания, как отдающая себе отчет в смысле и происхождении своих абстракций и понятий, в границах и сферах их применения, есть постоянное «распредмечивание» превращенной формы Действие синкретичного механизма превращенной формы основывается на том, что отношение уровней системы оборачивается: продукты процесса выступают как его условия, встраиваются в его начало в виде предваряющих «моделей», «программ». Изоморфизм приобретает характер циклической связи, кругового движения: на уровне превращенной формы продукты системы определяются по сути дела тавтологически, ими же самими. Превращенные формы обеспечивают стабильность системы и противодействуют ее изменению. Внутренние же связи дают о себе знать насильственно (напр., в экономических кризисах, в психических заболеваниях и, вообще, в условиях, когда не срабатывает, разрушается какая- либо из генетически разнородных, но наслоившихся друг на друга и одновременно существующих структур функционирования), а также в процессах развития, которые прежде всего и разрушают превращенные формы. Понятие превращенной формы дает ключ к анализу сознания на различных его уровнях. Применяя это понятие, Маркс сумел поставить явления общественного (и индивидуального) сознания в систему социальной деятельности. Понятие превращенной формы плодотворно в исследовании явлений общественного фетишизма, первобытного антропоморфизма, в анализе знаковых культурных систем, в т. ч. при выявлении условий отчуждения в культуре и т. п. В социально-исторических исследованиях понятие превращенной формы позволяет выявлять социально-исторические закономерности в максимально приближенном к действительности виде. Если с т. зр. научного знания превращенная форма является воспроизведением предмета в виде представления о нем, то в исторической действительности такое «представление» является реальной силой, частью самого исторического движения. В этом плане вопрос об отношении превращенной формы к содержательным формам является реальным вопросом об отношении стихийного и сознательного в общественном развитии, о возможности контролируемого людьми общественного процесса, в который были бы введены структурно расчлененные содержательные (а не превращенные) органы его регулирования. Лит.: Маркс К. Капитал, т. 1, 3.— Маркс К., Энгельс Ф. Соч., 2-е изд., т. 23, 25; Он же. Теории прибавочной стоимости, ч. 3.— Там же, т. 26(3); Мамардашвили М. К. К критике экзистенциалистского понимания диалектики.— «ВФ», 1963, № 6; он же. Анализ сознания в работах Маркса.— Там же, 1968, № 6; Соловьев Э. Ю. Экзистенциализм и научное познание. М, 1966; Lung С, KerenyiK. Einfuhrung in das Wesen der Mythologie. Z., 1951; Jung С G. Von den Wurzeln des Be- wubtseins. Z., 1954; GabelJ. La fausse conscience. P., 1962; Levi-Strauss С. La pensee sauvnge. P., 1962; Freud S. Introduction a la psychanalyse. P., 1962; Idem. Zur Psychopatologie des Alltagslebens. Fr./M., 1963; RicoeurP. De l'interpretation. Essai sur Freud. P., 1965; Lacan J. Ecrits. P., 1966; LaplancheJ., PoutalisJ.-B. \bcabulaire de la psychanalyse. P., 1967; CailloisR., Grunebaum G. E. von (ed.). Le reve et les societes humaines. P., 1967; MaussM. Sociologie et anthropologie. P., 1968. M. К. Мамардашвили ФОРМАЛИЗАЦИЯ — отображение содержательного знания в формализованной теории (исчислении). Формализуемое знание должно представлять собой каким-то образом фиксированную совокупность утверждений. Для определенности уместно говорить о формализации некоторой содержательной теории Т. Под теорией в данном случае имеется в виду замкнутая относительно всех своих логических следствий совокупность утверждений, относящихся к соответствующей предметной области. Это означает, что все следствия, которые можно получить в Г в рамках корректных рассуждений, также относятся к теории Т. Возможности формализации теории Т за счет построения соответствующего исчисления (формализованной теории) ФГ, а также взаимоотношения между Ги ФГ, если такую возможность удается некоторым образом реализовать, зависят от ряда обстоятельств. Обычно принципиальную возможность формализации содержательной теории Г связывают с тем, насколько эта теория Г подготовлена к данной операции. Речь идет о ее развитости, достаточной степени эксплицированности ее понятийного аппарата. Возможность формализации существенно возрастает при разрешимости теории, т. е. при существовании процедуры, позволяющей относительно любого сформулированного в языке теории предложения решать, принадлежит оно к теории или нет. Все это важно, но главное, что открывает принципиальную возможность формализации содержательной теории Г,— это выразительные возможности символического языка, с помощью которого предполагается отобразить Т. Вообще говоря, язык исчисления предикатов позволяет записать в символической форме любое обычное или научное предложение. Для этого достаточно дополнить этот язык символами (константами) используемых в предложении предикатов и, может быть, еще так называемыми функциональными константами, о чем для простоты можно не говорить. Однако иметь возможность осуществить символическую запись любого предложения теории Г отнюдь не значит ее фор-

266

ФОРМАЛИЗМ мализовать. Для признания того, что ФТформализует Г, необходимыми являются, по крайней мере, следующие три условия: (1) Язык L исчисления, используемого для формализации, должен давать возможность выразить любое предложение А теории Т с помощью некоторой формулы ФГ, которая при содержательной ее интерпретации порождает предложение, которое приемлемо трактовать как выражающее ту же мысль, что и А. (2) Исходные постулаты (аксиомы) ФГпри получении из них теорем должны рассматриваться как цепочки бессодержательных символов, из которых по фиксированным правилам вывода получаются новые цепочки символов (теоремы). Иначе говоря, процесс получения теорем не должен осуществляться на основании очевидности, подтверждаемости практикой и т. п. (3) Между классом теорем ФТ и классом содержательно истинных утверждений теории Г должно быть определенное оговоренное отношение, позволяющее ФГсчитать формализацией Г (точнее об этом ниже). Пункт (2) существенным образом отличает ФГот Г. В Г не обязательно есть фиксированные правила вывода, и для получения новых утверждений можно опираться на содержательный смысл терминов и имеющийся контекст. Если, напр., в Г содержится утверждение, что событие а произошло раньше события ?, то мы обязаны по содержательным основаниям относить к верным утверждениям теории Г также и то, что ? произошло позже а. Вместе с тем мы не обязаны фиксировать это. Иначе в ФТ. Здесь логические связи между отношениями раньше и позже должны быть явным образом отображены. И если указанные отношения обозначаются как «<» и «>» соответственно, то ФТ должна содержать правило, позволяющее переходить от (a<?) к (?>a). Очевидно, в ФТ придется указать также на транзитивность указанных отношений. Кратко говоря, в ФТ придется отобразить логику данных отношений, необходимую для описания соответствующей предметной области. При этом сама эта логика может зависеть от того, напр., будет ли считаться время непрерывным или дискретным, бесконечно или конечно, делимым, даже если в Г эти вопросы не обсуждаются. Т. о., формализация состоит не просто в том, чтобы осуществить запись Г в некотором символическом языке, но в том, чтобы выявить и отобразить при этом логику, которой будут удовлетворять высказывания с теми терминами, которые фигурируют в Т. Решение такой проблемы является профессиональной задачей логики вообще и может исследоваться независимо от тех или иных конкретно взятых содержательных теорий и задач, связанных с их формализацией. Так, напр., в логике формализуются теории алетических, эпистемических, деонтических, временных и другие модальностей, полные относительно некоторых содержательных семантик. Вопрос о возможности формализации теории Г есть поэтому не только вопрос о готовности к этой процедуре со стороны Г, но и о том, в достаточной ли степени разработан для этой цели имеющийся логический и математический аппарат. В связи с пунктом (3) надо иметь в виду, что ФТв явном виде содержит всю необходимую для формализации теории Гло- гику и математику и соответствующий им класс правил или содержательно интерпретируемых теорем, напр., закон кон- трапозиции импликации: (А-^В)->(-*В-+-*А) и т. п., которым фактически нет соответствия в Т. Кроме того, Г обычно не детерминирует всех логических взаимоотношений высказываний, содержащих используемую в Г терминологию. Поэтому ФТ практически всегда задает ту или иную экспликацию этой терминологии. Если даже отвлечься от возможности использования в Ф Т различных базовых логик и математик, то уже только оправданные содержанием алогические различия в экспликациях терминологии позволяют построить для одной и той же содержательной теории Г множество альтернативных формализации. При этом теория Г в зависимости от того, какая конкретная формализация будет сочтена адекватной, будет в той или иной степени менять свой смысл. Дело логика указать, чем отличаются возможные альтернативы, но не в его компетенции считать какую-то из них более предпочтительной, не говоря уже более верной. Чтобы иметь возможность содержательного обсуждения теории ФГ, в частности, говорить о ее непротиворечивости, полноте, доказуемости или недоказуемости в ней теорем определенного рода, используется т. н. метаязык (в отличие от языка, на котором сформулирована Ф7), и все верные утверждения такого рода относят к метатеории МФТ Проблему формализации содержательной теории Тъ ФГмож- но считать решенной, если в рамках метатеории А/ФГудает- ся показать, что каждому истинному в принятой интерпретации предложению Т соответствует доказуемое утверждение ФТ(теорема полноты), и наоборот (теорема адекватности). В силу разных причин такого положения не всегда удается добиться. Об этом говорит, в частности, известная теорема К. Геделя (1931) о неполноте непротиворечивой формализованной арифметики. Дело в том, что некоторая формализуемая теория Г может содержать столь богатый выразительными возможностями язык, что в ее рамках могут строится утверждения о формализующей ее системе ФГи, значит, отображаться в последней. Происходит т. н. замыкание языка и метаязыка. Любая непротиворечивая формализация теории Т оказывается принципиально неполной, так как любое изменение ФТ порождает класс новых содержательно истинных в МФТ и в самой Г предложений. Именно такого рода теорией доказывается содержательная арифметика. В объектном языке формализующей эту арифметику теории ФТ можно строить утверждения о самой этой теории, которые при содержательной интерпретации становятся истинными предложениями теории Т. В ФТ воспроизводится, в частности, некоторая форма парадокса лжеца (см. Парадокс логический), т. к. всегда находится формула, утверждающая свою собственную недоказуемость в ФТ Такая формула содержательно истинна именно потому, что в ФТ недоказуема. Ее истинность в Г и при этом недоказуемость в ФГговорит о неполноте последней. Теорема Геделя не исключает возможности полной формализации более узких фрагментов математики. Теореме Геделя о неполноте не следует придавать преувеличенного, во всяком случае универсального философского значения и распространять ее следствия на теории, при формализации которых принципиально отсутствуют и не могут возникнуть рассмотренные выше причины, препятствующие полной формализации всех истинных предложений содержательной математики. Лит.: Клини С. К. Введение в метаматематику. М., 1957. Е. А. Сидоренко ФОРМАЛИЗМ — одно из четырех главных направлений в основаниях математики наряду с эффективизмом, интуиционизмом и логицизмом. Основоположником формализма является Д. Гильберт, который поставил триединую задачу в об-

267

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

268

ФОРМАЛИЗОВАННЫЙ ЯЗЫК Было отброшено ограничение Гильберта о финитности метаязыка, и ныне метаязыком может служить любая система. Приминение таких методов формализма в физике позволило оценить глубину прозрения Канта об априорности математических понятий по отношению к физическим. Выяснилось, что вся современная физика логически следует из решения измерять величины действительными числами и в этом смысле оправдывает парадоксальное высказывание Канта, что Разум диктует законы Природе. Приложение формализма в психологии привело к развитию когнитивной науки. Лит.: Whitehead /., Russell В. Principia Mathematica. Oxf, 1912—20; Гильберт Д., Бернайс П. Основания математики, т. 1—2. М., 1979, 1982; Гончаров С. С, Ершов Ю. Л., Самохвалов К. Ф. Введение в логику и методологию науки. М., 1994. Н. Н. Непейвода ФОРМАЛИЗОВАННЫЙ ЯЗЫК — искусственная знаковая система, предназначенная для представления некоторой теории. Формализованный язык отличается от естественных (национальных) языков человеческого общения и мышления, от искусственных языков типа Эсперанто, от «технических» языков науки, сочетающих средства определенной части естественного языка с соответствующей научной символикой (язык химии, язык обычной математики и др.), от алгоритмического языка типа обобщенного программирования и т. п. прежде всего тем, что его задача — служить средством фиксации (формализации) определенного логического содержания, позволяющего вводить отношение логического следования и понятие доказуемости (либо их аналоги). Исторически первым формализованным языком была силлогистика Аристотеля, реализованная с помощью стандартизованного фрагмента естественного (греческого)

языка. Общую идею формализованного языка сформулировал Лейбниц (characteristica universalis), предусматривавший его расширение до «исчисления умозаключений» — calculus ratiocinator. В Новое время различные варианты формализованных языков разрабатывались на основе аналогии между логикой и алгеброй. Вехой здесь явились труды Моргана, Буля и их последователей, в особенности Шредера и Порецкого. Современные формализованные языки — в их наиболее распространенных формах — восходят к труду Фреге «Begriffsschrift» — «Запись в понятиях» (1879), от которого идет главная линия развития языка логики высказываний и (объемлющей ее) логики (многоместных) предикатов, а также применение этих логических языковых средств к задачам обоснования математики. Характерная структура таких формализованных языков: задание алфавита исходных знаков, индуктивное определение (правильно построенной) формулы языка, т. н. задание правил образования, задание правил вывода, т. н. правил преобразования, которые сохраняют выделенную логическую характеристику формул (истинность, доказуемость и др.). Добавление правил преобразования превращает формализованный язык в логическое исчисление. Существует много видов формализованных языков: это прежде всего языки дедуктивно-аксиоматических построений, систем натурального («естественного») вывода и секвенциальных построений, аналитических таблиц, систем «логики спора» и многих других. Формализованные языки различаются по своей логической силе, начиная с «классических» языков (в которых в полной мере действуют аристотелевские законы тождества, противоречия и исключенного третьего, а также принцип логической двузначности) и кончая многочисленными языками неклассических логик, позволяющих ослаблять те или иные принципы, вводить многозначность оценок формул либо их модальности. Разработаны языки, в которых логические средства в том или ином смысле минимизируются. Таковы языки минимальной и положительной логик или язык логики высказываний, использующий единственную логическую операцию, напр. штрих Шеффера (см. Логические связки). Формализованные языки обычно характеризуют в терминах синтактики и семантики. Но самым существенным является та логическая характеристика его формул, которая сохраняется правилами вывода (истинность, доказуемость, подтвер- ждаемость, вероятность и пр.). Для любого формализованного языка фундаментальными являются проблемы полноты выражаемой в нем логики, ее разрешимости и непротиворечивости; напр., язык классической логики высказываний полон, разрешим и непротиворечив, а классической логики предикатов (многоместных) хотя и полон, но неразрешим; язык же расширенного исчисления предикатов — с кванторами по предикатам и неограниченным применением принципа абстракции — противоречив (такой была логико-арифметическая система Фреге, в которой Рассел обнаружил антиномию, названную его именем). Формализованный язык может быть «чистой формой», т. е. не нести никакой внелогической информации; если же он ее несет, то становится прикладным формализованным языком, специфика которого — наличие постоянных предикатов и термов (дескрипций) — напр. арифметических, — отражающих свойства прикладной области. Для формализации теорий высокого уровня абстракции формализованный язык может по- разному видоизменяться, расширяться либо «надстраиваться»; пример: формализация классического математического анализа как арифметики второго порядка (т. е. с кванторами по предикатным переменным). В ряде случаев формализованный язык содержит логические структуры многих — даже бесконечно многих — порядков (такова, напр., «башня языков» А. А. Маркова, служащая формализации конструктивной математики, или интерпретация модальностей в виде иерархии «возможных миров»). Семантическая база формализованного языка логики может быть теоретико-множественной, алгебраической, вероятностной, теоретико-игровой и др. Возможны и такие ее «ослабления», которые лишь родственны вероятностной семантике — так возникает, напр., формализованный язык «расплывчатой логики» (в смысле Заде). Тогда язык приобретает специфическую прагматику, принимающую во внимание фактор носителя языка (дающего оценку «функции принадлежности» предмета объему данного понятия). Здесь проявляется крепнущая ныне тенденция учета в формализованных языках «человеческого фактора» — в том или ином его виде, что явно проявляется в некоторых формализованных языках логики квантовой механики. В другом направлении идет разработка формализованных языков, семантика которых предполагает отказ от экзистенциальных допущений либо те или иные онтологические предпосылки — о допустимости правил с бесконечным числом посылок, «мно- госортности» предметных областей, даже противоречивых, и т. д. Непременной чертой формализованного языка является «воз- можностное» истолкование правил вывода; напр., на определенном шаге мы вольны использовать либо не использовать, скажем, правило modus ponens. Этой черты лишены алгоритмические языки, носящие «предписывающий» характер. Но по мере развития компьютерной логики и разработки про-

269

ФОРМАЦИИ ОБЩЕСТВЕННЫЕ грамм «описывающего» типа это различие начинает сглаживаться. В этом же направлении действует и разработка формализованных языков, ориентированных на решения задач эвристики. Лит.: ЧерчА. Введение в математическую логику, т. 1. М., 1960; Клипы С. К Введение в метаматематику. М., 1957; КарриХ. Основания математической логики. М, 1969; Фрейденталь X. Язык логики. М., 1969; Смирнова Е. Д. Формализованные языки и проблемы логической семантики. М., 1982. Б. В. Бирюков ФОРМАЦИИ ОБЩЕСТВЕННЫЕ - категория марксизма, обозначающая ступени исторического развития общества, устанавливающая определенную логику исторического процесса. Основные характеристики общественной формации: способ производства, система общественных отношений, социальная структура и т. д. Развитие стран и отдельных регионов богаче определения их принадлежности какой-либо формации, формационные характеристики в каждом случае конкретизируются и восполняются особенностями общественных укладов — социально-политических институтов, культуры, права, религии, морали, обычаев, нравов и т. п., что находит свое выражение в категории цивилизации и цивили- зационном измерении исторического процесса. Базовыми ступенями исторического процесса выступают три большие общественные формации: первичная (общая собственность), вторичная (частная собственность) и третичная (общественная собственность). Вторичная формация является экономической общественной формацией. Ее прогрессивные эпохи — азиатский, античный, феодальный и буржуазный способы производства. Азиатский способ производства специфичен, требует специального анализа. Другие же представляют собой общественные формации в узком смысле. Античная и феодальная формации определены на основе западноевропейской истории. Первичная формация характеризуется архаическим синкретизмом общественных отношений. Экономический и родовой строй совпадают друг с другом. Грань между ними возникает с появлением частной собственности. Дифференциация базиса и надстройки возникает в условиях вторичной общественной формации. Особенности вторичной формации не распространяются на третичную. Существует несколько типологий общественных формаций. В догматическом марксизме выделено 5 типов: первобытная, рабовладельческая, феодальная, буржуазная и коммунистическая. У самого К. Маркса можно найти схему из трех цивилизаций — докапиталистической, капиталистической и коммунистической. В современной социологии типологизация обществ (напр., традиционное, индустриальное, постиндустриальное) продолжает традиции макросоциологической теории (напр., структурный функционализм Т. Парсонса, Н. Лумана и др.). Ю. К. Плетников ФОРСТЕР (Forster) Иоганн Георг Адам (27 ноября 1754, Нассенгубен, близ Данцига, совр. 1даньск — 10 января 1794, Париж) — немецкий просветитель, философ, ученый, революционный демократ. Участвовал в кругосветном плавании Дж. Кука (1772—75). Профессор университета в Касселе (с 1778) и Вильно (с 1784). Директор университетской библиотеки в Майнце (с 1788). Приветствовал Великую французскую революцию, был активным деятелем образованной осенью 1792 республики в Майнце. Философские взгляды Форстера сложились под влиянием Ж. Л. Бюффона, французских материалистов, И. Гердера. Природа понимается им как нечто подвижное и изменчивое. Вначале был близок Якоби, позднее отошел от него. Подчеркивал, что «представления, которые мы имеем о вещи вне нас, дают нам вместе взятые понятие объекта, которое мы называем телом, поскольку оно является причиной этих представлений» {Форстер Г. Избр. произв. М., 1960, с. 10). Форстер переходит на позиции сенсуализма и материализма, критики религии. Полемизировал с Кантом о происхождении человеческих рас. Негативно относился к феодальному строю и монархии, к угнетению личности в условиях деспотизма. В статье «Искусство и эпоха» (1789) раскрыл гуманистический характер античного искусства, предметом которого был человек в его совершенной красоте. В «Путешествии по Нижнему Рейну» (1790) он показал богатство средневекового искусства, ограниченность классицизма. В статье «Об отношении искусства управления государством к счастью человечества» (1794) Форстер выразил возмущение деспотизмом в Пруссии короля Фридриха II, ограничил функции государства обеспечением безопасности людей, выдвинул ряд демократических требований, исходя из правила «все не запрещенное — дозволено». В 1792—93 гг. он принимает участие в создании демократической республики в Майнце, становится якобинцем (см. «Парижские очерки», 1793—94). Его деятельность была высоко оценена Ф. Энгельсом, А И. Герценом, Н. Г. Чернышевским. Соч.: Philosophische Schriften. В., 1958; Wirke, Bd 1—2. В.—Weimar, 1968; в рус. пер.: Немецкие демократы 18 века. М., 1956; Избр. произв. М, 1960. Лнт.: Мошковская Ю. Я. Г. Форстер — немецкий просветитель и революционер XVIII в. М., 1961; ГулыгаА. В. Из истории немецкого материализма. М., 1962, гл.6; Fiedler H. G. Forster. Bibliographie, 1767-1970. В., 1971. M. A. Иванов ФОТИЙ (Фатос) (ок. 820, Константинополь— 6февраля 891) — патриарх Константинопольский (858—867 и 877—886), писатель, ведущая фигура византийского ренессанса 9 в. Родился в знатной столичной семье. Получив блестящее образование, стал известным преподавателем. Вокруг него образовался кружок для регулярных чтений классической и христианской литературы, включая научные и медицинские трактаты. На основе записей, сделанных на этих чтениях, Фотий составил «Мириобиблион», или «Библиотеку» (завершена после 867), — первый средневековый библиографическо-крити- ческий обзор, содержащий более чем 280 аннотаций произведений древнегреческих и византийских авторов. Ок. 855 стал императорским секретарем, а в 858 — патриархом, сменив смещенного с этого поста Игнатия, что вызвало негативную реакцию не только сторонников Игнатия, но и папы Николая I, который объявил избрание Фотия незаконным и отлучил его. В ответ Фотий написал окружное послание, в котором осуждал литургические и теологические новшества латинян, особенно учение о Filioque (об исхождении Св. Духа от Сына). На Константинопольском соборе 867 он осудил и отлучил Николая I, что явилось началом т. н. фотианской схизмы — первого разделения Восточной и Западной церквей. Новый император Василий I осенью 867 сместил Фотия, восстановив Игнатия на патриаршей кафедре. Фотий был возвращен ко двору в качестве воспитателя наследника престола, но после смерти Игнатия в 877 вновь стал патриархом. Был низложен в 886 императором Львом VI и умер в ссылке. Кроме «Мириобиблиона» Фотию принадлежат богословские сочинения: экзегетический сборник «Вопросы к Амфилохию»,

270

ФРАНК полемический трактат против латинского учения о Filioque «О тайноводстве Св. Духа» и трактат против ереси павликиан «О манихейских отпрысках», а также гомилии и более 260 писем, содержащих важные сведения о культурной и политической жизни Византии 9 в. Соч.: MPG, t. 101-104. Р., 1866; Bibliotheque, v. 1-8. Р, 1959-77. Лит.: Успенский Ф. И. Очерки по истории византийской образованности. СПб., 1891; DvomikF. The Photian Schism: History and Legend. Cambr., 1970; Lemerle P. Le premier humanisme byzantin. P., 1971; Treadgold W. T. The nature of the Bibliotheca of Photius. N. Y., 1980. А. В. Иванченко ФРАНК (Franck) Себастьян (1499, Донауверст, Германия — 1542, Базель, Швейцария) — идеолог левого крыла Реформации, теолог, философ, историк, гуманист. После окончания университета в Инголштадте и Доминиканского Вифлеемского колледжа в Гейдельберге совершал католические богослужения в Аугсбурге. Ок. 1526 порвал с католицизмом и стал лютеранским пастором. Однако растущие столкновения с протестантским духовенством привели к отказу Франка от сана проповедника. С 1528 начались его странствия по городам Германии и Швейцарии в качестве независимого богослова и историка религии. Франк был одним из наиболее талантливых и известных представителей «народной реформации». Мировоззрение Франка можно охарактеризовать как прежде всего пантеистическое, представлявшее собой синтез элементов лютеранства, средневекового мистицизма, неоплатонизма, идей Возрождения, гуманизма, и рационализма с вкраплениями высказываний отцов церкви и нехристианских философов. Как религиозный философ он выступал за замену внешнего авторитета внутренним «просвещением» под воздействием Св. Духа. Эта установка конкретизировалась в его главной идее о конфликте, присущем как каждому человеку, так и истории в целом, между Внутренним Словом (Логос, Бог Сын, вечный, невидимый Христос), которое является конечной реальностью, и внешним словом (закон, плоть, эгоизм), представляющим собой лишь видимость. Эта установка, проходящая через все его многочисленные труды по теологии, истории, географии, космографии, объясняет, почему он был известен также как «Франк Слова». Библия, по Франку, — лишь полное аллегорий и противоречий свидетельство о вечной истине, понять которую могут только те, в ком живет Внутреннее Слово: «Если мы не прислушаемся к слову Бога внутри нас, мы не сможем иметь дела с Писанием, поскольку все можно украсить и обосновать текстом». А поэтому никакие церкви и секты со своими «внешними» догмами, ритуалами, таинствами не являются истинными церквами. Церковь Христа — это «духовная церковь», для которой необходимо внутреннее озарение, это невидимая церковь Духа. Такой конфликт носит универсальный характер. Вся человеческая история является взаимодействием Бога и мира, борьбой между духом и силами, которые оказывают ему сопротивление. В ней происходят закономерное развитие, «экстернализация» (овеществление) духовного начала, взлет и падение царств и народов, совершающиеся по воле Бога, который карает за отступления от Внутреннего Слова. Для принадлежности к истинной церкви, настаивал Франк, требуется лишь внутреннее «просвещение» Св. Духом, а поэтому в нее могут входить даже не-христиане — если они приняли Внутренне Слово. Франк был решительным защитником религиозной терпимости не только в отношении различных христианских объединений, но и иудеев, мусульман, язычников и даже еретиков, поскольку, настаивал он, все люди созданы Богом, происходят от Адама и Св. Дух доступен им в равной мере. Он был одним из первых последовательных пацифистов. В «Военной книге мира» (Das Kriegbuchlein des Friedens, 1539) он стремится доказать, что война не только противоречит учению Христа, но и является «дьявольским, бесчеловечным делом, отвратительной чумой... открытой дверью для всех пороков и грехов, разрушением земли и души, тела и чести». Протестантские ортодоксы (прежде всего М. Лютер, Ф. Ме- ланхтон, М. Буцер) постоянно демонстрировали свое враждебное отношение к Франку. Лютер, напр., называл его «клеветническим ртом, наиболее угодным дьяволу», а конвенция протестантских теологов в Шмалькалдене (1540) приняла специальную резолюцию, осуждающую взгляды Франка и К. Швенкфельда 1489—1561). Хотя официальная протестантская историография всячески стремилась замолчать труды Франка, они оказали большое влияние на последующее реформационное движение (прежде всего на формирование «мирных анабаптистов», менонитов, баптистов, методистов, арминиан, квакеров) и развитие протестантской теологии, на немецкую культуру в целом — его «идеи сотней потоков вливаются в современность» (В. Дильтей). Л|гг.: Левен В. Г. Философские воззрения С. Франка.— «ВФ», 1958, № 10; Hegler А. Geist und Schrift bei Sebastian Franck. Freiburg im Br., 1892; KommossR. S. Franck und Erasmus von Rotterdam. В., 1934; Williams G. The Radical Reformation. Phil., 1965. Л. Н. Митрохин ФРАНК Семен Людвигович [16(28) января 1877, Москва — 10 декабря 1950, близ Лондона] — русский религиозный философ. Участник трех сборников: «Проблемы идеализма» (1902), «Вехи» (1909), «Из глубины» (1918). Сын врача, внук одного из основателей еврейской общины в Москве. Обучался на юридическом факультете Московского университета, за участие в работе революционных кружков был выслан в Нижний Новгород. Государственный экзамен сдал в 1901 в Казанском университете, перед этим прослушал ряд курсов в университетах Гейдельберга и Мюнхена. После краткого увлечения марксизмом испытал огромное воздействие книги Ф. Ницше «Так говорил Заратустра», которая поразила его не идеями, а глубиной духовной жизни и духовного борения. Результатом явилась первая философская статья «Ницше и этика любви к дальнему» (опубл. в сб. «Проблемы идеализма»). Сблизившись с П. Б. Струве, участвовал в его издательских и политических начинаниях. С 1906 начал преподавательскую деятельность сначала на высших курсах при гимназии M. H. Стоюниной, а с 1912, после сдачи магистерского экзамена и принятия крещения, — в Петербургском университете в качестве приват-доцента. В 1910-х гг. находился под сильнейшим влиянием мировоззрения Гёте, а также философско- богословских идей Николая Кузанского. В 1913—14, находясь в научной командировке в Германии, написал принесшую ему славу книгу «Предмет знания», которую в 1915 издал и защитил в качестве магистерской диссертации. В 1917 издал предназначавшуюся к защите на степень доктора книгу «Душа человека», но в связи с революцией защита не состоялась, и Франк принял предложение возглавить историко-философский факультет Саратовского университета. В 1921 переезжает в Москву, где участвует вместе с Бердяевым в работе Академии духовной культуры. В 1922 высылается в Германию, от-

271

ФРАНКЛИН куда в 1937 выслан нацистами. Живет до 1945 во Франции, а затем до конца дней в Англии. На протяжении всей жизни Франком владели две страсти: любовь к умозрению и любовь к мудрости. Большую часть жизни он, по его словам, «промечтал» и употребил на сочинение умозрительных систем, наиболее совершенные из которых нашли выражение в работах «Предмет знания», «Непостижимое» (Париж, 1939) и «Человек и реальность» (написана в 1949, издана в Париже в 1956). Увлеченный не столько Платоном, сколько новоевропейским платонизмом, он строит вариант метафизики всеединства, весьма схожий с метафизикой христианского платоника 15 в. Николая Кузанского. Главные аспекты его тщательно разработанной системы — металогический характер единства бытия, бытийный характер «живого знания» и тезис о постижимости всеединства только путем его «непостижения». В системе Франка критики отмечали непреодоленность пантеизма и невозможность в ее рамках подойти к решению проблемы зла. Самые вдохновенные книги («Свет во тьме» и «С нами Бог») Франк написал в годы 2-й мировой войны. В этих книгах он озабочен не столько стройностью умозрения, сколько доброкачественностью ценностно ориентированной, сердечной мысли. Не наукообразное «непостижение», а эмоциональною окрашенная «вера» призвана была наиболее адекватно выразить обертоны его гносеологической мысли. «Если личность есть подлинно образ и подобие Бога, то она и только она одна есть единственно адекватное выражение истины» (С нами Бог. М, 1998, с. 89). Отсутствие рациональных критериев для различения добра и зла побудило Франка подчеркнуть, что только внутренний строй личности может быть подлинно добрым или злым, но что поступки могут быть таковыми лишь в какой-то мере. Только внутренний такт позволяет нам решать, в чем больший грех: в совершении поступка или в уклонении от него. И первейший нравственный долг человека состоит в заботе о духовном возрастании собственной личности, что не может быть обеспечено без помощи благодатных сил. Различие между верующим и неверующим Франк уподобляет различию между обладающим и не обладающим музыкальным слухом, между одаренным и обездоленным. Франк вновь возвращается к умозрению в своей итоговой, написанной за год до смерти книге «Реальность и человек», где наиболее четко выражена «логика» апофатиз- ма. По оценке В. В. Зеньковского, «по силе философского зрения Франка без колебаний можно назвать самым выдающимися русским философом вообще» («История русской философии», т. 2, ч. 2. Л., 1991, с. 158). Соч.: Соч. М., 1990; Духовные основы общества. М., 1992; Предмет знания. Душа человека. СПб., 1995; Русское мировоззрение. СПб., 1996; Реальность и человек. СПб., 1997; Свет во тьме. М., 1998. Лит.: Арсеньев Н. С. Памяти Франка.— «Вестник РСХД» (Париж) 1955, № 36; Некрасова Е. Н. Семен Франк.— «Вече» (СПб.) 1995, в. 2. А. В. Соболев ФРАНКЛИН (Franklin) Бенджамин (17 января 1706, Бостон — 17 апреля 1790, Филадельфия) — американский просветитель, ученый, экономист, политический деятель. Сын бостонского ремесленника, ученик в типографии, проучился два года в школе, всю жизнь занимался самообразованием, достиг серьезных успехов в естествознании, философии, экономике, литературе. Член ряда академий, в т. ч. Российской АН. Принимал участие в работе над Декларацией независимости (1776) и Конституцией США (1787). В сфере экономических идей придерживался позиции физиократов, сформулировал свой вариант теории трудовой стоимости. Был сторонником республиканского правления, правового государства, основанного на равноправии каждого гражданина, стремлении личности к счастью и удовольствию, неприкосновенности частной собственности. Франклин выпускал газету, календари, журнал «Альманах», писал памфлеты, разоблачающие рабовладение и работорговлю, суеверие и религиозное ханжество, критикующие библейские мифы. Основатель Филадельфийского колледжа, Американского философского общества, публичной библиотеки. Его философские взгляды формировались под влиянием английских и французских просветителей. Подобно европейским просветителям, Франклин стоял на позициях деизма, согласно которому Бог, сотворив мир, не принимает в дальнейшем какого-либо участия, природа развивается по своим законам; признается естественная религия, или религия разума, общая для всех людей, отрицается религия откровения. Признание независимости законов природы лежит в основе научных поисков Франклина, в частности в создании теории электричества. Опытным путем он доказал, что свет и звук молнии и электрического разряда подобны друг другу и одновременны; они способны воспламенять предметы и убивать живые существа, вызывают механические нарушения, распространяются по одним и тем же проводникам, снимают намагниченность и меняют полюса магнита, способны расплавить металлы. Опыты, доказывающие электрическую природу гроз, навели Франклина на мысль об устройстве громоотвода (1750). На основе опытов Франклин предложил феноменологическую по характеру теорию в ньютонианском духе, по которой в природе существует особая «электрическая субстанция», частицы которой взаимно отталкиваются и способны с легкостью проникать в обычную материю, притягиваясь к ней; они растекаются по поверхности и создают «электрическую атмосферу». Эта теория в принципе допускала существование электрического тока и молчаливо предполагала закон сохранения количества электрической субстанции. Наиболее известное и крупное литературное произведение — «Автобиография», вышедшая полностью посмертно (1791) как первый американский реалистический роман, в котором сам Франклин предстал типичным выразителем национального духа. Соч.: The Writings. N. Y, 1987; В. Franklin.: His Life as He Wrote it. Cambr., 1990; Опиты и наблюдения над электричеством. M., 1956; Избр. произв. М., 1956; Американские просветители, т. 1. М., 1968. Лит.: РадовскийМ. И. Вениамин Франклин (1706—1790). М.—Л., 1965; KeyesN. В. Franklin. An Affectionate Portrait. Kingswood (Surrey), 1956. JI. А. Микешина ФРАНКФУРТСКАЯ ШКОЛА — направление в немецкой философии и социологии 20 в., которое сложилось в 30— 40-х гг. вокруг возглавлявшегося с 1931 Хоркхаймером Института социальных исследований при университете во Фракфур- те-на-Майне. В 1934—39, после эмиграции из Германии Хор- кхаймера и большинства его сотрудников в связи с приходом к власти нацистов, — в Женеве и Париже (при Высшей нормальной школе), в 1939 — в США при Колумбийском университете, с 1950 — в ФРГ во Франкфурте-на-Майне (после возвращения Хоркхаймера, Адорно и др.). Главные представители — Хоркхаимер, Адорно, Фромм, Маркузе, Хабермас. Основной орган — журнал «Zeitschrift fur Sozialforschung».

272

РАНЦИСК АССИЗСКИЙ В развитой в 1930-х гг. философско-социологической «критической теории общества» (Хоркхаймер, Маркузе) франкфуртская школа пыталась сочетать элементы критического подхода К. Маркса к буржуазной культуре с гегельянскими и фрейдистскими идеями. Восходящее к М. Веберу понятие «рационализация» трансформируется в одно из центральных понятий философии культуры франкфуртской школы: анализ внутренних противоречий «просвещения», отождествляемого с рациональным овладением природой вообще, становится ключом к пониманию культуры и общества Нового времени, и в частности массовой культуры и «массового общества» 20 в. («Диалектика просвещения», Dialektik der Aufklarung, 1948, M. Хорк- хаймера и Т. Адорно). Гегелевская диалектика преобразуется в антисистематическую «отрицательную диалектику»; одно из центральных мест занимает проблематика отчуждения. Послевоенный период характерен углублением противоречий среди представителей франкфуртской школы, отразившихся, в частности, в спорах между Фроммом и Маркузе (1950— 60-е гг.), в отходе многих молодых представителей франкфуртской школы от идей ее основоположников (эволюция Ха- бермаса и др.), что привело по существу к распаду школы в нач. 70-х гг. Франкфуртская школа оказала значительное влияние на развитие немарксистской социальной и философской мысли в ФРГ и США и на теоретическое оформление идеологии т. н. «новых левых» (хотя Адорно и Хоркхаймер, а также Хабермас отмежевались от леворадикальных тенденций этого движения). См. также ст. Неомарксизм. Лит.: Давыдов Ю. Н. Критика социально-философских воззрений франкфуртской школы. М., 1977; Социальная философия франкфуртской школы. М., 1978; Современная буржуазная философия. М., 1978, гл. 8, § 2; Die «Frankfurter Schule» im Lichte des Marxismus. Fr./M., 1970; Rohrmoser G. Das Elend der kritischen Theorie. Freibuig, 1970; Connerton P. The Tragedy of Enlightenment: An Essay on the Frankfurt School. Camn., 1980; Geyer С.-F. Aporien des Metaphysik- und Geschichtsbegriffs der kritischen Theorie. Darmstadt, 1980; Wigger- shausR. Die Frankfurter Schule. Munch.— W, 1986. Ю.Н.Давыдов ФРАНЦИСК АССИЗСКИЙ (Franciscus Assisiensis) (1182 — 3 октября 1226) — христианский проповедник, основатель ордена францисканцев, или миноритов (меньших братьев). Сын торговца тканями из Ассизи (Италия), систематического образования не получил. В 1206 оставил семью и стал нищенствовать, а через некоторое время осознал необходимость жить в соответствии с Евангелием. Его примеру последовали ученики, из которых он в 1210 образовал орден. Хотя Франциск не создал разработанной философской системы, его личность и деятельность оказали большое влияние на средневековое мировоззрение, и в частности на философию; большое число выдающихся философов позднего средневековья были монахами ордена францисканцев — Александр Гэльский, Бонавентура (о котором Э. Жильсон сказал, что он как бы Франциск, ставший философом), Р. Луллий, Дуне Скот, Роберт Гроссетест, Р. Бэкон, У. Оккам и др. Основной пафос учения Франциска Ассизского, определивший весь образ его жизни, — призыв к сознательно практикуемой бедности как христианскому нравственному идеалу, поскольку владение созданными человеком вещами и стремление к его расширению уводят человека от Бога. В отличие от аскетической идеологии катаров и вальденсов, склонявшихся к манихейскому отрицанию телесного мира вообще, аскетизм Франциска носил оптимистический и эмоционально радостный характер, связанный с восприятием мира как прекрасного творения — свидетельства благости Бога. Именно в Франциске, согласно Э. Жильсону, выразилась наиболее ярко такая черта христианского мировоззрения, как «принятие мира». Он также не избегал и социальной сферы действительности, стремясь к активной проповеди. Для его мировоззрения также было характерно пренебрежение к абстрактным представлениям и внимание к конкретным действиям и людям, простирающееся вплоть до каждого живого существа (напр., проповедь птицам, в буквальном соответствии с Христовой заповедью нести Евангелие всем тварям). Яркая жизнь Франциска, подтверждающая идею о том, что наивысшим статусом для христианина должно быть состояние добровольной бедности, стимулировала острые дискуссии, носящие отнюдь не исключительно теоретический характер. Так, Папа Иоанн XXII в булле Quia vir reprobus (1329) полемизировал с францисканцами, доказывая, что человек наделен естественным правом владеть вещами и что францисканская позиция противоречива — ведь они все же пользуются пищей и одеждой. В ответ, защищая идею бедности, Оккам в «Opus nonaginta dierum» приписывал естественное право владения человечеству в целом, а не конкретным людям и различал право использования (ius utendi), не делающее человека собственником, и собственность (dominium). Деятельная позиция Франциска, признание любви высшей добродетелью приводили философов-францисканцев к утверждению приоритета блага над истиной и соответственно любви к Богу над познанием Бога, воли над разумом, хотя их позиция и колебалась в рамках от умеренного до крайнего волюнтаризма (в противовес рационализму доминиканцев, утверждавших примат Бога). Так, Александр Гэльский (De libera arbitrio) придерживался взвешенной позиции, согласно которой воля, разум и способность к свободному выбору (liberum arbitrium) несводимы друг к другу и образуют троицу, подобно Св. Троице. Бонавентура (In II Sententiarum, 25,1,2 et 6) также стремился к компромиссу между волей и разумом, считая liberum arbitrium расположенностью, создаваемой сотрудничеством разума и воли. Однако во 2-й пол. 12 в. некоторые францисканцы (Вальтер из Бурга, Вильям де ля Map, Матфей из Акваспарты) заняли позицию радикального волюнтаризма, повлиявшего на Э. Тампье, вынесшего епископальное осуждение положения, согласно которому волю приводит в движение разум. Защитниками примата воли были также Дуне Скот и Уильям Оккам. Эта позиция в конечном счете вела к разграничению теологии и философии, веры и разума, к утверждению мистических путей богопознания. Характерной чертой францисканства является также внимание к индивидуальным вещам и утверждение непосредственного познания единичного, отражающееся в экземпляризме Бонавентуры, в теориях прямого познания единичных вещей у Матфея из Акваспарты, Ричарда из Медиавиллы и др., в понятии «этости» у Дунса Скота. Многие исследователи подчеркивают также влияние Франциска на мировоззрение эпохи Ренессанса. Немногочисленные его сочинения представляют собой продиктованные проповеди, молитвы, послания, гимны, уставы ордена и др. О его мировоззрении можно получить также представление из биографий и рассказов о нем, наиболее известным собранием которых являются «Цветочки». Соч.: Соч. М., 1955; Opuscula Sancti Patris Fiancisci Assisiensis. Roma, 1978. Jhrr.: ЕльчаниновА. В. Житие святого Франциска Ассизского. М., 1906; Герье В. И. Франциск — апостол нищеты и любви. М., 1908; Цветом-

Поделиться:
Популярные книги

Вечный. Книга V

Рокотов Алексей
5. Вечный
Фантастика:
боевая фантастика
попаданцы
рпг
5.00
рейтинг книги
Вечный. Книга V

Чехов. Книга 3

Гоблин (MeXXanik)
3. Адвокат Чехов
Фантастика:
альтернативная история
5.00
рейтинг книги
Чехов. Книга 3

Последний попаданец 9

Зубов Константин
9. Последний попаданец
Фантастика:
юмористическая фантастика
рпг
5.00
рейтинг книги
Последний попаданец 9

Серые сутки

Сай Ярослав
4. Медорфенов
Фантастика:
фэнтези
аниме
5.00
рейтинг книги
Серые сутки

Ты нас предал

Безрукова Елена
1. Измены. Кантемировы
Любовные романы:
современные любовные романы
5.00
рейтинг книги
Ты нас предал

Кодекс Охотника. Книга XXIII

Винокуров Юрий
23. Кодекс Охотника
Фантастика:
боевая фантастика
попаданцы
5.00
рейтинг книги
Кодекс Охотника. Книга XXIII

На границе империй. Том 7. Часть 4

INDIGO
Вселенная EVE Online
Фантастика:
боевая фантастика
космическая фантастика
5.00
рейтинг книги
На границе империй. Том 7. Часть 4

Нефилим

Демиров Леонид
4. Мания крафта
Фантастика:
фэнтези
боевая фантастика
рпг
7.64
рейтинг книги
Нефилим

Провинциал. Книга 1

Лопарев Игорь Викторович
1. Провинциал
Фантастика:
космическая фантастика
попаданцы
аниме
5.00
рейтинг книги
Провинциал. Книга 1

Восход. Солнцев. Книга IV

Скабер Артемий
4. Голос Бога
Фантастика:
фэнтези
попаданцы
аниме
5.00
рейтинг книги
Восход. Солнцев. Книга IV

Солдат Империи

Земляной Андрей Борисович
1. Страж
Фантастика:
попаданцы
альтернативная история
6.67
рейтинг книги
Солдат Империи

Дурашка в столичной академии

Свободина Виктория
Фантастика:
фэнтези
7.80
рейтинг книги
Дурашка в столичной академии

Сиротка

Первухин Андрей Евгеньевич
1. Сиротка
Фантастика:
фэнтези
попаданцы
5.00
рейтинг книги
Сиротка

Сумеречный стрелок 7

Карелин Сергей Витальевич
7. Сумеречный стрелок
Фантастика:
городское фэнтези
попаданцы
аниме
5.00
рейтинг книги
Сумеречный стрелок 7