Экзистенциальное закрытие
В формальной семантике экзистенциальное замыкание — это операция, которая вводит экзистенциальную квантификацию . Впервые это было сформулировано Ирен Хайм в ее диссертации 1982 года в рамках анализа неопределенных чисел . В ее формулировке экзистенциальное замыкание — это форма неселективного связывания , которая связывает любое количество переменных любого семантического типа. [1] [2] В альтернативной семантике и связанных с ней концепциях этот термин часто применяется к тесно связанной операции, которая экзистенциально количественно оценивает набор пропозициональных альтернатив. [3] [4]
См. также [ править ]
Ссылки [ править ]
- ^ Брасовяну, Адриан; Фаркас, Донка (2016). «Неопределенные». В Алони, Мария ; Деккер, Пол (ред.). Кембриджский справочник по формальной семантике . Издательство Кембриджского университета. стр. 238–266. дои : 10.1017/CBO9781139236157.009 . ISBN 9781107028395 .
- ^ Хейм, Ирен (1982). «Глава 2: Неопределенные числа как переменные». Семантика определенных и неопределенных именных фраз (PDF) (Диссертация). Массачусетский университет, Амхерст.
- ^ Кратцер, Анжелика; Симояма, Джунко (2002). «Неопределенные местоимения: взгляд с японского» (PDF) . Материалы Третьей Токийской конференции по психолингвистике .
- ^ Чиарделли, Ивано; Рулофсен, Флорис; Тайлер, Надин (2017). «Составление альтернатив» (PDF) . Языкознание и философия . 40 (1): 1–36. дои : 10.1007/s10988-016-9195-2 .
 | Эта о семантике статья незавершена . Вы можете помочь Википедии, расширив ее . |