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

ловно-разделительного умозаключений – это сложные суждения.
Каждый из этих вариантов сложных умозаключений имеет свои пра-
вила вывода и свои правильные модусы. Для надежности и истинно-
сти получаемого вывода необходимо всегда мыслить только по пра-
вильным модусам и помнить, что так называемые неправильные мо-
дусы истинного вывода не дают. Делать логические выводы из слож-
ных суждений человек научился достаточно поздно. Умение пра-
вильно делать выводы из сложных умозаключений является показа-
телем сформированности культуры мышления.
    Посылки чисто условного умозаключения состоят из двух и бо-
лее условных, импликативных суждений; его вывод − условное суж-
дение. Правило этого силлогизма: следствие следствия есть следст-
вие основания; его формула {(a → b) ∧ (в → d)} → (a → d).
   В условно-категорическом умозаключении первая посылка − ус-
ловное суждение, вторая − категорическое суждение, вывод – кате-
горическое суждение. Рассуждать в этом силлогизме формально
можно от основания к следствию и от следствия к основанию, в та-
ком случае формально возможно делать четыре варианта вывода.
Логически допустимо делать только два варианта вывода, которые одно-
значно дают всегда истинный вывод. Первый из них – это вывод от ис-
тинности основания к истинности следствия. Второй модус – вывод от
отрицания следствия к отрицанию основания. Первый – это modus
ponens, или модус утверждающий, его формула {(a → b) ∧ b} → a. Вто-
рой − это modus tollens, или модус отрицающий. Он выражается форму-
лой: {(a → b) ∧ b ) → a . Оба модуса являются законом логики. Это
означает, что из истинности основания всегда логически следует ис-
тинность следствия; из ложности следствия всегда логически следует
ложность основания.
   Два других модуса (движение мысли от отрицания основания к
отрицанию следствия и от утверждения следствия к утверждению
основания) являются неправильными, их формулы – это не законы
логики и не дают однозначно истинного вывода. При изучении ус-
ловно-категорического силлогизма необходимо жестко различать
правильные и неправильные модусы, что позволяет сделать мышле-
ние оптимальным и надежным.



                                23