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

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

Это умозаключение имеет два правильных модуса: утверждающий и отрицающий.

· В утверждающем модусе (modus ponens) посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия; рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.

· В отрицающем модусе (modus tollens) посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания.

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

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

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

· утверждающе-отрицающий;

· отрицающе-утверждающий. Отрицающе-утверждающий модус дает возможность путем отрицания неверных альтернатив прийти к истинному выводу, нередко имеющему важное значение.