Категоричним силогізмом називають умовивід, в якому висновок необхідно слідує із двох засновків – категоричних суджень
Модусом простого силогізму називається набір простих суджень, які входять в силогізм
1й засновок: Всі люди(М) смертні(Р)
2й засновок Сократ(S) — людина(M)
Висновок Сократ смертний
Суб'єкт висновку називають меншим терміном простого категоричного судження
Предикат називають більшим терміном ПКС
Термін, що входить до обох засновків, але не входить до висновку називають середнім терміном(M)
В залежності від того, на якому місці в засновках стоять середні терміни розрізняють 4 фігури силогізмів
Залежно від того якими саме за якістю і кількістю судженнями будуть засновки ПКС одержимо так звані модуси фігур силогізмів. Теоретично можливі 256 модусів. Однак лише 19 з них є правильними, тобто такими, які при істинності засновків і дотриманні правил необхідно дають завжди істинний висновок. Решта дають вірогідний висновок.