1. ГЛАВНАЯ >
  2. ПРЕДМЕТЫ >
  3. ЛОГИКА >
  4. УСЛОВНО-КАТЕГОРИЧЕСКОЕ УМОЗАКЛЮЧЕНИЕ

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

НАВИГАЦИЯ ПО СТРАНИЦЕ

условное категорические суждения утверждающем модусе отрицающем модусе
ПОЛНЫЙ ОТВЕТ
БЕЗ ВОДЫ
Без воды — краткий вариант ответа,
легко понять и запомнить

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

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

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

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

Из четырех модусов условно-категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий (modus ponens) и отрицающий (modus tollens). Они выражают законы логики и называются правильными модусами условно-категорического умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия — к отрицанию основания. Два других модуса (3 и 4) достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.