Метаязык

Метаязык в Энциклопедическом словаре:
Метаязык - язык, средствами которого проводится описание структурных,дедуктивных или семантических свойств какого-либо другого (обычноформализованного) языка, являющегося предметом изучения соответствующейметатеории.

Значение слова Метаязык по Логическому словарю:
Метаязык - (от греч. meta - после, за, позади)  - язык, сред­ствами которого исследуются и описываются свойства другого язы­ка, называемого предметным, или объектным. Напр., когда мы на­чинаем изучать иностранный язык, знакомиться с его выражения­ми, с его грамматической структурой, системой времен, падежей   и т. п., мы пользуемся для описания свойств этого пока еще не известного нам языка своим родным языком, который и выступа­ет в данном случае в качестве М. Смешение объектного языка и М. приводит к противоречиям и парадоксам (см.: «Лжеца» парадокс). В естественном языке явного различия между объектным и М. нет: мы пользуемся одним и тем же языком и для того, чтобы говорить о внеязыковых объектах, и для того, чтобы говорить о самом языке. Только интуиция помогает нам избежать путаницы и противоречий. Однако всегда существует опасность того, что неразличение объектного и М. приведет к про­тиворечию. Поэтому в науке, в частности в металогике и метама­тематике, проводится четкое разделение этих двух языков. К М. обычно предъявляются следующие требования: 1) в нем должны быть средства для описания синтаксических свойств объектного язы­ка, в частности средства для построения выражений объектного языка; 2) М. должен быть настолько богат по своим выразительным возможностям, чтобы для каждого выражения объектного языка в нем существовала формула, являющаяся переводом этого выраже­ния; 3) логический словарь М. должен быть по крайней мере столь же богат, как и логический словарь объектного языка; 4) в М. должны быть дополнительные переменные, принадлежащие к более высокому типу, чем переменные объектного языка, и т. д.

Определение слова «Метаязык» по БСЭ:
Метаязык (от Мета...
одно из основных понятий современной логики и теоретической лингвистики, используемое при исследовании языков различных логико-математических исчислений, естественных языков, для описания отношений между языками различных «уровней»
и для характеристики отношений между рассматриваемыми языками и описываемыми с их помощью предметными областями. М. - это язык, используемый для выражения суждений о другом языке, языке-объекте. С помощью М. изучают структуру знакосочетаний (выражений) языка-объекта, доказательства теорем о его выразительных (и, быть может, дедуктивных) свойствах, об отношении его к др. языкам и т. п. Изучаемый язык называется также предметным языком по отношению к данному М. Как предметный язык, так и М. могут быть обычными (естественными) языками. М. может отличаться от языка-объекта (например, в учебнике английского языка для русских русский язык является М., а английский - языком-объектом), но может и совпадать с ним или отличаться лишь частично, например специальной терминологией (русская лингвистическая терминология - элемент М. для описания русского языка; т. н. семантические множители - часть М. описания семантики естественных языков).
Понятие «М.» было введено и стало весьма плодотворным в связи с изучением формализованных языков - исчислений, строящихся в рамках математической логики. В отличие от формализованных предметных языков, в этом случае М., средствами которого формулируется Метатеория (изучающая свойства предметной теории, формулируемой на предметном языке), является, как правило, обычным естественным языком, точнее некоторым специальным образом ограниченным фрагментом естественного языка, не содержащим всякого рода двусмысленностей, метафор,
«метафизических» понятий и т. п. элементов обычного языка, препятствующих использованию его в качестве орудия точного научного исследования (см. Метаматематика). При этом М. сам может быть формализован и (независимо от этого) оказаться предметом исследования, проводимого средствами метаметаязыка, причём такой ряд можно
«мыслить» растущим бесконечно. При всём сказанном, М. как орудие метатеоретического исследования формализованных языков, допускающих достаточно богатые в логическом отношении интерпретации, должен быть во всяком случае «не беднее» своего предметного языка (т. е. для каждого выражения последнего в М. должно иметься его имя- «перевод»)
и должен содержать выражения более высоких «логических типов», нежели язык-объект (см. Типов теория). При невыполнении этих требований (что заведомо имеет место в естественных языках, если специальными соглашениями не предусмотрено противное) возникают семантические парадоксы (антиномии).
Лит.: Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, гл. 1; Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960 (введение); Карри Х. Б., Основания математической логики, пер. с англ., М., 1969, гл. 1-3.
Ю. А. Гастев, В. К. Финн.

Метацентрический    Метаязык    Метгемоглобин