Quin és el tema principal del text següent?
Dins l'entorn de la lògica i filosofia del llenguatge, un metallenguatge és un llenguatge que s'usa per parlar sobre un altre llenguatge. Al llenguatge sobre el qual s'està parlant se l'anomena el llenguatge objecte. El metallenguatge pot ser idèntic al llenguatge objecte, per exemple quan es parla sobre el català usant el català mateix. Un metallenguatge al mateix temps pot ser el llenguatge objecte d'un altre metallenguatge d'ordre superior, i així successivament. Diferents metallenguatges poden parlar sobre diferents aspectes d'un mateix llenguatge objecte.
La distinció entre llenguatge objecte i metallenguatge va ser introduïda per Alfred Tarski com una solució a les paradoxes semàntiques com la paradoxa del mentider. Segons Tarski, cap llenguatge pot contenir el seu propi predicat de veritat i romandre consistent. Per parlar sobre la veritat en un llenguatge, i no generar contradiccions, cal fer-ho des d'un llenguatge diferent, amb més poder expressiu: el metallenguatge.Els models formals de sintaxi per a la descripció de la gramàtica, com per exemple, la gramàtica generativa, són tipus de metallenguatge.
En un aspecte més general, pot referir-se a qualsevol terminologia o llenguatge usat per parlar amb referència al mateix llenguatge. Per exemple, un text en gramàtica o una discussió sobre l'ús del llenguatge.
El text tracta sobre humanitats.