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

(выводы из сложных суждений)

Посылками силлогизма могут быть не только категорические, но также и условные или разделительные суждения, или и те и другие.

Чисто условное и условно-категорическое умозаключение

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

Его структура

Если а, то b.

Если b. то c.

Если a, то c

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

Если данное деяние – клевета (a), то оно – преступление (b)

Если оно – преступление (b), то карается по закону (c)

Если данное деяние – клевета (a), то оно карается по закону (b)

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

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

В условно-категорическом силлогизме мысль может идти по 4 направлениям:

1) от утверждения основания к утверждение следствия;

2) от отрицания основания к отрицанию следствия;

3) от утверждения следствия к утверждению основания;

4) от отрицания следствия к отрицанию основания

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

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

Если прошел дождь (a), то трава мокрая (b) Если а, то b

Дождь прошел (a) а

Трава мокрая (b) b

2) Модус отрицающий (modus tollens), когда мысль идет от отрицания следствия к отрицанию основания.

Если прошел дождь (a), то трава мокрая (b) Если a,то b

Трава не мокрая (не – b) не-b

Дождя не было (не-а) не-а

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

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

В зависимости от хода мысли выделяют 2 модуса:

утверждающе – отрицающий (ponendo tollens), когда мысль идет от утверждения одного из вариантов к отрицанию другого

a или b a или b

a b

не-b не-a

Термин в суждении может быть либо распределенным (а), либо нераспределенным (b)

Этот термин является распределенным (а)

Этот термин не является нераспределенным (не – b)

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

Модус отрицающе-утверждающий (tollendo – ponens), когда мысль идет от отрицания одного из вариантов к утверждению другого.

a или b a или b

не-a не-b

b a

Треугольник может быть остроугольным (a), прямоугольным (b), тупоугольным (с)

Этот треугольник не есть ни остроугольный (не-а), ни прямоугольный (не-b)

Этот треугольник является тупоугольным (c)

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