Формали'зм в математике, см. Математический формализм .

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

  В истории искусства Ф. проявлялся в отрыве художественной формы от содержания, признании её единственно ценным элементом искусства и, соответственно, в сведении художественного освоения мира к отвлечённому формотворчеству. Ф. возникал тогда, когда общественные условия порождали у какой-либо социальной группы психологическую установку на противопоставление искусства жизни, практической деятельности, реальным интересам людей. Формалистические тенденции обнаруживаются, например, в академизме 19 в., однако с наибольшей последовательностью Ф. раскрылся в буржуазном искусстве 20 в., в таких его течениях, как кубизм , кубофутуризм, дадаизм , леттризм, абстрактное искусство , «поп-арт» и «оп-арт» , «антитеатр» и «театр абсурда», оказываясь одним из проявлений кризиса буржуазного сознания (см. также Модернизм ). Именно в это время предпринимаются многочисленные попытки теоретического обоснования Ф. [неокантианская эстетика, концепции К. Фидлера (Германия), Э. Ганслика (Австрия), Р. Фрая, Г. Рида (Великобритания)], в которых искусство трактуется как «игра формы», как способ созидания «чистых» эстетических ценностей, освобожденных от связи с нравственным, политическим, жизненно практическим содержанием. Ф. сказался и на методологии науки об искусстве (см. «Формальный метод» в литературоведении).

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

  Лит.: В. И. Ленин о литературе и искусстве, 3 изд., М., 1967; Плеханов Г. В., Искусство и литература, М., 1948; Модернизм. Сб. ст., М., 1973; Каган М. С., Лекции по марксистско-ленинской эстетике, 2 изд., Л., 1971; Медведев П. Н., Формализм в западноевропейском искусствоведении, в его кн.: В лаборатории писателя, Л., 1971; Ohff Н., Anti-Kunst, Düsseldorf, 1973.

  М. С. Каган.

Формализо'ванный язы'к,

  1) в широком смысле – любая совокупность некоторым образом специализированных языковых средств с (более или менее) точно фиксированными правилами образования «выражений» (синтаксис Ф. я.) и приписывания этим выражениям определённого смысла (семантика). В таком употреблении термин «Ф. я.» не предполагает, вообще говоря, никаких специальных ограничений ни на синтаксическую структуру, ни на семантические правила, ни на назначение такого языка. Например, выражения «Н₂ О», «вода», «eau», «water», «Wasser», «vesi» и т.д. можно, в принципе, в равной мере считать элементами «Ф. я. химии».

  2) Под Ф. я. в логике понимают интерпретированное исчисление , т. е. некоторую формальную систему вместе с её интерпретацией . Использование Ф. я. – характерная особенность математической логики , которую часто и определяют как «предмет формальной логики, изучаемый посредством построения формализованных языков». Следует, впрочем, заметить, что такого рода «определения» отнюдь не являются неотъемлемым атрибутом изложении математической логики: понятие Ф. я. не только не входит (как правило) в предметные логико-математические языки, но не является, строго говоря, и элементом никакого конкретного метаязыка , будучи скорее удобным рабочим термином для предварительных эвристических пояснений предмета этой науки.

  Лит.: Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960, Введение (§§ 00–09).

Формали'н, формоль, водный (обычно 37–40% -ный) раствор формальдегида , содержащий 4–12% метилового спирта в качестве стабилизатора; бесцветная жидкость со своеобразным острым запахом. При длительном хранении (особенно на холоду) Ф. мутнеет вследствие выпадения белого осадка – параформальдегида . Применяют как удобный источник формальдегида, например в производстве поливинилформаля (см. Поливинилацетали ), как антисептическое и дезодорирующее средство, например для дезинфекции помещений, одежды, инструментов, обработки рук, спринцевании, для сохранения анатомических препаратов, дубления кожи, как фунгицид для протравливания семян, клубней и семенных корнеплодов перед посевом или посадкой. Входит в состав формальдегидной мази и формидрона, применяемых при повышенной потливости; лизоформа, используемого для спринцеваний, дезинфекции рук и помещений. Ф. среднетоксичен для человека и теплокровных животных.

Формальдеги'д (от лат. formica – муравей), муравьиный альдегид, CH₂ O, первый член гомологического ряда алифатических альдегидов ; бесцветный газ с резким запахом, хорошо растворимый в воде и спирте, t_кип – 19 °С. В промышленности Ф. получают окислением метилового спирта или метана кислородом воздуха. Ф. легко полимеризуется (особенно при температурах до 100 °С), поэтому его хранят, транспортируют и используют главным образом в виде формалина и твёрдых низкомолекулярных полимеров – триоксана (см. Триоксиметилен ) и параформа (см. Параформальдегид ).

  Ф. очень реакционноспособен; многие реакции его лежат в основе промышленных методов получения ряда важных продуктов. Так, при взаимодействии с аммиаком Ф. образует уротропин (см. Гексаметилентетрамин ), с мочевиной – мочевино-формальдегидные смолы , с меламином – меламино-формальдегидные смолы , с фенолами – феноло-формальдегидные смолы (см. Феноло-альдегидные смолы ), с фенол- и нафталинсульфокислотами – дубящие вещества, с кетеном – b-пpoпиолактон . Ф. используют также для получения поливинилформаля (см. Поливинилацетали ), изопрена , пентаэритрита , лекарственных веществ, красителей, для дубления кожи, как дезинфицирующее и дезодорирующее средство. Полимеризацией Ф. получают полиформальдегид . Ф. токсичен; предельно допустимая концентрация в воздухе 0,001 мг/л.

Форма'льная арифме'тика, формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод ). Язык Ф. а. содержит константу 0, числовые переменные, символ равенства, функциональные символы +, •, ' (прибавление 1) и логические связки (см. Логические операции ). Постулатами Ф. а. являются аксиомы и правила вывода исчисления предикатов (классического или интуиционистского в зависимости от того, какая Ф. а. рассматривается), определяющие равенства для арифметических операций: