Оператор покачивания

В формальной семантике , то закорючка оператор является оператором , который ограничивает возникновение фокуса . Об одном общего определения, то закорючка оператор принимает синтаксический аргумент и дискурс заметного аргумента и вводит предпосылку , что обычное семантическое значение из является либо подмножеством или элемент из фокуса семантического значения в . Волнистая линия была впервые представлена ​​Матсом Рутом в 1992 году как часть его трактовки фокуса в рамках альтернативной семантики.${\ displaystyle \ sim}$ ${\ displaystyle \ alpha}$${\ displaystyle C}$${\ displaystyle C}$${\ displaystyle \ alpha}$. Он стал одним из стандартных инструментов в формальной работе над фокусом, играя ключевую роль в описании контрастирующего фокуса, многоточия , деактивации и согласования вопроса-ответа.

Эмпирическая мотивация [ править ]

Эмпирическая мотивация оператора волнистой линии проистекает из случаев, когда выделение фокуса требует заметного антецедента в дискурсе, который находится в определенной связи с сфокусированным выражением. Например, следующие пары показывают, что контрастный фокус удачен только тогда, когда есть явный предшествующий фокус, который контрастирует с сосредоточенным выражением. ^{[1] [2]}

1. (Хелен любит строопвафель) Нет, МЭНДИ любит строопвафель.
2. (Хелен любит строопвафель) # Нет, Мэнди любит STROOPWAFEL.

1. АМЕРИКАНСКИЙ фермер разговаривал с КАНАДСКИМ фермером.
2. ?? АМЕРИКАНСКИЙ фермер разговаривал с канадским фермером.

Другой пример этого явления - согласованность вопросов и ответов , также известная как фокусировка на ответе . Неформально, сфокусированная составляющая в ответе на вопрос должна представлять ту часть высказывания, которая разрешает проблему, поднятую вопросом. Например, следующая пара диалогов показывает, что в ответ на вопрос о том, кому нравится строопвафель , следует сосредоточить внимание на имени человека, который любит строопвафель. Когда вместо этого акцент делается на самом слове «строопвафель», ответ неудачный, на что указывает знак #. ^{[3] [4]}

1. Q: Кому нравится строопвафель?
   A: HELEN любит строопвафель.
2. Q: Кому нравится строопвафель?
   A: # Хелен нравится STROOPWAFEL.

Если вместо этого вопрос в том, что нравится Хелен, слово «строопвафель» будет тем выражением, которое разрешает проблему. Таким образом, акцент будет сделан на «строопваффель» вместо «Хелен».

1. Q: Что нравится Хелен?
   A: #HELEN нравится строопвафель.
2. Q: Что нравится Хелен?
   A: Хелен нравится STROOPWAFEL.

Официальные детали [ править ]

В Теории Рутианской кривизны это то , что требует сфокусированного выражения, чтобы иметь подходящую предшественницу. При этом он также позволяет взаимодействовать обозначению фокуса и обычному обозначению . В альтернативном семантическом подходе к фокусу каждая составляющая имеет как обычное обозначение, так и обозначение фокуса, которые составляются путем параллельных вычислений. Обычное обозначение - это просто любое обозначение, которое оно будет иметь в безальтернативной системе. Фокусное обозначение составляющей обычно представляет собой набор всех обычных обозначений, которые можно получить, заменив сфокусированную составляющую на другое выражение того же типа. ^[5]${\ displaystyle \ sim}$${\ displaystyle \ alpha}$${\ Displaystyle [\! [\ альфа] \!] _ {о}}$${\ Displaystyle [\! [\ альфа] \!] _ {f}}$${\ displaystyle \ alpha}$

1. Приговор : HELEN любит строопвафель.
2. Обыкновенное обозначение :${\ displaystyle [\! [{\ text {HELEN любит строопвафель}}] \!] _ {o} = \ lambda w \ ,. {\ text {Хелен любит строопвафель}} w}$
3. Обозначение фокуса :${\displaystyle [\![{\text{HELEN likes stroopwafel}}]\!]_{f}=\{\lambda w\,.x{\text{ likes stroopwafel in }}w\,|\,x\in {\mathcal {D}}_{e}\}}$

1. Приговор : Хелен любит STROOPWAFEL.
2. Обыкновенное обозначение :${\displaystyle [\![{\text{Helen likes STROOPWAFEL}}]\!]_{o}=\lambda w\,.{\text{ Helen likes stroopwafel in }}w}$
3. Обозначение фокуса :${\displaystyle [\![{\text{Helen likes STROOPWAFEL}}]\!]_{f}=\{\lambda w\,.{\text{ Helen likes }}x{\text{ in }}w\,|\,x\in {\mathcal {D}}_{e}\}}$

Оператор волнистости принимает два аргумента: контекстно предоставленный антецедент и явный аргумент . В приведенных выше примерах это переменная, которая может быть оценена как предшествующая фокуса, а сама может быть составной частью [HELEN любит строопвафель]. ${\displaystyle C}$${\displaystyle \alpha }$${\displaystyle C}$${\displaystyle \alpha }$${\displaystyle \alpha }$

В одном из общих определений вводится предположение, что обычное обозначение является либо подмножеством, либо элементом обозначения фокуса, или, другими словами, либо, либо . Если это предположение выполнено, передает обычное значение своего открытого аргумента, «сбрасывая» значение своего фокуса. Другими словами, когда выполняется предположение, и . ^[6]${\displaystyle \sim }$${\displaystyle C}$${\displaystyle \alpha }$${\displaystyle [\![C]\!]_{o}\subseteq [\![\alpha ]\!]_{f}}$${\displaystyle [\![C]\!]_{o}\in [\![\alpha ]\!]_{f}}$${\displaystyle \sim }$${\displaystyle [\![\alpha \sim C]\!]_{o}=[\![\alpha ]\!]_{o}}$${\displaystyle [\![\alpha \sim C]\!]_{f}=\{[\![\alpha ]\!]_{o}\}}$

См. Также [ править ]

• Фокус (лингвистика)
• Данность
• Альтернативная семантика
• Вопрос

Примечания [ править ]