Правила фігур силогізмів. Правила термінів

Простий категоричний силогі́зм (грец. міркування) — міркування, що складається з трьох простих атрибутивних висловлювань: двох засновків і одного висновку. Засновок силогізму поділяють на більший (який містить предикат висновку) і менший (який містить суб'єкт висновку). За положенням середнього терміну силогізми поділяють на фігури, а останні за логічною формою засновків і висновку — на модуси.

Приклад силогізму:

Усі люди є смертними (більший засновок)

Аристотель — людина (менший засновок)

Аристотель — смертний (висновок)

У силогізм входить рівно три терміна:

S — менший термін: суб'єкт висновку (входить також у менший засновок);

P — більший термін: предикат висновку (входить також у більший засновок);

M — середній термін: входить в обидва засновки, але не входить у висновок.