15. Полисиллогизм, эпихейрема

сложные силлогизмы сост. из 2 или более прост. силлогизмов

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

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

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

16. Сокращенные силлогизмы: энтимема, сорит

Энтимема (сокращенный категорический силлогизм) - силлогизм, в кот. пропущена 1 из посылок или заключение.

“Все кашалоты - киты, следовательно, все кашалоты - млекопитающие” -энтимема (пропущена больш. посылка)

Все киты - млекопитающие.

Все кашалоты - киты

Все кашалоты - млекопитающие.

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

17. Условные умозаключения: чисто условные и условно-категорические умозаключения

► чисто условные: обе посылки и заключение - условные суждения

► условно категорические (1 из посылок-условное, 2 посылка и заключение – категорические суждения):

- правильная форма утверждающего модуса:

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

- неправильная форма утверж модуса:

ход умозаключений направлен от утверждения истинности следствия к утверждению истинности снования условной посылки

►правильная форма отрицающего модуса:

ход умозаключения направлен от отрицания истинности следствия к отрицанию истинности основания условной посылки

►неправильная форма отрицающего модуса:

ход рассуждения направлен от отрицания истинности основания к отрицанию истинности следствия условной посылки

18. Разделительные умозаключения

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

имеет 2 модуса:

- утвержающе-отрицающий: путём утверждения 1 из членов дизъюнкции производится отрицание всех ост. членов; разделительная посылка - строгая дизъюнкция

- отрицающее-утверждающий: путём отрицания всех членов дизъюнкции, кроме одного, производиться утверждение оставшегося члена