Natural language
形式意味論は、アリストテレスの三段論法やフレーゲの論理学を来源とする。しかしながらこれらの古典的な枠組みは、自然言語は曖昧であって厳密な議論には適さないという印象が動機の一つとなっており、自然言語をそのまま形式的体系と見なして意味を記述する可能性については十分に検討してこなかった。1970年代前半、論理学者リチャード・モンタギューは自然言語の意味を形式的に記述できる可能性を示し、自然言語の意味研究に一大変革をもたらした。