Самой влиятельной школой «сильной» семантики является формальная семантика, основанная на идеях американского логика Ричарда
26
Раздел I. Введение в предмет лингвистической семантики
  Монтегю [Моп1а§ие 1974] Основным объектом изучения в формальной семантике является значение предложения, отождествляемое с условиями его истинности относительно (модели) мира, а основной проблемой — проблема композицион(аль)ности, т. е. выводимости значения предложения из значений составляющих его слов. Хотя адепты формальной семантики утверждают, что это учение не связано непосредственно с той или иной общетеоретической лингвистической парадигмой, но практически оно наиболее естественным образом вписывается в генеративную лингвистику Н. Хомского, обеспечивая семантическую интерпретацию синтаксическим структурам, порождаемым синтаксическим компонентом, который традиционно занимает центральное место в генеративной грамматике. Формальная семантика распространена в основном в США, Германии и Нидерландах. К этой школе принадлежат Д. Льюиз (см., например, [Ь\гё 1972, 1975]), Б. Парти (В. Райее), Э. Кинен (Е. Кеепап), А. Камп (Н. Катр), И. Хейм (I. Нет) и многие другие (подробнее об этой школе см. в обзоре [Изворска 1997]).