Условно-категорический силлогизм

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

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

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

В условно-категорических силлогизмах имеется два пра­вильных модуса: модус ponens (или конструктивный), другой - модус tollens (или деструктивный).

Модус ponens образует заключение от согласия с основа­нием условной посылки к необходимости соглашаться и с ее следствием.

Если А, то В.

А. ___________

В.

Если дождь идет, то на улице мокро.

Дождь идет

На улице – мокро.

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

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

Пример:

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

не пахнет смолой.

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

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

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

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

Модус tollens является умозаключением от отрицания следствия условной посылки к отрицанию ее основания. Умозаключение состоит здесь в том, что, отрицая следствие, необходимо отрицать и его основание

Если А, то В.
Не В _________

Не А.

Если дождь идет, то на улице мокро.

На улице не мокро

Дождь не идет

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

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