Категоричний силогізм – опосередкований дедуктивний умовивід, який складається з двох засновників(посилань) і висновку, які є категоричними судженнями. Так умовивід „Всі паралелограми – чотирикутники, а ромби – паралелограми; отже ромби – чотирикутники” – типовий приклад категоричного силогізму, бо цей умовивід дедуктивний, оскільки в ньому з більш загальних положень одержують менш загальні, а засновки і висновок цього умовиводу є категоричними судженнями. В основі силогізму лежить аксіома:
те, що належить роду, належить також виду та індивіду
ознака ознаки речі є ознакою самої речі
все, що стверджується(або заперечується) стосовно певної множини предметів, стверджується(або заперечується) стосовно будь-якого предмету, який входить до цієї множини.
Будова категоричного силогізму:
Термін, який повторюється в засновках і пов’язує їх між собою, називається середнім, два інших терміни – крайніми. Ширший за обсягом крайній термін називається більшим(він виконує у висновку роль предиката), а вужчий за обсягом крайній термін – меншим(він виконує роль суб’єкта).Засновок, до складу якого входить більший термін, називається більшим, а засновок, до якого входить менший термін – меншим.
Враховуючи саме таку будову категоричного силогізму та роль у ньому середнього терміна його визначають так: простий категоричний силогізм є умовивід про відношення двох термінів на підставі їх відношення до третього терміна.
Проте трапляються випадки, які свідчать про те, що секрети силогізму не вичерпуються знанням його будови. Так силогізм „Всі люди дихають киснем, а земноводні – не люди, отже вони не дихають киснем” побудовано з урахуванням місця та ролі термінів. Щоб не припускатися помилок необхідно знати й уміти застосовувати численні правила силогізмів: стосовно термінів, правила засновків та фігур силогізму.