Metoder för att modelleringsspråket som ponerar uttryckliga mekaniska anordningar eller förfaranden som trafikerar teoretiska primitiver för att producera den fullständiga uppsättningen av språkliga möjligheter på ett visst språk. Sådana mekaniska anordningar uppges i fråga om komplexa formalismen inspirerad av arbete inom matematik, datavetenskap och logik. Formella metoder brukar ta en modulbaserad lösning till språk och sinnet, och utgår från att målet med språklig undersökning är att fånga upp komplexa språkliga företeelser i så exakta och ekonomisk ett sätt som möjligt. Exempel på sådana metoder omfattar Generativ grammatik som utvecklats av Noam Chomsky och traditionen kallas formell semantik inspirerad av filosofen språk Richard Montague paradigm.