Схема регрессивного сорита.

Все А есть В. Все В есть С. Все С есть D. Все А есть D.

Эпихрейма – сложносокращенный силлогизм, в котором обе посылки – энтимемы (в которых также могут быть пропущены как посылки, так и заключения).

27) Условные силлогизмы – такие, в которых либо одна, либо обе посылки – условные суждения. Схема условного силлогизма, в котором обе посылки – условные суждения:

Условно-категорическими называют такие умозаключения, одна из посылок которых является условным суждением, а другая – суждением категорическим. Вывод в таких умозаключениях представляет собой категорическое суждение. В условно-категорических силлогизмах имеется два правильных модуса: модус ponens (или конструктивный), другой – модус tollens (или деструктивный).
Модус ponens образует заключение от согласия с основанием условной посылки к необходимости соглашаться и с ее следствием. Форма этого модуса такова:

28) Разделительные силлогизмы.
Разделительными, или дизъюнктивными, силлогизмами называются такие, первая посылка которых есть разделительное (дизъюнктивное) суждение. Вторая и вывод суть суждения разделительные или категорические.
Схема дизъюнктивного суждения, образующего первую посылку дизъюнктивного силлогизма, имеет такой вид: S есть или А, или В, или С. Каждое из суждений, входящее в данное разделительное суждение (S есть А; S есть В; S есть С), называются альтернативой. В нашем суждении содержится три альтернативы.
Дизъюнктивные силлогизмы имеют два модуса:

.
В этом модусе во второй посылке отрицается все, кроме одной альтернативы, поэтому в выводе утверждается эта оставшаяся альтернатива. Так как в выводе мы приходим к утверждению, модус называется утверждающим, но путь наш состоял в отрицании всех других альтернатив, кроме одной, то модус получил название модуса, утверждающего посредством отрицания (tollendo ponens).

В этом модусе во второй посылке утверждается одна альтернатива; поэтому в выводе все оставшиеся альтернативы отрицаются. Этот модус по своему итогу оказывается отрицающим, а способ получения этого отрицания у него – утверждение. Поэтому полное наименование этого модуса – модус, отрицающий посредством утверждения (ponendo tollens).
Для правильного построения разделительного силлогизма и истинности вывода, необходимо соблюдение следующих двух правил:
а) в разделительном суждении должны быть приведены все возможные альтернативы. Другими словами, деление субъекта суждения должно быть полным, исчерпывающим;
б) необходимо учитывать точное значение союза «или», которое может быть и чисто разделительным, и соединительно-разделительным, так как при чисто разделительном значении «или» все альтернативы исключают одна другую, а при соединительно-разделительном значении союза «или» альтернативы не исключают одна другую.

29) Условно-разделительные силлогизмы.
В условно-разделительном (лемматическом) силлогизме одна посылка является условным суждением, а вторая – разделительным. В зависимости от количества альтернатив, содержащихся в разделительном суждении этого силлогизма, он называется дилеммой, трилеммой, тетралеммой. Наиболее употребительной в практике мышления является дилемма. Она бывает простой и сложной, конструктивной (созидательной) и деструктивной (разрушительной).
В конструктивной дилемме совершается мысленный переход от утверждения альтернатив в основаниях условного суждения к утверждению соответствующих следствий. В деструктивной дилемме происходит переход мысли от отрицания следствий к отрицанию оснований.
Различия между простой и сложной конструктивными дилеммами состоит в том, что: 1) в большей посылке простой дилеммы каждое из двух оснований обусловливает одно и то же следствие, а в сложной дилемме разные основания обусловливают разные следствия; 2) в простой дилемме заключение является категорическим суждением, а в сложной – разделительным.
Простая конструктивная дилемма соответствует схеме:

Пример:

Схема сложной конструктивной дилеммы:

Пример: Человек, находящийся в горящем доме, может рассуждать так:

Простая и сложная деструктивные дилеммы различаются тем, что: а) в большей посылке простой дилеммы два возможных следствия вытекают из одного основания, а в сложной – из двух оснований; б) заключение в простой деструктивной дилемме является категорическим суждением, а в сложной – соединительным.
Схема простой деструктивной дилеммы такова: