дизъюнкция Херфорда

В формальной семантике дизъюнкция Херфорда — это дизъюнкция , в которой один из дизъюнктов влечет за собой другой. Это понятие было впервые идентифицировано британским лингвистом Джеймсом Херфордом . Предложение «Мэри находится в Нидерландах или она находится в Амстердаме» является примером дизъюнкции Херфорда, поскольку невозможно находиться в Амстердаме, не находясь в Нидерландах. Другие примеры показаны ниже:

1. #Тамина видела Битла или Пола Маккартни.
2. #Число, о котором я думаю, делится на 4 или четно.
3. #Уилбур — свинья или животное?

Как видно из октоторпов в приведенных выше примерах, дизъюнкции Херфорда обычно неэффективны . Утверждалось, что их неудача возникает из-за их избыточности, поскольку простое произнесение более сильного из двух дизъюнктов имело бы одинаковый семантический эффект. Таким образом, они были приняты в качестве мотивации для таких принципов, как следующий:

Локальная избыточность : высказывание является неверным, если его логическая форма содержит экземпляр бинарного оператора. $\oplus$ применяется к аргументам $A$ или $B$, чей семантический вклад контекстуально эквивалентен вкладу любого $A$ или $B$ самостоятельно.

Однако некоторые частные случаи дизъюнкций Херфорда удачны.

1. София съела часть пиццы или всю.
2. Генриетта ростом пять футов или шесть футов.

Удачные дизъюнкты Херфорда были проанализированы, постулируя, что более слабый дизъюнкт усиливается встроенной скалярной импликатурой , которая устраняет следствие между дизъюнктами. Например, в первом из удачных примеров, приведенных выше, необогащенное значение левого дизъюнкта состоит в том, что София съела ненулевое количество пиццы. Это привело бы к нарушению избыточности, поскольку съедание всей пиццы влечет за собой съедание ненулевого ее количества. Однако если встроенная скалярная импликатура обогащает это дизъюнкт так, что оно обозначает утверждение, что София съела часть пиццы, но не всю , этот вывод больше не действует. Съесть всю пиццу не означает съесть ее часть, а не всю. Таким образом, локальная избыточность по-прежнему будет выполняться.

См. также

• Дизъюнкция
• Импликатура