32. Разделительно-категорические умозаключения.

Разделительно-категорические умозаключения -в которых одна из посылок разделительная, а вторая и заключение категорические(дизъюнктивные)

Отрицая один из членов, мы утверждаем другой

союз – ИЛИ

2 модуса:

утвердительно-отрицательный – меньшая посылка категорическое суждение утверждает один из членов дизъюнкции, а заключение отрицает другой(утверждением одного,отрицаются остальные)

x или y: все млекопитающие плотоядны или травоядны

x:это млекопитающее травоядно

не y :это не млекопит. Не плотоядно

Вывод: утвердительно-отрицательный модус всегда будет истинным в том случае, если соблюдено – большая(разделительная) посылка должна быть суждением со строгой дизъюнкцией.

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

X или y,или z

Не x,не y

z

Заключение будет достоверным, если:

Правило – большая посылка должна быть полным дизъюнктивным суждением, то есть строгой дизъюнкцией.

33. Условно-разделительные умозаключения.

Условно-разделительные умозаключения (лемматические) -умозаключения, в которых одна посылка – 2 или более условных суждения, вторая – разделительное суждение.

В зависимости от того, какое количество следствий:

дилеммы – с двумя альтернативами

трилемы

полилемы

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

-конструктивная – в условной посылке устанавливается возможность 2-х условий и вытекающих из них одного следствия(простая) или 2х следствий(сложная)

Разделительная посылка ограничивает выбор только этим условием

В заключительном утверждении возможность одного из следствий.

-деструктивная – структура устанавливает, что из двух условий вытекает два следствия

В разделительной посылке отрицается одно из возможных следствий

Заключение отрицает одно из возможных оснований. Мысль направлена от общего к частному,но не всегда реализуема на практике.

34. Структура простого категорического силлогизма.

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

Понятия, входящие в состав – термины силлогизма.

3 вида терминов:

-меньший(S) – понятие, которое в заключении является субъектом

-больший(Р) – понятие, которое в заключении является предикатом

-средний(М) – понятие, входящее в обе посылки, но отсутствующее в заключении

Меньший и больший – крайние термины силлогизма.

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

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