Метаязык (Подопригора, 2013)

МЕТАЯЗЫК — понятие современной логики, используемое при исследовании языков различных логико-математических исчислений и естественнонаучных языков, при описании взаимоотношений языков различного «уровня» и при характеристике отношения между рассматриваемыми языками и описываемыми с их помощью предметными областями. Метаязык называется язык, на котором происходит рассмотрение какого-либо другого языка, изучение строения выражений этого языка, доказательство теорем о его дедуктивных свойствах и об отношении его к другим языкам и т. д.

Философский словарь / авт.-сост. С. Я. Подопригора, А. С. Подопригора. — Изд. 2-е, стер. — Ростов н/Д : Феникс, 2013, с 227.

Понятие: