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