Опосредованное умозаключение — умозаключение, имеющее две или больше двух посылок. Рассмотрение опосредованных дедуктивных умозаключений начнём с простого категорического силлогизма (дедуктивного умозаключения).
Простой категорический силлогизм — это дедуктивное умозаключение, посылками которого являются два категорических суждения, а заключением — также категорическое суждение.
Примером простого категорического силлогизма может служить следующее умозаключение:
Все млекопитающие являются позвоночными животными.
Все тигры являются млекопитающими.
Все тигры являются позвоночными животными.
Структура простого категорического силлогизма может быть изображена следующим образом:
M P
S M
S P
Простой категорический силлогизм включает в себя три термина (1) больший термин, (2) меньший термин, (3) средний термин.
Больший термин — понятие, являющееся предикатом заключения.
В приведённом выше примере большим является термин “позвоночные животные”.
Меньший термин — понятие, являющееся субъектом заключения.
В приведённом выше примере это термин “тигры”.
Средний термин — понятие, отсутствующее в заключении, но содержащееся о обеих посылках.
В приведённом выше примере средним является термин “млекопитающие”.
Одна из посылок простого категорического силлогизма называется большей, вторая — меньшей.
Большая посылка — посылка, содержащая больший термин.
Как правило, она записывается первой. В нашем примере большей является посылка “Все млекопитающие являются позвоночными”.
Меньшая посылка — посылка, содержащая меньший термин.
Как правило, она записывается второй. В нашем примере меньшей является посылка “Все тигры являются млекопитающими”.