Простий категоричний силогізм
1. Склад простого категоричного силогізму
Широко розповсюдженим видом опосередкованих умовиводів є категоричний силогізм. Він складається з трьох категоричних суджень, два з яких є посилками, а третє - висновком. Наприклад:
1. Обвинувачений (М) має право на захист (Р).
2. Бобров (S) - обвинувачений (М).
------------------------------------------------------
3. Бобров (S) має право на захист (Р).
На відміну від термінів судження - суб'єкта (S) і предиката (Р) - поняття, що входять до складу силогізму, називаються термінами силогізму. Розрізняють менший, більший і середній терміни.
Більшим терміном силогізму називається поняття, яке у висновку є суб'єктом (у нашому прикладі поняття «Бобров»), Великим терміном силогізму називається поняття, яке у висновку є предикатом («має право на захист»). Менший і більший терміни називаються крайніми і позначаються відповідно латинськими літерами S (менший термін) і Р (більший термін).
Кожен з крайніх термінів входить не тільки на закінчення, але і в одну з посилок. Посилка, в яку входить менший термін, називається меншою посилкою, посилка в яку входить більший термін, називається більшої посилкою. У нашому прикладі більшої посилкою буде перше судження (1), меншою - друге судження (2).
Для зручності аналізу силогізму посилки прийнято розташовувати в певній послідовності: велику - на першому місці, меншу - на другому. Під рисою записують висновок.
Однак у міркуванні менша посилка може перебувати на першому місці, а ббльшая - на другому. Іноді посилки стоять після укладення.
Посилки розрізняються не їх місцем в силогізм, а вхідними в них термінами.
Висновок в силогізм був би неможливий, якби в ньому не було середнього терміна. Середнім терміном силогізму називається поняття, яке входить в обидві посилки і відсутнє у висновку (у нашому прикладі - «обвинувачений»). Середній термін позначається латинською буквою M (від латинського médius - «середній»).
Середній термін пов'язує два крайніх терміна. Ставлення крайніх термінів (суб'єкта і предиката) встановлюється завдяки їх відношенню до середнього терміну.
Отже, простий категоричний силогізм - це умовивід про відношення двох крайніх термінів на підставі їх відношення до середнього терміну.
2. Аксіома силогізму
Правомірність висновку, тобто логічного переходу від посилок до висновку, в категоричному силогізмі базується на положенні (аксіомі силогізму): все, що стверджується чи заперечується відносно всіх предметів деякого класу, стверджується або заперечується відносно кожного предмету і будь-якої частини предметів цього класу.
У наведеному прикладі - все, що стверджується щодо всіх обвинувачених, затверджується і щодо конкретного обвинуваченого (див. в кругових схему 31).
Розглянемо силогізм:
Обвинувачений (М) не зобов'язаний доводити свою невинуватість (Р).
Куніцин (S) - обвинувачений (М).
------------------------------------------------------------------------------------------
Куніцин (S) не зобов'язаний доводити свою невинуватість (Р).
У цьому силогізмі все, що заперечується відносно кожного обвинуваченого, заперечується і відносно конкретної особи (схема 32).
Схема 31 Схема 32