Potwierdzenie rozłączności - Affirming a disjunct
Formalny błąd z potwierdzając dysjunktywnej znany również jako przesąd alternatywnego dysjunktywnej lub fałszywej wyłączającej dysjunktywnej występuje, gdy dedukcyjne argumentu przyjmuje następującą formę logiczną :
- A lub B
- ZA
- Dlatego nie B.
Lub w operatorach logicznych :
- ¬
Gdzie oznacza logiczne stwierdzenie .
Wyjaśnienie
Błędem jest wnioskowanie, że jeden rozłącznik musi być fałszywy, ponieważ drugi jest prawdziwy; w rzeczywistości oba mogą być prawdziwe, ponieważ „lub” jest zdefiniowane w sposób włączający, a nie wyłącznie. Jest błędem dwuznaczności między operacjami OR i XOR .
Twierdzenie rozłączności nie powinno być mylone z ważnym argumentem znanym jako rozłączny sylogizm .
Przykłady
Poniższy argument wskazuje na nieuzasadnienie afirmacji dysjunkcji:
- Max to ssak, a Max to kot.
- Max to ssak.
- Dlatego Max nie jest kotem.
Ten wniosek jest błędny, ponieważ wszystkie koty z definicji są ssakami.
Drugi przykład dostarcza pierwszego twierdzenia, które wydaje się realistyczne i pokazuje, jak oczywiście błędny wniosek wciąż powstaje w ramach tego błędu.
- Aby znaleźć się na okładce Vogue Magazine, trzeba być celebrytą lub być bardzo piękną.
- W tym miesiącu okładka była celebrytą.
- Dlatego ta celebrytka nie jest zbyt piękna.