Metalinguagem, em semântica e filosofia, linguagem usada para a análise da linguagem dos objetos (linguagem usada para falar sobre objetos no mundo). Assim, uma metalinguagem pode ser pensada como uma linguagem sobre outra língua. Filósofos como o positivista lógico de origem alemã Rudolf Carnap e Alfred Tarski, matemático de origem polonesa, argumentaram que problemas filosóficos e declarações filosóficas só podem ser resolvidos quando vistos em termos de uma estrutura sintática. A lógica da semântica é o que determina a verdade de uma afirmação, em vez do significado não formal ou real da afirmação. Carnap sentiu que, fazendo uso da notação simbólica em uma metalinguagem e aderindo às regras da lógica, era possível evitar julgamentos metafísicos, que, em seu sistema, eram por definição inválidos.
