Формализм

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

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

Разрабатываемая Гильбертом в 1922—1939 годы программа метаматематического обоснования математики (и логики) декларировала возможность «спасения» всей классической математики, т. е. математики, строящейся на базе теории множеств Г. Кантора, безоговорочно пользующейся абстракцией актуальной бесконечности и всем арсеналом дедуктивных средств традиционной логики...

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

ФОРМАЛИЗМ — одно из четырех главных направлений в основаниях математики наряду с эффективизмом, интуиционизмом и логицизмом. Основоположником формализма является Д. Гильберт, который поставил триединую задачу в области обоснования математики, известную под названием программы Гильберта: 1. Признать, что значительная часть математических абстрактных объектов (см. Абстрактный объект) — это идеальные конструкции, не имеющие точной интерпретации во внешнем мире и вводимые прежде всего как интеллектуальные орудия для работы с реальными объектами. Более того, не все математические высказывания о реальных объектах могут считаться реальными. Назначение идеальных объектов и высказываний — перебросить мост от одних реальных высказываний к другим...

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

ФОРМАЛИЗМ — 1. Художественный метод, в основе которого лежит абсолютизация, эстетизация формы в искусстве, противоположен реализму. Возник в конце 19 — начале 20 в., объединив многочисленные течения и школы искусства (футуризм, кубизм, абстракционизм, сюрреализм, фовизм, ташизм, эспрессионизм и т. д.). 2. Направление в математике, пытающееся получить решение проблем основания математики при помощи формально-аксиоматических построений. Ф. возник в начале 20 в. (нем. математик Гильберт и его сотрудники В. Аккерман, П. Бернайс, Дж. Нейман).