Энтимема в переводе с греческого буквально означает «в уме»

В зависимости от того, какая часть силлогизма пропущена, различают три вида энтимемы:

· с пропущенной большей посылкой,

· с пропущенной меньшей посылкой

· с пропущенным заключением.

Пример с пропущенной большей посылкой:

«Петров – студент, поэтому он обязан сдавать экзамены»

Здесь пропущена большая посылка: «Все студенты обязаны сдавать экзамены»

Полный силлогизм строится по 1-й фигуре (модус ААА)

Все студенты (М) обязаны сдавать экзамены (Р)

Петров (S) – студент (М)

Петров (S) обязан сдавать экзамены (Р)

Использование сокращенных силлогизмов обусловлено тем, что пропущенная посылка или заключение либо содержит известное положение, которое не нуждается в устном или письменном выражении, либо в контексте с выраженными частями умозаключения она подразумевается.

Для проверки правильности рассуждения следует найти пропущенные части умозаключения и восстановить энтимему в полный силлогизм.

Сори́т (от греч. σωρός — «куча») — цепь силлогизмов, в которых заключение является одной из посылок следующего за ним, а одна из посылок при этом не выражается в явной форме.

Например:

Англичане — мужественный народ.

Мужественный народ свободен.

Свободный народ счастлив.

Следовательно, англичане счастливы

(пример из «Логики» Уэтли).

В сорите посылки могут быть расположены двояким способом — аристотелевский сорит начинается с посылки, заключающей в себе заключение-субъект, и оканчивается посылкой, содержащей заключение-предикат (см. вышеприведённый пример); но сорит может начинаться и с посылки, содержащей заключение-предикат, и оканчиваться посылкой, содержащей заключение-субъект; этот вид сорита называется гоклениевым (Гоклений, писатель XVI в., впервые указал на него в сочинении «Isagoge in Organon Aristotelis»). Если сорит разложить на несколько отдельных силлогизмов, то заключение каждого отдельного силлогизма служит меньшей посылкой следующего. В сорите может быть лишь одна отрицательная посылка; каждый сорит требует последовательности среднего термина, иначе получается перерыв в процессе умозаключения (лат. Saltus in concludendo) и заключение получится не значащее.