Metalanguage, in semantica e filosofia, linguaggio usato per l'analisi del linguaggio degli oggetti (linguaggio usato per parlare di oggetti nel mondo). Pertanto, un metalinguaggio può essere pensato come una lingua su un'altra lingua. Filosofi come il positivista logico di origine tedesca Rudolf Carnap e Alfred Tarski, matematico di origine polacca, hanno sostenuto che i problemi filosofici e le dichiarazioni filosofiche possono essere risolti solo se visti in termini di un quadro sintattico. La logica della semantica è ciò che determina la verità di un'affermazione, piuttosto che il significato non formale o reale dell'affermazione. Carnap sentiva che facendo uso della notazione simbolica in un metalinguaggio e aderendo alle regole della logica era possibile evitare giudizi metafisici che, nel suo sistema, erano per definizione non validi.
