Условно-разделительные умозаключения, называемые modus tollens (отрицающий способ рассуждений). Одна посылка условное, а другая — разделительное суждения. Схему можно изобразить следующим образом:
Здесь символ Ø используется для записи логического союза «неверно, что …» (отрицание).
Пример: «если кто-нибудь из избранных погибает, то Бог ошибается, но никто из избранных не погибает, ибо Бог не ошибается».
Часто совершаемые ошибки при использовании условно-разделительных умозаключений заключаются в использовании следующих неправильных способов рассуждений:
Содержательно эти ошибочные схемы умозаключений можно проиллюстрировать с помощью следующих двух примеров:
Некий следователь рассуждал: «Если этот человек преступник, то он был на месте преступления. Этот человек был на месте преступления. Следовательно, этот человек преступник».
Умозаключение, которым часто пользуются врачи: «Если у человека повышена температура, то он болен. У этого человека температура не повышена. Следовательно, он не болен».
Еще одно название условно-разделительных умозаключений – лемматические, происходящее от греческого слова lemma – предложение, предположение. Это название основано на том, что в этих умозаключениях рассматриваются различные предположения и их следствия. В зависимости от числа условных посылок условно-разделительные умозаключения называют дилеммами (две условные посылки), трилеммами (три), полилеммами (четыре и более). В практике рассуждений чаще всего используются дилеммы.
Можно выделить следующие основные виды дилемм:
– простая конструктивная дилемма,
– сложная конструктивная дилемма,
– простая деструктивная дилемма,
– сложная деструктивная дилемма.
Пример простой конструктивной дилеммы:
«Если смерть – переход в небытие, то она благо. Если смерть – переход в мир иной, то она благо. Смерть – переход в небытие или в мир иной. Следовательно, смерть – благо».
Пример сложной конструктивной дилеммы:
Молодой афинянин обратился к Сократу за советом: стоит ли ему жениться? Сократ ответил: «Если тебе попадется хорошая жена, то ты будешь счастливым исключением, если плохая, то ты будешь как и я, философом. Но тебе попадется хорошая или плохая жена. Поэтому или быть тебе счастливым исключением, или философом».
Пример простой деструктивной дилеммы:
«В современном мире, если вы хотите быть счастливым, нужно иметь много денег. Однако всегда было так, что если вы хотите быть счастливым, то нужно иметь чистую совесть. Но мы знаем, что жизнь устроена так, что невозможно одновременно иметь и деньги, и совесть, т.е. или денег нет, или нет совести. Следовательно, оставьте надежду на счастье».
Пример сложной деструктивной дилеммы:
«Если он умен, то он увидит свою ошибку. Если он искренен, то он признается в ней. Но он или не видит своей ошибки, или не признается в ней. Следовательно, он или не умен, или не искренен».