Чисто-условный и условно-категорический силлогизмы

1. Чисто-условный силлогизм – это умозаключение, посылками и заключением которого являются условные суждения. Следует отметить, что заключение в данном виде силлогизма может делаться из любого количества посылок, поскольку выводы чисто-условного силлогизма можно охарактеризовать как выводы на основании свойства транзитивности импликации. Иначе говоря, вывод в чисто-условном силлогизме основывается на правиле: следствие следствия есть следствие основания.

Схема этого силлогизма такая:

Например:

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

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

Например:

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

Схема отрицающего модуса (modus tollens):

Например:

 

· Необходимо также указать на еще два модуса условно-категорического силлогизма.

Во-первых, от отрицания истинности основания к отрицанию истинности следствия:

Во-вторых, от утверждения истинности следствия к утверждению истинности основания:

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

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