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

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

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

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

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

 

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

Существуют два вида соритов: прогрессивный и регрессивный.

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

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

Регрессивный сорит получается из регрессивного полисиллогизма путем выбрасывания заключений предшествующих силлогизмов и меньших посылок последующих.

Регрессивный сорит начинается с посылки, содержащей субъект заключения, и кончается посылкой, содержащей предикат заключения.

 

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

 

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

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

Все А суть С, так как А суть В. Все О суть А, так как D суть Е. Все В суть С. Пример эпихейремы:

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

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

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

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

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

 

Условные умозаключения

 

Чисто условным умозаключением называется такое опосред­ствованное умозаключение, в котором обе посылки являются условными суждениями. Условным называется суждение, имеющее структуру: "Если а, то Ь". Структура его такая:

Если а, то b Схема: a->b, b->с
Если b. то с
Если а, то с а->с

Приведем пример:

Если по проводнику пропустить электрический ток, то вокруг проводника образуется магнитное поле.

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

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