Tak van de linguïstiek waarbij het doel allereerst is om universele principes vast te stellen voor het bestuderen van taal en talen, en om de onderliggende structuren en andere eigenschappen van de menselijke taal te bepalen.