38. Регрессивный полисиллогизм.

КВ : что такое полисиллогизм, его значение в мышлении ?

Регрессивный полисиллогизм - зк просиллогизма становится м.Пс эписиллогизма.

Схема : Все А есть Б

все Ц есть А

все Б есть Д

все Ц есть Б

все Ц есть Д

Пример : Все планеты космические тела

Сатурн планета

Сатурн космическое тело.

Все космические тела имеют массу

Сатурн космическое тело

Сатурн имеет массу.

Соединив эти КС и не повторяя дважды с "все Ц есть Б", получим схему (см. выше) регресс-го полисиллогизма для общеутвердит. Псc.

39. Сориты.

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

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

Схема : Все А есть Б

все Ц есть А

все Д есть Ц

все Д есть Б

Пример : Все витаминосодерж. продукты полезны

фрукты, есть продукты, содерж. витамины

бананы фрукты

бананы полезны.

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

Схема : Все А есть Б

все Б есть Ц

все Ц есть Д

все А есть Д

Пример : Все розы цветы

все цветы растения

все растения дышат

все розы дышат.

КВ : значение соритов в мышлении ?

40. Эпихейрема.

Эпихейрема - это такой сложносокращенный силлогизм, обе Псе котор. есть ПКСС - энтимемы. Схема эпихейремы, содерж. лишь общеутвердит. высказывания :

Все А есть Ц, так как А есть Б

все Д есть А. так как Д есть Е

все Д есть Ц.

Пример : Благородн. труд заслуживает уважения, т.к. он способст. прогрессу

труд учителя благороден, т.к. он состоит в воспитании

труд учителя заслуживает уважения.

41. Прямые выводы. Чисто условные умозаключения.

Чисто условные умозаключения - такое опосредованное умозаключение, в котором обе Псе являются условными СС.

Условное С (“Если а, то б").

Структура чисто условного умозаключения - Если а, то б Схема: а—б-б—в

если б, то в а — в.

если а, то в.

В приведенном примере Псе - условные СС, причем следствие первой Пс является основанием второй, из которой вытекает некоторое следствие.

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

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

Условно-категорические умозаключения - такое дедуктивное УЗ, в котором одна из Псе - ус­ловие С, а другая - ПКС. Оно имеет два правильных модуса, дающих зк, с необходимостью следующее из Псе.

а) Утверждающий модус (модус поненс) - его структура: Если а, то б

а_____

б

его схема: а--б

а____

б

Формула -((а--б) Л а)--б - закон логики.

НБ: Можно строить достоверные умозаключения от отрицания к утверждению следствия. НБ: модус поненс широко распространен в научном мышлении.

б) Отрицающий модус (модус толленс) - его структура: Если а, то б

не-б_________

не-а

его схема: а--б

б’____

а’

Формула -((а--б) Л б')--а' - закон логики.

НБ: Можно строить достоверные умозаключения от отрицания следствия к отрицанию основания.

НБ: Условно-категорическое умозаключение может давать не только достоверные зк зк, но и вероятные.

1-ый вероятностный модус: его структура: Если а, то б

б_______

вероятно, а

его схема: а--б

б________

вероятно, а

Формула -((а--б) Л б)--а - не является законом логики, т.е. нельзя достоверно умозаключить от утверждения следствия к утверждению основания.

2-ой вероятностный модус: его структура: Если а, то б

не-а_________

вероятно, не - б

его схема: а--б

а’

вероятно, б'

Ф ормула – ((а--б) Л а')--б' - не является законом логики, т.е. нельзя принимать зк за досто­верное, умозаключая от отрицания основания к отрицанию следствия.