metalinguàggio

sm. [meta-+linguaggio]. In logica formale, linguaggio impiegato nello studio di un linguaggio oggetto. Il metalinguaggio può essere o non essere formalizzato e a sua volta può essere oggetto di indagine che si attua mediante un metametalinguaggio. Si dice che una proposizione appartiene al metalinguaggio se e solo se essa concerne un'espressione del linguaggio oggetto. L'esistenza di paradossi rende di capitale importanza evitare ogni confusione tra linguaggio e metalinguaggio; a questo scopo nella letteratura logica si precisano sempre le condizioni che li distinguono, ricorrendo anche a convenzioni grafiche. La distinzione tra linguaggio oggetto e metalinguaggio è presente anche nello studio di una lingua straniera; per esempio, quando si studia inglese, l'inglese costituisce il linguaggio oggetto, mentre l'italiano, cioè il linguaggio che si usa, costituisce il metalinguaggio.