Логика. Купарашвили М.Д - 37 стр.

     Например:                                                           Например:
     Если будет солнечный день, то вода в реке будет теплой          Для всякого проводника верно, что если по нему проходит ток,
     Если вода в реке будет теплой, можно пойти купаться             то он нагревается
     Если будет солнечный день, можно пойти купаться                 Проводник не нагревается
                                                                     Следовательно, по проводнику не проходит ток
      2. Условно-категорический силлогизм – это умозаключение,
в котором одна из посылок – условное суждение, а другая посылка и        • Необходимо также указать еще на два модуса условно-кате-
заключение – категорические суждения. Условно-категорический        горического силлогизма.
силлогизм имеет два правильных модуса: утверждающий (modus               Во-первых, от отрицания истинности основания к отрицанию
ponens) и отрицающий (modus tollens).                               истинности следствия:
      • В утверждающем модусе (modus ponens) в категорической                                   А⊃ В
посылке утверждается истинность антецедента условной посылки, а в
                                                                                                  А
заключении – истинность консеквента. В данном случае рассуждение
направлено от утверждения истинности основания к утверждению                                      В
истинности следствия. Схема утверждающего модуса (modus                  Во-вторых, от утверждения истинности следствия к утвержде-
ponens):                                                            нию истинности основания:
                              А⊃В                                                               А⊃В
                              А                                                                            В
                                  В                                                                  А
     Например:                                                            Оба эти модуса являются вероятностными, иначе говоря: они
                                                                    не гарантируют истинность заключения при истинности посылок, за
 Для всякого проводника верно, что если по нему проходит ток,       одним однако исключением – истинность заключения будет гаранти-
 то он нагревается                                                  рована в случае, если место импликативных суждений займут услов-
 По проводнику проходит ток                                         ные суждения эквивалентности.
 Следовательно, проводник нагревается                                     При построении умозаключения по схеме чисто-условного и
                                                                    условно-категорического силлогизмов следует также иметь в виду,
      • В отрицающем модусе (modus tollens) в категорической по-    что истинность заключения будет гарантирована только в том случае,
сылке отрицается истинность консеквента, а в заключении – истин-    если условные посылки будут содержать достаточные основания для
ность антецедента. Рассуждение построено от отрицания истинности    следствий.
следствия к отрицанию истинности основания.
      Схема отрицающего модуса (modus tollens):
                                                                       4.2. Разделительный и разделительно-категорический
                              А⊃В
                                                                                          силлогизмы
                                       В
                                                                          1. Разделительный силлогизм – это умозаключение, посылка-
                                  А                                 ми и заключением которого являются разделительные (дизъюнктив-
                                                                    ные) суждения.

                                  73                                                                  74