Сокращённый силлогизм (энтимема) — это дедуктивное умозаключение, в котором пропущены (но подразумеваются) одна или несколько посылок, либо заключение.
Примером сокращённого силлогизма может служить следующее умозаключение:
Некоторые ошибки дают жизненный опыт.
Некоторые ошибки полезны.
В данном умозаключении пропущена большая посылка “Всё, что даёт жизненный опыт, является полезным”. Сокращённая форма умозаключения таит в себе опасность ошибок в суждениях, которые опущены. Поэтому, проверка правильности энтимем предполагает их восстановление до полной формы.
Сложный силлогизм (полисиллогизм) — это последовательность дедуктивных умозаключений, в которой заключение предшествующего умозаключения является посылкой следующего умозаключения.
Примером полисиллогизма может служить следующая последовательность умозаключений:
Все преступления общественно опасны.
Все хищения — преступления.
Все хищения общественно опасны.
Все кражи — хищения.
Все кражи общественно опасны.
Все тайные присвоения книг из библиотеки — кражи.
Все тайные присвоения книг из библиотеки общественно опасны.
Сложно-сокращённый силлогизм (сорит) — это последовательность дедуктивных умозаключений, в которой заключение предшествующего умозаключения является посылкой следующего умозаключения, и в каждом умозаключении, начиная со второго, пропущена одна из посылок.
Примером сложно-сокращённого силлогизма может служить следующая последовательность умозаключений:
Все курсанты — находчивые люди.
Все находчивые люди обладают логическими способностями.
Все обладающие логическими способностями — разумные люди.
Все разумные люди заслуживают уважения.
Все курсанты заслуживают уважения.