Логика (Гусев) - страница 81

Все звезды – это небесные тела.

Солнце – это звезда.

Солнце – это небесное тело.

Все небесные тела участвуют в гравитационных взаимодействиях.

Солнце – это небесное тело.

Солнце участвует в гравитационных взаимодействиях.

Вывод предыдущего силлогизма является меньшей посылкой следующего. Можно заметить, что в этом случае два силлогизма невозможно графически соединить в последовательную цепочку, как в случае прогрессивного полисиллогизма.

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

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

Все, что развивает мышление, полезно.

Все интеллектуальные игры развивают мышление.

Шахматы – это интеллектуальная игра.

Шахматы полезны.

Теперь обратимся к рассмотренному выше примеру регрессивного полисиллогизма и пропустим в нем меньшую посылку второго силлогизма, которая является выводом первого силлогизма. Получится регрессивный сорит:

Все звезды – это небесные тела.

Солнце – это звезда.

Все небесные тела участвуют в гравитационных взаимодействиях.

Солнце участвует в гравитационных взаимодействиях.

Сделаем прогрессивный сорит из вышеприведенного прогрессивного полисиллогизма, состоящего из трех простых силлогизмов:

Все материальное имеет физические свойства.

Все объекты Вселенной материальны.

Кванты – это объекты Вселенной.

Фотоны – это кванты электромагнитного поля.

Фотоны имеют физические свойства.

Итак, на практике, т. е. в повседневном мышлении обычно используется не простой, категорический силлогизм, а его различные сокращенные формы: энтимемы, эпихейремы, полисиллогизмы и сориты.

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