В статье представлено критическое исследование генезиса методологии формальной семантики как междисциплинарного направления в современном теоретическом языкознании, интегрирующего классическую логическую семантику, генеративный синтаксис и другие грамматики, интенсиональную логику и философию языка. Обсуждаются философские аспекты формальной семантики как теории значения выражений естественного языка.