Закон Клавия

Конструктивная и деструктивная дилеммы

Дилеммами называются рассуждения, посылками которых являются по меньшей мере два условных высказывания (высказывания с «если, то») и одно разделительное высказывание (высказывание с «или»).

Выделяются следующие разновидности дилеммы.

Простая конструктивная (утверждающая) дилемма:

Если А, то С.

Если В, то С.

А или В.

С

Например: «Если прочту детектив Агаты Кристи, то хорошо проведу вечер; если прочту детектив Жоржа Сименона, тоже хорошо проведу вечер; прочту детектив Кристи или прочту детектив Сименона; значит, хорошо проведу вечер».

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

Если бы было справедливо первое допущение, теорема была бы верна;

при справедливости второго допущения теорема также была бы верна;

при верном третьем допущении теорема верна;

если верно четвертое допущение, теорема верна;

справедливо или первое, или второе, или третье, или четвертое допущение.

Значит,-теорема верна.

Сложная конструктивная дилемма:

Если А, то В.

Если С, то Д.

А или С.

В или Д.

Например: «Если будет дождь, мы пойдем в кино; если будет холодно, пойдем в театр; будет дождь или будет холодно; следовательно, мы пойдем в кино или пойдем в театр».

Простая деструктивная (отрицающая) дилемма:

Если А, то В.

Если А, то С.

Неверно В или неверно С.

Неверно А.

Например: «Если число делится на 6, то оно делится на 3; если число делится на 6, то оно делится на 2;

рассматриваемое число не делится на 2 или не делится на 3; следовательно, число не делится на 6».

Сложная деструктивная дилемма:

Если А, то В.

Если С, то Д.

Не-В или не-Д.

Не-А или не-С.

Например: «Если поеду на север, то попаду в Тверь; если поеду на юг, то попаду в Тулу; но не буду в Твери или не буду в Туле; следовательно, не поеду на север или не поеду на юг».

Этот закон можно передать так: если из отрицания некоторого высказывания вытекает само это высказывание, то оно является истинным. Или, короче: высказывание, вытекающее из своего собственного отрицания, истинно.

Если неверно, что А. то А.

А

Например: если условием того, чтобы машина не работала, является ее работа, то машина работает.

Закон назван именем Клавия — ученого-иезуита, жившего в XVI в., одного из создателей григорианского календаря. Клавий обратил внимание на этот закон в своем комментарии к «Началам» Евклида. Одну из своих теорем Евклид доказал из допущения, что она является ложной.

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

В романе И.С.Тургенева «Рудин» есть такой диалог:

— Стало быть, по-вашему, убеждений нет?

— Нет — и не существует.

— Это ваше убеждение?

— Да.

— Как же вы говорите, что их нет? Вот вам уже одно на первый случай.

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

К закону Клавия близок по своей логической структуре другой закон, отвечающий этой же общей схеме: если из утверждения вытекает его отрицание, то последнее истинно. Например, если условием того, что поезд прибудет вовремя, будет его опоздание, то поездопоздает. Схема этого рассуждения такова:

Если А, то не-А.

Не-А.

Эту схему однажды использовал древнегреческий философ Демокрит в споре с софистом Протагором. Последний утверждал: «Истинно все то, что кому-либо приходит в голову». На это Демокрит ответил, что из положения «Каждое высказывание истинно» вытекает истинность и его отрицания: «Не все высказывания истинны». И, значит, это отрицание, а не положение Протагора на самом деле истинно.

§ 4. О так называемых «основных» законах логики

В прошлом веке получила широкое распространение концепция «расширенной» формальной логики. Ее сторонники резко сдвинули центр тяжести логических исследований с изучения правильных способов рассуждения на разработку проблем теории познания, причинности, индукции и т.д. В логику были введены темы, интересные и важные сами по себе, но не имеющие к ней прямого отношения. Собственно логическая проблематика отошла на задний план. Вытеснившие ее методологические проблемы трактовались, как правило, упрощенно, без учета динамики научного познания.

С развитием математической логики это направление в логике, путающее ее с поверхностно понятой методологией и пронизанное психологизмом, постепенно захирело.

Дата добавления: 2014-10-31