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

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

$(A\lor B)\Rightarrow C\models (A\Rightarrow C)\land (B\Rightarrow C)$

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

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

Вывод SDA впервые обсуждался как потенциальная проблема анализа сходства контрфактов . В этих подходах контрфактическое $(A\lor B)>C$ предсказано как истинное, если $C$ справедливо во всех возможных мирах , где $A\lor B$ приемы, которые наиболее похожи на мир оценки. О булевой семантике дизъюнкции: $A\lor B$ может удержать мир просто благодаря $A$ там верно, что означает, что наиболее похожие $A\lor B$ -все миры могут быть такими, где $A$ держится, но $B$ не. Если $C$ это также верно для этих миров, но не для ближайших миров здесь. $B$ верно, то этот подход будет прогнозировать отказ SDA: $(A\lor B)>C$ будет верным в мире оценок, пока $(B>C)$ будет ложным.

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

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

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

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

^ Перейти обратно: ^а ^б ^с ^д ^Это ^ж Эгре, Поль; Козич, Микаэль (2016). «Условия». В Алони, Мария ; Деккер, Пол (ред.). Кембриджский справочник по формальной семантике . Издательство Кембриджского университета. стр. 500–503. ISBN 978-1-107-02839-5 .
^ Перейти обратно: ^а ^б ^с ^д ^Это ^ж Старр, Уилл (2019). «Контрфакты» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .
^ Нут, Дональд (1975). «Контрфакты» . Журнал формальной логики Нотр-Дама . 16 (4). дои : 10.1305/ndjfl/1093891882 .
^ Алонсо-Овалье, Луис (2009). «Контрфакты, корреляты и дизъюнкция». Языкознание и философия . 32 (2): 207–244. CiteSeerX 10.1.1.454.2134 . дои : 10.1007/s10988-009-9059-0 . S2CID 62566720 .
^ Чиарделли, Ивано; Чжан, Линьмин; Шампольон, Лукас (2018). «Два переключателя в теории контрфактуалов» . Языкознание и философия . 41 (6): 577–621. дои : 10.1007/s10988-018-9232-4 .
^ Чиарделли, Ивано (2016). Поднятие условных обозначений до любознательной семантики . СОЛЬ. Том. 26. дои : 10.3765/salt.v26i0.3811 .
^ Клайнинст, Натан (2009). «(Упрощение) дизъюнктивных антецедентов». МИТПЛ . 60 .
^ Виллер, Мальте (2018). «Упрощение со свободным выбором». Топои . 37 (3): 379–392. дои : 10.1007/s11245-016-9437-5 . S2CID 125934921 .

Эта о семантике статья незавершена . Вы можете помочь Википедии, расширив ее .

Эта прагматике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее .

Эта логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее .

[cambridgehbk-1] Перейти обратно: ^а ^б ^с ^д ^Это ^ж Эгре, Поль; Козич, Микаэль (2016). «Условия». В Алони, Мария ; Деккер, Пол (ред.). Кембриджский справочник по формальной семантике . Издательство Кембриджского университета. стр. 500–503. ISBN 978-1-107-02839-5 .

[sep-2] Перейти обратно: ^а ^б ^с ^д ^Это ^ж Старр, Уилл (2019). «Контрфакты» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .

[3] Нут, Дональд (1975). «Контрфакты» . Журнал формальной логики Нотр-Дама . 16 (4). дои : 10.1305/ndjfl/1093891882 .

[4] Алонсо-Овалье, Луис (2009). «Контрфакты, корреляты и дизъюнкция». Языкознание и философия . 32 (2): 207–244. CiteSeerX 10.1.1.454.2134 . дои : 10.1007/s10988-009-9059-0 . S2CID 62566720 .

[5] Чиарделли, Ивано; Чжан, Линьмин; Шампольон, Лукас (2018). «Два переключателя в теории контрфактуалов» . Языкознание и философия . 41 (6): 577–621. дои : 10.1007/s10988-018-9232-4 .

[6] Чиарделли, Ивано (2016). Поднятие условных обозначений до любознательной семантики . СОЛЬ. Том. 26. дои : 10.3765/salt.v26i0.3811 .

[7] Клайнинст, Натан (2009). «(Упрощение) дизъюнктивных антецедентов». МИТПЛ . 60 .

[8] Виллер, Мальте (2018). «Упрощение со свободным выбором». Топои . 37 (3): 379–392. дои : 10.1007/s11245-016-9437-5 . S2CID 125934921 .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]