Metalanguage, en semàntica i filosofia, llenguatge utilitzat per a l'anàlisi del llenguatge d'objectes (llenguatge que s'utilitza per parlar d'objectes del món). Per tant, es pot pensar en un llenguatge metall com un llenguatge sobre un altre idioma. Filòsofs com el positivista lògic d’origen alemany Rudolf Carnap i Alfred Tarski, matemàtic de polònia, van argumentar que els problemes filosòfics i les declaracions filosòfiques només es poden resoldre quan es veuen en un marc sintàctic. La lògica de la semàntica és la que determina la veritat d'un enunciat, en lloc del significat no formal o real de la declaració. Carnap va considerar que, fent ús de la notació simbòlica en un llenguatge metal·lístic i atenent-se a regles de la lògica, era possible evitar judicis metafísics, que en el seu sistema eren per definició invàlids.
