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

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

Схема этого силлогизма такая:

Вывод в чисто-условном умозаключении основывается на правиле: следствие следствия есть следствие основания.

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

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

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

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

Например:

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

Например:

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

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

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

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

Не нашли, что искали? Воспользуйтесь поиском: