Упрощение дизъюнктивных предшествующих элементов

Упрощение дизъюнктивных антецедентов (SDA) — явление в формальной семантике и философской логике.
SDA — это явление, при котором дизъюнкция в антецеденте условного выражения, по-видимому, распространяется на условное в целом.
SDA обсуждалось как потенциальная проблема для анализа контрфактуальных данных.
В подходах к контрфактическим данным, SDA может привести к неправильному предсказанию.
SDA может быть проанализировано как семантическое следствие с использованием альтернативной семантики или пытливой семантики.
SDA также может быть проанализировано как прагматическая импликатура на основе классической дизъюнкции и стандартной семантики условных выражений.
SDA иногда рассматривается как встроенный пример вывода о свободном выборе.

Полный текст статьи:

Упрощение дизъюнктивных антецедентов — Википедия