Метаязы́к — «сверхязык»; язык, предназначенный для описания языка.
Понятие метаязыка используется:
в лингвистике, при описании естественных языков — метаязык как язык для описания языка. Естественный язык может являться своим же метаязыком (например, для описания русского языка можно использовать тот же русский язык), или отличаться лишь частично, например специальной терминологией (русская лингвистическая терминология — элемент метаязыка для описания русского языка);
в классической философии — как понятие, фиксирующее логический инструментарий рефлексии над феноменами семиотического ряда;
в философии постмодернизма, при выражении процессуальности вербального продукта рефлексии над процессуальностью языка. Постмодернистская трактовка метаязыка восходит к работе Р. Барта «Литература и метаязык» (1957).
Первым уровнем (обычным языком) являются утверждения об объектах, например: «У Земли есть спутник». В языке низшей ступени нет понятий «ложь» и «истина». Такие понятия, как оценка истинности утверждений об объектах, являются привилегией метаязыка — следующей ступеньки лестницы. Таким образом предложение «Утверждение „снег белый“ истинно» имеет смысл в метаязыке. Однако о его истинности можно говорить лишь в следующей надстройке — метаметаязыке. При этом метаязык является объектным языком для этой следующей ступени. Можно построить метаязык, для которого метаметаязык будет объектным и т. д.
Здесь первое утверждение написано на языке первого уровня, который позволяет формулировать теоремы планиметрии. Языком второго уровня (фраза № 2) пользуются при доказательстве теорем. Метаметаязык, которому принадлежит третье утверждение, — это язык, на котором написаны книги о теории доказательств.
С лестницей метаязыков Тарского тесно связана теория типов Бертрана Рассела.