В лингвистической семантике оператор нисходящего вывода ( DE ) — это оператор, который ограничивает значение выражения меньшим числом или степенью, чем это было бы возможно без выражения. Например, «не», «никто», «немного людей», «максимум два мальчика». И наоборот, оператор восходящего вывода ограничивает значение выражения большим числом или степенью, например, «больше одного». Контекст, который не является ни нисходящим, ни восходящим выводом, немонотонен [ требуется ссылка ] , например, «ровно пять».
Оператор нисходящего вывода меняет отношение семантической силы между выражениями. Выражение типа "бежать быстро" семантически сильнее выражения "бежать", поскольку "Джон бежал быстро" влечет "Джон бежал", но не наоборот. Но контекст нисходящего вывода меняет эту силу; например, предложение "Максимум два мальчика бежали" влечет, что "Максимум два мальчика бежали быстро", но не наоборот.
Оператор восходящего вывода сохраняет отношение семантической силы между набором выражений; например, «более трех человек побежали быстро» влечет за собой «более трех человек побежали», но не наоборот.
Ladusaw (1980) предположил, что нисходящее следствие является свойством, которое лицензирует элементы полярности . Действительно, «Никто ничего не видел » является нисходящим следствием и допускает элемент отрицательной полярности что угодно , в то время как *«Я видел что угодно » неприемлемо (контекст восходящего следования не лицензирует такой элемент полярности). Этот подход объясняет многие, но не все типичные случаи чувствительности элементов полярности. Последующие попытки описать поведение элементов полярности опираются на более широкое понятие неверидичности .
Нисходящее следствие не объясняет лицензирование какого-либо из них в определенных контекстах, например, только в следующих случаях :
Это не нисходящий контекст, поскольку приведенное выше предложение не подразумевает: «Только Джон ел капусту на завтрак» (Джон мог есть шпинат, например).
Кай фон Финтель (1999) заметил, что хотя только не демонстрирует классический шаблон DE, это все еще DE в особом смысле. Он определяет понятие нисходящей выводимости Стросона , основанное на концепции выводимости Стросона , где выводы могут быть проверены, игнорируя при этом ошибки пресуппозиции. Схема рассуждения выглядит следующим образом:
Здесь (2) — предполагаемая предпосылка. Например:
Следовательно, только Strawson-DE и, следовательно, лицензирует любой .
Giannakidou (2002) утверждает, что Strawson-DE позволяет не только пресуппозицию оцениваемого предложения, но и любое произвольное предложение считать релевантным. Это приводит к чрезмерному обобщению, которое подтверждает использование, если таковое имеется , в контекстах, где оно, по сути, неграмматично, например, clefts , preposed suppressive focus и each / both :
{{cite book}}: CS1 maint: отсутствует местоположение издателя ( ссылка )