Логика. Учебник. 6-е издания
Шрифт:
Облигации могут быть предъявительскими (р) или именными (q).
Данная облигация предъявительская (q).
_____________________________
Данная облигация не является именной (не-q).
Схема утверждающе-отрицающего модуса:
yen — символ строгой дизъюнкции.
Заключение по этому модусу достоверно, если соблюдается правило: б'oльшая посылка
2. В отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Например:
Облигации могут быть предъявительскими (р) или именными (q).
Данная облигация не является предъявительской (не-р).
________________
Данная облигация именная (q).
Схема отрицающе-утверждающего модуса:
<p q>, р
________
q
< > — символ закрытой дизъюнкции.
Утвердительный вывод получен посредством отрицания: отрицая один дизъюнкт, утверждают другой.
Заключение по этому модусу достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения — дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным высказыванием. Применяя неполное (открытое) дизъюнктивное высказывание, достоверного заключения получить нельзя. Например:
Сделка может быть двусторонней или многосторонней.
Совершенная сделка не является двусторонней.
______________________
Совершенная сделка является многосторонней.
Однако это заключение может оказаться ложным, так как в большей посылке не указаны все виды сделок: посылка представляет собой неполное, или открытое, дизъюнктивное высказывание (сделка может быть и односторонней, для совершения которой достаточно изъявления юли одного лица — выдача доверенности, составление завещания, отказ от наследства и т. п.).
Разделительная посылка может включать не два, а три и больше членов дизъюнкции. Например, в процессе расследования причин пожара на складе следователь предположил, что пожар мог возникнуть либо в следствие неосторожного обращения с огнем (р), либо в результате самовоспламенения хранящихся на складе материалов (q), либо в результате поджога (г). В ходе расследования было установлено, что пожар возник вследствие неосторожного обращения с огнем (р). В этом случае все другие дизъюнкты отрицаются. Умозаключение принимает форму утверждающе-отрицающего модуса и строится по схеме:
р yen q yen r, р
___________
q yen r
Возможен и другой ход рассуждения. Допустим, предположения о том, что пожар возник вследствие неосторожного обращения с огнем или в результате самовоспламенения хранящихся на складе материалов не подтвердилась. В этом случае умозаключение примет форму отрицающе-утверждающего модуса и будет построено по схеме:
< р q r >, р r
___________________
r (пожар возник в результате поджога)
Заключение будет истинным, если в условной посылке учтены все возможные случаи.
Разделительно-категорическое умозаключение находит широкое применение в судебно-следственной практике, особенно при построении и проверке следственных версий (гл. XIII).
Вопросы для самопроверки
1. Какое умозаключение называется разделительно-категорическим?
2. Как строится утвержцающе-отрицающий модус? Каким суждением должна быть разделительная посылка этого модуса?
3. Как строится отрицающе-утверждающий модус? Каким суждением должна быть его разделительная посылка?
4. Приведите схемы модусов.
§ 3. УСЛОВНО-РАЗДЕЛИТЕЛЬНОЕ УМОЗАКЛЮЧЕНИЕ
Умозаключение, в котором одна посылка условное, а другая — разделительное суждение, называется условно-разделительным, или лемматическим[39].
Разделительное суждение может содержать две, три и большее число альтернатив[40], поэтому лемматические умозаключения делятся на дилеммы (две альтернативы), трилеммы (три альтернативы) и т. д.
Рассмотрим на примере дилеммы структуру и виды условно-разделительного умозаключения.
Различают два вида дилемм: конструктивную (созидательную) и деструктивную (разрушительную), каждая из которых делится на простую и сложную.
В простой конструктивной дилемме условная посылка содержит два основания, из которых вытекает одно следствие. Разделительная посылка утверждает оба возможных основания, заключение утверждает следствие. Рассуждение направлено от утверждения истинности оснований к утверждению истинности следствия.
Схема простой конструктивной дилеммы:
Пример:
Если обвиняемый виновен в заведомо незаконном задержании (р), то он подлежит уголовной ответственности за преступление против правосудия (r); если он виновен в заведомо незаконном заключении под стражу (q), то он также подлежит уголовной ответственности за преступление против правосудия (r).
Обвиняемый виновен или в заведомо незаконном задержании (р), или в заведомо незаконном заключении под стражу (q).