Метаязык (Ильичёв, 1983)

МЕТАЯЗЫК, язык, средствами которого описываются и исследуются свойства некоторого другого языка — так называемого предметного (объектного) языка, или языка-объекта. Например, в учебнике английского языка для русских школьников предметный (изучаемый) язык — английский, а метаязык — русский. В учебнике же русского языка (для русской школ) русский язык выступает в обеих этих ролях. Смешение предметного языка и метаязыка приводит к так называемым семантическим антиномиям (см: Парадокс). Средствами метаязыка в рамках различных метатеорий (см., например, Металогика) производится исследование свойств соответствующих предметных теорий (например, в метаматематике — теории формальных доказательств).

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.