Логика: Планы семинарских занятий и методические указания. Мануйлова Д.Е. - 24 стр.

     Обращаясь к разделительным умозаключениям, надо особое вни-
мание обратить на разделительно-категорическое умозаключение и
его особенности. В разделительно-категорическом умозаключении
первая посыла − разделительное суждение, а вторая посыла − катего-
рическое суждение. Этот вариант умозаключения широко применя-
ется в практике юридических рассуждений, особенно важно умение
пользоваться им при произнесении судебных речей. Существует два
модуса разделительно-категорического умозаключения: 1) утвержда-
юще-отрицающий (ponendo tollens) и 2) отрицающе-утверждающий
(tollenolo ponens). Их формулы соответственно: 1) ((А ∨ В) ∧ А) → B ,
2) ((А ∨ В) ∧ B ) → А. Рассуждая по модусам разделительно-
категорического умозаключения, необходимо учитывать, что, во-
первых, корректность вывода зависит от типа дизъюнкции в раздели-
тельном суждении, особенно это значимо для первого модуса; во-
вторых, надежность вывода зависит от того, перечислены ли в пер-
вом суждении все случаи данной дизъюнкции. Если нет полного пе-
речня всех возможных случаев, то вполне вероятна ошибка.
    В заключение к теме «Дедуктивные умозаключения» рассматри-
вается условно-разделительное умозаключение. В этом умозаключе-
нии несколько условных посылок и одна − разделительная. Вывод
может быть суждением простым категорическим или дизъюнкцией.
Второе название этого типа умозаключения лемматический вывод
(слово лемматический от греческого слова lemma – предположение).
    Существует несколько видов лемматических умозаключений. Во-
первых, по количеству альтернатив (или случаев) в разделительной
посылке условно-разделительные умозаключения делятся на дилем-
мы (2 члена дизъюнкции), триллеммы (3 члена дизъюнкции) и поли-
леммы (4 и более члена дизъюнкции). В практике научных рассуж-
дений и в юридических обоснованиях правильности заключений и
приговоров чаще всего используется дилемма, именно на этот вари-
ант условно-разделительного умозаключения необходимо обратить
внимание в первую очередь. Дилеммы различаются как конструк-
тивные и деструктивные. Конструктивные дилеммы – это дилеммы, в
заключение которых входят следствия условных посылок. Деструк-
тивные дилеммы – это дилеммы, в заключение которых входят отри-
цания оснований условных посылок. Далее дилеммы по сложности


                                 24