Условно‑категорическим называется умозаключение, в котором одна из посылок – условное, а другая посылка и заключение – категорические суждения.
Это умозаключение имеет два правильных модуса: утверждающий и отрицающий.
1. В утверждающем модусе (modus ponens) посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия; рассуждение направлено от утверждения истинности основания к утверждению истинности следствия. Напр.:
Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q).
Иск предъявлен недееспособным лицом (р). Суд оставляет иск без рассмотрения (q).
Первая посылка – условное суждение, выражающее связь основания (р) и следствия (q). Вторая посылка – категорическое суждение, в котором утверждается истинность основания (р): иск предъявлен недееспособным лицом. Признав истинность основания (р), мы признаем истинность следствия (q): суд оставляет иск без рассмотрения.
Утверждающий модус дает достоверные выводы. Он имеет схему:
2. В отрицающем модусе (modus tollens) посылка, выраженная категорическим суждением, отрицает
истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания. Напр.: Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q). Суд не оставил иск без рассмотрения (⌉ q). Неверно, что иск предъявлен недееспособным лицом (⌉р). Схема отрицающего модуса:
Нетрудно установить, что возможны еще две разновидности условно‑категорического силлогизма: от отрицания истинности основания к отрицанию истинности следствия и от утверждения истинности следствия к утверждению истинности основания.
Однако заключение по этим модусам не будет достоверным. Таким образом, из четырех модусов условно‑категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий и отрицающий. Они выражают законы логики и называются правильными модусами условно‑категорического умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия – к отрицанию основания. Два других модуса достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.