Логика: Учебное пособие для юридических вузов - Демидов И. В.. Страница 34
Различают три вида энтимемы:
1) силлогизм с пропущенной большей посылкой. Например: «Григорьев - судья. Следовательно, он юрист». Здесь пропущена, но подразумевается большая посылка: «Все судьи — юристы»;
2) силлогизм с пропущенной меньшей посылкой. Например: «Все судьи - юристы. Следовательно, Григорьев — юрист». Предполагается, что «Григорьев - судья»;
3) силлогизм с пропущенным заключением. Например: «Все судьи - юристы. Григорьев - судья». Предполагается, что «следовательно, он - юрист».
Значение энтимем состоит в том, что с их помощью достигается краткость мысли, которая побуждает думать того, к кому она адресована.
Сложный категорический силлогизм состоит из двух или более простых силлогизмов, связанных между собой таким образом, что заключение каждого последующего силлогизма становится посылкой другого силлогизма. Такое умозаключение называется полисиллогизмом. Например:
Всякое общественно опасное деяние наказуемо
Преступление - общественно опасное деяние
Преступление наказуемо
Склонение к потреблению наркотических средств - преступление
Следовательно, склонение к потреблению наркотических средств наказуемо
Общую схему полисиллогизма, состоящего из двух простых, можно представить следующим образом:
Все А есть В
Все С есть А
Все С есть В
___Все D есть С___
Все D есть В
- прогрессивный полисиллогизм.
Может быть и другая схема:
Все А есть В
Все В есть С
Все А есть С
__Все С есть D__
Все А есть О
- регрессивный полисиллогизм.
Разновидностями полисиллогизма являются сорит и эпихейрема.
Сорит - сокращенный полисиллогизм, в котором пропущены заключения предшествующих силлогизмов и одна из посылок последующего силлогизма. Например:
Всякое общественно опасное деяние наказуемо
Преступление - общественно опасное деяние
_____Склонение к потреблению наркотических средств – преступление_____
Следовательно, склонение к потреблению наркотических средств наказуемо
Так же, как и полисиллогизм, сорит имеет две схемы:
Все А есть В
Все С есть А
__Все D есть С__
Все D есть В
- прогрессивный сорит;
Все А есть В
Все В есть С
__Все С есть D__
Все А есть D
- регрессивный сорит.
Эпихейрема - сокращенный силлогизм, в котором обе посылки представляют собой энтимемы. Примером эпихейремы является такое рассуждение:
___Ложь заслуживает презрения, так как она безнравственна___
Лесть есть ложь, так как она есть умышленное искажение истины
Лесть заслуживает презрения
Умозаключения строятся не только из простых, но и из сложных суждений. Широко используются умозаключения, посылками которых являются условные и разделительные суждения, выступающие в разных сочетаниях друг с другом или с категорическими суждениями.
Особенность этих умозаключений состоит в том, что выведение заключения из посылок определяется не отношениями между терминами, как в категорическом силлогизме, а характером логической связи между суждениями. Поэтому при анализе посылок их субъектно-предикатная структура не учитывается. Рассмотрим выводы из сложных суждений.
Условное умозаключение (условный силлогизм) - это такой вид опосредованного дедуктивного умозаключения, в котором по крайней мере одна из посылок - условное суждение. Выделяют чисто условные и условно-категорические умозаключения.
Чисто условным умозаключением называется такое опосредованное умозаключение, в котором обе посылки и заключение являются условными суждениями. Его логическая структура такова:
Если а, то в
__Если в, то с__
Если а, то с
Например:
Если у обучаемого не развито чувство ответственности, то у него не вырабатывается потребность качественно осваивать профессию юриста
Если у обучаемого не вырабатывается потребность качественно осваивать профессию юриста, то он будет плохим специалистом
Если у обучаемого не развито чувство ответственности, то он будет плохим специалистом
В приведенном примере обе посылки - условные суждения, причем основание второй посылки является следствием первой, из которого, в свою очередь, вытекает другое следствие. Общая часть двух посылок позволяет связать основание первой и следствие второй. Поэтому заключение также выражается в форме условного суждения. Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.
Условно-категорическим называется такое умозаключение, в котором одна из посылок - условное, а другая посылка и заключение - категорические суждения. Его логическая структура такова:
Если а, то в
___а___
в
Данный вид умозаключения имеет два модуса - утверждающий и отрицающий. Каждый из них встречается в двух формах: правильной и неправильной. В правильных формах выводы имеют достоверный характер, а в неправильных - вероятностный.
Правильная форма утверждающего модуса - это разновидность условно-категорического умозаключения, в которой ход умозаключения направлен от утверждения основания условной посылки к утверждению следствия условной посылки.
Например:
Если решение суда обжаловано в кассационном порядке, то оно еще не вступило в законную силу __________Решение суда обжаловано в кассационном порядке________
Следовательно, оно еще не вступило в законную силу
Неправильной формой утверждающегося модуса является разновидность условно-категорического умозаключения, в которой ход умозаключения направлен от утверждения следствия к утверждению основания. Например:
Если решение суда обжаловано в кассационном порядке, то оно еще не вступило в законную силу ________Решение суда еще не вступило в законную силу________
Следовательно, решение суда обжаловано в кассационном порядке
Правильная форма отрицательного модуса - это разновидность условно-категорического умозаключения, в которой ход умозаключения направлен от отрицания следствия к отрицанию основания. Например:
Если решение суда обжаловано в кассационном порядке, то оно еще не вступило в законную силу _____________Решение суда вступило в законную силу_________
Значит, оно не может быть обжаловано в кассационном порядке
Неправильная форма отрицающего модуса - это разновидность условно-категорического умозаключения, в которой ход умозаключения направлен от отрицания основания к отрицанию следствия. Например:
Если решение суда обжаловано в кассационном порядке, то оно еще не вступило в законную силу _____________Решение суда не обжаловано в кассационном порядке________
Следовательно, оно уже вступило в законную силу
Разделительным называется умозаключение, в котором одна или несколько посылок - разделительные суждения. Выделяют разделительно-категорические и условно-разделительные умозаключения.
Разделительно-категорическим называется умозаключение, в котором одна из посылок - разделительное, а другая посылка и заключение - категорические суждения. Разделительно-категорическое умозаключение имеет два модуса: утверждающе-отрицающий и отрицающе-утверждающий.