Утвердительный вывод из отрицательной посылки

Логическая ошибка

Утвердительное заключение из отрицательной посылки (недопустимое отрицание) — формальная ошибка , которая совершается, когда категорический силлогизм имеет положительное заключение и одну или две отрицательные посылки.

Например:

Ни одна рыба не является собакой, и ни одна собака не может летать, следовательно, все рыбы могут летать.

Единственное, что можно правильно вывести из этих предпосылок, это то, что некоторые существа, не являющиеся рыбами, не могут летать, при условии, что существуют собаки.

Или:

Мы не читаем этот мусор. Люди, которые читают этот мусор, не ценят настоящую литературу. Поэтому мы ценим настоящую литературу.

Математически это можно проиллюстрировать так:

Если и тогда . А Б = {\displaystyle A\cap B=\emptyset } Б С = {\displaystyle B\cap C=\emptyset } А С {\displaystyle A\subset C}

Это заблуждение, поскольку любые действительные формы категорического силлогизма , утверждающие отрицательную посылку, должны иметь отрицательное заключение.

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

Ссылки

  • Файлы заблуждений: Утвердительный вывод из отрицательной предпосылки


Взято с "https://en.wikipedia.org/w/index.php?title=Утвердительное_заключение_из_отрицательной_предпосылки&oldid=1198224775"