Uma “metalinguagem” é uma linguagem usada para descrever algo sobre outra(s) linguagens (linguagens objeto). Modelos formais sintáticos para descrição gramatical, e.g. gramática gerativa, são um tipo de metalinguagem. De modo mais amplo, uma metalinguagem pode referir-se a qualquer terminologia ou linguagem usada para descrever uma linguagem em si mesma — uma descrição gramatical, por exemplo, ou um discussão sobre o uso de uma linguagem.
Um exemplo seria interpretar uma declaração em lógica, p.ex. “João fuma” escrita como “F(j)”, onde “”F”” = Fuma e “”j”” = João.