Категоричний силогізм та його різновиди. Ентимема

Категоричний силогізм — це вид дедуктивного умовиводу, в якому з двох категоричних суджень, зв’язаних середнім терміном (M), при додержанні правил обов’язково випливає висновок. У складі силогізму обов’язково повинні бути два засновки і висновок.

Поняття, що входять до складу силогізму, називають його термінами.

Більший засновок має в собі більший за обсягом термін, менший за­сновок — менший термін.

В основі висновку в категоричному силогізмі лежить аксіома сило­гізму. Все, що стверджується або заперечується стосовно виду (або члена даного класу), належить до даного роду.

Фігурами силогізму називаються форми силогізму, які розрізняють­ся за положенням середнього терміна M у засновках. Розрізняють 4 фі­гури силогізму:

Особливі правила фігур:

І фігура: більший засновок повинен бути загальним, а менший —

ствердним.

// фігура: більший засновок є загальним, а один із засновків і висно­вок — заперечними.

/// фігура: менший засновок повинен бути ствердним, а висновок — частковим.

IV фігура: загальноствердних висновків не дає; якщо більший за­сновок ствердний, тоді менший повинен бути загальним.

Якщо один із засновків заперечний, то більший повинен бути зага­льним.

Модусами категоричного силогізму називаються його різновиди, що відрізняються один від одного якісною й кількісною характеристикою засновків, що входять до нього, і висновком. Всього правильних моду­сів у 4 фігурах — 19.

Правила для термінів категоричного силогізму:

— в кожному силогізмі повинно бути тільки 3 терміни (S, P, М);

— середній термін (M) повинен бути розподілений хоча б в одному із засновків;

— термін, не розподілений у засновку, не може бути розподіленим у висновку.

Правила для засновків категоричного силогізму:

— з двох заперечних засновків не можна зробити ніякого висновку;

— якщо один із засновків заперечний, то й висновок повинен бути заперечним;

— з двох часткових засновків висновку робити не можна;

— якщо один із засновків частковий, то й висновок повинен бути частковим.

Ептимемою називається скорочений категоричний силогізм, в яко­му пропущений один із засновків або висновок.

Наприклад: «Олександр вивчає філософію, оскільки він студент». Тут пропущений більший засновок. «Усі студенти вивчають філосо­фію».

Відновлений з ентимеми силогізм має такий вигляд: Усі студенти вивчають філософію. Олександр — студент.

Отже, Олександр вивчає філософію.

Полісилогізмом (складним силогізмом) називаються два або кілька простих категоричних силогізмів, пов’язаних один з одним так, що ви­сновок одного з них є засновком для іншого.

У полісилогізмі висновок попереднього силогізму стає більшим за­сновком наступного силогізму. Його схема:

Приклад:

4.