В формальной семантике областью действия семантического оператора является семантический объект, к которому он применяется. Например, в предложении « Паулина не пьет пиво, но она пьет вино » предложение , что Паулина пьет пиво, находится в области действия отрицания , а предложение, что Паулина пьет вино, — нет. Область действия можно рассматривать как семантический порядок операций .
Одной из основных проблем исследований в области формальной семантики является связь между синтаксическими позициями операторов и их семантическим охватом. Эта связь не является прозрачной, поскольку область действия оператора не обязательно должна напрямую соответствовать его положению на поверхности , а одна форма поверхности может быть семантически неоднозначной между различными толкованиями области действия. Некоторые теории области действия постулируют уровень синтаксической структуры, называемый логической формой , в котором синтаксическая позиция элемента соответствует его семантическому охвату. Другие теории вычисляют отношения областей действия в самой семантике, используя формальные инструменты, такие как сдвигатели типов, монады и продолжения .
Область действия оператора не обязательно должна соответствовать порядку слов в предложении, в котором он встречается. Например, некоторые предложения демонстрируют неоднозначность области действия , поскольку относительные области действия двух операторов могут быть истолкованы несколькими способами. [1] [2]
Это предложение можно понимать двумя способами. При обратном прочтении сферы действия есть один жираф, который очень популярен в сообществе ежей. При поверхностном прочтении сферы действия предложение может быть истинным, даже если ежи дружат с разными жирафами.
Разделенная область действия — это явление, когда различные компоненты значения элемента выражения принимают область действия в разных местах. Отрицательные квантификаторы — это одна из категорий выражений, которые, как утверждается, принимают разделенную область действия.
При прочтении de re (неразделенном) это предложение означает, что нет такого сотрудника, которого компания должна уволить. Это прочтение неразделенной области действия, поскольку «нет» просто занимает область действия выше модального «потребности». При прочтении этого предложения с разделенной областью действия это означает, что компании не нужно увольнять никаких сотрудников. При таком прочтении «нет» распадается на отрицание, охватывающее область действия выше «потребности», и квантификатор существования, охватывающий область действия ниже нее. [3]
Утверждалось, что неопределенные слова имеют разделенную область действия, имея отдельные экзистенциальную область действия и дистрибутивную область действия . Этот факт можно увидеть в следующем примере: [4] [5] [6]
Среди прочтений этого предложения есть одно, которое означает «Существует набор из трех родственников, таких, что если эти трое родственников умрут, я унаследую дом». В этом прочтении неопределенное «три моих родственника» занимает экзистенциальную область действия вне условного предложения — оно безоговорочно утверждает, что эти трое родственников действительно существуют. Однако если неопределенное предложение занимает дистрибутивную область действия внутри условного предложения — говорящий унаследует дом, если умрут трое родственников, а не если x умрет, где x может быть любым из этих трех родственников.
Определенные описания также, как утверждается, имеют разделенную область действия. Определенные описания классически считаются предполагающими , что их референты являются уникальными. Например, определенное описание «кошка» неуместно в контексте, где есть несколько кошек, которых говорящий мог иметь в виду. Однако это обобщение, по-видимому, противоречит описаниям Хэддока, таким как следующее:
Эта существительная фраза удачно используется в этом контексте, даже несмотря на то, что нет уникальной шляпы. Что, кажется, лицензирует это удивительное использование определенного описания, так это тот факт, что контекст содержит уникальную шляпу, содержащую кролика. Чтобы обналичить эту идею, было предложено, чтобы предположение об уникальности «шляпы» имело область действия отдельно от остального значения определенного. Другими словами, набор свидетелей устанавливается внизу структуры, но проверяется на единичность выше. [7] [8]
Хотя операторы часто могут выходить за пределы своего поверхностного положения, они не могут полностью свободно выходить за пределы, где им хочется. Например, как показано в предложении 1 ниже, квантификаторы, которые возникают внутри предложения if, обычно не могут выходить за пределы этого предложения "if". Это предложение не может означать, что Бет унаследует один дом за каждого умершего родственника. [9] [10]
Этот факт соответствует тому факту, что фраза wh не может быть извлечена из предложения «if», как показано в предложении 2.
Примеры такого рода использовались для доказательства того, что отношения области действия определяются синтаксическими операциями движения.
Помимо своей теоретической значимости, острова области действия также полезны с практической точки зрения, поскольку их можно использовать для построения однозначных парафраз предложений с неоднозначностью области действия. [10]
Хотя большинство операторов не могут выйти за пределы острова, другие могут. [11] Например, неопределенное «a» в предложении ниже может выйти за пределы своей поверхностной позиции внутри предложения «if». Это предложение может означать, что есть определенный родственник, который должен умереть, чтобы говорящий получил дом.
Примеры такого рода использовались для доказательства того, что неопределенные слова не имеют стандартных обобщенных кванторных обозначений. В подходе функции выбора , предложенном Таней Рейнхарт , неопределенные слова вносят переменную над функциями выбора, которая может быть экзистенциально замкнута в любой точке выше в структуре. [12] Ангелика Кратцер предложила другую теорию, основанную на функции выбора, которая похожа на теорию Рейнхарт, за исключением того, что переменная функции выбора остается свободной . [13] Недавние работы, такие как Charlow (2020), рассматривают неопределенные слова как обозначения множеств индивидов, которые могут быть смещены по типу так, чтобы они принимали область действия способом, аналогичным альтернативному механизму Карттунена (1977) для wh-вопросов. [14] [15]
Структурный взгляд на область действия является одним из влиятельных взглядов, который постулирует тесную связь между синтаксисом и семантикой. Этот подход характеризуется следующей гипотезой, впервые сформулированной Таней Рейнхарт : [16] [17]
Эта точка зрения широко принята в генеративных подходах, таких как подход Хайма и Крацера (1998). В этих подходах релевантным синтаксическим уровнем является логическая форма , а синтаксическое понятие, которое соответствует семантическому охвату, обычно определяется как c-команда . [16]
В структурных подходах несоответствия между положением на поверхности выражения и его семантическим объемом объясняются синтаксическими операциями перемещения , такими как повышение квантификатора . [18] [19] [20] Подход перемещения во многом мотивирован тем фактом, что область действия квантификатора, по-видимому, подчиняется многим из тех же ограничений, что и перемещение, например, острова .
Одной из видных альтернатив структурному представлению является представление о смене типа, впервые предложенное Барбарой Парти и Матсом Рутом. [21] [22] Этот подход использует сдвиги типа для управления отношениями области действия. Поскольку сдвиги типа применяются в процессе семантической интерпретации, этот подход позволяет отношениям области действия быть частично независимыми от синтаксической структуры. Подход сдвига типа служит основой для многих недавних предложений по исключительной области действия, разделенной области действия и другим проблемным явлениям, связанным с областью действия. [20]