Формальная семантика естественного языка

Помогите понять тему, желательно вкратце объяснить что здесь постулируется. Только пожалуйста, отвечайте по существу, в идеале вы должны быть лингвистом или хотя бы логиком, которому знакома данная тема, и он с легкостью покажет учебники где это подробно разбирается или какой нибудь похожий материал по этой теме. Спасибо.
-----------------------------------------
В отличие от квантификации в формальной логике, в естественном языке квантификация рестрективная (Lewis 1975) область действие квантора ограниченна множеством определенных объектов, о которых что то утверждается. При таком подходе к квантификации сематическое представление предложение состоит из трех частей: оператор, рестрективный терм (restrictive term) и Ядреная сфера действий (nuclear scope)
1) Оператор [Рестрективный терм Х] [ядреная сфера действий Х]

Для того что бы переменная была связанна должным образом, она должна находится как в рестрективном терме, так и в ядерной сфере действий. Если в предложении нет оператора, трехчленная структура не образуется. Что бы связать переменные, применяется механизм экзистенционального закрытие (existential closure) Который связывает все переменные.

а. Джон съел яблоко.

б. (∃х) [ яблоко (х) и съел (Джон, х) ]

↑___ - экзистенциональное закрытие

Экзистенциональное закрытие применяется для связывание переменной в ядерной сфере действия.


а. Каждый ребенок съел яблоко

б. ∀x [ребенок (х)] (∃у)[Яблоко (у) и съел (х,у)]

В этом примере переменная представляется неопределенным выражением ЯБЛОКО, находится в сфере действие квантора КАЖДЫЙ. Поскольку только переменные в рестрективном терме могут быть связанными, переменная ЯБЛОКО остается несвязанной. Она связывается позже, уже в вне ядерной сферы действия, при помощи экзистенционального закрытия.


Логическое представление данной схемы может быть так же продемонстрированно при помощи схематической системы записи, сформулированной Kamp 1981

Образование рестрективного терма происходит при помощи механизма рамочного разлома (box splitting) Левая рамка представляет собой рестриктивный терм, а правая соответствует ядерной сфере действия.

Трехчленное семантическое членение квартирных структур, представляет собой одно из важных открытий в области семантики естественного языка. Рестрективный термин ограничивает множество определяемых квантором. Иными словами в естественном языке кванторы предполагают существование элементов в сфере их действия. В формальных языках квантификация неограниченна, предложение типа "Каждый призрак пришел на вечеринку" является истинным даже если призраков не существует. В противоположность этому, если в естественном языке семантическая сфера действие квантора вообще не содержит объектов, предложение не может считаться истинным.