Поняття про умовивід, його види

(М-) – Р

S – (M -)

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

М – (Р+)

М – (S-)(S-) – (P+).

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

1)хоча би один із засновків повинен бути ствердним судженням (з двох заперечних висновок з необхідністю не слідує)

М – Р

S – M

--//-- .

2)якщо б один із засновків – заперечне судження, то і висновок повинен бути заперечним.

3)хоча б один із засновків повинен бути загальним судженням (з двох часткових суджень висновок не слідує з необхідністю).

4)якщо один із засновків часткове судження, то і висновок буде частковим

(М+) – (Р-)

(S-) – (М-)

(S-) – (P-).

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

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

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

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

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

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

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

Правила 1-ї фігури: 1. Більший засновок – загальне судження.

2. Менший – ствердне судження.