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

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

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

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

---

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 и умер в ссылке. Кроме «Мириобиблиона» Фотию принадлежат богословские сочинения: экзегетический сборник «Вопросы к Амфилохию»,