Подтверждение дизъюнкции - Affirming a disjunct - Wikipedia
 | Эта статья не цитировать любой источники. (Ноябрь 2007 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
В формальная ошибка из подтверждая дизъюнкцию также известный как ошибка альтернативной дизъюнкции или ложный исключающий дизъюнкт происходит, когда дедуктивный аргумент принимает следующий логическая форма:
- А или В
- А
- Следовательно, не B
Или в логические операторы:
- ¬
Где обозначает логическое утверждение.
Объяснение
Ошибка заключается в том, что один разъединять должно быть ложным, потому что другой дизъюнкт истинен; на самом деле они оба могут быть истинными, потому что «или» определяется скорее включительно, чем исключительно. Это ошибка двусмысленность между операциями ИЛИ ЖЕ и XOR.
Подтверждение дизъюнкции не следует путать с действительным аргументом, известным как дизъюнктивный силлогизм.
Примеры
Следующий аргумент указывает на необоснованность утверждения дизъюнкта:
- Макс - млекопитающее или Макс - кошка.
- Макс - млекопитающее.
- Следовательно, Макс не кот.
Этот вывод несостоятельно, потому что все кошки по определению - млекопитающие.
Второй пример дает первое предположение, которое кажется реалистичным, и показывает, как очевидно ошибочный вывод все еще возникает при этой ошибке.
- Чтобы попасть на обложку журнала Vogue, нужно быть знаменитостью или очень красивой.
- Обложка этого месяца была знаменитостью.
- Поэтому эта знаменитость не очень красива.
Категория