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

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

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

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

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

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

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

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

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

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

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

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

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

А ⊻ В, В

_______

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

А ⊻ В, А (modus ponendo — tollens)

________

Ø В

А Ú В, Ø А А ⊻ В, Ø А

_________ _________

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

(modus tollen — ponens)

А Ú В, Ø В А ⊻ В, Ø В

________ _________

А А

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

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

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

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

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

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

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