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