Свободный выбор вывода

Феномен в естественном языке

Свободный выбор — это явление в естественном языке, когда языковая дизъюнкция , по-видимому, получает логическую конъюнктивную интерпретацию, когда взаимодействует с модальным оператором. Например, следующие английские предложения можно интерпретировать так, что адресат может смотреть фильм и что он также может играть в видеоигры, в зависимости от своих предпочтений: ^[1]

1. Вы можете посмотреть фильм или поиграть в видеоигры.
2. Вы можете посмотреть фильм или поиграть в видеоигры.

Выводы свободного выбора являются основной темой исследований в формальной семантике и философской логике , поскольку они недействительны в классических системах модальной логики . Если бы они были действительны, то семантика естественного языка подтвердила бы принцип свободного выбора .

1. Принцип свободного выбора : ${\displaystyle (\Diamond P\lor \Diamond Q)\rightarrow (\Diamond P\land \Diamond Q)}$

Эта символическая логическая формула выше недействительна в классической модальной логике : добавление этого принципа в качестве аксиомы к стандартным модальным логикам позволило бы сделать вывод из , для любого и . Это наблюдение известно как Парадокс свободного выбора . ^{[1] [2]} Чтобы разрешить этот парадокс, некоторые исследователи предложили анализ свободного выбора в неклассических рамках, таких как динамическая семантика , линейная логика , альтернативная семантика и пытливая семантика . ^{[1] [3] [4]} Другие предложили способы вывода выводов свободного выбора как скалярных импликатур , которые возникают на основе классических лексических записей для дизъюнкции и модальности. ^{[1] [5] [6] [7]} ${\displaystyle \Diamond Q}$ ${\displaystyle \Diamond P}$ ${\displaystyle P}$ ${\displaystyle Q}$

Выводы со свободным выбором наиболее широко изучаются для деонтических модальных глаголов , но также возникают и с другими разновидностями модальности, а также с повелительными наклонениями , условными наклонениями и другими видами операторов. ^{[1] [8] [9] [4]} Неопределенные именные группы приводят к похожему выводу, который также называют «свободным выбором», хотя исследователи расходятся во мнении относительно того, образует ли он естественный класс с дизъюнктивным свободным выбором. ^{[9] [10]}

Смотрите также

• Деонтическая логика
• Дизъюнкция
• Ганс Камп
• Модальная логика
• Парадокс Росса
• Упрощение дизъюнктивных антецедентов
• Промывка

Примечания

1. Aloni, Maria (2016). «Дизъюнкция». В Zalta, Edward (ред.). Стэнфордская энциклопедия философии . Получено 2021-01-14 .
2. Камп, Ганс (1973). «Свободное разрешение выбора». Труды Аристотелевского общества . 74 : 57–74. doi :10.1093/aristotelian/74.1.57.
3. Саймонс, Мэнди (2005). «Разделение вещей: семантика or и модальное/or взаимодействие». Natural Language Semantics . 13 (3): 271–316. doi :10.1007/s11050-004-2900-7. S2CID  14338992.
4. Willer, Malte (2018). «Упрощение со свободным выбором». Topoi . 37 (3): 379–392. doi :10.1007/s11245-016-9437-5. S2CID  125934921.
5. Фуско, Мелисса (2014). «Свободное разрешение выбора и контрфактуальности прагматики». Лингвистика и философия . 37 (4): 275–290. doi :10.1007/s10988-014-9154-8. S2CID  27379239.
6. Шульц, Катрин (2007). Минимальные модели в семантике и прагматике: свободный выбор, исчерпывающая информация и условные конструкции (диссертация). Амстердамский университет, ILLC.
7. Фокс, Дэнни (2007). «Свободный выбор и теория скалярных импликатур». В Sauerland, U.; Stateva, P. (ред.). Пресуппозиция и импликатура в композиционной семантике . Palgrave Macmillan. стр. 71–120. doi :10.1057/9780230210752_4. ISBN 978-1-349-28206-7.
8. Циммерман, Томас Эде (2000). «Дизъюнкция свободного выбора и эпистемическая возможность». Natural Language Semantics . 8 (4): 255–290. doi :10.1023/A:1011255819284. S2CID  122826485.
9. Aloni, Maria (2007). «Свободный выбор, модальные глаголы и императивы». Natural Language Semantics . 15 : 65–94. doi :10.1007/s11050-007-9010-2. S2CID  16471990.
10. Джаннакиду, Анастасия (2001). «Значение свободного выбора». Лингвистика и философия . 24 (6): 659–735. doi :10.1023/A:1012758115458. S2CID  10533949.