Логика - [24]

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

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

Первый и последний называются «правильными» модусами: они обеспечивают достоверный вывод; второй и третий – «неправильными» модусами: они не дают достоверного вывода – так рассуждать нельзя, это приведет к ошибке, в чем нетрудно убедиться.

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

Таким образом, если вы свое рассуждение строите по первому и последнему модусу – вы рассуждаете правильно; если же свое рассуждение вы строите по второму или третьему модусу – вы рискуете совершить ошибку.

5) «Идите сюда, – сказал я как-то трем студентам. – Вот у меня здесь 5 шапок: 3 белые и 2 черные. Закройте глаза, и я надену на каждого из вас шапку. Когда вы откроете глаза, то сможете увидеть, какого цвета шапки на ваших товарищах. Свою собственную шапку вы увидеть не сможете и не увидите, какие шапки остались у меня. Тот, кто догадается, какого цвета на нем шапка, сразу же получит зачет по логике».

Через некоторое время, не обменявшись ни единым словом, студенты закричали: «На мне белая шапка!» Пришлось мне всем троим поставить зачет. А вы бы догадались?

Разделительно-категорический силлогизм

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

Например, просыпаетесь вы утром и, еще лежа в постели, начинаете рассуждать: «Сегодня днем я могу пойти на свидание или на занятия. Пойду-ка я на свидание. Следовательно, на занятия я не пойду». Здесь первая посылка вашего рассуждения представляет собой разделительное суждение «Я могу пойти на свидание (A) или пойти на занятия (B)», символически: A v B. Вторая посылка утверждает одну из возможностей, указанных в разделительной посылке: «Я пойду на свидание» (A). Вывод отрицает вторую возможность: «Следовательно, я не пойду на занятия» (Не-B). Ясно, что вы можете рассуждать и несколько иначе: «Нет, на свидание я не пойду. Следовательно, я пойду на занятия». Символически эти два способа рассуждения можно представить следующим образом:

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

Но вот другой случай. Вы видите вашего знакомого, с изможденным видом бредущего по улице. «Он болен или беден», – думаете вы. Выясняется, что ваш знакомый давно и неизлечимо болен. «Значит, он не беден», – делаете вы вывод. Увы, разделительная посылка не является строго разделительной: болезнь и бедность отнюдь не исключают друг друга, особенно в наше время. Вывод может оказаться ошибочным.

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

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