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

Метаязык и язык-объект - понятия совр. логики. Когда предметом исследования является естественный или искусственный язык (напр., логическое исчисление или язык конкретной научной теории), необходимо отличать исследуемый язык, наз. языком-объектом, от языка, на к-ром ведется исследование языка-объекта; последний наз. метаязыком по отношению к данному языку-объекту. В частности, метаязыком является язык, на к-ром формулируется нек-рая метатеория. Отсутствие различения между М. и я.-о. приводит к различного рода парадоксам. Как правило, метаязык должен содержать, во-первых, имена всех выражений языка-объекта и, во-вторых, выражения для различных синтаксических и семантических характеристик языка-объекта, т. е. быть логически более богатым, чем язык-объект. В качестве метаязыка может использоваться естественный (обычный, разговорный) язык или же формализованный язык. В последнем случае формализация метаязыка должна производиться на метаязыке второго порядка и т. д. с др. стороны, в исследованиях по основаниям математики и логики (Метаматематика, Формализм) весьма важно ограничение метаязыка тесными рамками финитных (Финитизм) средств.

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.