Текст книги "Большая Советская Энциклопедия (ФО)"
Автор книги: Большая Советская Энциклопедия
Жанр:
Энциклопедии
сообщить о нарушении
Текущая страница: 14 (всего у книги 39 страниц)
Формализованный язык
Формализо'ванный язы'к,
1) в широком смысле – любая совокупность некоторым образом специализированных языковых средств с (более или менее) точно фиксированными правилами образования «выражений» (синтаксис Ф. я.) и приписывания этим выражениям определённого смысла (семантика). В таком употреблении термин «Ф. я.» не предполагает, вообще говоря, никаких специальных ограничений ни на синтаксическую структуру, ни на семантические правила, ни на назначение такого языка. Например, выражения «Н2 О», «вода», «eau», «water», «Wasser», «vesi» и т.д. можно, в принципе, в равной мере считать элементами «Ф. я. химии».
2) Под Ф. я. в логике понимают интерпретированное исчисление , т. е. некоторую формальную систему вместе с её интерпретацией . Использование Ф. я. – характерная особенность математической логики , которую часто и определяют как «предмет формальной логики, изучаемый посредством построения формализованных языков». Следует, впрочем, заметить, что такого рода «определения» отнюдь не являются неотъемлемым атрибутом изложении математической логики: понятие Ф. я. не только не входит (как правило) в предметные логико-математические языки, но не является, строго говоря, и элементом никакого конкретного метаязыка , будучи скорее удобным рабочим термином для предварительных эвристических пояснений предмета этой науки.
Лит.: Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960, Введение (§§ 00–09).
Формалин
Формали'н, формоль, водный (обычно 37–40% -ный) раствор формальдегида , содержащий 4–12% метилового спирта в качестве стабилизатора; бесцветная жидкость со своеобразным острым запахом. При длительном хранении (особенно на холоду) Ф. мутнеет вследствие выпадения белого осадка – параформальдегида . Применяют как удобный источник формальдегида, например в производстве поливинилформаля (см. Поливинилацетали ), как антисептическое и дезодорирующее средство, например для дезинфекции помещений, одежды, инструментов, обработки рук, спринцевании, для сохранения анатомических препаратов, дубления кожи, как фунгицид для протравливания семян, клубней и семенных корнеплодов перед посевом или посадкой. Входит в состав формальдегидной мази и формидрона, применяемых при повышенной потливости; лизоформа, используемого для спринцеваний, дезинфекции рук и помещений. Ф. среднетоксичен для человека и теплокровных животных.
Формальдегид
Формальдеги'д (от лат. formica – муравей), муравьиный альдегид, CH2 O, первый член гомологического ряда алифатических альдегидов ; бесцветный газ с резким запахом, хорошо растворимый в воде и спирте, tкип – 19 °С. В промышленности Ф. получают окислением метилового спирта или метана кислородом воздуха. Ф. легко полимеризуется (особенно при температурах до 100 °С), поэтому его хранят, транспортируют и используют главным образом в виде формалина и твёрдых низкомолекулярных полимеров – триоксана (см. Триоксиметилен ) и параформа (см. Параформальдегид ).
Ф. очень реакционноспособен; многие реакции его лежат в основе промышленных методов получения ряда важных продуктов. Так, при взаимодействии с аммиаком Ф. образует уротропин (см. Гексаметилентетрамин ), с мочевиной – мочевино-формальдегидные смолы , с меламином – меламино-формальдегидные смолы , с фенолами – феноло-формальдегидные смолы (см. Феноло-альдегидные смолы ), с фенол– и нафталинсульфокислотами – дубящие вещества, с кетеном – b-пpoпиолактон . Ф. используют также для получения поливинилформаля (см. Поливинилацетали ), изопрена , пентаэритрита , лекарственных веществ, красителей, для дубления кожи, как дезинфицирующее и дезодорирующее средство. Полимеризацией Ф. получают полиформальдегид . Ф. токсичен; предельно допустимая концентрация в воздухе 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 переменных, что формула "x1... "x9 (P ¹ Q ) невыводима, хотя и выражает истинное суждение, а именно непротиворечивость Ф. а. Поэтому неразрешимость диофантова уравнения Р – Q = 0 недоказуема в Ф. а. Непротиворечивость Ф. а. доказана с помощью трасфинитной индукции до ординала e (наименьшее решение уравнения we = e). Поэтому схема индукции до e недоказуема в Ф. а., хотя там доказуема схема индукции до любого ординала a < e . Класс доказуемо рекурсивных функций Ф. а. (т. е. частично рекурсивных функций, общерекурсивность которых может быть установлена средствами Ф. а.) совпадает с классом ординально рекурсивных функций с ординалами < e .
Не все теоретико-числовые предикаты выразимы в Ф. а.: примером является такой предикат T, что для любой замкнутой арифметической формулы А имеет место Т (éА ù) « А, где éА ù – номер формулы А в некоторой фиксированной нумерации, удовлетворяющей естественным условиям. Присоединение к Ф. а. символа Т с аксиомами типа
Т (éА & B ù) « Т (éА ù) & Т (éB ù),
выражающими его перестановочность с логическими связками, позволяет доказать непротиворечивость Ф. а. Похожая конструкция (но уже внутри Ф. а.) доказывает, что схему индукции нельзя заменить никаким конечным множеством аксиом. Ф. а. корректна и полна относительно формул вида $x1 ... $xk (P = Q ); замкнутая формула из этого класса доказуема тогда и только тогда, когда она истинна. Так как этот класс содержит алгоритмически неразрешимый предикат, отсюда следует, что проблема выводимости в Ф. а. алгоритмически неразрешима.
При задании Ф. а. в виде генценовской системы осуществима нормализация выводов, причём нормальный вывод числового равенства состоит только из числовых равенств. На этом пути было получено первое доказательство непротиворечивости Ф. а. Нормальный вывод формулы с кванторами может содержать сколь угодно сложные формулы. Полная подформульность достигается после замены схемы индукции на со-правило, позволяющее вывести В ® "xA (x ) из В ® A (0), B ® A (1),... Понятие w-вывода (т. е. вывода с w-правилом) высоты < e выразимо в Ф. а., поэтому переход к w-выводам позволяет устанавливать в Ф. а. многие метаматематические теоремы, в частности полноту относительно формул вида $x1 ... $xk (P = Q ) и ординальную характеристику доказуемо рекурсивных функций.
Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957; Hilbert D., Bernays P., Grundlagen der Mathematik, 2 Aufl., Bd 1–2, В., 1968–70.
Г. Е. Минц.
Формальная грамматика
Форма'льная грамма'тика, в языкознании, одно из средств строгого описания естественных языков; один из разделов математической лингвистики (см. Грамматика формальная ).
Формальная логика
Форма'льная ло'гика, наука о мышлении, предметом которой является исследование умозаключений и доказательств с точки зрения их формы и в отвлечении от их конкретного содержания. Ф. л. – базисная наука; её идеи и методы используются как в повседневной практике, например в качестве средства предотвращения логических ошибок, так и в особенности в теории для логического анализа научного знания. См. Логика .
Формальная система
Форма'льная систе'ма, неинтерпретированное исчисление , класс выражений (формул) которого задаётся обычно индуктивно – посредством задания исходных («элементарных», или «атомарных») формул и правил образования (построения) формул, а подкласс доказуемых формул (теорем) – посредством задания системы аксиом и правил вывода (преобразования) теорем из аксиом и уже доказанных теорем. Термин «Ф. с.» имеет многочисленные синонимы (иногда, впрочем, этими терминами обозначают родственные, но не совпадающие понятия): формальная теория, формальная математика, формализм, формальное исчисление, абстрактное исчисление, синтаксическая система, аксиоматическая система, логистическая система, формализованный язык , формальная логика , кодификат, дедуктивная система и др.
Формальный аксиоматический метод
Форма'льный аксиомати'ческий ме'тод, см. Аксиоматический метод .
«Формальный метод»
«Форма'льный ме'тод» в литературоведении, теоретическая концепция, утверждающая взгляд на художественную форму как категорию, определяющую специфику литературы и способную к саморазвитию. «Ф. м.» в определённой мере подготовлен неокантианством . Как особое направление сложился на рубеже 19–20 вв. первоначально как реакция на импрессионистическую критику и позитивистски окрашенные направления в литературоведении и искусствознании (например, культурно-историческая школа в литературоведении), позднее – как теоретически обосновываемая методика, устремленная к изучению внутренних (структурных) закономерностей художественного произведения.
На Западе в 1910-е гг. «Ф. м.» ярче всего проявил себя в теории изобразительного искусства (Г. Вёльфлин ) и при сравнительном изучении различных искусств (О. Вальцель – Германия), что имело положительным результатом наблюдения в области описательной (формальной) типологии. В литературоведении «Ф. м.» был представлен изучением «морфологии романа» (В. Дибелиус – Германия), «языковой стилистики» (Л. Шпитцер ) и др. Методические принципы ряда разновидностей «Ф. м.» на Западе сводились к «пристальному чтению» произведений при игнорировании всех «внелитературных» компонентов. Итоги его развития в 1920-е гг. – утверждение статистической описательной методики, отказ от генетических и эволюционных планов изучения литературы.
Существенно иное явление по генезису и методологии – «формальная школа» в России (середина 1910-х – середина 1920-х гг.), исходившая не из искусствоведческих концепций, а из ориентации на лингвистику (что характерно в первую очередь для ОПОЯЗ а и Московского лингвистического кружка). Учение И. А. Бодуэна де Куртенэ о языке как функцией, системе, переосмысленное применительно к литературным явлениям, способствовало переходу от ранней механистической доктрины, в силу которой произведение рассматривалось как «сумма» (В. Б. Шкловский ) составляющих его «приёмов» («формальная поэтика»), к взгляду на произведение как «систему» (Ю. Н. Тынянов ) функциональных единиц (представление, характерное для «функциональной поэтики»). Одновременно эволюционирует взгляд на основные понятия теоретической и исторической поэтики: от оценки формы как единственной носительницы художественной специфики и игнорирования содержания как «внехудожественной» категории – к постановке и обоснованию в общем виде концепции «содержательной формы»; от представления о смене литературных явлений в результате разрушения автоматизма восприятия и борьбы «старшей» (канонизированной) линии с неканонизированной «младшей» линией к историко-литературному осмыслению смены жанров и стилей.
Плодотворным моментом в трудах представителей и сторонников «формальной школы» были конкретные исследования ряда ранее не изученных проблем в работах, посвященных стилистическим формам речи и языка (В. В. Виноградов ), рифме, метрике и композиции стиха (В. М. Жирмунский ), соотношению семантики и стиховой конструкции (Тынянов), синтаксиса и поэтической интонации (Б. М. Эйхенбаум ), ритма и метра (Б. В. Томашевский ), языкотворчеству футуристов (Г. О. Винокур ), ритму и синтаксису (О. М. Брик), сюжетосложению (Шкловский), произносительно-слуховой интерпретации художественной речи (С. И. Бернштейн ), системному описанию волшебной сказки (В. Я. Пропп ), поэтической фонетике (Е. Д. Поливанов ), принципам фонологического изучения стиха и стилистической семантике (Р. О. Якобсон ) и др. На протяжении 20-х гг. были выдвинуты идеи, ставшие актуальными в развитии структурной поэтики, информации теории , семиотики , машинного перевода . Проблематика исследований названных учёных 2-й половины 20-х гг. несводима к положениям «Ф. м.». Так, для «функциональной поэтики» характерно признание недостаточности синхронического плана изучения поэтики и требование дополнения его планом диахроническим, что имело следствием решительный выход за рамки «литературного ряда» и рассмотрение литературных систем в широком контексте литературного быта, социальной среды и исторической эпохи, которые в свою очередь системны. В дальнейшем учёные, разделявшие принципы «формальной школы», приходят к более широкому и универсальному научному методу постижения формы и содержания в их единстве.
На Западе к сходным представлениям пришли представители Пражского лингвистического кружка (Я. Мукаржовский и др.), сохранив, однако, на определённое время элементы ранней доктрины «Ф. м.» (Р. Якобсон). В 20–30-е гг. «Ф. м.» пытается обновиться, сближаясь с «семантическим анализом» А. А. Ричардса, получив в Англии и США название «новой критики» . В 40–50-е гг. положения «Ф. м.» нашли в Швейцарии поддержку в методике «интерпретации» произведений (В. Кайзер, Э. Штайгер). В настящее время идеи «Ф. м.» и ОПОЯЗа вызывают на Западе значительный интерес, что отчасти объясняется попытками создания неоформалистической методологии в литературоведении. Претензии сторонников «Ф. м.» на исчерпывающее раскрытие художественной сущности литературы необоснованы, т.к. сущность и ценность литературы непостижимы вне органического единства содержания и формы .
Лит.: Шор Р., «Формальный метод» на Западе, в кн.: Ars poetica, 1, М., 1927; Волошинов В. Н. [Бахтин М. М.], Марксизм и философия языка, 2 изд., М., 1930; Структурализм: «за» и «против», М., 1975; Бахтин М. М., Вопросы литературы и эстетики, М., 1975. См. также лит. при статьях ОПОЯЗ , «Новая критика» , Структурализм .
Д. Д. Ивлев.
Формальный язык
Форма'льный язы'к, то же, что формализованный язык . Иногда под термином «Ф. я.» понимают также формальную систему .
Формант
Форма'нт (от лат. formans, родительный падеж formantis – образующий), некорневая морфема , входящая в состав слова; то же, что аффикс . Термин был введён К. Бругманом .
Форманта
Форма'нта, термин фонетики , обозначающий акустическую характеристику звуков речи (прежде всего гласных), связанную с уровнем частоты голосового тона и образующую тембр звука. Ф. – часть тонового спектра звука (получаемого в лабораторных условиях с помощью спектрографа ), область частот, определяемая по усреднённой частотной величине и обозначаемая посоедством F. В спектре звука выделяются неск. Ф. (F1 – 500 гц, F2 – 1500 гц и т.д.), среднее расстояние между Ф. составляет для мужских голосов 1000 гц, для женских и детских – несколько больше. Однако в большинстве случаев для различения гласных звуков достаточно двух первых Ф., при этом F1 (диапазон 150–850 гц ) соотносится с артикуляционным признаком подъёма (раствора), т. е. с различением гласных верхнего и нижнего подъёма (узких – широких, закрытых – открытых); для узких гласных значение F1 ниже; F2 (диапазон 500–2500) соотносится с признаком ряда (для передних гласных значение F2 выше, для задних – ниже); суммарное значение частот F1 + F2 соотносится с признаком огублённости – неогублённости (лабиализация звука вызывает понижение частот, соответствующих F1 и F2).
Лит.: Зиндер Л. Р., Общая фонетика, Л., 1960; Фант Г., Акустическая теория речеобразования, пер. с англ., М., 1964.
В. А. Виноградов.
Формарьяж
Формарья'ж (франц. formariage, от лат. foris – вне и marito – сочетаюсь браком), норма феодального права в средневековых государствах Зап. и Центральной Европы, ограничивавшая свободу брака феодально-зависимого крестьянина. В раннее средневековье Ф. охватывал преимущественно сервов и означал необходимость разрешения сеньора на заключение брака. Не позднее чем с середины 12 в. Ф. распространился на всех зависимых людей сеньории, означая теперь необходимость разрешения сеньора лишь на брак с лицом, находившимся вне юрисдикции данного сеньора, или с лицом более высокого социального статуса; за такое разрешение взималась денежная пошлина. Ф. имел при этом целью предотвратить или компенсировать возможную потерю сеньором его прав на потомство зависимых от него людей. С конца 12 – начала 13 вв. в процессе освобождения крестьян значительной их части (а также жителям городов, высвободившимся из-под власти сеньоров) удалось постепенно освободиться от Ф.; он сохранялся лишь по отношению к сервам, став с этого времени одним из символов серважа. В 14–15 вв. Ф. исчезает в большинстве государств Зап. Европы, встречаясь как исключение в отдельных районах.
Ю. Л. Бессмертный.
Формат издания
Форма'т изда'ния (франц. format, нем. Format, от лат. formo – придаю форму), размеры готового (обрезанного и сброшюрованного) печатного издания, выраженные в мм или долях листа печатной бумаги.
Форматив
Формати'в, часть слова, выделяющаяся в нём как остаток при членении на значимые части (морфемы ) и не обладающая собственным значением. Ф. может служить для соединения морфем в слове (например, соединительный гласный в рус. сложных словах, ср. вод-о-воз); для образования основ правильной морфонологической структуры (например, в рус. языке к заимствованным основам, оканчивающимся на переднюю гласную, присоединяется Ф. «-й», ср. «шоссе-й-ный», «чили-й-ский»); для получения правильной фонологической структуры слова, например в языке питьянтьятьяра (Австралия) к основам, оканчивающимся на согласный, добавляется Ф. «-ра-», т.к. в языке невозможны слова с исходом на согласный. Термин «Ф.» иногда употребляется в более широком смысле – как синоним аффикса .
Форматный станок
Форма'тный стано'к, форматная пила, деревообрабатывающий станок для распиловки в «формат» (обрезки кромок или раскроя) фанеры, древесностружечных, древесноволокнистых и др. плитных материалов. Ф. с. имеет станину, на которой укреплены валы с круглыми пилами, механизм подачи и электроприводы. Число пил у разных типов Ф. с. от 1 до 10; диаметр пил от 200 до 500 мм; зубья пил имеют пластинки твёрдого сплава. Материал укладывается в стопы и устанавливается на каретке механизма подачи, которая проходит через зону пил. Распиловку в направлении подачи осуществляют только те пилы, которые обеспечивают нужный формат. Распиловку перпендикулярно направлению подачи производит пила, включаемая в работу после остановки каретки в положении, соответствующем длине (ширине) формата. Ф. с. проходного типа имеют 4 пилы (2 пилы установлены параллельно продольной подаче материала, а 2 – перпендикулярно). Распиливаемый материал располагается поштучно на пластинчатых цепях между упорами; в зоне пил он прижимается специальными механизмами. После опиловки двух кромок на первой паре пил материал изменяет направление подачи на 90° и поступает в зону второй пары пил, где происходит опиловка оставшихся двух кромок.
Лит.: Деревообрабатывающее оборудование. Каталог-справочник, [М., 1972].
Н. К. Якунин.
Формации
Форма'ции геологические, геоформации, геогенерации, естественная совокупность горных пород, минералов и руд, тесно связанных друг с другом парагенетическими отношениями, близких по возрасту и по геологической обстановке образования. Понятие «формация» возникло в 18 в. для обозначения крупных толщ осадочных пород, выделяемых по преобладанию или определённому сочетанию некоторых их типов и месту в общей последовательности геологических напластований (например, древний красный песчаник, писчий мел в Европе). В дальнейшем этот термин, особенно в рус. и советской геологии, утратил своё стратиграфическое значение и приобрёл генетический (парагенетический) смысл; лишь в амер. литературе термин «формация» применяется для обозначения подразделений региональных литостратиграфических шкал, примерно соответствуя рус. термину левита» (см. Свита геологическая , Стратиграфия ). Франц. геолог М. Бертран рассматривал (1897) Ф. как «горные фации» (например, флиш , молассы ), знаменующие определённые этапы в развитии геосинклиналей .
Понятие Ф. распространено на магматические (Ф. Ю. Левинсон-Лессинг, Ю. А. Кузнецов, Ф. Тёрнер, Дж. Ферхуген), метаморфические (А. А. Маракушев, Н. Л. Добрецов, В. С. Соболев и др.) и метасоматические (Д. С. Коржинский, В. А. Жариков, Б. И. Омельяненко и др.) породы.
Большой вклад в учение о Ф. внесли рус. и советские исследователи; в работах В. В. Белоусова, Н. Б. Вассоевича, А. Б. Ронова, В. Е. Хаина, Н. П. Хераскова, Н. С. Шатского и др. под осадочной Ф. понимается крупное, примерно отвечающее по объёму геологическим системам, отделам или их частям, закономерно повторяющееся сочетание определённых типов горных пород, свидетельствующее об устойчивости обстановки их образования. Каждая Ф. характеризуется общностью состава, строения и распространения, отражающих сё формирование в определённых палеогеографических условиях, господствующих на определённом этапе развития той или иной тектонической области (зоны), со свойственными ей тектоническим режимом и климатом. Ф. – это комплексы фаций и генетических типов отложений. Границы Ф. могут скользить во времени; различные типы Ф., повторяясь в отложениях разного возраста, несколько изменяют свои особенности.
Выделение Ф. производится по вещественному составу, а их классификация осуществляется прежде всего по тектоническому признаку с учётом климатических условий, в отдельных случаях играющих весьма важную роль. Три главные группы Ф. – осадочные, вулканогенные, магматические – нередко сами встречаются в определённом сочетании; так, вулканогенные и интрузивные Ф., связанные общностью магматических очагов, образуют т. н. вулкано-плутонической ассоциации (например, трапповая ассоциация платобазальтов, долеритов и габбро-диабазов; ассоциация андезит-липаритовых вулканитов и гранитоидов). Подобные ассоциации могут образовывать также магматические и осадочные Ф. – например, офиолитовая ассоциация (см. Офиолиты ) ультраосновных и основных интрузивных пород, основных лав и кремнисто-карбонатных глубоководных осадков; сланцево-диабазовая ассоциация глинистых сланцев, спилитов, диабазов и т.п.
Ф. сочетаются в латеральные (по площади) и вертикальные ряды; смена Ф. по латерали соответствует тектонической и климатической зональности, по вертикали – смене стадий развития отдельных крупных тектонических зон – платформ, эвгеосинклиналей и миогеосинклиналей, орогенов (отсюда термин Н. Б. Вассоевича «геогенерация», 1940, 1966). Типичный пример вертикального ряда осадочных геосинклинальных Ф. – аспидная (сланцевая) Ф., флиш-моласса и др. По Ф. можно определять тип тектонической структуры и стадию её развития, а также общую климатическую обстановку в период образования данной Ф.
Учение о магматической Ф. успешно развивается в СССР Ю. А. Кузнецовым как особое научное направление, возникшее на стыке тектоники и петрологии. Магматические Ф. – сообщества магматических горных пород, возникающие в определённой геологической обстановке и отвечающие отдельным этапам развития того или иного участка земной коры.
В основе выделения метаморфических Ф. также лежит принцип общности происхождения метаморфических горных пород, связанных с определёнными тектоническим структурами (подвижными поясами или платформами) на разных стадиях их развития (например, в ранние стадии развития эвгеосинклиналей выделяются метаморфические Ф. спилитов , а в завершающие стадии геосинклиналей образуются метаморфические Ф. гнейсов и мигматитов , сланцев и филлитов ).
Понятие о метасоматических Ф. (например, скарновая, грейзеновая, альбититовая Ф.) развито слабее; по ряду признаков они должны относиться к вторичным Ф. С магматической и метасоматической Ф. тесно связаны и ассоциируются рудные Ф. как группы рудных месторождений близкого по составу минерального сырья, образованные в сходных геологических и физико-химических условиях на поверхности или в недрах Земли. Примеры рудных Ф. – хромитовая, пирротин-халькопирит-пентландитовая и др. Учение о рудных Ф. (А. Г. Бетехтин, Ю. А. Билибин, И. Г. Магакьян, Р. М. Константинов, В. А. Кузнецов, В. И. Смирнов и др.) развивается как особая ветвь науки о рудных месторождениях (см. Рудная область ).
С определёнными типами Ф. связаны определённые типы полезных ископаемых, чем определяется большое значение формационного анализа не только в литологии, палеогеографии и тектонике, но и для познания закономерностей размещения различных полезных ископаемых и разработки научных основ их поисков.
Лит.: Шатский Н. С., Избр. тр., т. 3, М., 1965; Вассоевич Н. Б., История представлений о геологических формациях (геогенерациях), в сборнике: Осадочные и вулканогенные формации, Л., 1966 (Тр. Всес. н.-и. геол. института. Новая серия, т. 128); Кузнецов Ю. А., Главные типы магматических формаций, М., 1964; Херасков Н. П., Тектоника и формации, М., 1967; Магакьян И. Г., Типы рудных провинций и рудных формаций СССР, М., 1969; Проблемы магматической геологии, Новосиб., 1973 (Тр. института геологии и геофизики, в. 213); Маракушев А. А., Петрология метаморфических горных пород, М., 1973.
В. Е. Хаин.
