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

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

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

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

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

Например:

Если будет солнечный день, то вода в реке будет теплой

Если вода в реке будет теплой, можно пойти купаться

Если будет солнечный день, можно пойти купаться

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

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

Например:

Для всякого проводника верно, что если по нему проходит ток, то он нагревается

По проводнику проходит ток

Следовательно, проводник нагревается

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

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

Например:

Для всякого проводника верно, что если по нему проходит ток, то он нагревается

Проводник не нагревается

Следовательно, по проводнику не проходит ток

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

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

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

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

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