Un metalinguaggio è un formalismo progettato per descrivere rigorosamente un linguaggio .
Una lingua è descritta da una grammatica e la descrizione della sua grammatica è il suo metalinguaggio. Così il linguaggio delle espressioni razionali o la forma di Backus-Naur in informatica sono metalinguaggi. Un metalinguaggio non solo descrive la sintassi , ma è anche usato per descrivere la semantica .
Si dice che un linguaggio che è il suo metalinguaggio per sintassi e semantica sia riflessivo .
Nella terminologia linguistica, la nozione di metalinguaggio o meglio quella di metalinguaggio si riferisce a un uso tecnico del linguaggio comune. Un metalinguaggio è quindi composto da termini e non più da parole, rendendolo ideale per lo studio delle grammatiche e di qualsiasi tipo di discorso incentrato sulle lingue. Di conseguenza, un metalinguaggio offre uno schema di analisi condiviso e consente quindi la generalizzazione e la trasmissione della conoscenza di una lingua specifica.
Lo studio dei metalinguaggi rientra quindi nell'ambito della terminologia linguistica, che si propone di esaminarne i quadri teorici e metodologici .
La possibilità di riferirsi a un unico metalinguaggio per racchiudere la totalità dei fenomeni linguistici oggi si rivela un miraggio. Diversi linguisti osservano che solo un metalinguaggio del calcolo ( macchina di Turing , grammatica formale , ecc.) Consente di cogliere determinati oggetti linguistici e di raggiungere una posizione di sbalzo, che non va senza causare seri problemi epistemologici .