Em Lógica e Linguística, 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 uma discussão sobre o uso de uma linguagem.