Умозаключения и их виды

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

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

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

1) утверждающе-отрицательный;

2) отрицательно-утверждающий.

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

А есть или В, или С;

А есть В;

Следовательно, А не есть С.

Формула отрицающе-утверждающего модуса:

А есть или В, или С;

А не есть В;

Следовательно, А есть С.

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

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

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

В утверждающем заключение идет от утверждения основания к утверждению следствия. Формула:

Если есть А, то есть В;

А есть;

Следовательно, есть В.

Вывод по этому модусу может быть и утвердительный, и отрицательный.

В отрицающем модусе заключение идет от отрицания следствия к отрицанию основания. Формула:

Если есть А, то есть В;

В нет;