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

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

А —>В

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

А —> С

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

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

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

отрицающий.

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

А —>В

А

В

Например:

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

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

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

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

А —>В

В

А

Например:

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

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

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

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

А —>В

А

В

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

А —>В

В

А

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

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