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

Лат. Silligismos – виведення наслідку.

Категоричний силогізм – дедуктивний умовивід, в якому з двох категоричних суджень, де S і Р пов’язані середнім терміном, при наслідуванні правилам з необхідністю настає висновок.

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

Фігури силогізму – це форми силогізму.

І ІІ ІІІ IV

M P P M M P P M

S M S M M S M S

S P S P S P S P

M – означає середній термін.

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

І фігура: Менший засновок має бути стверджувальним. Більший засновок має бути загальним.

ІІ фігура: Один із засновків має бути заперечним. Більший засновок має бути загальним.

ІІІ фігура: Менший засновок має бути стверджувальним. Висновок має бути частковим.

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

Правила термінів.

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

2. Середній термін неодмінно має бути розподіленим принаймні в одному із засновків.

3. Кожен силогізм повинен мати три і тільки три терміна.

Правила засновків.

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

2. З двох часткових засновків не можна зробити ніякого висновку.

3. Якщо один із засновків заперечний, то й висновок (якщо він взагалі можливий) теж є заперечним.

4. Якщо один із засновків частковий, то й висновок (якщо він взагалі можливий) теж є частковим.

5. Якщо обидва засновки стверджувальні , то й висновок (якщо він взагалі можливий) теж є стверджувальним.

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

Модуси – це різновидності силогізму, які відрізняються один від одного якісною і кількісною характеристикою посилань та висновків.

Правильні модуси:

І фігура: ААА, ЕАЕ, АІІ, ЕІО;

ІІ фігура: ЕАЕ, АОО, АЕЕ, ЕІО;

ІІІ фігура: ОАО, ААІ, АІІ, ІАІ, ЕАО, ЕІО;

IV фігура: ЕІО, ААІ, АЕЕ, ЕАО, ІАІ.

Приклад:

А. Всі студенти (М) нашої групи беруть участь (Р) у художній самодіяльності.

А’. Петров (S) – студент нашої групи (М).

А’. Петров (S) бере участь у художній самодіяльності (Р).

І фігура. М⁺ Р^-

S⁺ М^-

S⁺ Р^-

Графічне зображення.

Перевірка.

1. Правило фігури не порушено.

2. Правила термінів не порушені.

3. Правила засновків не порушені.

4. Модус ААА є правильним для першої фігури.

Висновок:

Якщо засновки істинні, то висновок однозначно є істинним.

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

Ентимема – силогізм, в якому пропущено один із засновків або висновок.

Термін “ентимема” в перекладі з грецької мови означає “в думках”, “в умі”. Приклад: “Всі юристи повинні знати Конституцію України, а Петренко – юрист”. Отже, “Петренко повинен знати Конституцію України”.

У залежності від того, що пропущено в логіці, виділяють три види ентимем:

1. Ентимема з пропущеним більшим засновком.

2. Ентимема з пропущеним меншим засновком.

3. Ентимема з пропущеним висновком.