Умозаключение это — простой условный силлогизм, так как одна из его посылок — суждение условное. Однако, в отличие от чисто условного силлогизма, в котором условны обе посылки, в этом умозаключении условна только одна из посылок, другая же есть суждение категорическое. Посылка эта устанавливает, что положение, которое мыслилось в условной посылке как условие истинности некоторого другого положения и о котором ещё не было известно, имеет ли оно место в действительности, на самом деле имеет место.
Так как из категорической посылки видно, что условие, указанное в условной посылке, действительно выполнено, то заключение устанавливает, что и следствие этого условия действительно имеет место.
Условный силлогизм такого строения называется условно-категорическим.
§ 6. Условно-категорический силлогизм в свою очередь имеет две разновидности, или два модуса.
Первый модус условно-категорического силлогизма имеет строение, пример которого только что был нами рассмотрен. В этом модусе, как и во всяком условно-категорическом силлогизме, одна из посылок есть суждение условное, другая — категорическое.
Та часть условной посылки, которая устанавливает известное положение как необходимый результат некоторого условия, называется следствием. Часть условной посылки, указывающая самое условие, от которого зависит истинность следствия, называется основанием.
Пример:
| Если в мелководном порту наступает время отлива, находящиеся в этом порту суда выходят в море. |
| В мелководном порту наступило время отлива. |
| ———————————————————————— |
| Находящиеся в мелковолном порту суда выходят в море. |
В этом примере категорическая посылка удостоверяет, что основание, которое только выдвигалось мыслью в условной посылке, есть не одно лишь предположение, но действительный факт.
Соединение обеих посылок даёт основу, опираясь на которую мы вправе сделать уже не условный только, а категорический вывод о том следствии, которое только предполагалось в условной посылке.
Весь ход умозаключения в этом случае состоит в том, что, признав истинным основание, мы необходимо должны признать истинным и следствие. Истинность основания устанавливается категорической посылкой, следствие, обусловленное основанием, — условной.
Условно-категорический силлогизм такого вида называется «утверждающим модусом». Латинское его название «modus ponens».
В общем виде строение модуса ponens может быть выражено следующей формулой:
| Если А есть В, то С есть D. |
| Но А есть В. |
| —————————— |
| След., С есть D. |
Из формулы этой вовсе не следует, будто всякое заключение, которое может быть получено по модусу ponens, всегда будет утвердительным суждением. Заключение может быть в одних случаях, как в приведённом примере, утвердительным, в других же — отрицательным.
Качество заключения в силлогизме по модусу ponens зависит от качества условной посылки. Если условная посылка утвердительная, т. е. если отношение, поставленное в ней в зависимость от некоторого условия как его следствие, есть отношение положительное, то и заключение будет утвердительным.
Но если условная посылка отрицательна, т. е. если отношение, поставленное в ней в зависимость от некоторого условия в качестве его следствия, выражает отрицание, то и заключение будет отрицательным.
Пример:
| Если на небе не видно солнца, то хвойный лес не пахнет смолой. |
| Солнца на небе не видно. |
| —————————————— |
| След., хвойный лес не пахнет смолой. |