Большая Советская Энциклопедия (ФО)

человеческого мышления; по отношению же к своим (аксиоматическим) Ф. она выступает в качестве содержательной теории предмета формализации

.

  Лит.: Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 15; Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М.. 1960, Введение.

Формализм (матем.)

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

Формализм (социальн.)

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

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

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

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

  М. С. Каган.

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

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

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

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