Не все чистые условные силлогизмы являются правильными. Примером тому служит нижеследующий силлогизм:
Если рабочие объединяются, то их условия труда становятся удовлетворительными.
Если рабочие не сознают своих общих интересов, они не объединяются.
∴ Если рабочие не сознают своих общих интересов, их условия труда не становятся удовлетворительными.
Читатель может самостоятельно убедиться в том, что форма данных силлогизмов отличается от двух рассмотренных форм правильных силлогизмов, а также и в том, что ее невозможно свести к какой-либо из этих правильных форм.
Умозаключения, в которых посылки представлены двумя дизъюнктивными суждениями, называются чистыми разделительными силлогизмами. Они встречаются довольно редко. Рассмотрим следующий силлогизм:
Или люди трусливы, или они протестуют против несправедливого обращения.
Или люди не трусливы, или они не защищают собственные экономические интересы.
∴ Или люди не защищают свои собственные экономические интересы, или они протестуют против несправедливого обращения.
Данный силлогизм является правильным. Однако у нас нет необходимости проверять условия истинности данного силлогизма, поскольку читатель может проверить правильность любого чистого разделительного силлогизма, сведя его к форме чисто условного силлогизма. На примере вышеприведенного силлогизма такое сведение будет выглядеть следующим образом:
Если люди не трусливы, то они протестуют против несправедливого обращения.
Если люди защищают собственные экономические интересы, то они не трусливы.
∴ Если люди защищают собственные экономические интересы, то они протестуют против несправедливого обращения.
Очевидно, что в данном чистом условном силлогизме заключение эквивалентно заключению вышеприведенного чистого разделительного силлогизма.
§ 6. Дилемма
Условные и дизъюнктивные суждения могут сочетаться множеством способов, предлагая и более сложные аргументы. Мы не можем рассматривать все из них, и поэтому мы остановимся лишь на одном из них, называющимся «дилеммой». Читателю следует учесть, что дилемма не вводит никакого нового логического принципа и рассматривается отдельно лишь в силу существующей традиции и интересных вариантов применения. Никаких иных причин для выделения дилеммы из множества других сложных форм рассуждения нет.
Дилемма – это такой аргумент, в котором одна посылка (большая) является конъюнкцией двух условных суждений, а вторая посылка (меньшая) является дизъюнктивным суждением. В меньшей посылке либо утверждаются антецеденты, либо отрицаются консеквенты большей посылки.
Дилеммы, в которых меньшая посылка утверждает антецеденты в большей посылке, называются конструктивными. Дилеммы, в которых меньшая посылка отрицает антецеденты в большей посылке, называются деструктивными. В конструктивных дилеммах антецеденты большей посылки должны