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

Условнокатегорическое умозаключение имеет два модуса — утверждающий и отрицающий.

В утверждающем модусе заключение идет от утверждения основания к утверждению следствия. Общая схема этого модуса такова: если есть А, то есть В; есть А, следовательно, есть и В.

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

В отрицающем модусе заключение идет от отрицания следствия к отрицанию основания. Схематически отрицающий модус можно записать так: если есть А, то есть и В; нет В, следовательно, нет и А.

Вывод по этому модусу также бывает утвердительным и отрицательным; его качественная сторона находится в обратной зависимости от качественного характера условной посылки.

Нередко в условной посылке основание и следствие различны по качественному характеру. В таком случае категорическая посылка по качеству должна быть обратной качественному характеру следствия, а вывод будет обратным (в качественном отношении) основанию условной посылки. В общей схеме это выглядит так: если есть А, то нет В; есть В, следовательно, нет А.

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