36. Сложные силлогизмы (полисиллогизмы и сориты).

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

Например:

Англичане — мужественный народ.

Мужественный народ свободен.

Свободный народ счастлив.

Следовательно, англичане счастливы

В сорите посылки могут быть расположены двояким способом — аристотелевский сорит начинается с посылки, заключающей в себе заключение-субъект, и оканчивается посылкой, содержащей заключение-предикат (см. вышеприведённый пример); но сорит может начинаться и с посылки, содержащей заключение-предикат, и оканчиваться посылкой, содержащей заключение-субъект; этот вид сорита называется гоклениевым (Гоклений, писатель XVI в., впервые указал на него в сочинении «Isagoge in Organon Aristotelis»). Если сорит разложить на несколько отдельных силлогизмов, то заключение каждого отдельного силлогизма служит меньшей посылкой следующего. В сорите может быть лишь одна отрицательная посылка; каждый сорит требует последовательности среднего термина, иначе получается перерыв в процессе умозаключения (лат. Saltus in concludendo) и заключение получится не значащее.

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

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

Если вывод становится меньшей посылкой эписиллогизма , то полисиллогизм называется регрессивным

Стр. 122 учебника

37.Условно-категорические умозаключения, их использование при

Аргументации

Условно-категорическим называется умозаключение, в кото­ром одна из посылок —условное, а другая посылка и заключение — категорические суждения.

Это умозаключение имеет два правильных модуса: 1) утверждаю­щий и 2) отрицающий.

1. В утверждающем модусе (modus ponens) посылка, выражен­ная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия;

рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.

Например:

Если иск предъявлен недееспособным лицом (р), то суд оставляет иск

без рассмотрения (q)

Иск предъявлен недееспособным лицом (р)

Суд оставляет иск без рассмотрения (q)

Утверждающий модус дает достоверные выводы. Он имеет схему:

p->q,p/q

2. В отрицающем модусе (modus tollens) посылка, выраженная категорическим суждением, отрицает истинность следствия услов­ной посылки, а заключение отрицает истинность основания. Рассуж­дение направлено от отрицания истинности следствия к отрица­нию истинности основания. Например:

Если иск предъявлен недееспособным лицом (р), то суд оставляет

иск без рассмотрения (q)

Суд не оставил иск без рассмотрения (не-q)

Неверно, что иск предъявлен недееспособным лицом (не-р)

Схема отрицающего модуса:

p->q,1q/1