Простий категоричний силогізм

1. Склад простого категоричного силогізму

Широко розповсюдженим видом опосередкованих умовиводів є категоричний силогізм. Він складається з трьох категоричних суджень, два з яких є посилками, а третє - висновком. Наприклад:

1. Обвинувачений (М) має право на захист (Р).

2. Бобров (S) - обвинувачений (М).

------------------------------------------------------

3. Бобров (S) має право на захист (Р).

На відміну від термінів судження - суб'єкта (S) і предиката (Р) - поняття, що входять до складу силогізму, називаються термінами силогізму. Розрізняють менший, більший і середній терміни.

Більшим терміном силогізму називається поняття, яке у висновку є суб'єктом (у нашому прикладі поняття «Бобров»), Великим терміном силогізму називається поняття, яке у висновку є предикатом («має право на захист»). Менший і більший терміни називаються крайніми і позначаються відповідно латинськими літерами S (менший термін) і Р (більший термін).

Кожен з крайніх термінів входить не тільки на закінчення, але і в одну з посилок. Посилка, в яку входить менший термін, називається меншою посилкою, посилка в яку входить більший термін, називається більшої посилкою. У нашому прикладі більшої посилкою буде перше судження (1), меншою - друге судження (2).

Для зручності аналізу силогізму посилки прийнято розташовувати в певній послідовності: велику - на першому місці, меншу - на другому. Під рисою записують висновок.

Однак у міркуванні менша посилка може перебувати на першому місці, а ббльшая - на другому. Іноді посилки стоять після укладення.

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

Висновок в силогізм був би неможливий, якби в ньому не було середнього терміна. Середнім терміном силогізму називається поняття, яке входить в обидві посилки і відсутнє у висновку (у нашому прикладі - «обвинувачений»). Середній термін позначається латинською буквою M (від латинського médius - «середній»).

Середній термін пов'язує два крайніх терміна. Ставлення крайніх термінів (суб'єкта і предиката) встановлюється завдяки їх відношенню до середнього терміну.

Отже, простий категоричний силогізм - це умовивід про відношення двох крайніх термінів на підставі їх відношення до середнього терміну.

2. Аксіома силогізму

Правомірність висновку, тобто логічного переходу від посилок до висновку, в категоричному силогізмі базується на положенні (аксіомі силогізму): все, що стверджується чи заперечується відносно всіх предметів деякого класу, стверджується або заперечується відносно кожного предмету і будь-якої частини предметів цього класу.

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

Розглянемо силогізм:

Обвинувачений (М) не зобов'язаний доводити свою невинуватість (Р).

Куніцин (S) - обвинувачений (М).

------------------------------------------------------------------------------------------

Куніцин (S) не зобов'язаний доводити свою невинуватість (Р).

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

Схема 31                                                                               Схема 32