В мышлении встречаются не только отдельные полные сокращенные силлогизмы, но и сложные силлогизмы, состоящие из двух, трех или большего числа простых силлогизмов. Цепи силлогизмов называются полисиллогизмами.
Полисиллогизмом (сложным силлогизмом) называются Д1 или несколько простых категорических силлогизмов, связанных друг с другом таким образом, что заключение одного из них становится посылкой другого. Различают прогрессивные и peгрессивные полисиллогизмы.
В прогрессивном полисиллогизме заключение предшествующего полисиллогизма (просиллогизма) становится большей посылкой последующего силлогизма (эписиллогизма). Приведем пример прогрессивного полисиллогизма, представляющего собой цепь из двух силлогизмов и имеющего такую схему:
Схема:
Спорт (А) укрепляет здоровье (В) Все А суть В.
Гимнастика (С) – спорт (А). Все С суть А.
Значит, гимнастика (С) укрепляет здоровье (В). Значит, все С суть В.
Аэробика (D) – гимнастика (С). Все D суть С.
Аэробика(D) укрепляет здоровье (В). Все D суть В.
В регрессивном полисиллогизме заключение просиллогизма становится меньшей посылкой эписиллогизма. Например:
Все планеты (А) — космические тела (В).
Сатурн (С) — планета (А).
Сатурн (С) — космическое тело (В).
Все космические тела (В) имеют массу (D)
Сатурн (С) — космическое тело (В).
Сатурн (С) имеет массу (D).
Соединив их вместе и не повторяя дважды суждение “Все Ссуть В”, мы получим схему регрессивного полисиллогизма для общеутвердительных посылок:
Все А суть В.
Все С суть А.
Все В суть D.
Все С суть В.
Все С суть D.
Сорит (с общими посылками)
Прогрессивный и регрессивный полисиллогизмы в мышлении чаще всего применяются в сокращенной форме — в виде соритов. Существует два вида соритов: прогрессивный и регрессивный.
Прогрессивный сорит (иначе называется по имени описавшего этот сорит логика гоклениевским)получается из прогрессивного полисиллогизма путем выбрасывания заключений предшествующих силлогизмов и больших посылок последующих. Прогрессивный сорит начинается с посылки, содержащей предикат заключения, и заканчивается посылкой, содержащей субъект заключения.
Пример:
Все продукты, содержащие витамины (А), полезны (В).
Фрукты (С) — продукты, содержащие витамины (А).
Бананы (D) фрукты (С).
Бананы (D) полезны(В).
Схема прогрессивного сорита:
Все А суть В.
Все С суть А.
Все D суть С.
Все D суть В.
Регрессивный сорит (иначе аристотелевский) получается из регрессивного полисиллогизма путем выбрасывания заключений просиллогизмов и меньших посылок эписиллогизмов. В просиллогизме меняем местами посылки. Регрессивный сорит начинается с посылки, содержащей субъект заключения, и кончается посылкой, содержащей предикат заключения.
Пример:
Все розы (А) — цветы (В).
Все цветы (В) — растения (С).
Все растения (С) дышат (D).
Все розы (А) дышат (D).
Схема регрессивного сорита:
Все А суть В.
Все В суть С.
Все С суть D.
Все А суть D.
Сориты в мышлении применяются чаще, чем полисиллогизмы, так как являются сокращенной формой полисиллогизмов. Аналогично энтимемы в мышлении применяются чаще, чем полные категорические силлогизмы, ибо энтимема — это сокращенная форма последнего.
Формализация эпихейрем с общими посылками
Эпихейремой в традиционной логике называется такой сложносокращенный силлогизм, обе посылки которого представляют собой сокращенные простые категорические силлогизмы (энтимемы).
Схема эпихейремы, содержащей лишь общеутвердительные высказывания, обычно записывается следующим образом:
Все А суть С, так как А суть В.
Все D суть А, так как D суть Е.
Все D суть С.
Пример эпихейремы:
Благородный труд (А} заслуживает уважения (С), так как благородный
труд (А) способствует прогрессу общества (В).
Труд учителя (D) есть благородный труд (А), так как труд учителя (D)
заключается в обучении и воспитании подрастающего поколения (Е).
Труд учителя (D) заслуживает уважения (С).
Приведем еще пример эпихейремы:
Все ластоногие суть водные млекопитающие, так как ластоногие вскармливают детенышей молоком
Все моржи суть ластоногие, так как моржи имеют конечности, превращенные в ласты
Все моржи суть водные млекопитающие.
Так же, как и энтимемы, сложносокращенные силлогизмы значительно упрощают наши рассуждения