研究语言中词的形式(形态学)和词与词的相互关系(句法学)的学科。1957年以前有两种基本语法：规定语法和描写语法。前者就特定词语表述的正确性作出价值判断，后者旨在精确叙述在语言的书面行文中应遵守的结构。已知最早的描写语法是^*帕尼尼(Panini)于约公元前5世纪所著的^*梵语(Sanskrit)语法。古希腊语和拉丁语的许多语法书至今仍有影响，例如传统的名词、动词、形容词等词性分类就是由希腊语法学家首创的。描写语法学家现已可以证明，规定语法学家所作的判断与其说是建立在客观基础上的，不如说是以社会是否愿意接受他们的判断为依据的。每一种语言都有自己的模式;倘若企图借助权威、历史、逻辑或其他语种的结构来解决争议和难题，这种做法只能说是于事无补的，弄不好还会造成混乱。

1957年诺姆·^*乔姆斯基(Chomsky)出版《句法结构》一书，提出了语法研究的新观点，亦即语法应是预言性的。乔姆斯基认为，既然语言中合乎语法的句子的潜在数量实际上是无限的，那么语法就必须预言任何给定的话语是不是特定语言的合乎语法的句子。他首次提出生成语法这一概念，用有限的一套语言规则生成该语言无限个合乎语法的句子。使用语言的每一个人在幼年就掌握这些规则，其方式在一定程度上表现出个人特异性，不同于使用语言的其他人掌握这些规则的方式。生成句子的原材料(词、词组等)在说话者的记忆中贮存起来，关于这种贮存的性质到底如何，至今仍有争议。转换语法或转换一生成语法试图通过逻辑结构分析来解释句子中词和词之间以及句子和句子之间的关系。转换语法学家假设在一个句子的“表层结构”背后存在着一种“深层结构”，即决定句子含义的抽象底层形式，以此解释意义含糊的词句和其他一些语言问题。表层结构按生成规则由底层结构生成，有些生成规则类似^*逻辑学(logic)的转换。