Опосредованные дедуктивные умозаключения

Простой категорический силлогизм это опосредованное дедуктивное умозаключение, в котором из двух истинных категорических суждений, связанных средним термином, при соблюдении правил необходимо следует заключение, например:

Все люди (М) смертны (Р)

Все греки (S) – люди (М)

Следовательно, все греки (S) смертны (Р)

Термины силлогизма.

S – меньший термин, субъект заключения

Р – больший термин, предикат заключения

Меньший и больший термины называют крайними.

М – средний (медиатор), понятие, входящее в обе посылки и отсутствующее в заключении

Посылки силлогизма.

Большая посылка содержит больший термин.

Меньшая посылка содержит меньший термин.

Логический переход от посылок к заключению основывается на аксиоме силлогизма:все, что утверждается или отрицается о классе предметов в целом, утверждается или отрицается и о части или отдельном предмете этого класса.