Uproszczenie rozłącznych poprzedników
W semantyce formalnej i logice filozoficznej uproszczenie poprzedników dysjunkcyjnych ( SDA ) jest zjawiskiem, w którym dysjunkcja w poprzedniku warunku warunkowego wydaje się rozkładać na warunkowy jako całość. To wnioskowanie jest pokazane schematycznie poniżej:
Argumentowano, że to wnioskowanie jest ważne na podstawie par zdań, takich jak poniższe, ponieważ zdanie 1 wydaje się implikować zdanie 2.
- Gdyby Yde lub Dani przyszli na przyjęcie, byłoby fajnie.
- Gdyby Yde przyszedł na imprezę, byłoby fajnie, a gdyby Dani przyszła na imprezę, byłoby fajnie.
Wnioskowanie SDA zostało po raz pierwszy omówione jako potencjalny problem dla analizy podobieństwa scenariuszy kontrfaktycznych . W tych podejściach przewiduje się, że scenariusz kontrfaktyczny będzie prawdziwy, jeśli obowiązywać we wszystkich możliwych światach , w których najbardziej zbliżone do świata ewaluacji. Na Boole'a dysjunkcji, utrzymywać się w świecie po prostu dlatego, że , co oznacza, że najbardziej podobny - wszystkie światy mogą być tymi, w nie . Jeśli jest również prawdziwe w tych światach, ale nie w najbliższych światach tutaj, prawdziwe, to podejście to przewiduje niepowodzenie SDA: będzie prawdziwe w świecie oceny, podczas gdy będzie fałszywe.
Mówiąc bardziej intuicyjnie, wyobraź sobie, że Yde opuścił ostatnią imprezę, ponieważ złapał gumę, podczas gdy Dani przegapiła ją, ponieważ nienawidzi przyjęć i również nie żyje. We wszystkich najbliższych światach, w których Yde lub Dani przybywają na imprezę, to Yde, a nie Dani, będzie na przyjęciu. Jeśli Yde jest zabawną osobą na przyjęciach, będzie to oznaczać, że zgodnie z przewidywaniami zdanie 1 powyżej będzie prawdziwe w podejściu opartym na podobieństwie. Jeśli jednak Dani ma tendencję do wywierania odwrotnego wpływu na przyjęcia, w których uczestniczy, wówczas zdanie 2 jest przewidywane jako fałszywe, co stanowi naruszenie SDA.
SDA analizowano na różne sposoby. Jednym z nich jest wyprowadzenie go jako implikacji semantycznej poprzez przyjęcie nieklasycznego traktowania dysjunkcji, takiego jak semantyka alternatywna lub semantyka dociekliwa . Inne podejście również wywodzi to jako implikację semantyczną , ale czyni to poprzez przyjęcie alternatywnej denotacji dla warunków warunkowych, takiej jak ścisły tryb warunkowy lub dowolna z opcji udostępnionych w semantyce sytuacji . Wreszcie, niektórzy badacze sugerowali, że można to analizować jako implikaturę pragmatyczną wyprowadzone na podstawie klasycznej alternatywy i standardowej semantyki dla okresów warunkowych. SDA jest czasami uważane za osadzony przypadek wnioskowania o wolnym wyborze .