§ 6. Сложные и сложносокращенные силлогизмы (полисиллогизмы, сориты, эпихейрема)

В мышлении встречаются не только отдельные полные или сокращен- ные силлогизмы, но и сложные силлогизмы, состоящие из двух, трех или большего числа простых силлогизмов. Цепи силлогизмов называются по- лисиллогизмами.

Полисиллогизмом (сложным силлогизмом) называются два или несколь- ко простых категорических силлогизмов, связанных друг с другом таким образом, что заключение одного из них становится посылкой другого. Раз- личают прогрессивные и регрессивные полисиллогизмы.

В прогрессивном полисиллогизме заключение предшествующего полисил- логизма (просиллогизма) становится большей посылкой последующего силлогизма (эписиллогизма). Приведем пример прогрессивного полисил- логизма, представляющего собой цепь из двух силлогизмов и имеющего та- кую схему:

Схема:

Спорт (А) укрепляет здоровье (В). Все А суть В.

Гимнастика (С) — спорт (А). Все С суть А. Значит, гимнастика укрепляет здоровье (В). Значит, все суть В. Аэробика (D) — гимнастика (С). Все D суть С. Аэробика (D) укрепляет здоровье (В). Все D суть В.

В регрессивном полисиллогизме заключение просиллогизма становится меньшей посылкой эписиллогизма. Например:

Все планеты (А) — космические тела (В). Сатурн (С) — планета (А). Сатурн (С) — космическое тело (В).

Глава V. Умозаключение

Все космические тела (В) имеют массу (D). Сатурн — космическое тело Сатурн (С) имеет массу (D).

Соединив их вместе и не повторяя дважды суждение «Все С суть 5», мы получим схему регрессивного полисиллогизма для общеутвердительных посылок:

Все А суть В. Все С суть А. Все В суть D. Все С суть В.

суть

Сорит (с общими посылками)

Прогрессивный и регрессивный полисиллогизмы в мышлении чаще всего применяются в сокращенной форме — в виде соритов. Существует два вида соритов: прогрессивный и регрессивный.

Прогрессивный сорит (иначе называется по имени описавшего этот сорит логика получается из прогрессивного полисиллогизма пу- тем выбрасывания заключений предшествующих силлогизмов и больших посылок последующих. Прогрессивный сорит начинается с посылки, со- держащей предикат заключения, и заканчивается посылкой, содержащей субъект заключения.

Пример:

Все продукты, содержащие витамины (А), полезны (В).

Фрукты (С) — продукты, содержащие витамины (А). Бананы (D) фрукты (С). Бананы (D) полезны (В).

Схема прогрессивного сорита: Все А суть В.

Все С суть А. Все D суть С. Все D суть В.

138

Регрессивный сорит (иначе аристотелевский) получается из регрес- сивного полисиллогизма путем выбрасывания заключений просилло- гизмов и меньших посылок эписиллогизмов. В просиллогизме меняем местами посылки. Регрессивный сорит начинается с посылки, содержа- щей субъект заключения, и кончается посылкой, содержащей предикат заключения.

Пример:

Все розы (А) — цветы (В).

Все цветы (В) — растения (С). Все растения (D). Все розы (А) (D).

Схема регрессивного сорита: Все А суть В.

Все В суть

Все С суть Р. Все А суть

Сориты в мышлении применяются чаще, чем полисиллогизмы, так являются сокращенной формой полисиллогизмов. Аналогично энтимемы в мышлении применяются чаще, чем полные категорические силлогизмы, ибо энтимема — это сокращенная форма последнего.

Формализация с общими посылками

Эпихейремой в традиционной логике называется такой щенный обе посылки которого представляют собой сокращен- ные простые категорические силлогизмы (энтимемы).

Схема эпихейремы, содержащей лишь общеутвердительные высказыва- ния, обычно записывается следующим образом:

Все А суть С, так как А суть В. Все суть А, так как суть Е. Все

Пример эпихейремы:

Глава У. УМОЗАКЛЮЧЕНИЕ

Благородный труд (А) заслуживает уважения (С), так как благородный труд способствует прогрессу общества

Труд учителя (D) есть благородный труд так как труд учителя (D) заключается в обучении и воспитании подрастающего поколения Труд учителя (D) заслуживает уважения (С).

Приведем еще пример эпихейремы:

Все ластоногие суть водные млекопитающие, так как ластоногие вскармливают детенышей молоком.

Все моржи суть ластоногие, так как моржи имеют конечности, превращенные в ласты. Все моржи суть водные млекопитающие.

Так же, как и энтимемы, сложносокращенные силлогизмы значительно упрощают наши рассуждения.

Выводы, основанные на логических связях между суждениями (выводы логики высказываний)

Если в логике предикатов простые суждения расчленялись на субъект и предикат, то в логике высказываний суждения не расчленяются на субъект и предикат, а рассматриваются как простые суждения, из которых с помощью логических связок (логических постоянных) образуются сложные суждения.

Правила прямых выводов логики высказываний позволяют из данных истинных посылок выводить истинное заключение. На основе правил пря- мых выводов построены чисто условные и условно-категорические, чисто разделительные и разделительно-категорические, а также условно-разде- лительные (лемматические) умозаключения.