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

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

// фігура: більший засновок є загальним, а один із засновків і висновок – заперечними.

/// фігура: менший засновок повинен бути ствердним, а висновок – частковим.

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

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

Модусами категоричного силогізму називаються його різновиди, що відрізняються один від одного якісною й кількісною характеристикою засновків, що входять до нього, і висновком. Всього правильних модусів у 4 фігурах – 19.

Правила для термінів категоричного силогізму:

– в кожному силогізмі повинно бути тільки 3 терміни (S, Р, М);

– середній термін (М) повинен бути розподілений хоча б в одному із засновків;

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

Правила для засновків категоричного силогізму:

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

– якщо один із засновків заперечний, то й висновок повинен бути заперечним;

– з двох часткових засновків висновку робити не можна;

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

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

Наприклад: «Олександр вивчає філософію, оскільки він студент». Тут пропущений більший засновок. «Усі студенти вивчають філософію».

Відновлений з ентимеми силогізм має такий вигляд: Усі студенти вивчають філософію. Олександр – студент.

Отже, Олександр вивчає філософію.

Полісилогізмом (складним силогізмом) називаються два або кілька простих категоричних силогізмів, пов’язаних один з одним так, що висновок одного з них є засновком для іншого.

У полісилогізмі висновок попереднього силогізму стає більшим засновком наступного силогізму. Його схема:

			Приклад:
	єQ єQ		або:	Всі багатокутники – геометричні фігури. Всі трикутники – багатокутники.
Отже:	єP єR		Отже:	Всі трикутники – геометричні фігури. Всі рівносторонні трикутники – трикутники.
Отже:	єQ		Отже:	Всі рівносторонні трикутники – геометричні фігури

Логічна формула епіхейреми:		M є Р, тому що M є N S є М, тому що S є Q Отже: S є Р
Аналіз першого засновку:		N є P M є N M є P
Аналіз другого засновку:		Q є M S є Q S є M
Висновок:	M є Р
	S є M,
	S є Р