Подтверждение дизъюнкции - Википедия - Affirming a disjunct

В формальная ошибка из подтверждая дизъюнкцию также известный как ошибка альтернативной дизъюнкции или ложный исключающий дизъюнкт происходит, когда дедуктивный аргумент принимает следующий логическая форма:

А или В
А
Следовательно, не B

Или в логические операторы:

¬

Где обозначает логическое утверждение.

Объяснение

Ошибка заключается в том, что один разъединять должно быть ложным, потому что другой дизъюнкт истинен; на самом деле они оба могут быть истинными, потому что «или» определяется скорее включительно, чем исключительно. Это ошибка двусмысленность между операциями ИЛИ ЖЕ и XOR.

Подтверждение дизъюнкции не следует путать с действительным аргументом, известным как дизъюнктивный силлогизм.

Примеры

Следующий аргумент указывает на необоснованность утверждения дизъюнкта:

Макс - млекопитающее или Макс - кошка.
Макс - млекопитающее.
Следовательно, Макс не кот.

Этот вывод несостоятельно, потому что все кошки по определению - млекопитающие.

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

Чтобы попасть на обложку журнала Vogue, нужно быть знаменитостью или очень красивой.
Обложка этого месяца была знаменитостью.
Поэтому эта знаменитость не очень красива.

Смотрите также

внешняя ссылка