Книга: Насосы интуиции и другие инструменты мышления
Назад: 69. Инертные исторические факты
Дальше: 71. Конечная ответственность

70. Компьютерный шахматный марафон

Ясно мыслить о детерминизме и свободе выбора чрезвычайно сложно. Если детерминизм реален, существует ли вообще реальная свобода выбора? Если агент, якобы обладающий свободой воли, на самом деле детерминистичен и живет в детерминистическом мире, исключает ли это свободу выбора и случай? Далее описывается насос интуиции, который помогает изучить этот вопрос, взглянув на упрощенный мир – игру в шахматы – в искусственно сконструированном детерминистическом мире: мире работы компьютера.
Допустим, вы установили на свой компьютер две разные шахматные программы и связали их с небольшой управляющей программой, которая заставляет их играть друг с другом партию за партией в потенциально бесконечной серии. Станут ли они играть одну и ту же партию снова и снова, пока вы не выключите компьютер? Вы могли бы настроить программы А и Б таким образом, но в таком случае не узнали бы о них ничего интересного. Допустим, А побеждает Б в этой часто повторяемой партии. На основании этого нельзя сказать, что программа А в целом лучше программы Б или что программа А победит программу Б в другой партии, а повторение одной и той же партии не позволило бы вам узнать ничего о сильных и слабых сторонах каждой программы. Гораздо более информативным стал бы турнир, в котором программы А и Б сыграли бы последовательность разных партий. Организовать его несложно. Если любая из шахматных программ в ходе расчетов обращается к генератору случайных чисел (если, например, она периодически “подбрасывает монетку”, чтобы найти выход из ситуаций, где нет очевидного основания для выбора того или иного действия в процессе поиска удачного хода), то в следующей партии состояние генератора случайных чисел будет иным (если только вы не настроили его перезагрузку), а следовательно, будут рассматриваться другие варианты в другом порядке, что время от времени будет приводить к “выбору” других ходов. В результате вторая партия сложится по-другому, а третья будет отличаться иным образом – и в итоге все партии получившейся серии окажутся уникальны, как снежинки. Тем не менее, если вы выключите компьютер, а затем перезапустите его с той же программой, на ваших глазах развернется точно та же серия не похожих друг на друга партий, поскольку та же самая псевдослучайная последовательность чисел будет определять результаты “подбрасывания монетки” обеими шахматными программами.
Допустим, мы создали такую шахматную вселенную с двумя программами, А и Б, и изучаем результаты серии из, скажем, тысячи партий. Мы найдем множество заслуживающих доверия закономерностей. Допустим, мы установим, что программа А всегда побеждает программу Б в тысяче разных партий. Нам захочется объяснить эту закономерность, а фраза “поскольку программа детерминистична, программа А обречена всегда побеждать программу Б” не удовлетворяет нашего небезосновательного любопытства. Нам захочется понять, что в структуре, методах и диспозициях программы А объясняет ее превосходство в шахматах. Программа А имеет компетенцию или способность, которой не хватает программе Б, и нам необходимо изолировать этот любопытный фактор. Возможно, объяснение следует искать на низком уровне: может выясниться, например, что программы А и Б на самом деле одинаковы и на уровне исходного кода представляют собой идентичные оценщики шахматных ходов, но программа А скомпилирована эффективнее программы Б, а потому может лучше анализировать партию за одинаковое количество машинных циклов. Фактически программа А “думает [о шахматах] ровно то же самое”, что и программа Б, а программа Б “знает” о шахматах все, что известно программе А, но программа А просто думает быстрее. (На серьезном уровне, на шахматных турнирах, игра всегда ведется с использованием часов: не успев сделать все ходы за отведенное время, вы проиграете.) Более вероятно, что превосходство программы А над программой Б потребует объяснения на более высоком уровне – на уровне типичных элементов, которые задействуются в процессе принятия решений в шахматах: представлений шахматных позиций, оценок возможных продолжений, решений о выборе конкретных продолжений и так далее. Таким образом, программа А может корректировать относительную ценность фигур по ходу партии, лучше оценивать шахматные позиции либо раньше или позже прерывать определенные изыскания. Она не “думает то же самое”, что и программа Б, она “думает лучше, а ее мысли сложнее”. (Само собой, она лишь вроде как думает. В отличие от человека она не наделена сознанием.)
Пожалуй, случай будет показательнее, если одна из программ не будет побеждать всегда. Допустим, программа А почти всегда побеждает программу Б и при этом оценивает ходы, используя другой набор принципов. В таком случае закономерность окажется еще любопытнее. Чтобы исследовать этот каузальный вопрос, нам нужно будет изучить историю тысячи разных игр, выявляя прочие закономерности. Без сомнения, их найдется много. Некоторые из них будут характерны для шахмат в принципе (например, высокая вероятность поражения программы Б в любой партии, где программе Б недостает одной ладьи), а некоторые будут специфичны для программ А и Б как конкретных шахматистов (например, склонность Б слишком рано вводить в игру ферзя). Мы выявим также стандартные закономерности шахматной стратегии, например тот факт, что, когда время программы Б истекает, она начинает исследовать оставшиеся узлы дерева игры не так внимательно, как исследует их в такой же позиции при наличии большего количества времени. Иными словами, мы обнаружим множество пояснительных закономерностей – как не допускающих исключений (в нашей серии из тысячи игр), так и статистических.
Такие различимые шахматные закономерности сразу бросаются в глаза на фоне торжества детерминизма, которое с позиции микрокаузальности представляется весьма монотонным. Со своей позиции мы наблюдаем за напряженным поединком двух шахматных программ, но при взгляде через “микроскоп” (при наблюдении за инструкциями и данными, проходящими через ЦПУ компьютера) увидим единственный детерминистический автоматон, работающий единственным доступным ему способом. Предугадать его шаги не составляет труда – достаточно изучить, в каком именно состоянии пребывает его генератор псевдослучайных чисел, а также проанализировать структуру программы и данные. В его будущем нет “настоящих” разветвлений и развилок: все “выборы”, совершаемые программами А и Б, заранее предопределены состоянием компьютера и его памяти. Казалось бы, в таком мире по-настоящему возможным нельзя считать ничего, за исключением того, что на самом деле происходит. Допустим, например, что над программой А в момент времени t нависает зловещая матовая сеть (гарантированная победа, распознать которую порой непросто), но все меняется, когда у программы Б заканчивается время и она прерывает свой поиск важного хода чуть раньше, чем необходимо. Получается, что эта матовая сеть не должна была возникнуть. (Если у нас возникают сомнения, мы можем доказать это, проведя точно такой же турнир в другой день. На том же этапе серии у программы Б снова закончится время, из-за чего ей снова придется прервать свои поиски ровно в тот же момент.)
Что же это значит? Неужели в этом модельном мире ничего нельзя предотвратить и ничего нельзя избежать? Неужели в нем нет ни нападений, ни защит, ни упущенных возможностей, ни пикировок истинной субъектности, ни подлинных возможностей? Следует признать, что наши шахматные программы, подобно насекомым и рыбам, слишком просты в качестве агентов, чтобы быть подходящими кандидатами на обладание морально значимой свободой воли, но детерминизм их мира не лишает их разноплановых талантов и способностей пользоваться имеющимися возможностями. Если мы хотим понять, что происходит в таком мире, мы можем – и должны – обсудить, как их осознанный выбор приводит к изменению обстоятельств, а также что они могут и не могут делать. Если мы хотим выявить каузальные закономерности, чтобы объяснить повторяющиеся мотивы, замеченные нами в тысяче партий, нам нужно всерьез рассмотреть позицию, в соответствии с которой в этом мире действуют два агента, А и Б, пытающиеся обыграть друг друга в шахматы.
Допустим, мы настроим турнирную программу таким образом, что при каждой победе А будет звенеть колокольчик, а при каждой победе Б – раздаваться гудок. Когда мы запустим марафон, наблюдатель, не знающий ничего о программе, заметит, что колокольчик звенит довольно часто, а гудок не раздается почти никогда. Наблюдателю захочется узнать, чем объясняется эта закономерность. Закономерность побед А над Б можно выявить и описать, не принимая интенциональную установку, но она все равно потребует объяснения. Единственным – и верным – объяснением может быть тот факт, что генерируемые А “убеждения” о том, что сделает Б, если… оказываются лучше, чем генерируемые Б “убеждения” о том, что сделает А, если… В таком случае, чтобы найти объяснение, необходимо принять интенциональную установку (см. главы 33 и 42, где приводятся примеры других каузальных связей, которые не поддаются объяснению, пока вы не принимаете интенциональную установку).
Пока все идет хорошо, но эти “решения” и “выборы” кажутся лишь вроде как решениями и выборами. Такое впечатление, что им недостает чего-то, что свойственно подлинной свободе выбора: возможности поступить иначе. Но давайте внимательнее изучим конкретный пример, ведь внешность бывает обманчива. Для этого добавим в нашу турнирную программу третью шахматную программу, программу В. Допустим, программа В лучше программ А и Б и побеждает их почти всегда. Также допустим, что первые двенадцать ходов в паре таких партий в точности повторяются и программа В выигрывает обе партии, побеждая и программу А, и программу Б, но после двенадцатого хода партии идут не совсем одинаково. По завершении партий эксперты приходят к выводу, что программа В с большой вероятностью проиграла бы, если бы 12-м ходом, последним общим ходом обеих партий, программа А или программа Б провела бы рокировку. Рокировка 12-м ходом давала ключ к победе, который не заметила ни программа А, ни программа Б.
Пожимая плечами, разработчик программы А говорит: “Программа А могла бы провести рокировку”. Разработчик программы Б добавляет: “Моя программа, программа Б, тоже могла бы провести рокировку”. Но разработчик программы А прав, а разработчик программы Б ошибается! Как такое может быть? Турнирная программа Т детерминистична, и если мы снова сыграем те же партии в точно том же самом состоянии, ни программа А, ни программа Б не проведет рокировку! Разве разработчик программы А не заблуждается? Не обязательно. Что мы пытаемся выяснить, когда спрашиваем, могла ли программа А поступить иначе? Снова и снова рассматривая в точности такой же случай, мы не получим никакой информации, но рассматривая похожие случаи, мы увидим более полную картину. Если мы выясним, что во многих подобных обстоятельствах в других партиях программа А все же продолжает процесс оценки, замечает плюсы подобных ходов и совершает их, это подтвердит убежденность разработчика, что программа А могла бы провести рокировку.
Как минимум, мы можем обнаружить, что переключение единственного бита в генераторе (псевдо) случайных чисел заставило бы программу А провести рокировку. Допустим, разработчик программы А проанализирует фактическое исполнение программы и выяснит, что в этом случае программа А перестала “думать” на мгновение раньше нужного. (Любая шахматная программа, какой бы прекрасной она ни была, вынуждена в какой-то момент принудительно прерывать свои поиски.) Программа А рассматривала возможность рокировки и начала анализировать ее исход, но время поджимало, а потому программа А обратилась к своему генератору случайных чисел, то есть, по сути, подбросила монетку, и выбрала ход, который сочла лучшим на тот момент – и этим ходом стала не рокировка. Но если бы псевдослучайным числом стала единица, а не ноль, программа А подумала бы над своим ходом немного дольше и в итоге провела бы рокировку. “Просто переключите один бит в случайном числе – и программа А победит!” – заявляет разработчик. Мы же скажем, что в таком случае просчет программы А с рокировкой оказался непредвиденным результатом неудачного обращения к генератору случайных чисел.
Когда мы обратимся к разработчику программы Б, он не сможет подобным образом подтвердить свое заявление, что программа Б могла бы провести рокировку. Программа Б действительно “знает”, что рокировка в сложившейся ситуации допустима, и, возможно, даже некоторое время “рассматривала” возможность рокировки, но выбрать рокировку в этом случае даже не собиралась. Рокировка была для нее сложным ходом – одним из тех ходов, которые в газетных шахматных задачах помечают символом “!”, – и выходила далеко за пределы ограниченных аналитических способностей программы Б. Итак, у нас есть полностью детерминистический мир – программа Т, – в котором программа А могла провести рокировку, а программа Б провести ее не могла. Разница между программами А и Б реальна и объяснима – это разница в компетентности или способностях. Можно сформулировать это очевидно парадоксальным образом:
Программа А могла провести рокировку в момент времени t, но во вселенной в момент времени t рокировки произойти не могло.
Что дает нам право так описывать ситуацию? Все просто: если мы считаем программу А отделенной от ее непосредственной среды – куда входит и генератор случайных чисел, – то не предопределено, проведет ли программа А рокировку. Это зависит от того, что, строго говоря, находится за пределами программы А. В момент времени t вселенная пребывала в таком состоянии, которое не допускало проведение рокировки программой А, но программа А в этом “не виновата”. Программа Б, напротив, провести рокировку не могла, потому что рокировка была не в ее природе. Чтобы представить, как программа Б проводит рокировку, нам пришлось бы внести слишком много поправок в реальность.
Это полезное открытие – мы нашли различие между тем, что “могли бы” сделать программы А и Б, которое не зависит от индетерминизма. Даже в детерминистическом мире мы видим, что программа А может делать вещи, которые не может делать программа Б, и это различие отчасти объясняет, почему программа А побеждает программу Б. Тот факт, что в этом мире царит истинный детерминизм, а потому программы А и Б могут делать только то, что они на самом деле делают в конкретном случае (и делали бы снова и снова при повторении точно тех же самых обстоятельств), просто не интересен и не имеет отношения к получаемому нами объяснению совершенно объективной и наглядной закономерности: программа А побеждает программу Б.
Шахматная программа не является моральным агентом и не несет моральной ответственности за свой выбор – ее мир абсолютно аморален, и нарушение одного из шахматных правил для шахматной программы просто немыслимо, а следовательно, не требует штрафов. Однако, как мы только что увидели, даже в простом детерминистическом мире компьютерных шахмат мы можем найти реальное и важное различие между программами А и Б. Порой, когда программа А делает глупость или наоборот поступает мудро, мы можем сказать: “Программа А могла бы поступить иначе, но программа Б иначе поступить не могла”. Если вы считаете это ошибкой, “потому что ни программа А, ни программа Б вообще не могли бы поступить иначе, поскольку мир детерминистичен”, ошибку на самом деле совершаете вы.
Способности программ А и Б к шахматам различаются, и то, “могла ли [каждая из программ] поступить иначе”, прекрасно описывает один из аспектов этого различия. Что насчет их моральной компетентности? Когда люди говорят о других людях, поступивших плохо, что “они могли бы поступить иначе”, и используют это в качестве оправдания, чтобы не прощать их, но при этом соглашаются, что другие люди в подобных обстоятельствах не могли поступить иначе, и тоже оказываются правы – это не зависит от того, истинен ли детерминизм. Они указывают на реальное различие в моральной компетентности, которое не зависит ни от индетерминизма, ни от детерминизма, и этим может объясняться различие нашей реакции.
Чтобы лучше понять это, встанем на место программиста, который разработал программу Б. Он хочет узнать, не нашел ли он слабое место программы Б. Вот партия, в которой не проведенная вовремя рокировка стоила программе Б победы; номогла ли программа Б провести рокировку в нужный момент? Если для этого нужно было только переключить один-единственный бит в генераторе случайных чисел, то, возможно, улучшать программу не требуется. В половине случаев в подобных обстоятельствах программа Б будет проводить рокировку, и, возможно, на большее не стоит и надеяться. Программа всегда должна время от времени использовать случайные числа (будто бы подбрасывая монетку), чтобы прерывать поиск и продолжать партию, а следовательно, всегда будут случаи, в которых случайное число будет обрывать поиск прямо накануне открытия. Обратите также внимание, что ситуация не улучшится, если мы дадим программе Б (или программе А) квантовый генератор случайных чисел, скажем счетчик Гейгера, который выдает биты на основании неопределенных траекторий субатомных частиц. Что бы мы сказали о программе Б, если бы она не провела рокировку из-за единственного нуля, на месте которого могла бы быть единица? Если квантовый генератор чисел выдает ноль, программа Б проводит рокировку; если же он выдает единицу, программа Б не проводит рокировку. “Программа Б могла бы сделать рокировку”, – замечает наблюдатель, когда появляется единица. Да, но программа Б не вольна поступать как ей вздумается. В серии партий, где возникает подобная возможность, в половине случаев программа Б будет проводить рокировку, а в другой половине – не будет, и неважно, использует она при этом генератор “истинно” или “псевдо-” случайных чисел. Философ Дэвид Уиггинс (1973, p. 54) однажды написал о “вселенской несправедливости” детерминизма, но наш насос интуиции о компьютерном шахматном турнире демонстрирует такую же “вселенскую несправедливость” индетерминизма. Программа Б пребывает “во власти” своего генератора случайных чисел или своего генератора псевдослучайных чисел. (Само собой, как и программа А – и как и все мы.) Нет никаких оснований делать выбор в пользу генератора истинно случайных чисел – если только вы не собираетесь играть в шахматы со всесведущим Богом, который насквозь видит ваш генератор псевдослучайных чисел и планирует свои ходы соответствующим образом!
Итак, мы все еще не видим причин желать, чтобы индетерминизм был реален. Возможно, нам достаточно и той свободы воли, которую мы можем получить без вмешательства индетерминизма. Вот другая возможная причина:
Я не могу изменить прошлое, но если индетерминизм реален, я могу изменить будущее!
Нет. Как именно изменить будущее? Сделать его не таким, каким оно собиралось стать, а таким, каким оно собирается стать? Вы не можете изменить будущее точно так же, как не можете изменить прошлое. Эта мысль не выдерживает критики. Тогда:
Если детерминизм реален, я не могу изменить будущее, а если детерминизм нереален, я все равно не могу изменить будущее. Следовательно, я не могу изменить будущее.
Почему кажется, что мы хотим изменить будущее? Потому что мы хотим иметь возможность предвидеть катастрофы и предпринимать какие-то шаги для их предотвращения. И мы можем делать это вне зависимости от индетерминизма. Если кто-то швырнет в вас кирпич, а вы заметите это и пригнетесь, вы сможете избежать удара кирпичом. И это прекрасно. Должно ли было случиться это столкновение? В некотором роде да, ведь кирпич явно летел прямо вам в голову, но вы заметили его (вас заставил заметить его отраженный свет, который вы уловили глазами, после чего ваш мозг рассчитал риск и был вынужден предпринять меры) и потому избежали удара. Само собой, если бы вы хотели избежать избегания (если вы нашли какую-то причину, по которой вам показалось выгоднее принять удар), вы могли бы поступить именно так. Какой-то наблюдатель, возможно, не сумел бы сказать до последней секунды, примете вы удар или нет. И он бы проиграл, если бы сделал ставку на то, что вы пригнетесь. Мы вернулись к нашей причине стремиться к непредсказуемости, которая не требует индетерминизма.
Что дает нам этот насос интуиции? Он берет знакомую фразу “не мог поступить иначе” и показывает, что, вопреки широко распространенному, но плохо взвешенному мнению, ее значимая вариация не зависит от реальности индетерминизма. Даже если какое-то из значений фразы “не мог поступить иначе” несовместимо с детерминизмом и при этом имеет важность с моральной точки зрения – а не представляет собой исключительно метафизический курьез, – его только предстоит обнаружить, после чего бремя доказывания будет лежать на тех, кто так считает. Еще одно “очевидное” соображение при ближайшем рассмотрении оказалось не таким уж и очевидным.
Назад: 69. Инертные исторические факты
Дальше: 71. Конечная ответственность