Галузь лінгвістики, що вивчає мову як об’єкт мислення та аналізу, зосереджуючись на її формальній структурі, властивостях та відношеннях між елементами, незалежно від конкретного змісту чи ситуації вживання.
Розділ мовознавства, присвячений дослідженню мовних явищ за допомогою формальних логіко-математичних методів і моделей, таких як метамова, метаправила та метатеорія.