形式意味論
形式意味論は、アリストテレスの三段論法やフレーゲの論理学を来源とする。しかしながらこれらの古典的な枠組みは、自然言語は曖昧であって厳密な議論には適さないという印象が動機の一つとなっており、自然言語をそのまま形式的体系と見なして意味を記述する可能性については十分に検討してこなかった。1970年代前半、論理学者リチャード・モンタギューは自然言語の意味を形式的に記述できる可能性を示し、自然言語の意味研究に一大変革をもたらした。
現在、モンタギューの示した枠組みがそのまま用いられることは少なく、これを発展させたいくつかの理論に基づいた研究が活発である。特に、モンタギューが扱わなかった、文より大きい単位に見られる現象や、文脈の問題を考慮に入れた研究が発展してきている。以下に主な理論を挙げる。