Логика. Черняк Н.А. - 25 стр.

                              А→В                                              4.2. Разделительный и разделительно-
                              А                                                      категорический силлогизмы
                                В                                           Разделительный силлогизм – умозаключение, посылками и за-
      Например:                                                       ключением которого являются разделительные (дизъюнктивные) суж-
       Если воду нагреть до ста градусов, вода закипит                дения. Его схема такова:
       Воду нагрели до ста градусов                                                                   p∨q
      Вода нагрелась                                                                                  p1 ∨ p 2 ∨ p3
      В отрицающем модусе (modus tollens) в категорической по-                                      p1 ∨ p 2 ∨ p3 ∨ q
сылке отрицается истинность консеквента, а в заключении – истин-            Например:
ность антецедента. Рассуждение построено от отрицания истинности             Экзамен можно сдать или не сдать
следствия к отрицанию истинности основания. Схема modus tollens:
                                                                             Экзамен можно сдать или на " отлично", или на " хорошо",
                                  А→В
                                                                              или на " удовлетворительно"
                                       В
                                                                             Экзамен можно сдать или на " отлично", или на " хорошо",
                                   А                                         или на " удовлетворительно", или совсем не сдать
      Например:
      Если растение лишить влаги, оно погибнет
                                                                            Разделительно-категорический силлогизм – умозаключение,
                                                                      одной посылкой которого является разделительное (дизъюнктивное)
      Растение не погибло                                             суждение, другой – категорическое.
       Следовател ьно, растение не лишено влаги                             Этот вид умозаключения содержит два модуса.
      Возможны еще две разновидности условно-категорического сил-           I модус – утверждающе-отрицающий (modus ponendo tollens).
логизма: от отрицания истинности основания к отрицанию истинности     Его схема:
следствия:                                                                                               p∨q
                                А→В                                                                      p
                              А                                                                             q
                                 В                                          В категорической посылке производится утверждение одной
       От утверждения истинности следствия к утверждению истинно-     альтернативы разделительного суждения. В заключении отрицаются
сти основания:                                                        все остальные альтернативы. Например:
                               А→В                                     В школе может быть либо совместное обучение девочек и мальчиков, либо раздельное
                                   В                                   В данной школе совместное обучение учеников
                                                                       Значит, в данной школе нет раздельного обучения
                                А
       Однако заключение по этим модусам не будет достоверным, что          Правило modus ponendo tоllens – разделительная посылка долж-
можно проверить с помощью таблиц истинности.                          на быть исключающей (строгой) дизъюнкцией.
       При построении умозаключения по схеме чисто-условного и ус-          II модус – отрицающе-утверждающий (modus tоllendo ponens).
ловно-категорического силлогизмов следует также иметь в виду, что                       p∨q∨z
истинность заключения будет гарантирована только в том случае, если
                                                                                          p, q
условные посылки будут содержать достаточные основания для след-            Его схема:
ствий.                                                                                           z

                                  49                                                                          50