13. Логические парадоксы
Задача о пленнике, который заявил, что он будет сожжен заживо (задача 6 из гл. 12), дает пример порочного круга.
Если мы предположим, что это утверждение истинно, то придем к заключению, что оно ложно.
Если же предположить, что оно ложно, то отсюда будет следовать, что оно истинно.Можно привести многочисленные примеры рассуждений подобного типа.
ВСЕ КРИТЯНЕ — ЛЖЕЦЫ
Один из наиболее древних парадоксов такого типа восходит к античности.
Речь идет об утверждении: «Все критяне — лжецы».
Это невинное на первый взгляд утверждение не заслуживает особого внимания, если его произнесет иностранец. Действительно, здесь возникают две очевидные гипотезы:
либо все критяне действительно лжецы, и в этом случае утверждение истинно;
либо не все критяне лжецы, и тогда оно ложно.
Дело усложнится, если эту фразу скажет житель Крита. Действительно, если это утверждение истинно и все критяне — лжецы, то сам автор высказывания тоже лжец, а значит, он не мог сказать правду и наше утверждение ложно. Если же это высказывание ложно и критяне не лжецы, то наше высказывание должно быть истинным. Как и в предыдущем случае, мы получаем порочный круг.
Однако такое рассуждение не точно. В самом деле, ведь ложность утверждения «все критяне — лжецы» вовсе не означает, что «все критяне не лгут»,— возможно, что всего лишь «не все критяне лгут».
Поэтому данный житель Крита солгал. Но здесь нет никакого парадокса, ибо каждый отдельно взятый житель Крита может как солгать, так и сказать правду.
В некоторых логических задачах, как, например, в задаче про «дверь свободы» (задача 12, гл. 12), встречаются чисто сказочные персонажи: одни из них всегда говорят только правду, другие же постоянно лгут. Подобного рода оговорки подразумеваются и в парадоксе с Критянами — и лишь тогда мы получаем в самом деле парадокс.
Парадокс с критянами можно объяснить и по-другому.
В обществе, все члены которого постоянно лгут, никто никогда не скажет, что члены этого общества постоянно лгут, поскольку это правда.
Если все критяне — лжецы и их попросят сказать свое мнение на эту тему, то они дружно ответят, что все критяне говорят только правду. Тем более критяне скажут, что все они говорят правду, если это действительно так. Поэтому само утверждение, что критянин сказал «все критяне — лжецы», невозможно.
Мы видим, что даже относительно простое утверждение может таить в себе свое отрицание, может приводить к «противоречию».
Этот момент становится особенно важным в математике и логике, где рассуждения проводятся лишь в рамках непротиворечивых теорий. Как только в теории обнаружатся два «доказуемых» противоречивых предложения (т. е. предложение Л, которое оказывается истинным вместе со своим отрицанием — предложением «не Л»), все здание теории рушится. В частности, логические рассуждения, используемые в противоречивой теории, не приводят ни к чему.
У ВСЯКОГО ПРАВИЛА ЕСТЬ ИСКЛЮЧЕНИЕ
У всякого правила есть исключение.
Но предыдущее утверждение — правило.
Значит, у него есть исключение.
Следовательно, не у всякого правила есть исключение.
Четыре предыдущие фразы противоречивы. Мы начинаем с некоего утверждения и приходим к его отрицанию.
В чем причина этого противоречия? Она в начальной фразе «у всякого правила есть исключение». Можно сделать вывод, что это утверждение заведомо ложно.
В самом деле, если это утверждение истинно, то мы приходим к тому, что оно ложно. Напротив, если это утверждение ложно, то, значит, есть правила, у которых нет исключений, и мы не получаем никакого противоречия.
Таким образом, истина состоит в том, что имеются правила, у которых нет исключений.
ДАННОЕ УТВЕРЖДЕНИЕ ЛОЖНО
Мы довольно легко проанализировали два предыдущих парадокса и нашли, где скрывается истина. Но гораздо большие тонкости содержатся в парадоксе: «Данное утверждение ложно».
Мы можем рассмотреть две гипотезы:
либо данное утверждение ложно; но поскольку оно
ложно, то получается, что оно истинно;
либо данное утверждение истинно.
Но тогда оноложно.
На этот раз нам не удастся избежать порочного круга. Если утверждение ложно, то оно истинно, а если оно истинно, то оно же ложно. Что можно вывести отсюда, кроме того, что данное утверждение не истинно и не ложно?
Возьмем другой пример:
Следующее утверждение ложно.
Следующее утверждение истинно.
Следующее утверждение ложно.
Следующее утверждение истинно.
Первое утверждение ложно.
Если первое утверждение истинно, то второе утверждение ложно. Но это значит, что ложно и третье утверждение. Следовательно, четвертое утверждение истинно — а значит, истинно и пятое утверждение, т. е. первое утверждение ложно.
Если же первое утверждение ложно, то второе, а значит, и третье утверждения истинны. В этом случае четвертое утверждение ложно, т. е. ложно и пятое утверждение,— а поэтому первое утверждение истинно.
Этот парадокс на первый взгляд более запутан, чем предыдущий, поскольку в нем содержатся пять утверждений вместо одного. Но он приводит к тому же выводу: начиная с утверждения А, которое мы
считаем истинным, мы приходим к выводу, что утверждение «не Л», т. е. отрицание Л, тоже истинно. Значит, множество наших утверждений противоречиво — и из него нельзя вывести ничего путного.
Можно исследовать несколько простых примеров с утверждениями истинными, ложными или противоречивыми.
Рассмотрим следующее утверждение: «Лошадь Жана — черная».
Возможно одно из двух: либо лошадь Жана действительно черная, и тогда это утверждение истинно; либо же она не черная, и тогда наше утверждение ложно.
Но как обстоит дело с утверждением: «Черная лошадь Жана — белая»?
Первая часть этой фразы говорит нам о том, что лошадь Жана черная, а вторая часть — что эта лошадь белая.
Дабы избежать в этом парадоксе возможности прибегнуть к какой-нибудь увертке, добавим, что здесь речь не идет о черной лошади с белыми пятнами, и уточним наше утверждение следующим образом: «Совершенно черная лошадь Жана совершенно бела»
Хотя с точки зрения грамматики эта фраза составлена безукоризненно, логически она бессмысленна (противоречива).
Даже если лошадь Жана окажется белой, мы не можем сказать, что данное утверждение истинно, поскольку в нем речь идет о черной лошади. Но мы также не можем сказать, что оно ложно. Можно лишь заметить, что эта противоречивая фраза никакой информации нам добавить не может. Поэтому бесполезно обсуждать ее далее, над ней можно лишь посмеяться. Или сухо констатировать, что эта фраза внутренне противоречива,— вот и все.
К тому же типу принадлежит и фраза «данное утверждение ложно». Парадокс состоит в том, что это утверждение внутренне противоречиво; из него можно вывести с равным успехом и Л, и «не А».
Но почему именно противоречиво это утверждение?
Мы уже видели, что если все критяне — лжецы, то ни один из них не скажет, что все критяне — лжецы.
Точно так же никто, оставаясь в рамках строгой, привычной нам логики, не сформулирует противоречивое утверждение.
Как в обычной жизни никто, находясь в здравом уме и твердой памяти, не скажет «черная лошадь Жана — белая», так и в мире логики никто не скажет «данное утверждение ложно». Парадокс основан лишь на том, что нелогичный характер этого утверждения менее очевиден, чем в случае с черной лошадью.
После этих предварительных примеров мы можем взяться за две более трудные задачи. Одна из них — это модифицированный вариант «двери свободы» (см. задачу 12 из гл. 12), а вторая — это так называемый «парадокс повешенного».
ДВЕРЬ СВОБОДЫ, НОВЫЙ ВАРИАНТ
В данном варианте султан помещает узника в темницу с двумя дверями — «дверь свободы» и «дверь рабства», но теперь вместе с узником находится лишь один человек — скажем, слуга султана.
Этот слуга либо всегда говорит правду, либо всегда лжет, либо иногда говорит правду, а иногда лжет. При этом слуга — аккуратист и логик; он всегда использует лишь строгие «логические» высказывания, для которых можно однозначно определить, истинно ли данное утверждение или ложно; противоречивыми высказываниями слуга никогда не пользуется.
Узник имеет право задать слуге один и только один вопрос.
Может ли он с уверенностью определить «дверь свободы», заранее, разумеется, не зная, лжет ли слуга или говорит правду?
В аналогичной задаче из предыдущей главы фигурировали двое слуг, один из которых всегда лгал, а другой всегда говорил правду. Поэтому утверждение, которое делает один слуга, ссылаясь на другого, обязательно ложно.
Теперь у нас только один слуга. Поэтому каким бы ни был заданный вопрос, узник как будто никак не сможет определить, правдив ли ответ на этот вопрос,— и, следовательно, не сможет определить «дверь свободы» с уверенностью.
Однако не следует торопиться. Нет ли ошибки в этом выводе? к обсуждению данной ситуации мы вернемся в конце главы.
ПАРАДОКС ПОВЕШЕННОГО
Одного человека приговорили к казни через повешение.
Однажды воскресным утром судья, который никогда не лгал, сказал ему: «Вы будете повешены в один из дней на следующей неделе. Когда именно вас повесят, вы узнаете только утром в день вашей казни».
Вернувшись в свою камеру, узник задумался и стал рассуждать следующим образом.
Меня не могут повесить в следующее воскресенье, поскольку в противном случае я буду знать об этом
не воскресным утром, а уже в субботу вечером — ведь других дней недели, кроме воскресенья, уже не останется. Но правдивый судья сказал, что я узнаю о дне казни только утром этого дня. Значит, меня никак не могут повесить в воскресенье; другими словами, последний день, когда может совершиться казнь,— это суббота. Но и в субботу меня повесить тоже не могут, ибо поскольку я знаю, что в воскресенье меня не повесят, то если в пятницу утром ко мне не придут с объявлением о казни, в пятницу вечером я буду твердо знать, что меня повесят в субботу. Однако правдивый судья сказал, что о дне казни я узнаю лишь утром дня казни, а не накануне вечером. Значит, в субботу меня повесить не могут — и последним возможным днем казни становится пятница.
Так рассуждая, осужденный исключил последовательно пятницу, четверг, среду, затем вторник и, наконец, понедельник.
В результате он пришел к выводу, что его вообще не могут повесить, поскольку ни один день недели не удовлетворяет условиям, сформулированным судьей.Мы столкнулись здесь с первым парадоксом: человек, который всегда говорит правду (судья), формулирует предписание, выполнить которое невозможно.
Но история еще не закончена. На самом деле во вторник утром осужденного совершенно неожиданно для него предупредили, что его сегодня днем повесят. В силу сказанного выше он этого не ожидал — и, значит, условие судьи было полностью выполнено. В то время как чисто логически приговор был невыполнимым, в действительности именно из-за этой невыполнимости его удалось выполнить, соблюдая названное честным судьей условие. Этот парадокс, впервые сформулированный около тридцати лет назад, буквально утонул в море чернил. Для него было предложено много разных объяснений — но ни одно из них нельзя признать удовлетворительным.
Чтобы проанализировать этот парадокс, попытаемся поставить задачу более четко. Для этого мы дадим судье двух помощников: В (он в дальнейшем будет вытягивать шары) и О (этот будет открывать ящики с шарами). Кроме того, дабы поставить задачу во всей ее общности, отныне мы будем считать, что возможных дней казни имеется не 7, а п, где п — произвольное (целое положительное) число.
Прежде всего обсудим, как именно выбирает судья день казни.
Первый помощник судьи, В, ведает принадлежностями, позволяющими выбирать день казни «случайным образом», а именно:
мешком, в котором находится один черный шар и п— 1 белых шаров (всего п шаров);
п закрытыми ящиками, пронумерованными от 1 до п.
Чтобы определить день казни, В вытягивает наудачу шары из мешка и помещает их последовательно в ящик 1, затем в ящик 2 и т. д.
После этого в дело вступает второй помощник судьи, О, который открывает сначала ящик 1, затем ящик 2 и т. д., пока не обнаружит черный шар. Если черный шар окажется, например, в ящике 6, то казнь совершится в шестой день.
Заметим, что эта новая задача не полностью эквивалентна предыдущей, поскольку ранее не говорилось, что судья выбирает день казни случайным образом. Но здесь речь идет о важном для нашего обсуждения моменте, который необходимо учесть, оговорив специально, поступает или не поступает подобным образом судья при выборе дня казни.
Кроме того, нам также предстоит исследовать влияние числа п дней, в которые возможна казнь.
Можно заметить, что в первоначальной формулировке парадокса это число — а именно 7 — выбрано очень удачно.
Будь это число меньше, нам легче было бы разобраться в решении. Будь оно слишком большим, это сделало бы менее очевидным сам парадокс.
Перед тем как начать довольно сложный анализ данного парадокса, уточним, что наши рассуждения не во всех случаях поведут читателя дорогой истины. Только раздел, озаглавленный «Решение парадокса», содержит рассуждение, представляющееся нам безошибочным.
Начнем со случая, когда есть лишь один день, в который возможна казнь. Задача в этом случае формулируется так:
судья всегда говорит правду;
судья говорит осужденному: вы будете повешены завтра;
судья говорит осужденному: вы не узнаете о дне своей казни до завтрашнего утра.
Очевидно, что здесь второе и третье утверждения противоречивы. Парадокс в данном случае объясняется так же легко, как и в случае фразы «данное утверждение ложно». Речь просто идет об условии, сформулированном настолько противоречиво, что из него ничего нельзя вывести, поскольку правила логики здесь нару шены.
Обратимся в этом случае к языку шаров. Судья го> ворит осужденному: «В ящике лежит один черный шар; вы не узнаете, что в ящике лежит черный шар, пока не откроете ящик».
Вновь противоречие сразу бросается в глаза.
Вспомним теперь, как рассуждал приговоренный, чтобы сделать очевидными два вывода, которые тривиальны в рассматриваемом нами случае и которые будут повторены и далее, при рассмотрении общего случая.
Осужденный может сказать: судья, который всегда говорит правду, утверждает, что я не смогу узнать, где находится черный шар, до того, как открою ящик. Но это означает, что черного шара в ящике нет; в то же время тот же правдивый судья говорит, что черный шар там есть.
Первый вывод состоит в напоминании о том, что это рассуждение основано на одновременной «истинности» двух противоречивых утверждений, из которых нельзя вывести ровно ничего, кроме того, что информация наша ничего не стоит,— и, значит, черный шар может как быть в ящике, так и не быть.
Кроме того, обратимся к изложенному выше концу этой истории. Судья открывает ящик. Там лежит черный шар. Осужденный не знал, лежит ли в ящике черный шар или нет, ибо противоречивое высказывание судьи он вообще не мог никак учитывать. Значит, оба утверждения судьи оказались верными. Можно думать, что таким образом нам удалось избежать противоречия.
Именно потому, что утверждения судьи противоречивы, осужденный и не может сказать с уверенностью, есть ли в ящике черный шар или нет. И отсюда напрашивается второй вывод: из трех основных утверждений задачи именно первое оказывается ложным: судья не всегда говорит правду.
Получилось так, что на этот раз он сказал правду. Но поскольку он говорит ее не всегда, осужденный не может ничего вывести из двух утверждений судьи.
Ведь если предположить, что судья всегда говорит правду, то эти два утверждения становятся противоречивыми. Но поскольку судья не всегда говорит правду, в ящике может оказаться черный шар, а заключенный тем не менее не будет знать с уверенностью, так ли это или нет, т. е. слова судьи о том, что до того, как ящик будет открыт, подсудимый о его содержании не узнает,— это правда.
Исследуем теперь случай, когда возможных дней два, и, значит, мы будем иметь дело с двумя ящиками и двумя шарами — белым и черным.
Поскольку шары вытягиваются из мешка случайным образом, есть один шанс из двух, что черный шар окажется во втором ящике.
Если бы второй помощник, О, открывал оба ящика одновременно, судья мог бы, очевидно, сказать, что осужденный не узнает местоположение черного шара до того, как ящики будут открыты.
Но ящики открываются последовательно. Поэтому если в ящике 1 не окажется черного шара, то заключенный будет знать, что он лежит в ящике 2, еще до того, как этот ящик откроют.
Здесь снова условия задачи оказываются противоречивыми.
В более общем виде мы можем рассуждать следующим образом.
Если п шаров вынимают случайным образом и помещают в п ящиков, то существует один шанс из п, что черный шар окажется в последнем ящике. Следовательно, судья никак не может утверждать, что осужденный ни в коем случае не узнает, где находится черный шар, до того, как ящик с этим шаром не будет открыт. Условия задачи вновь оказываются противоречивыми.
Напротив, если судья сам выбирает местоположение черного шара, то он может сформулировать свои утверждения непротиворечивым образом.
Например, при п = 365 судья может выбрать один из дней восемнадцатой недели, не давая осужденному никакого повода предпочесть этот день какому-либо другому.
В случае когда судья выбирает местоположение черного шара сам, объяснение парадокса меняется в зависимости от числа шаров.
В случае одного шара объяснение такое же, как и ранее: судья формулирует задачу с противоречивыми условиями, и более о ней нечего говорить, как нечего говорить о «черной лошади, которая является белой».
В случае двух шаров судья утверждает, что: в одном из двух ящиков лежит черный шар; два ящика будут открыты последовательно; осужденный не сможет узнать, где находится черный
шар, прежде чем не откроют ящик, где он лежит.
Осужденный тогда будет рассуждать следующим образом:
если черный шар находится в ящике 2, то я узнаю об этом до того, как откроют ящик 2, поскольку увижу белый шар в ящике 1;
значит, черный шар не может находиться в ящике 2;
следовательно, он находится в ящике 1;
но если он находится в ящике 1, то, значит, мне из
вестно об этом до того, как этот ящик будет открыт.
Следовательно, предписание судьи невыполнимо.
В первоначальном варианте истории осужденный решил, что его вообще никогда не повесят.
В данном примере его вывод состоит в том, что в двух ящиках вообще нет черного шара.
Что можно вывести отсюда? Что судья сформулировал противоречивое предписание? Что рассуждения приговоренного ложны? Данный пример особенно прост, поскольку есть только два ящика. Условия задачи не кажутся двусмысленными. Однако парадокс здесь все-таки возникает.
Условия судьи ясны. Предположим, что в них нет противоречия, и вновь шаг за шагом проследим за рассуждениями приговоренного. Черный шар не может оказаться в ящике 2, поскольку в противном случае осужденный знал бы об этом до того, как откроют ящик 2, а именно сразу же после того, как будет открыт ящик 1
Поскольку судья говорит правду, в одном из ящиков находится черный шар. А поскольку речь никак не может идти о ящике 2, то, значит, речь должна идти о ящике 1.
Следовательно, осужденный заранее знает, что черный шар находится в ящике 1. Но это противоречит третьему утверждению судьи; значит, условия задачи противоречивы.
Как и в случае п=1, решение парадокса состоит в том, что судья не всегда говорит правду. На этот раз его утверждения оказались справедливыми. Но поскольку он не всегда говорит правду, то осужденный не сможет построить свое рассуждение так, чтобы прийти к утверждению, истинность которого удалось бы установить заранее.
Источник противоречия здесь приходится искать в утверждениях судьи.
О чем, строго говоря, идет речь? О событии, состоящем в том, что последовательно открывают два ящика, в которых находится один белый и один черный шар. Не известно, где именно находится каждый шар,— и мы хотели бы это обнаружить.
Местоположение шаров становится известным после вскрытия первого ящика. С этого момента интересующее нас событие можно считать полностью реализованным — а по смыслу задачи судья вынуждает осужденного делать предсказание после вскрытия первого ящика, т. е. после того, как событие уже реализовалось.
Значит, поставленная судьей задача не имеет смысла.
Задержимся на этой стадии анализа, чтобы осознать крайнюю сложность рассматриваемого парадокса.
Решение будет различно в зависимости от того, определяется ли положение черного шара случайным образом или выбирается судьей.
В первом случае условия задачи противоречивы.
Во втором случае, при п=1, условия задачи тоже противоречивы.
При п = 2 условия, поставленные судьей, не имеют смысла.
При п = 365 судья действительно может выбрать ящик, не давая осужденному возможности узнать его номер заранее, и, следовательно, ложны именно рассуждения осужденного.
Подвергнем теперь столь же тщательному анализу случай, когда имеются три ящика.
Судья утверждает, что:
два белых и один черный шар находятся в трех ящиках, пронумерованных номерами от 1 до 3; эти ящики открывают последовательно один за другим;
осужденный не сможет узнать, где именно находится черный шар, до того, как будет открыт ящик, в котором этот шар находится.
Пользуясь теми же рассуждениями, что и в исходном варианте задачи, осужденный делает вывод, что черный шар не может находиться ни в ящике 3, ни в ящике 2, ни, наконец, в ящике 1 — и, следовательно, что черного шара вообще нет ни в одном из ящиков.
Проанализируем это рассуждение, как и ранее, отправляясь от предположения, что в утверждениях судьи нет противоречий, точнее говоря, считая, что в одном из трех ящиков действительно находится черный шар
Местоположение черного шара наверняка становится известным после открытия ящика 2. Следовательно, судья не может положить черный шар в ящик 3 — и осужденному это известно.
Значит, судья может положить черный шар либо в ящик 1, либо в ящик 2.
Если он положит шар в ящик 2, то, после того как откроют ящик 1, все сведется к предыдущему случаю — и осужденному станет известно, что черный шар находится в ящике 2.
Обязан ли теперь судья положить черный шар в ящик 1? Если бы это было так, то мы вновь пришли бы к выводу, что это заранее известно осужденному,— и условия задачи окажутся противоречивыми.
Но проведенный таким образом анализ, совпадающий с тем, который проводился в исходном варианте парадокса, не полон, ибо учитывает лишь рассуждения приговоренного к казни.
В случае когда осужденный знает, что судья говорит правду, он уверен, что черный шар не находится в ящике 3. Поэтому в момент, когда ящик 1 уже открыт и в нем обнаружен белый шар, осужденному станет известно, что черный шар находится в ящике 2.
Но давайте рассмотрим момент перед тем, как откроют ящик 1. Что может сказать осужденный? Он знает, что имеется черный шар и что он находится не в ящике 3. Но может ли он утверждать, что этот шар лежит скорее в ящике 1, чем в ящике 2?
Предположим, что речь идет об игре с двумя участниками, одного из которых назовем «судьей», а другого — «осужденным». Судья требует, чтобы осужденный предсказал, в каком из трех последовательно открываемых ящиков находится черный шар. Как представить себе эту игру? В начале партии, т. е. до открытия ящика 1, судья требует, чтобы осужденный сказал, где находится черный шар. Если осужденный укажет на ящик 1 и если его предсказание не подтвердится, то потребует ли судья нового предсказания (и так до тех пор, пока черный шар не будет найден) или мы будем считать, что осужденный проиграл партию и следует начать новую?
Другими словами:
Будет ли осужденный прежде всего утверждать, что черный шар находится в ящике 1?
Затем, если он ошибся, то позволит ли ему судья утверждать, что черный шар находится в ящике 2?
Наконец (почему бы и нет?), если это снова окажется неверным, то позволит ли судья ему утверждать, что черный шар находится в ящике 3?
В этом случае становится ясным решение парадокса, которое можно дать двумя разными способами:
1) условия задачи, поставленной судьей, двусмысленны. Судья требует от осужденного, чтобы тот сформулировал предсказание: уточняя, что осужденный не сможет определить положение черного шара, судья требует, чтобы он его постарался найти. И он, по сути, позволяет ему делать то, что не имеет смысла,— формулировать многочисленные предсказания в случае, если первые окажутся ложными;
2) рассуждение приговоренного проходит только в том случае, если допустить, что он может делать многочисленные последовательные проверки, касающиеся местоположения черного шара.
В самом деле, осужденный не может быть уверен, что черный шар находится в ящике 1, до того, как этот ящик будет открыт.
Окончательно, ключ к парадоксу двойствен: судья ставит задачу, условие которой с логической
точки зрения лишено смысла;
осужденный строит свои рассуждения, основываясь
на утверждениях судьи (которые, будучи алогичными, не могут привести ни к чему или, если вам так удобнее считать, могут привести к чему угодно), интерпретирует двумя различными способами слово «ожидаемый»; наконец, его рассуждения неполны.
Судья говорит, что событие будет «неожиданным». Но что мы понимаем под «ожидаемым»? Ожидаем ли мы, что черный шар окажется в некотором ящике, до того, как этот ящик будет открыт? Или мы ожидаем, что он находится в одном из ящиков, до того, как будет открыт первый ящик? Рассуждения приговоренного неполны именно потому, что он не задумывался над вопросом о том, что происходит до того, как открывают первый ящик. Учитывая, что условия задачи, поставленной судьей, сами неполны и нелогичны, этот дефект рассуждений легко просмотреть.
Но ситуация существенно меняется, когда п достаточно велико. Например, если число шаров равно 365, то задача, поставленная судьей, вполне осмысленна. Ее условия корректны и не противоречивы. Как мы уже говорили, ему достаточно, например, выбрать один из дней на восемнадцатой неделе (если перейти к назначению дня казни), чтобы три соответствующих утверждения стали справедливыми.
Напротив, рассуждения приговоренного, согласно которым черный шар не может оказаться на 365-м месте, затем на 364-м месте, затем на 363-м месте и т. д., ложны. Его рассуждения на самом деле приводят к выводу, что черный шар находится в ящике 1 и что там его и следует ждать. Затем если в ящике 1 черного шара не окажется, то его следует ожидать в ящике 2, потом в ящике 3 и т. д. Другими словами, осужденный не может точно сказать, есть ли в данном ящике черный шар, до того, как этот ящик будет открыт. Сумма соответствующих ожиданий приводит лишь к абсолютной уверенности в том, что черный шар находится в одном из 365 ящиков — но это-то мы ведь знали с самого начала.
Новая задача. Таким образом, мы оказались перед лицом новой проблемы. Когда число шаров мало, усло- 79
вия задачи, поставленной судьей, не имеют смысла.
Напротив, когда число шаров велико, условия поставленные судьей, имеют смысл, а неверными оказы
ваются рассуждения приговоренного.
При каком числе шаров[12] совершается переход от
первого случая ко второму?
Вторая задача. А теперь — вторая задача. После того как мы далеко продвинулись в изучении данного парадокса, после того как мы сочли его уже практически решенным, если мы попытаемся провести рассуждение по индукции, то вновь столкнемся с этим парадоксом, возродившимся из пепла и еще более изощренным, чем раньше.
Пусть мы уже показали, что при пг шарах задача, поставленная судьей, не имеет смысла. Что будет, если мы возьмем т+1 шар?
Приговоренный может рассуждать следующим образом:
если бы черный шар оказался в одном из m последних ящиков, задача, поставленная судьей, не имела бы смысла;
значит, если эта задача имеет смысл, черный шар должен оказаться в ящике 1;
итак, я знаю, что черный шар лежит в ящике 1; но это противоречит утверждению судьи, согласно которому я не смогу узнать, в каком ящике лежит черный шар, до того, как этот ящик будет открыт;
следовательно, и при числе шаров, равном т+1, условия задачи, поставленной судьей, противоречивы.
Но мы уже видели, что при п = 2 и п=3 задача, поставленная судьей, смысла не имеет. Значит, она не имеет смысла ни для п = 4, ни для п = 5, 6, ... Таким образом, мы приходим к выводу, что утверждения судьи противоречивы и при п = 365,— а ранее мы говорили, что при этом значении п задача имеет смысл.
Третья задача. Не будем останавливаться на пути. Здесь решение как горизонт: чем ближе мы к нему подходим, тем более удаленным от нас оно нам кажется. Сейчас мы покажем, сформулировав по-иному вторую задачу, что ответ на первую задачу получить нельзя.
Предположим, что мы решили первую задачу и нашли нужное число т, т. е. такое, что если число шаров меньше или равно т, то условия задачи, поставленной судьей, противоречивы, а если это число больше т, то ошибочными оказываются рассуждения приговоренного к казни. Изучим, что происходит в случае т+1 шара. Приговоренный рассуждает следующим образом:
если судья положил черный шар в один из последних т ящиков, то все сводится к предыдущему случаю и задача, поставленная судьей, не имеет смысла;
это значит, что черный шар находится в ящике 1 и мне это заранее известно; но это противоречит одному
из утверждений судьи.
Таким образом, мы видим, что искомое число т существовать не может.
Вторую задачу решить легко. На каждом этапе нашего рассуждения по индукции мы приходим к выводу, что черный шар находится в ящике 1. Здесь снова сумма 365 ожиданий при каждом открывании ящика приводит — всего-то! — к абсолютной уверенности, что черный шар находится в каком-то из 365 ящиков.
Решение третьей задачи менее очевидно. В том рассуждении, которое мы проводили, концы с концами не сходятся. Действительно, мы предполагаем вначале, что при т+1 шаре утверждения судьи не противоречивы, что они имеют логический смысл. Тем самым мы предполагаем, что способ, которым судья разрешает осужденному определять положение черного шара, отвечает законам логики.
Это очевидно в случае 365 шаров, но менее очевидно, когда шаров всего два или три.
В приведенном выше анализе третьей задачи мы в первой части рассуждения не имеем права предполагать, что судья требует от осужденного, чтобы тот определил положение черного шара «чисто логически», т. е. до того, как будет открыт ящик 1 (а именно это мы делали, уточняя, что при m + 1 шаре утверждения судьи
истинны);
во второй части рассуждения не можем предполагать, что осужденный в состоянии определять положение черного шара с помощью каких-то других правил (а именно это мы делали, считая, что если осужденный решил, что черный шар — в первом ящике, и при этом он ошибся, то все сводится к предыдущей задаче с т шарами).
Теперь осталось решить первую задачу, что позволит нам прийти к окончательному выводу и найти решение парадокса.
Во всяком случае, нельзя надеяться устранить парадокс, если мы не предположим, что осужденный определяет предполагаемое положение черного шара чисто логическим путем, формулируя свое предсказание только один раз — еще до того, как будет открыт ящик 1.
При этих условиях решение первой задачи очевидно: переход от первого типа ответа ко второму происходит при двух шарах.
Когда имеется только один шар, утверждения судьи противоречивы.
Когда шаров два или больше двух, то:
либо мы считаем, что законы логики применимы и
к утверждениям судьи, и к рассуждениям приговоренного. В этом случае осужденный должен выбрать один из двух ящиков до того, как будет открыт первый ящик. Здесь нет больше никакого парадокса, поскольку у осужденного нет никаких оснований предпочесть один ящик другому;
либо в противном случае, когда осужденный может выбирать один или более ящиков последовательно делать заключения вне пределов строгой[13] логики,- здесь мы и приходим к парадоксу.
Точно так же в исходной постановке, когда есть только один возможный день, утверждения судьи противоречивы, ибо он на самом деле говорит:
вы будете повешены завтра;
вы не узнаете до завтрашнего утра, что будете повешены завтра.
Исследование случая, когда имеются два возможных дня, позволяет в последний раз возродить парадокс из пепла.
На самом деле можно сказать, что между задачей с шарами и задачей о казни через повешение нет полной аналогии.
В первоначальной версии судья говорит: вы будете повешены завтра или послезавтра; вы не сможете узнать день, когда вас повесят, рань
ше утра этого дня.
Условия ясны. Если утром первого дня осужденному не скажут, что его повесят в этот же день, то вечером он уже будет знать, что его повесят завтра. Значит, утверждения судьи противоречивы, и мы вновь возвращаемся к трем последним задачам.
При п = 2 не только рассуждения приговоренного ложны, но равным образом противоречивы и утверждения судьи.
При п = 365 ложны лишь рассуждения приговоренного. При каком п происходит переход от одной ситуации к другой?
Чтобы лучше показать, что этот экстравагантный парадокс присутствует всегда и что мы как будто ни на йоту не продвинулись в его анализе, представим парадокс по-новому, отказываясь от всяких ссылок на шары и ящики.
Последняя формулировка парадокса. Когда число возможных дней равно двум, то кажется бесспорным, что утверждения судьи противоречивы.
Судья не может выбрать второй день. Значит, он должен выбрать первый день — и осужденному это известно, что противоречит последнему утверждению судьи.
Напротив, когда имеется семь возможных дней, судья может выбрать один из двух либо из трех или даже четырех первых дней.
У осужденного нет относительно дня казни ни малейшей уверенности. Если бы судья выбрал первый день, то с помощью каких рассуждений (кроме ложных, как нам известно) смог бы осужденный определить, что его скорее повесят в первый день, чем во второй? Точно так же если его не повесили в первый день, то на основании чего он выберет второй день, а не третий?
Когда возможных дней семь, судья говорит правду Его утверждения точны, непротиворечивы: у осужденного нет ни малейшей уверенности относительно дня казни вплоть до утра этого самого дня, как и сказал ему судья.
Напротив, рассуждения приговоренного, которые приводят к выводу, что его вообще не повесят, ложны, так как в них предполагается, что осужденный может семь раз последовательно с уверенностью сказать, что его повесят в тот же самый день.
Мы вновь возвращаемся к трем предыдущим задачам.
Если в случае двух дней решение парадокса состоит в том, что утверждения судьи противоречивы, и если в случае семи дней решение заключается в том, что утверждения судьи истинны и что, напротив, ложны рассуждения приговоренного, то в случае какого числа дней мы переходим от одного решения к другому? В случае трех дней? В случае четырех дней?
В случае трех дней судья не может выбрать два последних дня, не сведя все к задаче с двумя днями, в которой утверждения судьи противоречивы. Значит, он должен выбрать первый день — и осужденному это известно.
Следовательно, утверждения судьи в случае трех дней противоречивы.
Рассуждая таким же образом, можно показать, что так же обстоит дело и в случае четырех, пяти и т. д. возможных дней.
Теперь самое время сделать окончательные выводы и для этой последней формулировки парадокса.
Решение парадокса. Опять мы заключаем, что в рассуждениях, проводимых в обоих случаях (в случае двух дней и в случае семи дней), концы с концами не сходятся.
В случае двух дней мы с необходимостью считаем, что осужденный решит сначала, что его повесят в первый день, а затем, если этого не произошло, что его повесят во второй день.
В случае семи дней здравый смысл приводит нас к логически более удобному допущению, что у осужденного нет оснований для того, чтобы выбрать скорее первый день, чем второй. Самое большее, что может сделать осужденный, это оставаться внутренне убежденным, что его повесят завтра. Это убеждение все более и более возрастает по мере того, как проходит время[14],— однако оно не может превратиться в абсолютную уверенность, если судья выберет один из двух-трех первых дней.
И даже если ничего не произойдет в три первых дня, то осужденный вечером третьего дня не сможет быть абсолютно уверен, что его повесят завтра.
Окончательно, решение парадокса состоит в следующем.
Когда возможных дней один, условия задачи противоречивы. Осужденный не может из них вывести ничего.
Судья не всегда говорит правду. В данном случае он может сказать или не сказать правду. Осужденного, может быть, повесят, но, может быть, этого и не произойдет. Но если даже его повесят, то это вовсе не будет означать, что судья всегда говорит правду,— отсюда будет лишь следовать, что он сказал правду на этот раз.
Когда возможных дней два (или более), то, как в случае с шарами,
1) либо мы решим, что законы логики применимы как к утверждениям судьи, так и к рассуждениям приговоренного. В этом случае для семи дней, как и для двух, мы должны считать, что вывод относительно дня казни осужденный должен сделать на заре первого дня. При этих условиях даже в случае двух дней больше нет никакого парадокса, ибо у осужденного нет оснований для того, чтобы выбрать первый, а не второй день. Видимость парадокса связана лишь с неправильными рассуждениями приговоренного;
2) либо мы допускаем, что у осужденного вначале может быть абсолютная уверенность в том, что его повесят в первый день, затем, когда это не подтвердится, что его повесят на следующий день и т. д. В этом случае, будет ли два, семь или более дней, мы приходим к парадоксу. Решение этого парадокса состоит в том, что утверждение судьи (или, скорее, наша интерпретация его утверждений) противоречиво.
В последней формулировке парадокса, таким образом, ставилась ложная задача. Утверждения су дьи — при не совсем строгой, но разумной их интерпретации — противоречивы лишь в случае одного дня
Когда возможных дней два или более, интерпрета ция утверждения судьи, согласующаяся с законами логики, приводит к выводу, что ложными оказываются рассуждения приговоренного к казни. Этим подтверж дается вывод, основанный на здравом смысле, что в случае 365 дней вообще нет никакого парадокса. Этим подтверждается аналогия (которая на самом деле была полной) с задачей о ящиках и черном шаре.
Решение модифицированной задачи о «двери свободы». Узник задал следующий вопрос: «Верно ли следующее утверждение: если эта дверь — «дверь свободы», то ваш ответ на мой вопрос будет ложью, а если нет, то истиной?»
Слуга рассуждает строго логически. Поэтому независимо от того, лжет ли он или говорит правду, его ответ позволит узнику определить «дверь свободы».
Рассмотрим следующую таблицу:
| Слуга | Указанная дверь «дверь свободы» | Утверждение | Ответ слуги |
| Говорит правду | Да | Ложно | Нет |
| Лжет | Да | Истинно | Нет |
| Говорит правду | Нет | Истинно | Да |
| Лжет | Нет | Ложно | Да |
Таким образом, если слуга ответил «нет», то показанная ему дверь — это «дверь свободы»; если же он сказал «да», то можно смело идти во вторую дверь. Мы видим, что узник может заставить своего соседа по темнице открыть истину.
Не следует ли теперь выбросить на свалку пресловутый детектор лжи?
Очевидно, нет, поскольку логическая хитрость, заставляющая допрашиваемого открыть истину, эффективна лишь в том случае, если слуга соглашается действовать в рамках строгой логики, — что, кстати сказать, есть довольно жесткое условие: пожалуй, никто из нас бы не согласился во всех случаях действовать и говорить только логично[15].
ЗАКЛЮЧЕНИЕ
Грезы улетают прочь. Чудесная страна логики с ее устаревшими атрибутами и опереточными султанами подернулась туманом. Жанно покидает свой солнечный чердак.
Но он еще вернется туда.
Пожелаем же читателю чтобы, как и Жанно на своем чердаке, он смог найти в этой книге немало интересного, над чем ему бы захотелось поломать голову.