Помимо энтимемы и образуемой из нее (т. е. из двух энтимем) эпихейремы существуют еще две разновидности сокращенного простого силлогизма. Это полисиллогизм и образуемый из него сорит
Полисиллогизм, также часто называемый сложным силлогизмом, – это два или несколько простых силлогизмов, связанных между собой таким образом, что вывод одного из них является посылкой следующего. Например:
Фигурными скобками выделены два силлогизма, объединенные в полисиллогизм. Обратим внимание на то, что вывод предыдущего силлогизма стал большей посылкой последующего. В этом случае получившийся полисиллогизм называется прогрессивным. Если же вывод предыдущего силлогизма становится меньшей посылкой последующего, то полисиллогизм называется регрессивным. Например:
Вывод предыдущего силлогизма является меньшей посылкой следующего. Можно заметить, что в этом случае два силлогизма невозможно графически соединить в последовательную цепочку, как в случае прогрессивного полисиллогизма.
Выше говорилось, что полисиллогизм может состоять не только из двух, но и из большего количества простых силлогизмов. Приведем пример полисиллогизма (прогрессивного), который состоит из трех простых силлогизмов.
Сорит, также часто называемый сложносокращенным силлогизмом, – это полисиллогизм, в котором пропущена посылка последующего силлогизма, являющаяся выводом предыдущего. Вернемся к рассмотренному выше примеру прогрессивного полисиллогизма и пропустим в нем большую посылку второго силлогизма, которая представляет собой вывод первого силлогизма. Получится прогрессивный сорит:
Теперь обратимся к рассмотренному выше примеру регрессивного полисиллогизма и пропустим в нем меньшую посылку второго силлогизма, которая является выводом первого силлогизма. Получится регрессивный сорит:
Сделаем прогрессивный сорит из вышеприведенного прогрессивного полисиллогизма, состоящего из трех простых силлогизмов:
Итак, на практике, т. е. в повседневном мышлении обычно используется не простой, категорический силлогизм, а его различные сокращенные формы: энтимемы, эпихейремы, полисиллогизмы и сориты.
3.8. Умозаключения с союзом «или»
Обе посылки и вывод простого, или категорическом силлогизма являются простыми суждениями (А, I, Е, О). Если же одна из посылок силлогизма или обе его посылки представлены сложными суждениями (конъюнкция, нестрогая и строгая дизъюнкция, импликация, эквиваленция), то мы имеем дело с силлогизмом (или умозаключением) других видов, о которых и пойдет речь далее.
В разделительно-категорическом силлогизме (или умозаключении), как явствует из названия, первая посылка представляет собой разделительное, или дизъюнктивное суждение, а вторая посылка – это простое, или категорическое суждение. Например:
Разделительно-категорический силлогизм имеет два модуса. В утверждающе-отрицающем модусе, который также называют модусом понендо толленс (лат. modus ponendo tollens) первая посылка представляет собой строгую дизъюнкцию нескольких вариантов чего-либо, во второй посылке утверждается один из них, а в выводе отрицаются все остальные (таким образом, рассуждение движется от утверждения к отрицанию). Например: