Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

В формальной семантике и философской логике , упрощение дизъюнктивных предшественников (SDA) это явление , при котором дизъюнкция в антецеденту через условные , как представляется , распределить над условно в целом. Этот вывод схематически показан ниже: [1] [2]

Утверждалось, что этот вывод действителен на основе пар предложений, подобных приведенной ниже, поскольку предложение 1, по-видимому, подразумевает предложение 2. [1] [2]

  1. Если бы Иде или Дэни пришли на вечеринку, это было бы весело.
  2. Если бы Иде пришел на вечеринку, это было бы весело, а если бы Дани пришла на вечеринку, это было бы весело.

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

Говоря более интуитивно, представьте, что Иде пропустил последнюю вечеринку, потому что у него спустило колесо, а Дэни пропустила ее, потому что она ненавидит вечеринки и тоже умерла. Во всех ближайших мирах, где на вечеринку приходит Иде или Дани, будет присутствовать Иде, а не Дэни. Если Yde - веселый человек, которого можно встретить на вечеринках, это будет означать, что предложение 1, приведенное выше, будет верным при подходе подобия. Однако, если Дэни имеет тенденцию оказывать противоположное влияние на вечеринки, которые она посещает, то предложение 2 считается ложным, что нарушает ПДД. [3] [1] [2]

СОА анализировалась множеством способов. Один состоит в том, чтобы вывести его как семантическое следствие , постулируя неклассическую трактовку дизъюнкции, например альтернативную семантику или любознательную семантику . [4] [5] [6] [1] [2] Другой подход также выводит это как семантическое следствие , но делает это путем принятия альтернативного обозначения для условных выражений , таких как строгое условное или любой из опций, доступных в семантике ситуации. . [1] [2] Наконец, некоторые исследователи предположили, что это может быть проанализировано как прагматическая импликатура.получен на основе классической дизъюнкции и стандартной семантики условных выражений. [7] [1] [2] SDA иногда считается внедренным экземпляром логического вывода свободного выбора . [8]

См. Также [ править ]

Примечания [ править ]

  1. ^ Б с д е е Egré, Павла; Козич, Микаэль (2016). «Условные». В Алони, Мария; Деккер, Пол (ред.). Кембриджский справочник формальной семантики . Издательство Кембриджского университета. С. 500–503. ISBN 978-1-107-02839-5.
  2. ^ Б с д е е Starr, Будет (2019). «Контрфактические факты» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .
  3. ^ Нут, Дональд (1975). «Контрфактические факты». Журнал Нотр-Дам по формальной логике . 16 (4).
  4. ^ Алонсо-Овалле, Луис (2009). «Противоречия, корреляты и дизъюнкция». Лингвистика и философия . 32 (2). DOI : 10.1007 / s10988-009-9059-0 .
  5. ^ Ciardelli, Ивано; Чжан, Линьминь; Шампольон, Лукас (2018). «Два переключателя в теории контрфактов» . Лингвистика и философия . 41 (6). DOI : 10.1007 / s10988-018-9232-4 .
  6. ^ Ciardelli, Ивано (2016). Поднимая условные выражения до любознательной семантики . СОЛЬ. 26 . DOI : 10,3765 / salt.v26i0.3811 .
  7. ^ Klinedinst, Nathan (2009). «(Упрощение) дизъюнктивных антецедентов». MITWPL . 60 .
  8. ^ Уиллер, Malte (2018). «Упрощение со свободным выбором». Topoi . 37 (3). DOI : 10.1007 / s11245-016-9437-5 .