Если в разделительно-категорическом умозаключении первая посылка - это разделительное, или дизъюнктивное суждение, то в условно-категорическом умозаключении (или силлогизме) первая посылка является условным, или импликативным суждением. Вторая его посылка, как и в разделительно-категорическом силлогизме представляет собой простое, или категорическое суждение. Например:
Если взлетная полоса покрыта льдом, то самолеты не могут взлетать.
Сегодня взлетная полоса покрыта льдом.
Сегодня самолеты не могут взлетать.
Условно-категорический силлогизм имеет два модуса. В утверждающем модусе, который также называют модусом поненс (лат. modus ponens) первая посылка представляет собой импликацию, состоящую, как мы уже знаем, из двух частей - основания и следствия, вторая посылка является утверждением основания, а в выводе утверждается следствие. например:
Если вещество - металл, то оно электропроводно.
Данное вещество - это металл.
Данное вещество электропроводно.
Форма утверждающего модуса условно-категорического силлогизма:
- это первая посылка в виде импликации основания (а) и следствия (в);
- это две посылки силлогизма в виде двухчленной конъюнкции, состоящей из уже упомянутой импликации и утверждения основания; в - это вытекающий из посылок вывод силлогизма в виде утверждения следствия.
В отрицающем модусе, который также называют модусом толленс (лат. modus tollens) первая посылка представляет собой импликацию основания и следствия, вторая посылка является отрицанием следствия, а в выводе отрицается основание. Например:
Если вещество - металл, то оно электропроводно.
Данное вещество неэлектропроводно.
Данное вещество - не металл.
Необходимо обратить внимание на уже известную нам особенность импликативного суждения, которая состоит в том, что основание и следствие нельзя поменять местами. Например, высказывание: Если вещество - металл, то оно электропроводно является верным, т. к. все металлы - это электропроводники (из того, что вещество - металл, с необходимостью вытекает его электропроводность). Однако, высказывание: Если вещество электропроводно, то оно - металл, неверно, т. к. не все электропроводники являются металлами (из того, что вещество электропроводно, не вытекает то, что оно - металл). Эта особенность импликации обуславливает два правила условно-категорического умозаключения, или силлогизма.
Правила умозаключений с союзом «если...то»
1. Утверждать можно только от основания к следствию, т. е. во второй посылке утверждающего модуса должно утверждаться основание импликации (первой посылки), а в выводе - ее следствие. В противном случае из двух истинных посылок может вытекать ложный вывод. Например, в условнокатегорическом силлогизме:
Если слово стоит в начале предложения, то его надо писать с большой буквы.
Слово ««Москва» надо писать с большой буквы.
Слово ««Москва» всегда стоит в начале предложения.
во второй посылке утверждалось следствие, а в выводе -основание
. Это утверждение от следствия к основанию и является причиной ложного вывода при истинных посылках.
2. Отрицать можно только от следствия к основанию, т. е. во второй посылке отрицающего модуса должно отрицаться следствие импликации (первой посылки), а в выводе - ее основание. В противном случае из двух истинных посылок может вытекать ложный вывод. Например, в условно-категорическом силлогизме:
Если слово стоит в начале предложения, то его надо писать с большой буквы.
В данном предложении слово ««Москва» не стоит в начале.
В данном предложении слово ««Москва» не надо писать с большой буквы.
во второй посылке отрицается основание, а в выводе -следствие
. Это отрицание от основания к следствию и является причиной ложного вывода при истинных посылках.
Вспомним, что среди сложных суждений помимо импликации (а—»в) есть также эквиваленция (а «-» в). Если в импликации всегда выделяется основание и следствие, то в эквиваленции нет ни того, ни другого, т. к. она представляет собой сложное суждение, обе части которого тождественны (эквивалентны) друг другу. Если первой посылкой силлогизма является не импликация, а эквиваленция, то такой силлогизм называется эквивалентно-категорическим (или - эквивалентно-категорическим умозаключением) Например:
Если число четное, то оно делится без остатка на 2.
Число 16 - четное.
Число 16 делится без остатка на 2.
поскольку в первой посылке эквивалентно-категорического силлогизма нельзя выделить ни основания, ни следствия, то рассмотренные выше правила условно-категорического силлогизма к нему неприменимы (в эквивалентно-категорическом силлогизме и утверждать, и отрицать можно как угодно). Если в условно-категорическом силлогизме два модуса правильных и два неправильных (см. выше), то в эквивалентно-категорическом силлогизме все четыре модуса являются правильными:
читатель без труда сможет подобрать примеры для каждого из этих четырех модусов эквивалентно-категорического силлогизма.
Итак, если одна из посылок силлогизма является условным, или импликативным суждением, а вторая - категорическим, или простым, то перед нами условно-категорический силлогизм (также часто называемый условно-категорическим умозаключением). Если же обе посылки представляют собой условные суждения, то это чисто условный силлогизм, или чисто условное умозаключение.
Например:
Если вещество является металлом, то оно электропроводно.
Если вещество электропроводно, то его невозможно использовать в качестве изолятора.
Если вещество является металлом, то его невозможно использовать в качестве изолятора.
В данном случае не только обе посылки, но и вывод силлогизма являются условными (импликативными) суждениями. Другая разновидность чисто условного силлогизма:
Если треугольник является прямоугольным, то его площадь равна половине произведения его основания на высоту.
Если треугольник не является прямоугольным, то его площадь равна половине произведения его основания на высоту.
Площадь треугольника равна половине произведения его основания на высоту.
Как видим, в этой разновидности чисто условного силлогизма обе посылки являются импликативными суждениями, но вывод, в отличие от первой рассмотренной разновидности, представляет собой простое суждение.
Итак, умозаключения с союзом «если...то» могут быть условно-категорическими, чисто условными и эквивалентно-категорическими.