Логика | страница 47

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

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

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

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

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

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