Metajęzyk to specjalny język opisujący inny język (nazywany w tym kontekście językiem przedmiotowym). Termin ten powstał na gruncie logiki matematycznej. Jako przeznaczony do opisu danego języka formalnego metajęzyk musi być od niego bogatszy, w szczególności musi zawierać nazwy wszystkich wyrażeń rozważanego języka. W językoznawstwie metajęzyk występuje w dwóch znaczeniach:

• aparat pojęciowo-terminologiczny językoznawcy, zwłaszcza gdy aparat ten jest jasno wyodrębniony i zdefinowany;
• te elementy języka, które - zdaniem językoznawcy - służą do przekazywania informacji o samym języku.

Zobacz też:

• przegląd zagadnień z zakresu matematyki
• język prawniczy, język prawny

Językoznawstwo | Matematyka | Logika

Metasprache | Formal system | Sistema formal | Métalangage