Полисиллогизмом (сложным силлогизмом) называются два или несколько простых категорических силлогизмов, связанных друг с другом таким образом, что заключение одного из них становится посылкой другого. Различают прогрессивные и регрессивные полисиллогизмы.
В прогрессивном полисиллогизме заключение предшествующего силлогизма становится большей посылкой последующего силлогизма.
Регрессивный полисиллогизм - это такой сложный силлогизм, в котором заключение предшествующего силлогизма становится меньшей посылкой последующего силлогизма.
Сорит (с общими посылками)
Прогрессивный и регрессивный полисиллогизмы в мышлении чаще всего применяются в сокращенной форме - в виде соритов.
Существуют два вида соритов: прогрессивный и регрессивный.
Прогрессивный сорит получается из прогрессивного полисиллогизма путем выбрасывания заключений предшествующих силлогизмов и больших посылок последующих.
Прогрессивный сорит начинается с посылки, содержащей предикат заключения, и заканчивается посылкой, содержащей субъект заключения.
Регрессивный сорит получается из регрессивного полисиллогизма путем выбрасывания заключений предшествующих силлогизмов и меньших посылок последующих.
Регрессивный сорит начинается с посылки, содержащей субъект заключения, и кончается посылкой, содержащей предикат заключения.
Формализация эпихейрем с общими посылками
Эпихейремой в традиционной логике называется такой сложносокращенный силлогизм, обе посылки которого представляют собой сокращенные простые категорические силлогизмы (энтимемы).
Схема эпихейремы, содержащей лишь общие и утвердительные ысказывания, обычно записывается следующим образом:
Все А суть С, так как А суть В. Все О суть А, так как D суть Е. Все В суть С. Пример эпихейремы:
Благородный труд (А) заслуживает уважения (С), так как благородный руд (А) способствует прогрессу общества (В).
Труд учителя (D) есть благородный труд (А), так как труд учителя (D) аключается в обучении и воспитании подрастающего поколения IE). Труд учителя (D) заслуживает уважения (С)
Первая и вторая посылки эпихейремы представляют собой энтимемы, т. е. сокращенные категорические силлогизмы, у которых одна из посылок пущена. Также, как и энтимемы, сложносокращенные силлогизмы значительно прощают наши рассуждения.
Если в логике предикатов простые суждения расчленялись на субъект и предикат, то в логике высказываний суждения не расчленяются, а рассматриваются как простые суждения, из которых с помощью логических связок (логических постоянных) образуются сложные суждения.
Правила прямых выводов логики высказываний позволяют из данных истинных посылок выводить истинное заключение. На основе правил прямых выводов построены чисто условные и условно-категорические, разделительные и разделительно-категорические, а также условно-разделительные (лемматические) умозаключения.
Условные умозаключения
Чисто условным умозаключением называется такое опосредствованное умозаключение, в котором обе посылки являются условными суждениями. Условным называется суждение, имеющее структуру: "Если а, то Ь". Структура его такая:
Если а, то b Схема: a->b, b->с
Если b. то с
Если а, то с а->с
Приведем пример:
Если по проводнику пропустить электрический ток, то вокруг проводника образуется магнитное поле.
Если вокруг проводника образуется магнитное поле, то железные опилки расп олагаются в этом магнитном поле вдоль силовых линий.
Если по проводнику пропустить электрический ток, то железные опилки располагаются в его магнитном поле вдоль силовых линий.
