理論言語学
原始要素の集合と原理および規約・制約の集合からなる言語のモデルを構築し、それがもたらす予測群を実際の現象に照らし合わせて確認、あるいは棄却・修正を行うという、理想化と仮説検証法による言語学。仮説検証法という部分を強調するために「経験科学としての言語学」と言う場合がある。
形式言語学を同義に用いることもあるが、必ずしも数理的方法を採用しているわけではない。広義には仮説検証法による言語の研究はすべて理論言語学ということができ、文献学的伝統や哲学的伝統などの中にしばしばこれに相当する研究を見出すことができるが、生成言語学を指すのが慣用となっている。