Лит.: Попов М. М., Термометрия и калориметрия, 2 изд., М., 1954.

Метастатический термометр: 1 — резервуар; 2 — дополнительная камера; 3 — капилляр; 4 — основная шкала.

Метастронгилёз , заболевание свиней, вызываемое паразитированием в бронхах нематод из рода Metastrongylus. Паразиты развиваются с участием промежуточных хозяев — дождевых червей, поедая которых свиньи заражаются М. Чаще болеют поросята до 6—8-месячного возраста. Больные животные кашляют, отстают в росте и развитии, при значительном заражении погибают. Для лечения применяют водные растворы иода, дитразина, цианацетогидразида. Профилактика: дегельминтизация свиней в неблагополучных по М. хозяйствах, принятие мер к недопущению поедания свиньями дождевых червей.

  Лит.: Мозговой А. А., Гельминты домашних и диких свиней и вызываемые ими заболевания, М., 1967.

Метате'за (от греч. metáthesis — перестановка), один из видов комбинаторных изменений звуков , состоящий в перестановке звуков или слогов в пределах слова. М. находим: а) в исторических фонетических изменениях (например, рус. «ло» на месте праслав. ol в начале слова, ср. «лодия»), б) при усвоении заимствований (например, кетское «гарница» из рус. «граница»), в) при морфофонологических чередованиях (например, груз. ðuðqmetl — «пятнадцать», а не ðquðmetl от quðl — «пять»). М. особенно часты в нелитературных (просторечных, диалектных) формах (например, «перелинка» из «пелеринка» по аналогии с приставкой «пере-») и др. Различаются М. по смежности (перестановка рядом стоящих звуков: рус. «мрамор» из лат. marmor) и М. на расстоянии (например,«футляр» из нем. Futteral). Особо выделяется количественная М., при которой взаимно изменяются количественные характеристики звуков (долгота) при сохранении их качества (ср. в греч. переход têos в téôs). М. используется как комический приём в художественной литературе (например, в стихотворении С. Маршака «Вот какой рассеянный»).

  В. М. Живов.

Мета'тельные маши'ны (военные), боевые машины, применявшиеся в древности и средние века для поражения живой силы и разрушения оборонительных сооружений противника. Устройство М. м. было основано на использовании энергии скрученных или растянутых различных волокон. М. м. были известны на Древнем Востоке (в Ассирии, Индии и др.), в Древней Греции и особенно в Древнем Риме. М. м. делились на катапульты и баллисты . У римлян М. м. были сведены в подразделения, насчитывавшие до 6 М. м. В 5 в. баллисты и катапульты были вытеснены в Византии новым видом М. м. (с противовесом) — фрондиболой . В Древней Руси М. м. применялись с 10 в., главным образом при осаде и обороне городов до появления огнестрельного оружия (14 в.).

  Лит.: Артиллерия, 2 изд., М., 1938; Разин Е., История военного искусства, т. 1, М., 1955.

Метатеоре'ма (от мета... ), теорема относительно объектов (понятий, определений, аксиом, доказательств, правил вывода, теорем и др.) какой-либо научной теории (т. н. предметной, или объектной, теории), доказываемая средствами метатеории этой теории. Термин «М.» употребляется преимущественно в применении к теоремам об объектах формализованных теорий (т. е. в случае, когда предметная теория является исчислением , или формальной системой ). Если М., относящаяся к какому-либо логико-математическому исчислению, доказывается т. н. финитными средствами, ни в какой форме не использующими абстракции актуальной бесконечности, то её относят к метаматематике ; таковы, например, теорема о дедукции для исчисления высказываний или исчисления предикатов, теорема Гёделя о неполноте формальной арифметики и более богатых систем (см. Полнота в логике), теорема Чёрча о неразрешимости разрешения проблемы для исчисления предикатов, теорема Тарского о неопределимости предиката истинности для широкого класса исчислений средствами самих этих исчислений. Если же на характер трактуемых в М. понятий и (или) на средства её доказательства не накладывается никаких финитистских, или конструктивистских (см. Конструктивное направление в математике), ограничений, то такую М. причисляют к т. н. теоретико-множественной логике предикатов; примеры: теорема Гёделя о полноте исчисления предикатов, теорема Лёвенхейма — Сколема об интерпретируемости любой непротиворечивой теории на области натуральных чисел и вообще любые предложения, в которых говорится что-либо о «произвольной интерпретации», «совокупности всех интерпретаций», «общезначимости» и т.п. (в частности, все результаты о категоричности различных систем аксиом, т. е. об изоморфизме произвольных их интерпретаций, удовлетворяющих, быть может, некоторым дополнительным условиям). К М. относятся и любые теоремы о теоремах содержательных математических теорий, например многочисленные «принципы двойственности» из различных областей математики (проективная геометрия, многие алгебраические теории и др.).

  Лит . см. при статьях Метаматематика , Метатеория .

  Ю. А. Гастев.

Метатео'рия (от мета... ), теория, анализирующая структуру, методы и свойства какой-либо другой теории — т. н. предметной теории, или объектной. Термин «М.» осмысленно употребляется лишь по отношению к некоторой конкретной предметной теории; так, М. логики называют металогикой , М. математики — метаматематикой ; аналогичный смысл имеют термины «метахимия», «метабиология» и т. п. (за исключением «метафизики»). В принципе можно говорить о М. любой научной дисциплины, как дедуктивной, так и недедуктивной (например, метатеоретическая роль в известном смысле играет философия); однако по-настоящему продуктивным понятие М. оказывается в применении именно к дедуктивным наукам: математике, логике и математизированным фрагментам естествознания и др. наук (например, лингвистики). Более того, фактическим объектом рассмотрения в М. оказывается, как правило, не сама по себе та или иная содержательная научная теория, а её формальный аналог и экспликат — точное понятие исчисления (формальной системы ); если же подлежащая исследованию в М. теория носит содержательный характер, то она предварительно подвергается формализации . Т. о., часть М., изучающая структуру своей предметной теории, имеет дело с ней именно как с формальной системой, т. е. воспринимает её элементы как лишённые какого бы то ни было «содержания» (смысла) чисто формальные конструктивные объекты , строго идентифицируемые (или, наоборот, различаемые) между собой, из которых по четко сформулированным правилам образования строятся знакосочетания, являющиеся «выражениями» (формулами) данной формальной системы. Эта часть М. — т. н. синтаксис — изучает также дедуктивные средства рассматриваемой предметной теории (см. Дедукция ); в ней, в частности, определяется понятие (формального) доказательства для данной предметной теории, а также более общее понятие вывода из данных посылок. Сама М., в отличие от предметной теории, есть теория содержательная: характер используемых в ней средств описания, рассуждения и доказательства может быть каким-либо специальным образом оговорён и ограничен, но во всяком случае сами эти средства суть содержательно понимаемые элементы обычного (естественного) языка и «логики здравого смысла». Основное содержание М. составляют метатеоремы , или «теоремы о теоремах». Примером синтаксической метатеоремы может служить теорема о дедукции, устанавливающая связь между понятием выводимости (доказуемости) в данной предметной теории (например, в исчислении высказываний или исчислении предикатов) и логической операцией импликации , входящей в «алфавит» данной предметной теории.