42. Разделительно-категорическое умозаключение и его виды.

умозаключение, в котором одна из посылок - разделительное суждение, а другая - категорическое. Р.-к. у. имеет два модуса: 1) модус утверждающе-отрицающий; 2) модус отрицающе-утверждающий. Простейшая форма модуса (1) имеет вид: S есть Р1 или P2 (первая посылка); S есть Р1 (вторая посылка); S не есть P2 (заключение). Такую форму имеет, напр., следующее умозаключение: "Жидкие коллоидные системы бывают эмульсиями либо золями. Данная жидкая коллоидная система является эмульсией. Данная жидкая коллоидная система не является золем". В таком умозаключении для обеспечения его правильности в разделительной посылке союз "или" ("либо") должен употребляться в строго разделительном смысле (см.: Дизъюнкция). Простейшая форма модуса (2) имеет вид: S есть Р1 или P2, S не есть Р1; следовательно, S есть Р2. Пример:

Организмы бывают одноклеточными или многоклеточными.

Данный организм не является одноклеточным.

Данный организм является многоклеточным.

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

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

Разделительно-категорическое умозаключение имеет два модуса:

1) утверждающе-отрицательный;2) отрицательно-утверждающий.

Формула утверждающе-отрицательного модуса:

А есть или В, или С;А есть В;

Следовательно, А не есть С.

Формула отрицающе-утверждающего модуса:А есть или В, или С;

А не есть В;

Следовательно, А есть С.

43. Условно разделительные умозаключения (дилеммы). Виды дилемм. Умозаключение, в котором одна посылка условное, а другая – разделительное суждения, называется условно-разделительным, или лемматическим1.

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

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

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

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

Пример:

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

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

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

Пример:

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

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

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

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

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

(p->q)A(r->s),pvr • q v s

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

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

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

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

(p->q)A(p->r),1qv1r

1Р

Пример:                       ;

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

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

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

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

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

1pv1r

Пример:

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

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

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

44. Чисто условные умозаключения и их виды: контрапозиция. Чисто условным называется умозаключение, обе посылки которого являются условными суждениями. Напр.:

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

В приведенном примере обе посылки – условные суждения, причем следствие первой посылки является основанием второй (q), из которого, в свою очередь, вытекает некоторое следствие (r). Общая часть двух посылок (q) позволяет связать основание первой (р) и следствие второй (r). Поэтому заключение также выражается в форме условного суждения.

Схема чисто условного умозаключения:

(p > q) ? (q > r),

(Р > r).

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

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

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

Контрапозиция

(позднелат. contrapositio — противоположение, от лат. contra — против и pono — располагаю, ставлю)

        закон классической логики, гласящий: если из некоторого суждения А следует суждение В, то из отрицания (См. Отрицание) суждения В следует отрицание суждения А (или на языке условных суждений: из истинности суждения «Если А, то В» следует истинность суждения «Если не-В, то не-А »).