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

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

Наприклад:

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

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

Або:

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

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

якщо

A\cap B=\emptyset

і

B\cap C=\emptyset

тоді

A\subset C

.

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

Див. також[ред. | ред. код]

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