Логика: Учебное пособие для юридических вузов

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

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

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

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

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

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

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

Все А есть В

Все С есть А

Все С есть В

___Все D есть С___

Все D есть В

   - прогрессивный полисиллогизм.

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

Все А есть В

Все В есть С

Все А есть С

__Все С есть D__

Все А есть О

- регрессивный полисиллогизм.

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

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

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

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

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

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

Так же, как и полисиллогизм, сорит имеет две схемы:

Все А есть В

Все С есть А

__Все D есть С__

Все D есть В

   - прогрессивный сорит;

Все А есть В

Все В есть С

__Все С есть D__

Все А есть D

- регрессивный сорит.

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

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

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

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

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

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

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

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

Если а, то в

__Если в, то с__

Если а, то с

Например:

Если у обучаемого не развито чувство ответственности, то у него не вырабатывается потребность качественно осваивать профессию юриста

Если у обучаемого не вырабатывается потребность качественно осваивать профессию юриста, то он будет плохим специалистом

Если у обучаемого не развито чувство ответственности, то он будет плохим специалистом

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

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

Если а, то в

___а___

в

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

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

Например:

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

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