Формальная ошибка утверждения дизъюнкта, также известная как ошибка альтернативного дизъюнкта или ложного исключающего дизъюнкта, возникает, когда дедуктивный аргумент принимает следующую логическую форму : [1]
Ошибка заключается в выводе, что один дизъюнкт должен быть ложным, потому что другой дизъюнкт истинен; на самом деле они оба могут быть истинными, потому что «или» определяется включающе, а не исключительно. Это ошибка двусмысленности между операциями OR и XOR .
Утверждение дизъюнкта не следует путать с действительным аргументом, известным как дизъюнктивный силлогизм . [2]
Примеры
Следующий аргумент указывает на несостоятельность утверждения дизъюнкта:
Макс — млекопитающее или Макс — кошка.
Макс — млекопитающее.
Следовательно, Макс — не кот.
Этот вывод неверен, поскольку все кошки по определению являются млекопитающими.
Второй пример представляет собой первое предположение, которое кажется реалистичным и показывает, как из этого заблуждения все равно возникает явно ошибочный вывод. [3]
Чтобы оказаться на обложке журнала Vogue , нужно быть знаменитостью или очень красивой.