Метаязык

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

Источник: Философский словарь на Gufo.me


Значения в других словарях

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