自然语言的形式研究对于刻画其语法和语义至关重要。 形式研究的观念来自古代和中世纪逻辑学。 基于一阶谓词逻辑的形式语法的建构开始了真正的形式研究。 蒙太格语法是形式语法的代表，从蒙太格语法发展而来的DRT则是当代主要的动态语义学，而SDRT又使这一理论向前迈进了一步。