Подтверждение дизъюнкта

Из Википедии, бесплатной энциклопедии
Утверждение о дизъюнкции является заблуждением

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

А или Б
А
Следовательно, не Б.

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

¬

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

Объяснение [ править ]

Диаграмма Венна для «A или B», с включающим или (ИЛИ)
Диаграмма Венна для «A или B» с исключающим или (XOR)

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

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

Примеры [ править ]

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

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

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

Второй пример представляет собой первое предложение, которое выглядит реалистичным и показывает, как из-за этого заблуждения все же возникает явно ошибочный вывод. [3]

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

См. также [ править ]

Внешние ссылки [ править ]

  • Файлы ошибок: подтверждение дизъюнкции
  • Беннетт, Роберт «Бо». «Подтверждение дизъюнкции» . Логически ошибочный . Проверено 29 июля 2023 г.

Ссылки [ править ]