2) Сложный категорический силлогизм.

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

Например:

Всякое общественно опасное деяние наказуемо

Преступление - общественно опасное деяние

Преступление наказуемо

Склонение к потреблению наркотических средств – преступление

Следовательно, склонение к потреблению наркотических средств наказуемо

Общую схему полисиллогизма, состоящего из двух простых, можно представить следующим образом:

Все А есть В

Все С есть А

Все С есть В

Все Р есть С

Все D есть В – прогрессивный полисиллогизм.

Может быть и другая схема:

Все А есть В

Все В есть С

Все А есть С

Все С есть D

Все А есть D -– регрессивный полисиллогизм.

Разновидностями полисиллогизма являются сорит и эпихейрема.

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

Всякое общественно опасное деяние наказуемо

Преступление - общественно опасное деяние

Склонение к потреблению наркотических средств - преступление

Следовательно, склонение к потреблению наркотических средств наказуемо

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

Ложь заслуживает презрения, так как она безнравственна.

Лесть есть ложь, так как она есть умышленное искажение истины.

Лесть заслуживает презрения.

3) Условные и разделительные умозаключения.

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

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

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

Чисто условным умозаключением называется такое опосредованное умозаключение, в котором обе посылки и заключение являются условными суждениями. Его логическая структура такова:

Если а, то в

Если в, то с

Если а, то с

Например:

Если хочешь стать специалистом, то учись не только на ошибках.

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

Если хочешь стать специалистом, то умей делать правильные выводы.

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

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

Если а, то в

А

В

Данный вид умозаключения имеет два модуса - утверждающий и отрицающий. Каждый из них встречается в двух формах: правильной и неправильной. В правильных формах выводы имеют достоверный характер, а в неправильных – вероятностный. Правильная форма утверждающего модуса - это разновидность условно-категорического умозаключения, в которой ход умозаключения направлен от утверждения основания условной посылки к утверждению следствия условной посылки.

Например:

Если решение суда обжаловано в кассационном порядке, то оно еще не вступило в законную силу

Решение суда обжаловано в кассационном порядке

Следовательно, оно еще не вступило в законную силу

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

Например:

Если решение суда обжаловано в кассационном порядке, то оно еще не вступило в законную силу

Решение суда еще не вступило в законную силу

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

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

Например:

Если решение суда обжаловано в кассационном порядке, то оно еще не вступило в законную силу

Решение суда вступило в законную силу

Значит, оно не может быть обжаловано в кассационном порядке

Неправильная форма отрицающего модуса - это разновидность условно-категорического умозаключения, в которой ход умозаключения направлен от отрицания основания к отрицанию следствия.

Например:

Если решение суда обжаловано в кассационном порядке, то оно еще не вступило в законную силу

Решение суда не обжаловано в кассационном порядке

Следовательно, оно уже вступило в законную силу

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

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

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

Его логическая структура такова:

а или в, или с

не-в и не-с

а

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

Его логическая структура такова:

а или в, или с

не-а и не-в

с

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

Дилемма - это условно-разделительное умозаключение с двумя альтернативами. В практике рассуждений встречаются два вида дилемм –конструктивная и деструктивная.

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

Например:

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

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

Но жизнь человека либо признается безусловной ценностью, либо нет.

Следовательно, смертную казнь либо запрещают, либо осуществляют.

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

Например:

Если философ признает первичность материи по отношению к сознанию, то он является материалистом.

Если же философ признает первичность сознания по отношению к материи, то он является идеалистом.

Но философ либо не является материалистом, либо не является идеалистом

Философ не признает либо первичность материи по отношению к сознанию, либо первичность сознания по отношению к материи

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