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

      Его схема такова:                                                     • Схема отрицающе-утверждающего модуса (modus tоllendo
                            p∨q                                        ponens):
                            p1 ∨ p2 ∨ p3                                                        p∨q∨z
                          p1 ∨ p2 ∨ p3 ∨ q                                                          p, q
      Например:                                                                                         z
                                                                             Суть данного модуса в том, что в категорической посылке про-
 Экзамен можно сдать или не сдать
                                                                       изводится отрицание всех членов дизъюнкции, кроме одного, истин-
 Экзамен можно сдать или на «отлично», или на «хорошо»,
 или на «удовлетворительно»                                            ность которого утверждается в заключении. В данном случае дизъ-
                                                                       юнкция может быть как строгой, так и нестрогой.
 Экзамен можно сдать или на «отлично», или на «хорошо»,                      Правило modus tоllendo ponens – в разделительной посылке
 или на «удовлетворительно», или совсем не сдать                       должны быть перечислены все возможные альтернативы.
                                                                             Например:
       2. Разделительно-категорический силлогизм – это умозак-          Светофор может гореть либо красным, либо желтым, либо зеленым
лючение из двух и более посылок, из которых, по крайней мере, одна –    светом
разделительное (дизъюнктивное) суждение, а остальные – категори-        В данный момент не горит ни красный, ни желтый свет
ческие. Разделительно-категорический силлогизм имеет два моду-
                                                                        Значит, горит зеленый свет
са: утверждающе-отрицающий (modus ponendo tollens) и отри-
цающее-утверждающий (modus tollendo ponens).
       • Схема утверждающе-отрицающего модуса (modus ponendo
tollens):                                                              4.3. Условно- разделительный (лемматический) силлогизм
                                p∨q
                                                                             Условно-разделительный силлогизм – это умозаключение, в
                               p                                       котором вывод делается из трех и более посылок, причем две и более
                                 q                                     посылок – условные высказывания, а одна посылка является раздели-
       Суть данного модуса в том, что в категорической посылке про-    тельным суждением. В зависимости от числа условных высказываний
изводится утверждение одной альтернативы разделительного сужде-        различают дилеммы (два условных высказывания), трилеммы (три
ния, а в заключении отрицаются все остальные альтернативы.             условных высказывания), n-леммы (n условных высказываний). При
       Правило modus ponendo tоllens – разделительная посылка          выводе заключения лемматического силлогизма утверждается аль-
должна быть строгой (исключающей) дизъюнкцией.                         тернатива, т. е. необходимость выбора только одного из всех возмож-
       Например:                                                       ных предложений.
                                                                             Принято различать следующие виды дилемм: простые и
 В школе может быть либо совместное обучение девочек
                                                                       сложные, конструктивные и деструктивные.
 и мальчиков, либо раздельное
 В данной школе совместное обучение учеников                                 • В простой конструктивной дилемме основания различны, а
                                                                       следствие в условных суждениях одно и то же. Поскольку в раздели-
 Значит, в данной школе нет раздельного обучения                       тельной посылке простой конструктивной дилеммы утверждают-
                                                                       ся основания условных суждений, то в заключении утверждается их
                                                                       общее следствие.


                                   75                                                                  76