В обычной речи силлогизмы крайне редко используются в той форме, в какой они рассматриваются в логике. Это слишком утяжеляло бы речь и затрудняло общение между людьми. Поэтому и в науке и в повседневной речи часто прибегают к сокращенным силлогизмам. Типичной формой сокращенного силлогизма является энтимема, название которой происходит от древнегреческого слова, означающего "в уме" или "мысленно". Энтимемы настойчиво рекомендовал в своей "Риторике" Аристотель. "Что же касается способов доказывать действительным или кажущимся образом, - писал он, - то как в диалектике есть наведение, силлогизм и кажущийся силлогизм, точно так же есть и здесь (в риторике Г.Р.), потому что пример есть не что иное, как наведение, энтимема - силлогизм, кажущаяся энтимема - кажущийся силлогизм. Я называю энтимемой риторический силлогизм, а примером - риторическое наведение: ведь и все ораторы излагают свои доводы, или приводя примеры, или строя энтимемы, и помимо этого не пользуются никакими способами доказательства". Энтимемы, по мнению Аристотеля, должны играть решающую роль в риторике, ибо они убеждают сильнее, чем примеры.
Энтимемой называют сокращенный силлогизм, в котором пропущена либо большая, либо меньшая посылка, поскольку они предполагаются общеизвестными или очевидными. Разумеется, когда возникают сомнения в такой очевидности, то пропущенная посылка всегда может быть восстановлена. Такая необходимость возникает не только при логическом анализе рассуждения, но чаще всего в ходе спора или полемики, когда недобросовестный оппонент может намеренно пропустить некоторые посылки, чтобы победить в споре.
В логике энтимемы делятся на корректные и некорректные.
Корректной считается энтимема, если она может быть восстановлена до правильного модуса категорического силлогизма, а все посылки в восстановленном модусе будут истинными суждениями. Последнее требование исходит от теории аргументации, которая, как мы увидим позднее, не ограничивается требованием правильности рассуждения, но требует также обоснования истинности тех доводов, или аргументов, которые служат посылками рассуждения.
Из вышеизложенного непосредственно вытекает способ проверки энтимемы на корректность. Вместо сокращенного силлогизма - какой является энтимема - мы должны построить полный, или развернутый силлогизм, а для этого восстановить недостающие посылки. Требование же истинности посылок выходит за рамки чистой логики, поскольку для этого необходимо произвести либо эмпирическое, либо теоретическое исследование. В энтимеме "Раз медь металл, то она электропроводна" пропущена большая посылка "Все металлы электропроводны".
В энтимеме "Так как все металлы электропроводны, следовательно, медь электропроводна" пропущена меньшая посылка: "медь - металл".
К числу сложных силлогизмов относится полисиллогизм, в котором два или несколько категорических силлогизмов связаны друг с другом таким образом, что заключение одного из них становится посылкой другого. Если заключение предшествующего силлогизма становится большой посылкой последующего, то такой полисиллогизм называют прогрессивным. Когда такое заключение выступает в качестве меньшей посылки последующего, тогда мы имеем дело с регрессивным полисиллогизмом. Рассмотрим следующий пример:
Все планеты вращаются вокруг Солнца.
Земля вращается вокруг Солнца.
Значит, Земля — планета.
Все планеты шарообразны.
Земля - планета.
Земля — шарообразна.
Все шарообразные тела отбрасывают круглую тень.
Земля шарообразна.
Следовательно, Земля отбрасывает круглую тень.
Во всех последующих силлогизмах заключение предшествующего служит меньшей его посылкой, поэтому рассмотренный сложный (или составной) полисиллогизм является регрессивным полисиллогизмом.
В интересах легкости общения полисиллогизмы используются также в сокращенной форме, которая называется соритом. Различают прогрессивный и регрессивный сориты соответственно тем полисиллогизмам, из которых они получены. В прогрессивном сорите опускаются заключения и большие посылки соответственно предшествующего и последующего силлогизмов, в регрессивном - заключения предшествующего и меньшая посылка последующего силлогизмов. Так, в рассмотренном выше примере регрессивный сорит можно выразить так: