К числу сложных силлогизмов относится полисиллогизм
, в котором два или несколько категорических силлогизмов связаны друг с другом таким образом, что заключение одного из них становится посылкой другого. Если заключение предшествующего силлогизма становится большой посылкой последующего, то такой полисиллогизм называют прогрессивным. Когда такое заключение выступает в качестве меньшей посылки последующего, тогда мы имеем дело с регрессивным полисиллогизмом. Рассмотрим следующий пример:Все планеты вращаются вокруг Солнца.
Земля вращается вокруг Солнца.
Значит, Земля — планета.
Все планеты шарообразны.
Земля - планета.
Земля — шарообразна.
Все шарообразные тела отбрасывают круглую тень.
Земля шарообразна.
Следовательно, Земля отбрасывает круглую тень.
Во всех последующих силлогизмах заключение предшествующего служит меньшей его посылкой, поэтому рассмотренный сложный (или составной) полисиллогизм является регрессивным полисиллогизмом.
В интересах легкости общения полисиллогизмы используются также в сокращенной форме, которая называется соритом
. Различают прогрессивный и регрессивный сориты соответственно тем полисиллогизмам, из которых они получены. В прогрессивном сорите опускаются заключения и большие посылки соответственно предшествующего и последующего силлогизмов, в регрессивном - заключения предшествующего и меньшая посылка последующего силлогизмов. Так, в рассмотренном выше примере регрессивный сорит можно выразить так:Все планеты вращаются вокруг Солнца.
Все планеты шарообразны.
Все шарообразные тела отбрасывают круглую тень.
Земля шарообразна.
Следовательно, Земля отбрасывает круглую тень.
Наконец, можно указать такой сложносокращенный силлогизм, в котором обе посылки являются энтимемами, т.е. простыми сокращенными силлогизмами. В традиционной логике он получил название эпихейремы
.В древнегреческой риторике эпихейрема часто употреблялась в ораторской речи, потому что сложное умозаключение здесь выступает в простой форме, которая позволяет легко выделить составные части умозаключения. Рассмотрим следующую эпихейрему:
Ложь вызывает недоверие, ибо она противоречит истине.
Лесть есть ложь, ибо она умышленно извращает истину.
Лесть вызывает недоверие.
Посылки умозаключения являются энтимемами, поскольку большую из них можно превратить в полный силлогизм, добавив суждение: "Все, что противоречит истине, вызывает недоверие". Аналогично можно поступить с меньшей посылкой.
В заключение этого раздела обратим внимание на то, что теория, которую мы рассматривали до сих пор, не охватывает целого ряда силлогистических умозаключений и поэтому она называется узкой. В отличие от этого расширенная теория силлогизма анализирует такие формы силлогистических выводов, которые хотя и противоречат сформулированным выше правилам терминов и посылок, тем не менее приводят к логически необходимым и достоверным заключениям. Обратимся к конкретному примеру.
Некоторые грибы ядовиты.
Некоторые растения - грибы.
Некоторые растения ядовиты.
Как мы уже знаем, из двух частных посылок нельзя получить никакого заключения. Но это правило справедливо лишь для узкой теории силлогизма, в которой в качестве посылок используются простые атрибутивные суждения. Если же посылками являются выделяющие суждения, то полученное заключение будет вполне правомерным. Выделяющими называются суждения, в которых рассматривается не только отношение субъекта к предикату, но и предиката к субъекту. Например, в суждении "все ромбы - параллелограммы" объем субъекта составляет лишь часть объема предиката, ибо класс ромбов включается в класс параллелограммов. Поэтому, если мы рассматриваем приведенное суждение как выделяющее, тогда обязаны сказать, что все S есть Р, но не все Р есть S. Совсем иной характер имеет суждение "Все ромбы - равносторонние параллелограммы", потому что здесь объем субъекта полностью совпадает с объемом предиката. В этом случае выделяющее суждение будет иметь форму: "Все S есть Р, и все P есть S".
В узкой теории силлогизма учитывается только отношение субъекта к предикату, но не раскрывается отношение предиката к субъекту.
Если нам удается установить не только отношение субъекта к предикату, но и обратное отношение предиката к субъекту, т.е. использовать выделяющие суждения, тогда оказывается возможным обосновать логическую правомерность целого ряда силлогистических умозаключений, которые не охватываются узкой теорией силлогизма.
В приведенном выше примере объем понятия "грибы" целиком входит в объем понятия "растения", т.е. объем предиката входит в объем субъекта. Именно в силу такого выделяющего суждения в посылке, заключение оказывается правомерным, что наглядно можно представить с помощью круговых диаграмм изображенных на рис. 11.