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



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

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

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

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

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

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

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

 

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

 

истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания. Напр.: Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q). Суд не оставил иск без рассмотрения (? q). Неверно, что иск предъявлен недееспособным лицом (?р). Схема отрицающего модуса:

 

Нетрудно установить, что возможны еще две разновидности условно-категорического силлогизма: от отрицания истинности основания к отрицанию истинности следствия и от утверждения истинности следствия к утверждению истинности основания.

 

Однако заключение по этим модусам не будет достоверным. Таким образом, из четырех модусов условно-категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий и отрицающий. Они выражают законы логики и называются правильными модусами условно-категорического умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия – к отрицанию основания. Два других модуса достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.

 

 

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

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

 

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

 

Сертификат может быть предъявительским (р) или именным (r).

 

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

 

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

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

 

 

 


Дата добавления: 2018-10-26; просмотров: 374; Мы поможем в написании вашей работы!

Поделиться с друзьями:






Мы поможем в написании ваших работ!