Akademik

ФОРМАЛИЗМ
ФОРМАЛИЗМ
— направление в эстетике, искусстве, литературе, акцентирующее значение формы в ущерб содержанию или даже при полном забвении последнего; в этике — термин, обозначающий всякую этическую теорию, которая, подобно этике И. Канта, кладет в основу своих построений чисто формальные принципы; в обычном смысле — соблюдение внешней формы в ущерб существу дела.

Философия: Энциклопедический словарь. — М.: Гардарики. . 2004.

ФОРМАЛИЗМ
        (франц. formalisme, от лат. formalis — относящийся к форме), предпочтение, отдаваемое форме перед содержанием в различных сферах человеч. деятельности (см. Содержание и форма). В области человеч. отношений Ф. проявляется в безукоснит. следовании правилам этикета, обряда, ритуала, даже в тех случаях, когда жизненная ситуация делает это бессмысленным, нелепым, комичным или драматичным; интересам соблюдения формальных правил здесь приносятся в жертву интересы содержания человеч. общения. В сфере социального управления Ф. проявляется в бюрократизме, в преклонении перед буквой закона при полном пренебрежении к его смыслу и духу (см. Бюрократия).
        В истории искусства Ф. проявлялся в отрыве художеств. формы от содержания, признании её единственно ценным элементом искусства и соответственно в сведении художеств. освоения мира к отвлечённому формотворчеству. Ф. возникал тогда, когда обществ. условия порождали у какой-либо социальной группы психологич. установку на противопоставление искусства жизни, прак-тич. деятельности, реальным интересам людей. Формалистич. тенденции обнаруживаются, напр., в академизме 19 в., однако с наибольшей последовательностью Ф. раскрылся в бурж. искусстве 20 в., в таких его течениях, как кубизм, кубофутуризм, дадаизм, леттризм, абстрактное искусство, «поп-арт» и «оп-арт», «антитеатр» и «театр абсурда», оказываясь одним из проявлений кризиса бурж. сознания (см. также Модернизм). Именно в это время предпринимаются многочисленные попытки теоретич. обоснования Ф., в которых искусство трактуется как «игра формы», как способ созидания «чистых» эстетич. ценностей, освобождённых от связи с нравств., политич., жизненно практич. содержанием.
        Высоко оценивая значение формы в искусстве, марксистско-ленинская эстетика и лит.художеств. критика всегда вели борьбу со всевозможными проявлениями Ф. — эстетизмом, теорией и практикой «чистого искусства», «искусства для искусства», показывая, что пренебрежение содержанием, формалистич. установки не только подрывают социальную активность искусства, его способность участвовать в обществ. борьбе, в воспитании людей, но и разрушительно сказываются на самой его художеств. ценности.
        Ленин В. И., О литературе и искусстве. [сборник], М., 19796; Плеханов Г. В., Искусство и литература, М., 1948; Каган М. О., Лекции по марксистско-ленинской эстетике, Л., 19712; Медведев П. Н., Формализм в зап.-европ. искусствоведении, в его кн.: В лаборатории писателя, Л., 1971; Модернизм. Сб. ст., М., 19732; Ohff H., Anti-Kunst, Dusseldorf, 1973.
 
        II
        в логике и математике, одно из осн. направлений в основаниях математики и логики, выдвигающее в качестве гл. задачи обоснования этих дисциплин построение их в виде исчислений сред-ствами спец. теории (названной основоположником формализма Гильбертом метаматематикой, или теорией доказательств).
        Разрабатываемая Гильбертом в 1922—39 программа метаматематич. обоснования математики (и логики) декларировала возможность «спасения» всей классич. математики, т. е. математики, строящейся на базе теории множеств Г. Кантора, безоговорочно пользующейся абстракцией актуальной бесконечности и всем арсеналом дедуктивных средств традиц. логики. По замыслу Гильберта, отсутствие парадоксов в выбранной систе.ме аксиом теории множеств могло бы быть гарантировано тем, что метаязык, на котором проводилось бы доказательство её непротиворечивости, содержал бы лишь финитные, конечные (никак не предполагающие использование понятия «актуальной бесконечности») выразительные и дедуктивные средства, абсолютно безупречные в отношении их ясности и убедительности.
        Метаматематич. программа Гильберта, в ходе реализации которой им самим и его школой (П. Бернайс, В. Аккерман, Г. Генцен и др.) был получен ряд важнейших результатов (см. Непротиворечивость, Полнота), подверглась критике со стороны др. направлений оснований математики, в первую очередь интуиционизма (см. также Логицизм). В то же время фундаментальное открытие Гёделя (1931), установившее несовместимость требований непротиворечивости и полноты для достаточно богатых т. зр. их выразительных и дедуктивных средств) логико-математических исчислений, показало принципиальную ограниченность концепции Ф.
        Вместе с тем метаматематич. принципы в сочетании с идеями и аппаратом др. направлений (напр., конструктивною направления) используются для разработки проблем теории доказательств (напр., амер. логиком Г. Крайзелем, рядом сов. логиков).
        см. также Аксиоматический метод, Метатеория.
        Гильберт Д., Бернайс П., Основания математики, пер. с нем., т. 1, М., 1979; Кpайзель Г., Исследования по теории доказательств, пер. с англ., М., 1981.

Философский энциклопедический словарь. — М.: Советская энциклопедия. . 1983.

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

Философский энциклопедический словарь. 2010.

ФОРМАЛИЗМ
    ФОРМАЛИЗМ — одно из четырех главных направлений в основаниях математики наряду с эффекпшвизмом, интуиционизмом ν. логицизмом. Основоположником формализма является Д. Гильберт, который поставил триединую задачу в области обоснования математики, известную под названием программы Гильберта: 1. Признать, что значительная часть математических абстрактных объектов (см. Абстрактный объект) — это идеальные конструкции, не имеющие точной интерпретации во внешнем мире и вводимые прежде всего как интеллектуальные орудия для работы с реальными объектами. Более того, не все математические высказывания о реальных объектах могут считаться реальными. Назначение идеальных объектов и высказываний — перебросить мост от одних реальных высказываний к другим.
    2. Точно и до конца формализовать допустимые методы работы с идеальными конструкциями, с тем, чтобы исключить здесь обращения к интуиции и апелляции к содержательному смыслу. Т. о., математика должна быть превращена в исчисление.
    3. Создать метаматематику, которая должна иметь дело с частным случаем реальных объектов — математическими формализмами, и строго обосновать при помощи как можно более простых, интуитивно ясных и не вызывающих сомнения у конструктивистов методов (финитных методов) принципиальную возможность устранения идеальных объектов и высказываний из доказательств реальных утверждений. Математическую теорию, развитую для потребностей метаматематики, Д. Гильберт назвал доказательств теорией. В качестве метода такого обоснования предполагалось доказать непротиворечивость, а по возможности и полноту, математических формализмов.
    По мере развития теории доказательств и теории моделей формализм все больше сближался с логицизмом, и сейчас многие авторы сводят их в единое металогическое направление. Однако имеется принципиальное методологическое отличие формализма от логицизма и от наивного платонизма. Для формалиста абстрактные объекты и понятия — не более чем орудия, позволяющие получать реальные истины и конструкции; он не ставит вопрос об их существовании или происхождении, это не относится к задачам формализма.
    Воспользовавшись достижениями логицизма, в частности трудом А. Уайтхеда и Б. Рассела, школа Гильберта уже в 20-е гг. точно сформулировала формальное исчисление для арифметики и стимулировала работы по формальной аксиоматизации множеств теории. Интенсивно велись исследования в направлении непротиворечивости и полноты построенного арифметического исчисления. Действуя под сильнейшим влиянием формализма, А. Тарский и Р. Карнап определили понятие истины и вместе с Л. Вшпгенштейном сформулировали важнейшие понятия верифицируемости и фальсифицируемоести (см. Фальсификация), связывающие идеальные высказывания с реальными. Философская суть их состоит в том, что любое утверждение должно допускать прямую либо косвенную процедуру подтверждения или опровержения. Утверждения, которые не могут быть проверены даже косвенно, — псевдопроблемы.
    Парадоксальным образом одним из первых теоретических конструктов, проверенных при помощи формалистских методов, явилась сама программа Гильберта. Теорема Геделя о неполноте показала, что цель-максимум ее недостижима, а его же (Геделя) теорема о недоказуемости непротиворечивости — что фальсифицируется и предложенное Гильбертом средство. Т. о., программа Гильберта не сводится к псевдопроблемам и являлась реальной программой научного исследования. Как известно, чаще всего приводят к важным результатам теоре
    тические программы с недостижимыми, но реально проверяемыми целями. Несмотря на защиту Л. Брауэром, который в других случаях резко критиковал его, но соглашался с целями программы Гильберта, научная общественность восприняла результаты Геделя как крах программы Гильберта. Пожалуй, самым слабым местом программы Гильберта была ее общая установка на обоснование и спасение существующей математики, которая возникла как результат реакции Гильберта на пересказ ему идей Брауэра и на некоторые личные дискуссии с ним (сам Гильберт работ Брауэра не читал). В данном месте первоначальный формализм соединялся с таким математическим платонизмом, который представлял собой вульгаризированную версию абстрактных математических объектов по типу “абсолютных идей” Платона. Поэтому математические платонисты восприняли формализм как молитву, произнесение которой позволит им освятить свою деятельность и в дальнейшем ничего не менять. Именно эта установка оказалась подорвана теоремами Геделя, показавшими, что перестраивать математику все равно придется и что в ней всегда есть место сомнению.
    Тем не менее дальнейшее развитие подтвердило скорее точку зрения Брауэра, чем большинства. Теория доказательств стала приносить позитивные результаты. В 1936 Г. Генцен опубликовал доказательство непротиворечивости арифметики, в котором единственным неформализуемым в арифметике шагом была трансфинитная индукция до εο, которая, безусловно, косвенно верифицируема и фальсифицируема содержательными полностью финитными методами и конструктивно приемлема. Еще раньше, в 1934, он опубликовал доказательство теоремы нормализации, из которого следовала возможность устранения промежуточных идеальных высказываний из логических выводов реальных высказываний. В 1939 П. С. Новиков установил, что из классического арифметического доказательства существования объекта, удовлетворяющего разрешимому условию, следует возможность построить такой объект. Тем самым реальные утверждения, доказуемые в арифметике, оказались обоснованными. В дальнейшем были получены оценки роста длины вывода при устранении идеальных понятий, подтвердившие прозрение Гильберта о необходимости идеальных объектов и понятий для практического получения реальных результатов. По сравнению с такими оценками даже башня из степеней двоек растет слишком медленно. Обращают на себя внимание философские и методологические достижения формализма, вошедшие в основу современной науки.
    Методами формализма были исследованы неклассические, в первую очередь интуиционистские, системы, что позволило показать совместимость идей Брауэра о творящем субъекте и намеренном незнании с более традиционными идеальными математическими понятиями. Различение идеальных и реальных объектов проложило путь к таким новым по своей методологии разделам математики, как нестандартный анализ, в котором действительная ось либо другая структура пополняются объектами более высокой степени идеальности т. о., чтобы сохранялись все выразимые в формальном языке свойства. Разделение на язык и метаязык оказалось плодотворным не только в логике и философии, но и в таких новых дисциплинах, как когнитивная наука и информатика. Четыре уровня метаязыкового описания используются, в частности, в практической системе построения моделей сложных систем UML.
    Было отброшено ограничение Гильберта о финитности метаязыка, и ныне метаязыком может служить любая система.
    Приминение таких методов формализма в физике позволило оценить глубину прозрения Канта об априорности математических понятий по отношению к физическим. Выяснилось, что вся современная физика логически следует из решения измерять величины действительными числами и в этом смысле оправдывает парадоксальное высказывание Канта, что Разум диктует законы Природе. Приложение формализма в психологии привело к развитию когнитивной науки.
    Лит.: WJïiteheadJ., RussellB. Principia Mathematica. Oxf., 1912—20; Гильберт Д., Бернаис П. Основания математики, т. 1—2. M., 1979, 1982; Гончаров С. С., Ершов Ю. Л., Самохвалов К. Ф. Введение в логику и методологию науки. М., 1994.
    Я. Н. Непейвода

Новая философская энциклопедия: В 4 тт. М.: Мысль. . 2001.


.