Potvrzuje disjunkt - Affirming a disjunct - Wikipedia
![]() | tento článek ne uvést žádný Zdroje.Listopad 2007) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) ( |
The formální klam z potvrzující disjunkt také známý jako klam alternativního disjunktu nebo a falešný vylučující disjunkt nastane, když a deduktivní argument má následující logická forma:
- A nebo B
- A
- Proto ne B
Nebo dovnitř logické operátory:
- ¬
Kde označuje a logické tvrzení.
Vysvětlení
Klam spočívá v závěru, že jeden disjunktní musí být nepravdivé, protože druhý disjunkt je pravdivý; ve skutečnosti mohou být obě pravdivé, protože „nebo“ je definováno spíše inkluzivně než výlučně. Je to omyl dvojsmyslnost mezi operacemi NEBO a XOR.
Potvrzení disjunktu by nemělo být zaměňováno s platným argumentem známým jako disjunktivní úsudek.
Příklady
Následující argument naznačuje nevhodnost potvrzení disjunktu:
- Max je savec nebo Max je kočka.
- Max je savec.
- Max proto není kočka.
Tento odvození je nezdravý, protože Všechno kočky jsou ze své podstaty savci.
Druhý příklad poskytuje první tvrzení, které se jeví realistické a ukazuje, jak při tomto omylu stále dochází k zjevně chybnému závěru.
- Chcete-li být na titulce časopisu Vogue, musíte být celebritou nebo velmi krásnou.
- Kryt tohoto měsíce byl celebritou.
- Proto tato celebrita není příliš krásná.