Тип переключатель
В формальной семантике — сдвиг типа это правило интерпретации выражения , которое изменяет семантический тип . Например, английское выражение «Джон» обычно может обозначать самого Джона, но существует правило изменения типа, называемое Lift может преобразовать свое обозначение в функцию , которая принимает свойство и возвращает «истину», если это свойство есть у самого Джона. Лифт можно рассматривать как сопоставление человека с основным ультрафильтром , который он генерирует. [1] [2] [3]
- Без смены типа:
- Смена типа с помощью Поднимать :
![{\displaystyle \,\,[\![Джон]\!]=j}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fad5f688d0f17331718acece23181caa87ebdfb)
![{\displaystyle [\![Джон]\!]=\lambda P_ {\langle e,t\rangle }.P(j)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50600568ca7454e007cc8ec3392194571d79fd8a)
Сдвигатели типов были предложены Барбарой Парти и Матсом Рутом в 1983 году для учета систематической неоднозначности типов . В работах того периода предполагалось, что синтаксические категории напрямую соответствуют семантическим типам, и поэтому исследователям приходилось «обобщать до худшего случая», когда конкретное использование определенных выражений из данной категории требовало особенно высокого типа. Более того, Парти утверждал, что фактические данные подтверждают, что выражения имеют разные типы в разных контекстах. Таким образом, она и Рут предложили сдвиг шрифта как принципиальный механизм создания двусмысленности. [1] [2] [3]
Сдвиги типов остаются стандартным инструментом в формальной семантической работе, особенно в категориальной грамматике и связанных с ней структурах. Сдвиги типов также использовались для интерпретации кванторов в позиции объекта и для выявления неоднозначностей области видимости . В этом отношении они служат альтернативой синтаксическим операциям, таким как повышение квантора, используемым в основных генеративных подходах к семантике. [4] [5] Сдвигатели типов также использовались для генерации и составления альтернативных наборов без необходимости полного принятия семантики, основанной на альтернативах . [6] [7]
См. также [ править ]
- Альтернативная семантика
- Барбара Парти
- Категориальная грамматика
- Преобразование типов
- Теория типов
- Область применения (формальная семантика)
- Синтаксически-семантический интерфейс
Примечания [ править ]
- ^ Перейти обратно: а б Парти, Барбара ; Рут, Матс (1983). «Обобщенное соединение и неоднозначность типов» (PDF) . В Портнере, Пол; Парти, Барбара (ред.). Формальная семантика: основные материалы для чтения . Уайли. стр. 334–356. дои : 10.1002/9780470758335.ch14 . ISBN 9780470758335 .
- ^ Перейти обратно: а б Парти, Барбара (1983). «Интерпретация именной фразы и принципы смены типа» (PDF) . В Портнере, Пол; Парти, Барбара (ред.). Формальная семантика: основные материалы для чтения . Уайли. стр. 357–381. дои : 10.1002/9780470758335.ch15 . ISBN 9780470758335 .
- ^ Перейти обратно: а б Хейм, Ирен ; Кратцер, Анжелика (1998). Семантика в порождающей грамматике . Оксфорд: Уайли Блэквелл. Глава 4.
- ^ Хейм, Ирен ; Кратцер, Анжелика (1998). Семантика в порождающей грамматике . Оксфорд: Уайли Блэквелл. стр. 184–188.
- ^ Джейкобсон, Полина (2014). Композиционная семантика: введение в интерфейс синтаксиса/семантики . Издательство Оксфордского университета. ISBN 9780199677153 .
- ^ Чарлоу, Саймон (2015). «Альтернативы по объему» (PDF) . Неопубликованные конспекты курса .
- ^ Чарлоу, Саймон (2020). «Объем альтернатив: неопределенность и острова» . Языкознание и философия . 43 (4): 427–472. дои : 10.1007/s10988-019-09278-3 . S2CID 254749307 .
 | Эта о семантике статья незавершена . Вы можете помочь Википедии, расширив ее . |