Юрий Ивлев - Логика для юристов: Учебник.

А → В, А ,

________ .

В

Умозаключения такой формы относятся к утверждающему модусу (modus ponens), а умозаключения формы:

А → В,  В

__________

 А

— отрицающему модусу (modus tollens). Умозаключения этих логических форм являются правильными, а умозаключения, например, следующих форм:

А → В, В,

________ ;

А

А → В,  А

__________

 В

— неправильными. Эти правильные и неправильные способы рассуждения следует запомнить и различать.

Чтобы выяснить, является ли условно-категорическое умозаключение правильным или нет, нужно выявить его форму и установить, относится оно к одному из правильных модусов или нет. Если оно относится к правильному модусу, то оно правильное. В противном случае — неправильное.

Примеры:

Если на хлебоприемном пункте систематически создастся неучтенный резерв зерна, то на нем имеет место хищение зерна.

На хлебоприемном пункте имеет место хищение зерна.

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

Форма этого умозаключения:

А → В,В

________

А

Умозаключение неправильное.

Если человек умирает, не узнав, что такое любовь, то он уносит с собой в могилу свое горе. Человек умер, не полюбив.

____________________________________________________________________

Он унес в могилу свое горе.

Форма: А → В,А

________

В

Умозаключение правильное.

Упражнение 1

Являются ли правильными следующие условно-категорические умозаключения?

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

В магазине при ревизиях не обнаруживаются одни и те же безучетные запчасти.

В данном магазине не реализуются похищенные запчасти.

2. Если бы Косоротов совершил это убийство, то он был бы на месте преступления в ту ночь, когда оно было совершено. В ту ночь, когда оно было совершено, Косоротов не был на месте преступления, так как он был в другом месте. Следовательно, Косоротов не совершил этого убийства.

3. Если солнце взошло, то настало утро.

Солнце взошло.

Настало утро.

4. Если не зафиксировано изъятие следов преступной деятельности в протоколе, то процессуальный порядок следственного действия не соблюден. Процессуальный порядок следственного действия соблюден. Следовательно, изъятие следов преступной деятельности зафиксировано в протоколе.

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

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

Формы правильных разделительно-категорических умозаключений:

А ⊻ В,В

_______

 А — утверждающе-отрицающий минус

А ⊻ В,А (modus ponendo — tollens)

________

 В

А  В , А А ⊻ В , А

_________ _________

В В — отрицающе-утверждающий модус

(modus tollen — ponens)

А  В , В А ⊻ В , В

________ _________

А А

Примеры умозаключений утверждающе-отрицающего модуса.

Это преступление совершено путем действия или же оно совершено путем бездействия. Это преступление совершено путем бездействия. Следовательно, оно не совершено путем действия.

Петров постоянно проживает в Москве или Архангельске. Он постоянно проживает в Москве. Следовательно, он не проживает постоянно в Архангельске.

Для установления правильности умозаключения рассматриваемого вида необходимо выяснить, относится ли оно к одному из правильных модусов. Если относится, то оно правильное. В противном случае — неправильное.

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

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

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

Упражнение 2

Обоснованы ли заключения в следующих разделительно-категорических умозаключениях, если нет, то почему?

1. Состав преступления может быть либо составом преступления со смягчающими, либо составом преступления с отягчающими обстоятельствами.

Этот состав преступления не является составом преступления с отягчающими обстоятельствами.

Следовательно, этот состав преступления является составом преступления со смягчающими обстоятельствами.

2. Этот человек инженер или рабочий.

Он рабочий.

Следовательно, он не инженер.

3. Преступление может быть совершено путем действия или путем бездействия.

Это преступление не совершено путем действия.

Следовательно, это преступление совершено путем бездействия.

4. Небесными телами являются планеты или звезды.

Это небесное тело не является звездой.

Следовательно, это небесное тело является планетой.

5. Имена бывают единичными или общими.

Имя “Россия” является единичным.

Следовательно, имя “Россия” не является общим.

Дилеммы. Название этих умозаключений происходит от греческих слов “ди” — дважды и “лемма” — предположение. Дилемма — это умозаключение из трех посылок: две посылки — условные суждения, а одна — разделительное суждение.

Дилеммы делятся на простые и сложные, конструктивные и деструктивные.

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

Конструктивные Деструктивные

п

р

о А → C , B → C A → B , A → C ,

с A  B  B  C ,

т ____________ ____________

ы C  A

е

с

л

о A → B , C → D , A → B , C → D ,

ж A  C  B  D

н __________ ___________

ы B  D  A  C

е

Эти схемы следует запомнить.

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

Если смерть — переход в небытие, то она благо.

Если смерть — переход в мир иной, то она благо.

Смерть — переход в небытие или в мир иной.