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

Условно-категорический силлогизм – это умозаключение, в котором одна из посылок – условное суждение, а другая посылка и заключение – категорические суждения.

Условно-категорический силлогизм имеет два правильных модуса:

1) утверждающий,

2) отрицающий.

В утверждающем модусе (modus ponens) в категорической посылке утверждается истинность антецедента условной посылки, а в заключении – истинность консеквента.

Рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.

Его схема:

А→В

А

В

Например:

Если воду нагреть до ста градусов, вода закипит

Воду нагрели до ста градусов

Вода нагрелась

В отрицающем модусе (modus tollens) в категорической посылке отрицается истинность консеквента, а в заключении – истинность антецедента.

Рассуждение построено от отрицания истинности следствия к отрицанию истинности основания.

Схема modus tollens:

А→В

В

А

Например:

Если растение лишить влаги, оно погибнет

Растение не погибло

Следовательно, растение не лишено влаги

Возможны еще две разновидности условно-категорического силлогизма: от отрицания истинности основания к отрицанию истинности следствия:

А→В

А

В

От утверждения истинности следствия к утверждению истинности основания:

А→В

В

А

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

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