Чтобы лучше понять обоснования в аргументе симуляции, мы можем изложить его в виде доказательства с предпосылками и выводом.

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

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

Тогда мы можем изложить аргумент следующим образом. Эта версия далека от совершенства (ближе к концу главы я приведу более предпочтительную, с моей точки зрения, версию), но она является хорошей отправной точкой, которая поможет выявить основные проблемы.

1. По крайней мере каждая десятая популяция не-симов создаст тысячу популяций симов.

2. Если хотя бы каждая десятая популяция не-симов создаст тысячу популяций, то, по крайней мере, 99 % разумных существ являются симами.

3. Если, по крайней мере, 99 % разумных существ – симы, то мы, вероятнее всего, симы.

4. Вывод: мы, вероятнее всего, симы*.

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

С учетом этих уточнений давайте рассмотрим предпосылки. Аргумент выглядит валидным в том смысле, что вывод следует из предпосылок. Если предпосылки истинны, вывод должен быть истинным.

Вторая предпосылка наиболее проста. Учитывая числа, которые мы указали для конечной вселенной, и при условии, что термины определены так, что каждое существо является либо симом, либо не-симом, предпосылка гарантированно истинна. Я приберегу математику и другие сложности (вроде бесконечных вселенных) для примечаний*. По-настоящему поработать же предстоит над первой и третьей предпосылками.