Логика

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

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

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

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

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

Если данное вещество — натрий, то спектр его раскалённых паров даст яркую жёлтую линию.

Спектр раскалённых паров вещества не даёт яркой жёлтой линии.

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

След., данное вещество не есть натрий.

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

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

В общем виде формула этого модуса следующая:

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

Но С не есть D.

——————————

След., А не есть В.

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

Качество заключения в модусе tollens противоположно качеству условной посылки: при её отрицательности будет утвердительным, при её утвердительности — отрицательным.

Рассмотрим, например, силлогизм:

Если бы луна в своём обращении вокруг земли никогда не проходила через линию, соединяющую центры земли, луны и солнца, то на земле никогда не могли бы наблюдаться солнечные затмения.

Но солнечные затмения иногда наблюдаются на земле.

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

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