Валентин Асмус - ЛОГИКА

Но и вторая посылка в приведённом примере также есть энтимема. В полной форме она представляет силлогизм:

§ 22.В научном мышлении силлогизмы редко употребляются поодиночке. Обычно научное рассуждение там, где в его состав входят силлогизмы, представляет более или менее длинную цепь последовательных выводов, связанных между собой логической необходимостью.

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

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

Например:

Здесь мы имеем два силлогизма: первой фигуры простого категорического силлогизма (по модусу Celarent) и второй фигуры простого категорического силлогизма (по модусу Cesare).

Первый из них есть просиллогизм :

Второй из них есть эписиллогизм :

В общем виде сложный силлогизм представляется формулой:

В раздельном виде формулы просиллогизма и эписиллогизма будут следующие:

§ 23.Возможен силлогизм, представляющий соединение сложного силлогизма с сокращённым силлогизмом. Как во все остальные сложные силлогизмы, в этот силлогизм входят в качестве его частей несколько силлогизмов. В то же время, как и в сокращённых силлогизмах в нём некоторые посылки опускаются.

Например:

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

Сложный силлогизм такого строения называется соритом (от греческого слова σωρὸσ — куча). Сорит может состоять из нескольких или даже из многих силлогизмов. В общем виде строение сорита выражается формулой:

Та же формула по восстановлении опущенных посылок принимает вид: