Метаязык
(от греч. meta — после, за, позади) — язык, средствами которого исследуются и описываются свойства другого языка, называемого предметным, или объектным. Напр., когда мы начинаем изучать иностранный язык, знакомиться с его выражениями, с его грамматической структурой, системой времен, падежей и т. п., мы пользуемся для описания свойств этого пока еще не известного нам языка своим родным языком, который и выступает в данном случае в качестве М. Смешение объектного языка и М. приводит к противоречиям и парадоксам (см.: "Лжеца" парадокс). В естественном языке явного различия между объектным и М. нет: мы пользуемся одним и тем же языком и для того, чтобы говорить о внеязыковых объектах, и для того, чтобы говорить о самом языке. Только интуиция помогает нам избежать путаницы и противоречий. Однако всегда существует опасность того, что неразличение объектного и М. приведет к противоречию. Поэтому в науке, в частности в металогике и метаматематике, проводится четкое разделение этих двух языков. К М. обычно предъявляются следующие требования: 1) в нем должны быть средства для описания синтаксических свойств объектного языка, в частности средства для построения выражений объектного языка; 2) М. должен быть настолько богат по своим выразительным возможностям, чтобы для каждого выражения объектного языка в нем существовала формула, являющаяся переводом этого выражения; 3) логический словарь М. должен быть по крайней мере столь же богат, как и логический словарь объектного языка; 4) в М. должны быть дополнительные переменные, принадлежащие к более высокому типу, чем переменные объектного языка, и т. д.
Значения в других словарях
- МЕТАЯЗЫК — МЕТАЯЗЫК (от греч. τὰ μετὰ– «после», «за» и язык; букв. – «некоторый язык о данном языке») – одно из важнейших понятий современной логики, математики, философии и методологии науки, семиотики и теоретической лингвистики. Новая философская энциклопедия
- Метаязык — Логико-математический язык, используемый для формулировки метатеории. В более широком смысле, М.- неформализованный язык, на к-ром формулируются утверждения метаматематики. А. Г. Драгалин. Математическая энциклопедия
- МЕТАЯЗЫК — МЕТАЯЗЫК — англ. metalanguage; нем. Metasprache. Язык, средствами к-рого описываются и исследуются свойства нек-рого другого языка, так наз. предметного (объективного) языка. Социологический словарь
- метаязык — Мета/язы́к/. Морфемно-орфографический словарь
- Метаязык — (от Мета... одно из основных понятий современной логики и теоретической лингвистики, используемое при исследовании языков различных логико-математических исчислений, естественных языков... Большая советская энциклопедия
- метаязык — орф. метаязык, -а Орфографический словарь Лопатина
- метаязык — 1. Язык "второго порядка", т.е. такой язык, на котором говорят о языке же (языке-объекте). 2. Язык, объектом, которого является содержание и выражение другого языка. 3. Язык, заменяющий естественный национальный язык. Толковый переводоведческий словарь
- метаязык — Язык, используемый для описания самого языка, важнейшей составляющей которого являются термины. Словарь лингвистических терминов Жеребило
- метаязык — МЕТАЯЗЫК -а; м. Система понятий, служащая для описания какого-л. объекта. М. науки. М. лексикографии. ◁ Метаязыковой, -ая, -ое. М-ое описание. Толковый словарь Кузнецова
- метаязык — МЕТАЯЗЫК, а, м. (спец.). Специальный язык, на к-ром осуществляется представление другого языка, формализованного для соответствующего описания. Толковый словарь Ожегова
- метаязык — метаязык м. Язык научного или философского исследования, посвященного анализу другого языка — языка-объекта. Толковый словарь Ефремовой
- МЕТАЯЗЫК — МЕТАЯЗЫК — язык, средствами которого проводится описание структурных, дедуктивных или семантических свойств какого-либо другого (обычно формализованного) языка, являющегося предметом изучения соответствующей метатеории. Большой энциклопедический словарь