34.Разделительно-категорические умозаключения (с примерами).

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

Разделительное суждение может содержать две, три и большее число альтернатив2, поэтому лемматические умозаключения делятся на дилеммы (две альтернативы), трилеммы (три альтернативы) и т.д.

Различают два вида дилемм: конструктивную (созидательную) и деструктивную (разрушительную), каждая из которых делится на простую и сложную.

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

Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствия.

Схема простой конструктивной дилеммы:

(р->г)л(д->г),руд

Пример:

Если обвиняемый виновен в заведомо незаконном задержании (р), то он подлежит уголовной ответственности за преступление против правосудия (r); если он виновен в заведомо незаконном заключении под

От латинского lemma — «предположение».

2 От латинского alternare — «чередоваться»; каждая из двух или нескольких исключающих друг друга возможностей.

стражу (q), то он также подлежит уголовной ответственности за пс ступление против правосудия (г).

Обвиняемый виновен или в заведомо незаконном задержании (р) или в заведомо незаконном заключении под стражу (q)

Обвиняемый подлежит уголовной ответственности за преступлен против правосудия (г)

В сложной конструктивной дилемме условная посылка содер-| жит два основания и два следствия. Разделительная посылка утвержу дает оба возможных основания. Рассуждение направлено от утверж-1 дения истинности оснований к утверждению истинности следствий.1

Схема сложной конструктивной дилеммы:

Пример:

(p->q)A(r-->s),pvr q vs

Если сберегательный сертификат является предъявительским (р), то 1 он передается другому лицу путем вручения (q); если он являете»! именным (г), то передается в порядке, установленном для уступки 1 требований (s). Но сберегательный сертификат может быть предъяви-! тельским (р) или именным (г)

Сберегательный сертификат передается другому лицу путем вруче-< ния (q) или в порядке, установленном для уступки требований (s) ;

В простой деструктивной дилемме условная посылка содержит | одно основание, из которого вытекает два возможных следствия.

:Д Разделительная посылка отрицает оба следствия, заключение отри-;

цает основание. Рассуждение направлено от отрицания истинности;

следствий к отрицанию истинности основания.

Схема простой деструктивной дилеммы:

Пример:

(р-»д)л(р->г),1ду1г IP

Если Н. совершил умышленное преступление (р), значит, в его действиях был прямой (q) или косвенный умысел (г). Но в действиях Н. не было ни прямого (q), ни косвенного умысла (г).

Преступление, совершенное Н., не является умышленным (р)

В сложной деструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка отрицает оба следствия, заключение отрицает оба основания. Рассуждение направлено от отрицания истинности следствий к отрицанию истинности оснований.

Схема сложной деструктивной дилеммы:

(p-»q)A(r->s),1qv1s

1р v 1r

Пример:

Если предприятие является арендным (р), то оно осуществляет предпринимательскую деятельность на основе взятого им в аренду имущественного комплекса (q); если оно является коллективным (г), то осуществляет такую деятельность на основе находящегося в его собственности имущества (s)

Данное предприятие не осуществляет свою деятельность ни на основе взятого в аренду имущественного комплекса (не-q), ни на основе находящегося в его собственности имущества (не-s)

Данное предприятие не арендное (не-р) или не коллективное (не-г)

35.Правила разделительно-категорических умозаключений.

Условные умозаключения называются так потому, что в качестве посылок в них используются условные суждения (если а, то b). Условные умозаключения можно отразить в виде следующей схемы.

Если а, то b.

Если b, то с.

Если а, то с.

Выше указана схема умозаключений, являющихся видом условных. Для таких умозаключений характерно, что все их посылки являются условными.

36.Modus ponendo tollens.

Модус Понендо Толленс - (лат. modus ponendo tollens) - термин средневековой логики, обозначающий следующие схемы рассуждения: Здесь A и В — некоторые высказывания; «либо A, либо В» и «A» — посылки; «неверно, что B» («не-В») — заключение; горизонтальная черта стоит вместо слова «следовательно». Другая запись: Либо A, либо В. А. Следовательно, не-В. Либо A, либо В. В. Следовательно, не-А. Посредством этих схем от утверждения двух взаимоисключающих альтернатив и установления того, какая из них имеет место, осуществляется переход к отрицанию второй альтернативы: либо первое, либо второе, но не оба вместе; есть первое, значит, второго нет. Напр.: Достоевский родился либо в Москве, либо в Петербурге. Он родился в Москве.______ Неверно, что Достоевский родился в Петербурге. Дизъюнкция, входящая в М. п. т., является исключающей, она означает: истинно первое или истинно второе, но не оба вместе. Такое же рассуждение, но с неисключающей дизъюнкцией (первое или второе, но возможно, что и первое, и второе), логически неправильно. От истинных посылок оно может вести к ложному заключению. Напр.: На Южном полюсе был Амундсен или был Скотт. На Южном полюсе был Амундсен. Неверно, что там был Скотт. Обе посылки истинны: и Амундсен, и Скотт достигли Южного полюса, заключение же ложно. Правильным является умозаключение: На Южном полюсе первым был Амундсен или Скотт. На этом полюсе первым был Амундсен._______ Неверно, что там первым был Скотт.

37.Modus tollendo ponens.

лат. modus tollendo ponens) – термин средневековой логики, обозначающий разделительно-категорическое умозаключение: первое или второе; не первое; значит, второе. Первая посылка умозаключения – разделительное (дизъюнктивное) высказывание; вторая – категорическое высказывание, отрицающее один из двух членов дизъюнкции; заключением является другой ее член: “А или В; неверно A./В”. Или: “A или В; неверно В/А”. Здесь A и В – некоторые высказывания, черта стоит вместо слова “следовательно”. Другая форма записи: А или В. Не-А. Следовательно, В. А или В. Не-В. Следовательно, A. Напр.: Множество является конечным или оно бесконечно. Множество не является конечным.__________ Множество бесконечно. Иногда эту схему рассуждения именуют дизъюнктивным силлогизмом.