Metajęzyk
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.
Z użyciem metajęzykowym danego znaku językowego (wyrazu, wyrażenia, zdania) mamy do czynienia, gdy znak ten użyty jest na oznaczenie samego siebie. Przykładowo w zdaniu: "Jaskółka" pisze się przez "ó". wyraz "jaskółka" nie oznacza samej jaskółki, tylko użyty jest na oznaczenie wyrazu "jaskółka". Jest to więc użycie metajęzykowe.
Przykładem metajęzyka stosowanego w informatyce jest SGML.
Metajęzyk kryminalny to język używany przez przestępców podczas rozmów telefonicznych. Są to wyrażenia w językach narodowych, tworzone w trakcie prowadzonego dialogu, których podstawą są skojarzenia fonetyczne lub rzeczowe, odnoszące się do zwrotów w tych językach, gdzie prawdziwość zdań, określa jednakowa asocjacja nadawcy i odbiorcy, w zakresie używanego języka narodowego.