Категоричний силогізм та його різновиди. Ентимема.
Категоричний силогізм - це вид дедуктивного умовиводу, в якому з двох категоричних суджень, зв’язаних середнім терміном (М), при додержанні правил обов’язково повинні бути два засновки і висновок.
Поняття, що входять до складу силогізму, називають його термінами. Більший засновок має в собі більший за обсягом термін, менший засновок - менший термін. В основі висновку в категоричному силогізмі лежить аксіома силогізму: Все, щостверджується або заперечується стосовно виду (або члена даного класу),
належить до даного роду.
Фігурами силогізму називаються форми силогізму, які розрізняються за положенням середнього терміна М у засновках і обов’язково наявністю предиката у більшому засновку і суб’єкта у меншому засновку:
P
Модусами категоричного силогізму називаються його різновиди, що відрізняються один від одного якісною й кількісною характеристикою
засновків, що входять до нього, є висновком. Кожна фігура силогізму має певну кількість правильних модусів, тобто формул коректних рішень:
• перша фігура - ААА, ЕАЕ, АІІ, ЕІО;
• друга фігура - ЕАЕ. АОО, АЕЕ, ЕІО;
• третя фігура - ОАО, ААІ, АІІ, ІАІ, ЕАО, ЕІО;
• четверта фігура - ААІ, ЕАО, ІАІ, ЕОІ, АЕЕ
Правила для термінів категоричного силогізму :
• В кожному силогізмі повинно бути тільки 3 терміни (S,P,M);
• Середній термін (М) повинен бути розподілений хоча б в одному із засновків;
• Термін, не розподілений у засновку, не може бути розподіленим у висновку.
Правила для засновків категоричного силогізму :
• З двох заперечних засновків не можна зробити ніякого висновку;
• Якщо один із засновків заперечний, то й висновок повинен бути заперечним;
• З двох часткових засновків висновку робити не можна;
• Якщо один із засновків частковий, то й висновок повинен бути частковим.
Приклади розв’язання задачі на простий категоричний силогізм:
(Е) Жодна спорова рослина не розмножується насінням.
(Е) Жоден гриб не розмножується насінням.
?
Висновок за першим модусом першої фігури силогізму має вигляд: Знання мають вартість.
Ентимемою називається скорочений категоричний силогізм, в якому пропущений один із засновків або висновок. Наприклад: “Ми громадяни України, отже, ми повинні знати українську мову”. Тут пропущений більший засновок. “Згідно з законом громадяни України повинні знати українську мову». Відновлений з ентимеми силогізм має такий вигляд:
4.