Чисто-условный и условно-категорический силлогизмы
Умозаключения строятся не только из простых, но и из сложных суждений. Известны следующие виды дедуктивных умозаключений, посылками которых являются сложные суждения: чистоусловный, условно-категорический, разделительно-категорический и условно-разделительный силлогизмы.
Особенность этих умозаключений состоит в том, что выведение заключения из посылок определяется не отношениями между терминами, как в простом категорическом силлогизме, а характером логической связи между суждениями, поэтому при анализе силлогизмов данных видов субъектно-предикатная структура составляющих их суждений не учитывается.
А)Чисто-условный силлогизм– это умозаключение, посылками и заключением которого являются условные суждения. Следует отметить, что заключение в данном виде силлогизма может делаться из любого количества посылок, поскольку выводы чистоусловного силлогизмаможно охарактеризовать как выводы на основании свойства транзитивности импликации. Иначе говоря, вывод в чистоусловном силлогизмеосновывается на правиле: следствие следствия есть следствие основания.
Схема этого силлогизма такая:
Например:
Если будет солнечный день, то вода в реке будет теплой
Если вода в реке будет теплой, можно пойти купаться
Если будет солнечный день, можно пойти купаться
Б)Условно-категорический силлогизм– это умозаключение, в котором одна из посылок – условное суждение, а другая посылка и заключение – категорические суждения. Условно-категорический силлогизмимеет два правильных модуса: утверждающий (modus ponens) и отрицающий (modus tollens).
• В утверждающем модусе (modus ponens) в категорической посылке утверждается истинность антецедента условной посылки, а в заключении – истинность консеквента. В данном случае рассуждение направлено от утверждения истинности основания к утверждению истинности следствия. Схема утверждающего модуса (modus ponens):
Например:
Для всякого проводника верно, что если по нему проходит ток, то он нагревается
По проводнику проходит ток
Следовательно, проводник нагревается
• В отрицающем модусе (modus tollens) в категорической посылке отрицается истинность консеквента, а в заключении – истинность антецедента. Рассуждение построено от отрицания истинности следствия к отрицанию истинности основания.
Схема отрицающего модуса (modus tollens):
Например:
Для всякого проводника верно, что если по нему проходит ток, то он нагревается
Проводник не нагревается
Следовательно, по проводнику не проходит ток
• Необходимо также указать еще на два модуса условно-категорического силлогизма.
Во-первых, от отрицания истинности основания к отрицанию истинности следствия:
Во-вторых, от утверждения истинности следствия к утверждению истинности основания:
Оба эти модуса являются вероятностными, иначе говоря: они не гарантируют истинность заключения при истинности посылок, за одним однако исключением – истинность заключения будет гарантирована в случае, если место импликативных суждений займут условные суждения эквивалентности.
При построении умозаключения по схеме чисто-условногои условно-категорического силлогизмовследует также иметь в виду, что истинность заключения будет гарантирована только в том случае, если условные посылки будут содержать достаточные основания для следствий.
Дата добавления: 2016-02-09; просмотров: 2379;