Стверджувальний висновок з негативного засновку

Стверджувальний висновок з негативного засновку (недозволений негатив) - це формальна помилка, якої припускаються, коли категоричний силогізм має позитивний висновок та один або дві негативні засновки.

Наприклад:

Жодна риба не є собакою, і жодна собака не може літати, тому всі риби можуть літати.

Єдиний висновок, який можна правильно зробити з цих засновків, це те, що деякі речі, які не є рибами, не можуть літати, за умови, що собаки існують.

Або:

Ми не читаємо це сміття. Люди, які читають це сміття, не цінують справжню літературу. Тому ми цінуємо справжню літературу».

Математично це можна проілюструвати так

якщо $A\cap B=\emptyset$ і $B\cap C=\emptyset$ тоді $A\subset C$.

Це помилка, оскільки будь-які дійсні форми категоричного силогізму, які стверджують негативний засновок, повинні мати негативний висновок.

Див. також

• Негативний висновок із стверджувальних засновків, у якому силогізм недійсний, оскільки висновок негативний, але засновки ствердні
• Помилка виключних засновків, у якій силогізм недійсний, оскільки обидва засновки є негативними

Посилання

• The Fallacy Files: Affirmative Conclusion from a Negative Prem[sic]^[*]