Theoretical linguistics
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.
In the first half of the 20th century, the term "general linguistics" was more common (cf. Ferdinand de Saussure's famous Course in General Linguistics), which could be contrasted with "language-particular linguistics" (which is more often called descriptive linguistics).
The fields that are generally considered the core of theoretical linguistics are phonology, morphology, syntax, and semantics. Although phonetics often guides phonology, it is often excluded from the purview of theoretical linguistics.