47. Чисто условное умозаключение

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

Например:

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

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

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

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

(р -> q) л (q -> г) /р —> г

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

48. Условно-категорическое умозаключение

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

Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий.

1. В утверждающем модусе (modus ponens) посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия;

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

Например:

Если иск предъявлен недееспособным лицом (р), то суд оставляет иск

без рассмотрения (q)

Иск предъявлен недееспособным лицом (р)

Суд оставляет иск без рассмотрения (q)

Утверждающий модус дает достоверные выводы. Он имеет схему:

p->q,p/q

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

Если иск предъявлен недееспособным лицом (р), то суд оставляет

иск без рассмотрения (q)

Суд не оставил иск без рассмотрения (не-q)

Неверно, что иск предъявлен недееспособным лицом (не-р)

Схема отрицающего модуса:

p->q,1q/1p

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

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

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

Кража бывает со взломом и без взлома. Эта кража была без взлома. Эта кража была не со взломом.

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

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

Нормативно-правовой акт бывает законом или подзаконным актом. Этот нормативно-правовой акт не является законом. Этот нормативно-правовой акт является подзаконным актом.

Утвердительный вывод получен посредством отрицания: отри¬цая один дизъюнкт, мы утверждаем другой.

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

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

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

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

A-B

C-B

A или С

----------

В

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

А-B

С-D

A или С

----------

В или D

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

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