54 УМОЗАКЛЮЧЕНИЯ ИЗ СЛОЖНЫХ СУЖДЕНИЙ
Умозаключениями из сложных суждений
называются такие, в которых переход от посылок к заключению основывается только на связях между простыми суждениями без учета их внутренней структуры. Выделяются два типа умозаключений из сложных суждений: условные и разделительные.
Условное заключение – это такое вид опосредованного дедуктивного умозаключения, в котором по крайней мере одна из посылок – условное суждение. Условные умозаключения, в свою очередь, делятся на чисто условные и условно—категорические.
Чисто условным называется такое опосредованное умозаключение, в котором обе посылки и заключение является условными суждениями. Вывод в условном умозаключении строится на правиле: следствие следствия есть следствие основания. Правильными формами чисто условного умозаключения будут следующие схемы:
Условно—категорическим называется такое умозаключение, в котором одна из посылок – условное, а другая посылка и заключение – категорические суждения.
Правильными формами условно—категорического умозаключения будут следующие схемы:
Разделительное умозаключение – это такой вид опосредованного дедуктивного умозаключения, в котором по крайней мере одна из посылок – разделительное суждение. Разделительные умозаключения также бывают двух видов: разделительно—категорическое и условно—разделительное.
Разделительно—категорическим называется умозаключение, в котором одна из посылок разделительное, а другая посылка и заключение – категорические суждения. Существуют две правильные формы разделительно категорического суждения:
Условно—разделительным (лемматическим) называется умозаключение, в котором одна посылка состоит из двух или более условных суждений, а другая – разделительное суждение. Существуют следующие правильные формы условно—разделительных суждений:
При определении правомерности выводов лемматических суждений нужно руководствоваться следующим: вывод правомерен, если ход рассуждений направлен от утверждений основания к утверждению следствий или от отрицания следствия к отрицанию оснований. Если ход рассуждения направлен обратно указанному, то вывод будет неправомерным.