Approches de modélisation linguistique qui postulent des dispositifs mécaniques explicites ou procédures opératoires sur les primitives de théoriques afin de produire l'ensemble des possibilités linguistiques dans une langue donnée. Ces dispositifs mécaniques sont exprimées par des formalismes complexes inspirées par les travaux en mathématiques, informatique et logique. Approches formelle typiquement adoptent une approche modulaire de la langue et l'esprit et supposons que l'objectif de l'enquête linguistique est de capturer les phénomènes linguistiques complexes dans aussi précise et économique une voie possible. Exemples de telles approches comprennent le paradigme de la grammaire générative, développé par Noam Chomsky et de la tradition dite de sémantique formelle inspirée par le œuvre du philosophe de langue Richard Montague.