Четвертая фигура силлогизма практически не употребляется

По первой фигуре можно получить выводы из всех основных ви­дов суждений. Вторая фигура дает только отрицательный вывод. В третьей фигуре вывод будет частным суждением.

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

В четырех фигурах силлогизма максимальное число комбинаций равно 64. Однако правильных модусов всего 19.

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

Вопрос 11. Условный и условно-категорический силлогизм. Разделительный и разделительно-категорический силлогизм.

условно-категорический силлогизм - это умозаключение, в котором одна из посылок - условное суждение, а другая посылка и заключение - категорические суждения. Условно-категорический силлогизм имеет два правильных модуса: утверждающий (modus ponens) и отрицающий (modus tollens).

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

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

Если А, то В

Если В, то С

Следовательно, если А, то С.

Пример:

Если тело подвергается трению, то оно нагревается.

Если тело нагревается, то оно расширяется.

Если тело подвергается трению, то оно расширяется.

Аксиому чисто условного силлогизма часто выражают словами: следствие следствия есть следствие основания.

Условные силлогизмы могут составлять целые цепи.

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