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