54 УМОЗАКЛЮЧЕНИЯ ИЗ СЛОЖНЫХ СУЖДЕНИЙ

Умозаключениями из сложных суждений

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

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

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

Условно—категорическим называется такое умозаключение, в котором одна из посылок – условное, а другая посылка и заключение – категорические суждения.

Правильными формами условно—категорического умозаключения будут следующие схемы:

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

Разделительно—категорическим называется умозаключение, в котором одна из посылок разделительное, а другая посылка и заключение – категорические суждения. Существуют две правильные формы разделительно категорического суждения:

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

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