Условные, разделительные и лемматические дедуктивные умозаключения.

Чисто условное умозаключение-умозаключение в котором все посылки и заключения условные суждения

Структура: если m то p

Если n то p

…................если m то р

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

Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются членами дизъюнк­ции, или дизъюнктами. Например, разделительное суждение «Облигации могут быть предъявительскими или именными» состо­ит из двух суждений — дизъюнктов: «Облигации могут быть предъявительскими» и «Облигации могут быть именными», соеди­ненных логическим союзом «или».

Утверждая один член дизъюнкции, мы с необходимостью должны отрицать другой и, отрицая один из них, — утверждать другой. В соответствии с этим различают два модуса разделительно-категорического умозаключения: утверждающе-отрицающий и отрицающеутверждающий.

● В утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка, категорическое суждение, утверждает один член дизъюнкции, заключение — также категорическое суждение — отрицает другой ее член. Например:

Облигации могут быть предъявительскими (р) или именными (q).

Данная облигация предъявительская (р).

Данная облигация не является именной (q).

Схема утверждающе-отрицающего модуса →

V — символ строгой дизъюнкции.

Заключение по этому модусу всегда достоверно, если соблюдается правило: большая посылка должна быть исключающее-разделительным суждением, или суждением строгой дизъюн­кции. Если это правило не соблюдается, достоверного заключе­ния получить нельзя. В самом деле, из посылок «Кражу совершил К. или Л.» и «Кража совершена К.» заключение «Л. кражу не совер­шал» с необходимостью не следует. Возможно, что Л. также при-частен к совершению кражи, является соучастником К.

● В отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Например:

Облигации могут быть предъявительскими (р) или именными (q).

Данная облигация не является предъявительской (1 р).

Данная облигация именная (q).

Схема отрицающе-утверждающего модуса →

< > — символ закрытой дизъюнкции.

Утвердительный вывод получен посредством отрицания: отри­цая один дизъюнкт, мы утверждаем другой. Заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке должны быть перечис­лены все возможные суждения — дизъюнкты, иначе говоря, боль­шая посылка должна быть полным (закрытым) дизъюнктивным высказыванием. Применяя неполное (открытое) дизъюнктивное высказывание, достоверного заключения получить нельзя.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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