«Фо'рин аффе'рс»(«Foreign Affairs» – «Иностранные дела»), ежеквартальный журнал в США, освещающий проблемы внешней политики США и международных отношений. Издаётся в Нью-Йорке с 1922. Тираж (1976) 72,5 тыс. экз.

       Фо'рин о'ффис(англ. Foreign Office, буквально – иностранное ведомство), распространённое название англ. министерства иностранных дел и по делам Содружества.

       Фо'ринт(венг. forint), денежная единица Венгерской Народной Республики, равная 100 .Введена с 1 августа 1946. Золотое содержание установлено в 0,0757 г.По курсу Госбанка СССР на июнь 1977 100 Ф. = 7 руб. 67 коп.

       Форка'мера,полость в головке цилиндра двигателя внутреннего сгорания; то же. что .

       Форка'мерно-фа'кельный дви'гатель,двигатель внутреннего сгорания с .Его камера сгорания состоит из основной камеры и форкамеры ( ) с объёмом, примерно равным 2% объёма основной камеры сгорания. В форкамере расположены свеча зажигания и впускной клапан, через который из отдельного карбюратора поступает богатая топливо-воздушная смесь (с относительно большим количеством топлива). Через впускной клапан основной камеры поступает бедная смесь из др. карбюратора. Впускные клапаны основной камеры и форкамеры открываются одновременно. Факельный процесс обеспечивает горение в основной камере с коэффициентом избытка воздуха a = 1,6–1,7. Поэтому Ф.-ф. д. по сравнению с двигателями с искровым зажиганием более экономичны на частичных нагрузках, характеризуются меньшей токсичностью отработавших газов и меньшей склонностью к детонации ( см. ) ,но более сложны по конструкции.

       Фо'рлендер(Voilander) Карл (2.1.1860, Марбург, – 6.12.1928, Мюнстер), немецкий философ-идеалист, представитель марбургской школы ,профессор университета в Мюнстере (1919–28). Ф. известен как теоретик и исследователь этики И. .Согласно Ф., социализм не имеет научного обоснования и зиждется на моральных предпосылках, наиболее четко выраженных в этике Канта, рассматривающей человека как самоцель. Анализируя взаимоотношение учений Канта и К. Маркса, Ф. утверждал, что в экономических работах Маркса заключается глубокая этическая точка зрения. При этом, противопоставляя познание и оценку, знание и этику, Ф. истолковывал социализм как этическое по своей сути учение, которое якобы не может претендовать на объективность, постижение причинных связей и законов общественного развития.
        Соч.: Der Formalismus der Kantischen Ethik in seiner Notwendigkeit und Fruchtbarkeit, Marburg, 1893: 1. Kant. Der Mann und dasWerk, Bd 1–2, Lpz., 1924; Von Machiavelli bis Lenin. Neuzeitliche Staatsund Gesellschaftstheorien, Lpz., 1926; в рус. пер. – Кант и социализм. Обзор новейших теоретических течений в марксизме. М., 1906; Современный социализм и философская этика, М., 1907; Кант и Маркс, СПБ, 1909; История философии, т. 1, СПБ, 1911. См. также лит. при ст. .
         А. П. Огурцов.

       Форли'(Forii), город в Северной Италии, в области Эмилия-Романья, на древней Эмилианской дороге. Административный центр провинции Форли. 107,7 тыс. жителей (1973). Машиностроение, химическая (в т. ч. производство искусственных и полиамидных волокон), пищевая (консервы, вино, сахар), обувная, деревообрабатывающая и мебельная, бумажная, швейная промышленность, производство майолики. Археологический музей.

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

       Фо'рмав логике, форма логическая, та сторона рассуждения (доказательства, вывода, аргументации и т.п.), которая не зависит от содержания данного рассуждения. Логическая форма в языке фиксируется посредством логических констант и образуемых с их помощью отдельных фраз и их сочетаний – схем рассуждения (форм вывода, выражающих связь посылок и заключения), в которых может воплощаться разное содержание. Именно к логическим формам относятся устанавливаемые в (формальной, математической) логике и правила логических перехода (см. ) ,а также многие исследуемые в ней проблемы (в частности, проблема уточнения понятия логического следования).

       Фо'рма(лат. forma – форма, вид, образ), 1) очертания, внешний вид, контуры предмета. 2) Внешнее выражение какого-либо содержания (см. ) .3) Приспособление для придания чему-либо определённых очертаний (например, литейная Ф.). 4) Единая по цвету, покрою и др. признакам одежда [например, Ф. военнослужащих (см. ) ,учащихся и др.]. См. также статьи (математическая), (биологическая), , .

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

       Фо'рма(математическая), многочлен от нескольких переменных, все члены которого имеют одну и ту же степень (под степенью одночлена х aу b... z gпонимают число a + b +... + g). Теория Ф. находит применение в алгебраической геометрии, теории чисел, дифференциальной геометрии, механике и др. областях математики и её приложений.
        В зависимости от числа mпеременных Ф. называют бинарными (при m= 2), тернарными (при m= 3) и т.д., в зависимости от степени nих членов – линейными (при n= 1), квадратичными (при n= 2), кубичными (при n= 3) и т.д. Например, ху+ 2 y 2 + z 2является тернарной квадратичной Ф. Если переменные можно разбить на группы так, чтобы каждый член Ф. линейно зависел от переменных каждой группы, то Ф. называется полилинейной. Примером полилинейной Ф. является определитель, рассматриваемый как функция своих элементов (группы, на которые разбиваются в этом случае элементы, представляют собой совокупности элементов, расположенные в одинаковых строках или столбцах). Любая Ф. может быть получена из полилинейной Ф. путём отождествления некоторых переменных. Обратно – из каждой Ф. можно путём некоторого процесса, называемого процессом поляризации, получить полилинейную Ф. Например, Ф. x 2+ 2 x 1 , x 2 + x 2соответствует полилинейная Ф.: x 1 y 1 + x 1 y 2+ y 1 x 2+ x 2 y 2 ,которая в результате отождествления y 1с x 1и y 2c x 2превращается в данную Ф.: x 1 2+ 2 x 1 x 2+ x 2 2.
        Уравнение любой алгебраической кривой на плоскости может быть записано в в виде f( x 1, x 2, x 3) = 0, где f– некоторая тернарная Ф. Аналогично можно дать геометрическое истолкование Ф. большего числа переменных. Геометрические свойства кривых поверхностей и т.д., не зависящие от выбора системы координат, выражаются при помощи Ф. Теория инвариантов является одним из основных разделов алгебраической теории Ф., находящим применение не только в алгебраической геометрии, но и в ряде др. разделов математики и её приложений.
        Наиболее важными для приложений являются .Например, квадрат длины вектора выражается в виде квадратичной Ф. от его координат. Если механическая система при движении остаётся близкой к положению равновесия, то её кинетическая и потенциальная энергия (если они не зависят явно от времени) выражаются, соответственно, квадратичными Ф. вида:
        и .
        Изучение колебаний таких систем основано на теории квадратичных Ф., в частности на приведении этих Ф. к сумме квадратов. Теория квадратичных Ф. тесно связана с теорией кривых и поверхностей второго порядка (см. также ) .
        В теории чисел весьма важным является вопрос о представимости целых чисел как значений Ф. с целочисленными коэффициентами при целочисленных значениях переменных. Например, любое натуральное число представимо в виде x 2 + y 2 + z 2 + t 2(теорема Лагранжа). Изучение вопроса о представимости целых чисел в виде ax 2 + 2 bxy+ су 2 ;где а, b, с, хи у –целые числа, было проведено Ж. и К. .Этот вопрос тесно связан с теорией алгебраических чисел. А. доказал, что уравнения вида f( х, у) = m,где степень формы fбольше двух, имеют конечное число целочисленных решений (см. ) .
        В и используются дифференциальные Ф., т. е. многочлены от дифференциалов переменных, каждый член которых имеет относительно дифференциалов одну и ту же степень. Коэффициенты дифференциальных Ф. могут произвольно зависеть от самих переменных. Рассматриваются и полилинейные дифференциальные Ф. Примерами дифференциальных Ф. являются первая и вторая квадратичные Ф. .Важную роль в дифференциальной геометрии играют целые рациональные функции от коэффициентов квадратичных Ф. и их производных, не изменяющиеся при любых дифференцируемых невырождающихся преобразованиях переменных (дифференциальные инварианты). Например, полная, или гауссова, кривизна поверхности является дифференциальным инвариантом первой квадратичной Ф. Исследования по теории дифференциальных инвариантов сыграли важную роль в возникновении тензорного исчисления. Теория дифференциальных инвариантов находит большое применение в физике, позволяя давать инвариантные (не зависящие от выбора системы координат) формулировки физическим законам.
        Многие теоремы интегрального исчисления (см. , , ) могут рассматриваться как теоремы о связи дифференциальных Ф. различной степени. Обобщая эти соотношения, Э. построил теорию внешнего дифференцирования Ф., играющую важную роль в современной математике.
        Лит.:Веблен О., Инварианты дифференциальных квадратичных форм, пер. с англ., М., 1948; Гуревич Г. Б., Основы теории алгебраических инвариантов, М. – Л.. 1948; Гантмахер Ф. Р., Теория матриц, 3 изд., М., 1967; Боревич З. И., Шафаревич И. Р., Теория чисел, 2 изд., М., 1972.

       Фо'рма музыка'льная,см. .

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

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

       Фо'рма сло'ва,
        1) совокупность морфологических и фонологических характеристик слова, определяющих его грамматическое значение. Так, состав морфем слова «учительница» (учи-тель-ниц-а) указывает на его принадлежность к существительным женского рода, стоящим в именительном падеже единственного числа. В языке афар (Эфиопия) фонологические свойства слова fak показывают, что это глагол в повелительном наклонении (единственное число, 2-е лицо), т.к. это единственная грамматическая форма, оканчивающаяся на согласный. Понятие Ф. с. возникло в рамках формально-морфологического подхода к языку, представленного, например, в работах Ф. Ф. .Ф. с. понималась им как членимость слова на морфемы, позволяющая определить его грамматическое значение.
        2) То же, что ;слово в данной грамматической форме. Так, рус. «столу» – форма дательного падежа единственного числа слова «стол».

       Фо'рма,см. .

       Формализа'ция,представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) в виде ,или .Ф., осуществляемая на базе определённых абстракций, идеализаций и искусственных символических языков, используется прежде всего в математике (см. ) ,а также в тех науках, в которых применение математического аппарата достигает достаточной для этой цели степени зрелости. Ф. предполагает усиление роли как основания теоретических наук, поскольку в случае формализованных теорий уже нельзя удовлетворяться интуитивным убеждением, что та или иная аргументация согласуется с логическими правилами, усвоенными благодаря так или иначе приобретённой способности к правильному мышлению. Полностью могут быть формализованы лишь элементарные теории с простой логической структурой и небольшим запасом понятий (например, исчисление высказываний и узкое исчисление предикатов – в логике, элементарная геометрия – в математике). Если же теория сложна, она принципиально не может быть полностью формализована (см. , ).
        Ф. позволяет систематизировать, уточнить и методологически прояснить содержание теории, выяснить характер взаимосвязи между собой различных её положений, выявить и сформулировать ещё не решенные проблемы. Ф. как познавательный приём – в частности Ф. в узком «математическом» смысле – носит относительный характер: одна и та же теория может быть одновременно и средством Ф. (некоторой другой теории и области явлений), и предметом Ф. (в более «формальной» теории). Так, традиционная «формальная» логика является Ф. по отношению к совокупности отражённых в ней закономерностей человеческого мышления; по отношению же к своим (аксиоматическим) Ф. она выступает в качестве содержательной теории предмета формализации
      .
        Лит.:Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 15; Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М.. 1960, Введение.

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

       Формали'зм(франц. formalisme, от лат. formalis – относящий к форме), предпочтение, отдаваемое форме перед содержанием в различных сферах человеческой деятельности (см. ) .В области человеческих отношений Ф. проявляется в безукоснительном следовании правилам этикета, обряда, ритуала, даже в тех случаях, когда жизненная ситуация делает это бессмысленным, нелепым, комичным или драматичным; интересам соблюдения формальных правил здесь приносятся в жертву интересы содержания человеческого общения. В сфере социального управления Ф. проявляется в бюрократизме, в преклонении перед буквой закона при полном пренебрежении к его смыслу и духу (см. ).
        В истории искусства Ф. проявлялся в отрыве художественной формы от содержания, признании её единственно ценным элементом искусства и, соответственно, в сведении художественного освоения мира к отвлечённому формотворчеству. Ф. возникал тогда, когда общественные условия порождали у какой-либо социальной группы психологическую установку на противопоставление искусства жизни, практической деятельности, реальным интересам людей. Формалистические тенденции обнаруживаются, например, в академизме 19 в., однако с наибольшей последовательностью Ф. раскрылся в буржуазном искусстве 20 в., в таких его течениях, как ,кубофутуризм, ,леттризм, , и , «антитеатр» и «театр абсурда», оказываясь одним из проявлений кризиса буржуазного сознания (см. также ) .Именно в это время предпринимаются многочисленные попытки теоретического обоснования Ф. [неокантианская эстетика, концепции К. Фидлера (Германия), Э. (Австрия), Р. Фрая, Г. Рида (Великобритания)], в которых искусство трактуется как «игра формы», как способ созидания «чистых» эстетических ценностей, освобожденных от связи с нравственным, политическим, жизненно практическим содержанием. Ф. сказался и на методологии науки об искусстве (см. в литературоведении).
        Высоко оценивая значение формы в искусстве, марксистско-ленинская эстетика и литературно-художественная критика всегда вели борьбу со всевозможными проявлениями Ф. – с эстетизмом, с теорией и практикой «чистого искусства», ,показывая, что пренебрежение содержанием, формалистические установки не только подрывают социальную активность искусства, его способность участвовать в общественной борьбе, в воспитании людей, но и разрушительно сказываются на самой его художественной ценности.
        Лит.:В. И. Ленин о литературе и искусстве, 3 изд., М., 1967; Плеханов Г. В., Искусство и литература, М., 1948; Модернизм. Сб. ст., М., 1973; Каган М. С., Лекции по марксистско-ленинской эстетике, 2 изд., Л., 1971; Медведев П. Н., Формализм в западноевропейском искусствоведении, в его кн.: В лаборатории писателя, Л., 1971; Ohff Н., Anti-Kunst, Dьsseldorf, 1973.
         М. С. Каган.

       Формализо'ванный язы'к,
        1) в широком смысле – любая совокупность некоторым образом специализированных языковых средств с (более или менее) точно фиксированными правилами образования «выражений» (синтаксис Ф. я.) и приписывания этим выражениям определённого смысла (семантика). В таком употреблении термин «Ф. я.» не предполагает, вообще говоря, никаких специальных ограничений ни на синтаксическую структуру, ни на семантические правила, ни на назначение такого языка. Например, выражения «Н 2О», «вода», «eau», «water», «Wasser», «vesi» и т.д. можно, в принципе, в равной мере считать элементами «Ф. я. химии».
        2) Под Ф. я. в логике понимают интерпретированное ,т. е. некоторую формальную систему вместе с её .Использование Ф. я. – характерная особенность математической ,которую часто и определяют как «предмет формальной логики, изучаемый посредством построения формализованных языков». Следует, впрочем, заметить, что такого рода «определения» отнюдь не являются неотъемлемым атрибутом изложении математической логики: понятие Ф. я. не только не входит (как правило) в предметные логико-математические языки, но не является, строго говоря, и элементом никакого конкретного ,будучи скорее удобным рабочим термином для предварительных эвристических пояснений предмета этой науки.
        Лит.:Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960, Введение (§§ 00–09).

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

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

       Форма'льная арифме'тика,формулировка арифметики в виде формальной (аксиоматической) системы (см. ) .Язык Ф. а. содержит константу 0, числовые переменные, символ равенства, функциональные символы +, •, ' (прибавление 1) и логические связки (см. ) .Постулатами Ф. а. являются и исчисления предикатов (классического или интуиционистского в зависимости от того, какая Ф. а. рассматривается), определяющие равенства для арифметических операций:
       а+ 0 = а, а+ b’= ( а + b),
       а•0 = 0, а• b’= ( а• b) + а,
      аксиомы Пеано:
      щ( а’= 0), a’= b’® а= b,
      ( a= b& а= с) ® b= с, а= b® a' = b'
      и схема аксиом индукции:
       А(0) & " x( А( х) ® А( x')) ® " xa( x).
        Средства Ф. а. достаточны для вывода теорем элементарной теории чисел. В настоящее время, по-видимому, неизвестно ни одной содержательной теоретико-числовой теоремы, доказанной без привлечения средств анализа, которая не была бы выводима в Ф. а. В Ф. а. изобразимы и доказуемы их определяющие равенства. Это позволяет, в частности, формулировать суждения о конечных множествах. Более того, Ф. а. эквивалентна Цермело – Френкеля без аксиомы бесконечности: в каждой из этих систем может быть построена модель другой.
        Ф. а. удовлетворяет условиям обеих теорем Гёделя о неполноте. В частности, имеются такие полиномы Р, Qот 9 переменных, что формула " x 1 ... " x 9( P&sup1; Q) невыводима, хотя и выражает истинное суждение, а именно непротиворечивость Ф. а. Поэтому неразрешимость диофантова уравнения Р - Q= 0 недоказуема в Ф. а. Непротиворечивость Ф. а. доказана с помощью трасфинитной индукции до ординала e 0(наименьшее решение уравнения w e= e). Поэтому схема индукции до e 0недоказуема в Ф. а., хотя там доказуема схема индукции до любого ординала a < e 0. Класс доказуемо рекурсивных функций Ф. а. (т. е. частично рекурсивных функций, общерекурсивность которых может быть установлена средствами Ф. а.) совпадает с классом ординально рекурсивных функций с ординалами < e 0.
        Не все теоретико-числовые предикаты выразимы в Ф. а.: примером является такой предикат T, что для любой замкнутой арифметической формулы Аимеет место Т(й Ащ) « А,где й Ащ – номер формулы А внекоторой фиксированной нумерации, удовлетворяющей естественным условиям. Присоединение к Ф. а. символа Тс аксиомами типа
       Т(й А& Bщ) « Т(й Ащ) & Т(й Bщ),
      выражающими его перестановочность с логическими связками, позволяет доказать непротиворечивость Ф. а. Похожая конструкция (но уже внутри Ф. а.) доказывает, что схему индукции нельзя заменить никаким конечным множеством аксиом. Ф. а. корректна и полна относительно формул вида $ x 1... $ x k( P= Q); замкнутая формула из этого класса доказуема тогда и только тогда, когда она истинна. Так как этот класс содержит алгоритмически неразрешимый предикат, отсюда следует, что проблема выводимости в Ф. а. алгоритмически неразрешима.
        При задании Ф. а. в виде генценовской системы осуществима нормализация выводов, причём нормальный вывод числового равенства состоит только из числовых равенств. На этом пути было получено первое доказательство непротиворечивости Ф. а. Нормальный вывод формулы с кванторами может содержать сколь угодно сложные формулы. Полная подформульность достигается после замены схемы индукции на со-правило, позволяющее вывести В® " xA( x) из В® A(0), B® A(1),... Понятие w-вывода (т. е. вывода с w-правилом) высоты < e 0выразимо в Ф. а., поэтому переход к w-выводам позволяет устанавливать в Ф. а. многие метаматематические теоремы, в частности полноту относительно формул вида $ x 1...$ x k( P= Q) и ординальную характеристику доказуемо рекурсивных функций.
        Лит.:Клини С. К., Введение в метаматематику, пер. с англ., М., 1957; Hilbert D., Bernays P., Grundlagen der Mathematik, 2 Aufl., Bd 1–2, В., 1968–70.
         Г. Е. Минц.

       Форма'льная грамма'тика,в языкознании, одно из средств строгого описания естественных языков; один из разделов (см. ).

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

       Форма'льная систе'ма,неинтерпретированное ,класс выражений (формул) которого задаётся обычно индуктивно – посредством задания исходных («элементарных», или «атомарных») формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) – посредством задания системы и (преобразования) теорем из аксиом и уже доказанных теорем. Термин «Ф. с.» имеет многочисленные синонимы (иногда, впрочем, этими терминами обозначают родственные, но не совпадающие понятия): формальная теория, формальная математика, формализм, формальное исчисление, абстрактное исчисление, синтаксическая система, аксиоматическая система, логистическая система, , , кодификат, дедуктивная система и др.

       Форма'льный аксиомати'ческий ме'тод,см. .

       «Форма'льный ме'тод»в литературоведении, теоретическая концепция, утверждающая взгляд на художественную форму как категорию, определяющую специфику литературы и способную к саморазвитию. «Ф. м.» в определённой мере подготовлен .Как особое направление сложился на рубеже 19–20 вв. первоначально как реакция на импрессионистическую критику и позитивистски окрашенные направления в и искусствознании (например, в литературоведении), позднее – как теоретически обосновываемая методика, устремленная к изучению внутренних (структурных) закономерностей художественного произведения.
        На Западе в 1910-е гг. «Ф. м.» ярче всего проявил себя в теории изобразительного искусства (Г. ) и при сравнительном изучении различных искусств (О. Вальцель – Германия), что имело положительным результатом наблюдения в области описательной (формальной) типологии.