Метаязык (от мета...), одно из основных понятий современной логики и теоретической лингвистики, используемое при исследовании языков различных логико-математических исчислений, естественных языков, для описания отношений между языками различных «уровней» и для характеристики отношений между рассматриваемыми языками и описываемыми с их помощью предметными областями. Метаязык — это язык, используемый для выражения суждений о другом языке, языке-объекте. С помощью Метаязык изучают структуру знакосочетаний (выражений) языка-объекта, доказательства теорем о его выразительных (и, быть может, дедуктивных) свойствах, об отношении его к др. языкам и т. п. Изучаемый язык называется также предметным языком по отношению к данному Метаязык Как предметный язык, так и Метаязык могут быть обычными (естественными) языками. Метаязык может отличаться от языка-объекта (например, в учебнике английского языка для русских русский язык является Метаязык, а английский — языком-объектом), но может и совпадать с ним или отличаться лишь частично, например специальной терминологией (русская лингвистическая терминология — элемент Метаязык для описания русского языка; т. н. семантические множители — часть Метаязык описания семантики естественных языков).

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

 

  Лит.: Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., Метаязык, 1948; Клини С. К., Введение в метаматематику, пер. с англ., Метаязык, 1957, гл. 1; Чёрч А., Введение в математическую логику, пер. с англ., т. 1, Метаязык, 1960 (введение); Карри Х. Б., Основания математической логики, пер. с англ., Метаязык, 1969, гл. 1—3.

  Ю. А. Гастев, В. К. Финн.