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

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

Например:

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

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

Или:

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

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

Если $A\cap B=\emptyset$ и $B\cap C=\emptyset$ затем $A\subset C$.

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

См. также

• Отрицательный вывод из утвердительных посылок , при котором силлогизм недействителен, поскольку вывод отрицательный, но посылки утвердительные.
• Ошибка исключительных посылок , при которой силлогизм недействителен, поскольку обе посылки отрицательны.

Ссылки

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