Potvrzení disjunktu - Affirming a disjunct
Formální klam z potvrzuje se disjunktních také známý jako omylu alternativního disjunktních nebo falešné vylučující disjunktních dochází při deduktivní argument, má následující logickou formu :
- A nebo B
- A
- Proto ne B
Nebo v logických operátorech :
- ¬
Kde označuje logické tvrzení .
Vysvětlení
Klam spočívá v závěru, že jeden disjunkt musí být falešný, 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ě. Jedná se o klam nejasností mezi operacemi OR a XOR .
Potvrzení disjunktu by nemělo být zaměňováno s platným argumentem známým jako disjunktivní sylogismus .
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 závěr je nezdravý, protože všechny kočky jsou ze své podstaty savci.
Druhý příklad poskytuje první tvrzení, které se jeví realistické a ukazuje, jak pod tímto klamem 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á.