ЛОГИКА

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

Та часть условной посылки, которая устанавливает известное положение как необходимый результат некоторого условия, называется следствием. Часть условной посылки, указывающая самое условие, от которого зависит истинность следствия, называется основанием.

Пример:

Если в мелководном порту наступает время отлива, находящиеся в этом порту суда выходят в море.

В мелководном порту наступило время отлива.

————————————————————————

Находящиеся в мелковолном порту суда выходят в море.

В этом примере категорическая посылка удостоверяет, что основание, которое только выдвигалось мыслью в условной посылке, есть не одно лишь предположение, но действительный факт.

Соединение обеих посылок даёт основу, опираясь на которую мы вправе сделать уже не условный только, а категорический вывод о том следствии, которое только предполагалось в условной посылке.

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

Условно-категорический силлогизм такого вида называется «утверждающим модусом». Латинское его название «modus ponens».

В общем виде строение модуса ponens может быть выражено следующей формулой:

Если А есть В, то С есть D.

Но А есть В.

——————————

След., С есть D.

Из формулы этой вовсе не следует, будто всякое заключение, которое может быть получено по модусу ponens, всегда будет утвердительным суждением. Заключение может быть в одних случаях, как в приведённом примере, утвердительным, в других же — отрицательным.

Качество заключения в силлогизме по модусу ponens зависит от качества условной посылки. Если условная посылка утвердительная, т. е. если отношение, поставленное в ней в зависимость от некоторого условия как его следствие, есть отношение положительное, то и заключение будет утвердительным.

Но если условная посылка отрицательна, т. е. если отношение, поставленное в ней в зависимость от некоторого условия в качестве его следствия, выражает отрицание, то и заключение будет отрицательным.

Пример:

Если на небе не видно солнца, то хвойный лес не пахнет смолой.

Солнца на небе не видно.

——————————————

След., хвойный лес не пахнет смолой.

Здесь мы имеем правильный силлогизм по модусу ponens. Заключение этого силлогизма — отрицательное.

Неверно было бы также думать, будто категорическая посылка в силлогизме по модусу ponens должна быть всегда утвердительной. Значение категорической посылки в этом модусе состоит вовсе не в том, что она выражает непременно утверждение. Категорическая посылка в модусе ponens имеет назначением удостоверять, что условие, которое указано условной посылкой и от которого зависит как от основания некоторое следствие, выполнено в действительности. Но будет ли само это условие утвердительным или отрицательным — это зависит от содержания условной посылки. Если условная посылка, указывающая основание для следствия, отрицательна, то и категорическая посылка, удостоверяющая, что условие это имеет место, также будет отрицательна. Именно так обстоит дело в примере, разобранном выше.

Характерная черта утверждающего модуса состоит в ходе мысли от основания к следствию. Модус этот применяется всюду, где из наличия основания необходимо вывести наличие обусловленного этим основанием следствия. Модус этот применяется не только для констатирования положений, необходимо вытекающих ив известных условий. Он широко применяется также во всякого рода спорах, доказательствах. Одно из средств убеждения в истинности известного тезиса состоит в доказательстве, что тезис этот есть лишь необходимый результат того, что некоторое положение, выдвигавшееся ранее в качестве условия истинности тезиса, есть уже не только нечто мыслимое нами, но и действительный факт.

§ 7. Второй модус условно-категорического силлогизма представляет иной ход мысли.

Рассмотрим умозаключение: