Theoretical linguistics, or general linguistics, is the branch of linguistics which inquires into the nature of language itself and seeks to answer fundamental questions as to what language is; how it works; how universal grammar (UG) as a domain-specific mental organ operates, if it exists at all; what are its unique properties; how does language relate to other cognitive processes, etc. Theoretical linguists are most concerned with constructing models of linguistic knowledge, and ultimately developing a linguistic theory.
Since the 1960s, the term "theoretical linguistics" has typically been used in more or less the same sense as "general linguistics", even though it also contrasts with applied linguistics, and even though it is often said that language description is inherently theoretical. The usual terminology is thus not entirely clear and consistent.