Метаязык и язык-объект

МЕТАЯЗЫК И ЯЗЫК-ОБЪЕКТ — понятия современной логики. Когда предметом исследования является естественный или искусственный язык (например, логическое исчисление или язык конкретной научной теории), необходимо отличать исследуемый язык, называемый языком-объектом, от языка, на котором ведется исследование языка-объекта; последний называется метаязыком по отношению к данному языку-объекту. В частности, метаязыком является язык, на котором формулируется некоторая метатеория. Отсутствие различения между метаязыком и языком-объектом приводит к различного рода парадоксам. Как правило, метаязык должен содержать, во-первых, имена всех выражений языка объекта и, во-вторых, выражения для различных синтаксических и семантических характеристик языка-объекта, т. е. быть логически более богатым, чем язык-объект. В качестве метаязыка может использоваться естественный (обычный, разговорный) язык или же формализованный язык. В последнем случае формализация метаязыка должна производиться на метаязыке второго порядка и т. д. С другой стороны, в исследованиях по основаниям математики и логики (Метаматематика, Формализм) весьма важно ограничение метаязыка тесными рамками финитных (Финитизм) средств.

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 258.