句法
句法（英语：Syntax），语言学概念，指一门语言里支配句子结构，决定词、短语、从句等句子成分如何组成其上级成分，直到组成句子的规则或过程；研究句法的语言学分支称为句法学，其终极目标是探究所有自然语言通用的普遍句法规则。汉语句法研究主要关注语序。
词源
句法的英语 syntax 来自古希腊语σύνταξις，意为“协调”，它包括了词根σύν syn“共同”和τάξιςtáxis“排序”。
研究史
句法研究滥觞于公元前4世纪的梵文语法学家波你尼的著作《八篇书》（Aṣṭādhyāyī），此书极其精细的描述了古代梵语的句法，至今广为引用。而西方句法研究最早可能源于狄俄尼索斯·特拉克斯的《语法的艺术》（Τέχνη Γραμματική） 。
1660年安托万·阿尔诺编写的《一般语法》（grammaire générale）以及后来的《皇家港语法》（Port-Royal Grammar）则将句法研究推到了逻辑层次，用逻辑方法定义了语法范畴，并用“主词”“系词”“谓词”这样的术语来分析句子。最终，这种观点也被早期对比语言学家如弗兰茨·博普所采用。
早期句法研究并没有明确区分语法和句法，直到20世纪句法在理论语言学中的角色才逐渐清晰起来。故20世纪也被语言学家称为“句法的世纪”。
定义
句法指一门语言里支配句子结构，决定词、短语、从句等句子成分如何组成其上级成分，直到组成句子的规则或过程。这一概念常常与语法混淆，盖因语法研究里面很大一部分都是关于句法的内容，但语法不仅关注句子结构的形成，也关注句子成分的语法功能和语法意义。
早期的现代语言学常常将句法和语法等同，如以索绪尔为首的结构主义语言学区分了所指（概念）和能指（音响形象），认定语言是一种符号系统。美国描写语言学派更将语言和意识完全分割开来，其集大成者布隆菲尔德的语法理论称为“机械论”或“物理论”，只侧重形式、层次和结构上的分析。这种语法研究如今可以视作纯粹的句法研究。这一倾向影响甚广，一直到乔姆斯基刚提出转换-生成语法的时候，仍认为下面这样的句子在语法上是对的，因为两个名词短语都在句法结构上合法，即便句子本身很明显在自然语言中不可能出现。
1960年代以后，乔姆斯基提出了选择限制和次范畴（又称语义语法范畴）的概念，即除了短语的语法范畴要符合句法，其下位层次的词义选择组合特征也要吻合。
语序
语言的语序是句法学的一大基础，而主语（S）、谓语（V）、宾语（O）是最常见于各语言的句子成分。85%以上的语言主要以主语开始句子，使用主谓宾（SVO）或者主宾谓（SOV）的语序。也有采用谓主宾（VSO）、谓宾主（VOS）、宾谓主（OVS）以及宾主谓（OSV）语序的语言，但尤其最后三种比较罕见。
语言形态分类上，分析语或者分析语特征较强的语言会更依赖于语序这一句法手段来表达语法关系，故其语序会较为固定，如汉语、英语；屈折语或者屈折语特征较强的语言则更依赖格变化之类的词法手段，故其语序也较为自由，如日语、芬兰语、拉丁语等。
在大多数生成语法理论里，这些显式差异会体现在更为复杂的树状短语结构里，且每种语序都可以分析为多种衍生结构。
句法理论
与句法相关的现代语法理论很多。而在大部分语法理论里面，句法都是最主要的部分，所以很多句法相关理论也都以“语法”称呼；这与结构主义的研究传统相关。模板:Tsl把句法视作生物学的一个分支，即对人类思维中语言知识的研究。其他语言学家，如格拉尔德·加兹达尔（Gerald Gazdar）采取更接近柏拉图主义的观点，认为语法是对抽象形式系统的研究。还有人，如约瑟·哈罗德·格林伯格认为句法是一种用于广泛归纳各种语言的分类方法。
生成语法
生成语法（Generative grammar）假设语言是人类思维当中的一种结构，以此架构并完善内在语言（i-language）的模型。提倡生成语法的学者认为，生成语法是一种普适的语法，它的规则可以应用到所有自然语言的某一语言现象当中，判定它合法还是不合法；其句法一些是可扩张的句子结构的规则；大多数的语法并不是由于交际功能而产生的，也不是简单地从环境中学得的（见刺激贫乏论），在这方面，生成语法中的观点与认知语法，功能主义或行为主义的理论都有所区别。乔姆斯基是生成语法的开创者。
乔姆斯基的理论包括：
- 转换-生成语法（TG）：在1957年的《句法结构》中首次提出，与1965年的《语法理论要略》一同称为标准理论。
- 管辖与约束理论（GB）：1970年代到1980年代对 TG 的修正。
- 最简主义理论（MP）：1995年提出的修正理论。
其他生成语法理论还包括：
- 生成短语结构语法（GPSG）
- 关系语法（RG）
- 生成语义学（由语义句法学分化）
- 词汇功能语法（LFG）
依存语法
依存语法（Dependency grammar）是一种通过句子成分之间的相互依存关系来分析句子的语法理论。动词往往看作短语结构的根基，短语内其他成分直接或间接地依存于动词。依存语法跟短语结构语法有很大出入。
范畴语法
范畴语法（Categorial grammar）不把句法结构归因于规则，而于句法范畴本身的属性；即不会去假设句子由名词短语（NP）和动词短语（VP）组成（S → NP VP），而认为这些规则都蕴含于动词这一中心词（head word）本身。所以范畴语法里面句法范畴的概念与数学和逻辑学上的函数 y=f(x) 类似，中心词是函子 f ，它会输入名词短语等自变量 x ，并产生句子级结构作为输出。在不及物动词中，这种复杂范畴被标记为 (NP\S)，意为“从左寻求输入名词短语，并（向右）输出句子结构”。在及物动词中需要输入两个名词短语，这种复杂范畴被标记为 (NP/(NP\S))，意为“从右寻求输入名词短语（即宾语），然后（向左）生成 (NP\S) 子范畴”，子范畴的原理和不及物动词一致。
树状邻接语法（Tree-adjoining grammar）是一种分类语法，它将部分树状结构添加到范畴中。
功能语法
功能语法理论关注句子成分所起的语法作用。典型的功能语法包括：
- 认知语法（Cognitive grammar）
- 结构语法 （CxG）
- 互动语法
- 功能话语语法 (Dik)
- 系统功能语法
