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