В имеющейся литературе термин, «метаязык» используется неоднозначно. Его употребление применительно к языкам для описания значений языковых выражений соответствует традиционному философскому и логическому определению метаязыка как «языка, средствами которого описываются и исследуются [свойства некоторого другого языка» [ФЭС: 364]. В данном случае описывается такое свойство «языка-объекта», как значения сформулированных на нем предложений. Возникающая при этом многозначность может быть проинтерпретирована следующим образом. Согласно первому пониманию любой язык (например, русский) представляет собой объединение языка-объекта И и метаязыка 12, на котором мы говорим об Ы [Карри 1969: 61]. При таком подходе к естественному языку семантический метаязык будет содержать такие выражения, как «значение», «смысл», «денотат», «сигнификат», «утверждение», «пресуппозиция», «синонимия», «противоречие» и т. п. (ср. понимание метаязыка в философии грамматики Г. Рейхен-баха [МасМаКоп 1976]). В рамках второй интерпретации семантический метаязык противопоставляется языку-объекту как другая знаковая система, позволяющая более непосредственно отразить структуру выражении объектного языка, тем самым выявляя, объективируя ее. Так, упомянутые выше выражения (например, «пресуппозиция», «синонимия» и т.Д.( при втором понимании метаязыка будут рассматриваться как выражения языка-объекта, требующие экспликации в терминах соответствующего метаязыка (ср. «Предложение 8 имеет пресуппозицию Р» —