Различают три вида энтимемы:

1) силлогизм с пропущенной большей посылкой. Например: «Григорьев - судья. Следовательно, он юрист». Здесь пропущена, но подразумевается боль­шая посылка: «Все судьи — юристы»;

2) силлогизм с пропущенной меньшей посылкой. Например: «Все судьи - юристы. Следовательно, Григорьев — юрист». Предполагается, что «Григорьев - судья»;

3) силлогизм с пропущенным заключением. Например: «Все судьи - юрис­ты. Григорьев - судья». Предполагается, что «следовательно, он - юрист».

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

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

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

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

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

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

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

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

Все А есть В

Все С есть А

Все С есть В

___Все D есть С___

Все D есть В

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

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

Все А есть В

Все В есть С

Все А есть С

__Все С есть D__

Все А есть О

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

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

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

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

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

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

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

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

Все А есть В

Все С есть А

__Все D есть С__

Все D есть В

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

Все А есть В

Все В есть С

__Все С есть D__

Все А есть D

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

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

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

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

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

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

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

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

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

Если а, то в

__Если в, то с__

Если а, то с

Например:

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

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

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

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

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

Если а, то в

___а___

в

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

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

Например:

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

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

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

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

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

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

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

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

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

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

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

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

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