Мы можем подумать, что это разрешает вопрос в пользу Защитника Свободной Воли. Но на самом деле это не так. Действительно, все существующие в Кроносе, то есть в действительном мире, люди страдают межмировой греховностью. Отсюда не следует, что Бог не мог бы сотворить мира, содержащего моральное добро, не сотворив мира, содержащего моральное зло. Бог мог бы сотворить других людей. Вместо того чтобы сотворить нас, то есть людей, существующих в Кроносе, Он мог бы сотворить мир, содержащий людей, но не содержащий ни одного из нас — или, вероятно, содержащий некоторых из нас вместе с другими, кто не существует в Кроносе. И, вероятно, если бы Он сделал это, Он мог бы сотворить мир, содержащий моральное добро, но без морального зла.

Может быть. А может быть, и нет. Давайте тщательнее посмотрим на этот вопрос. Пусть W будет миром, отличным от Кроноса, содержащим значительно свободного человека x, не существующего в Кроносе. Давайте предположим, что этот человек x делает только правильные вещи. Я не вижу причины сомневаться в существовании таких миров, но какие причины имеются у нас для предположения, что Бог мог бы сотворить любой из таких миров? Откуда мы знаем, что́ Он может? Для ответа на этот вопрос мы должны углубиться в идею индивидуальной природы, или сущности. Ранее я говорил (с. 38), что один и тот же индивид, например Сократ, существует в различных возможных мирах. В некоторых из них он имеет свойства, совершенно отличные от тех, которыми он обладает в Кроносе — действительном мире. Но некоторые из его свойств таковы, что он обладает ими в каждом из возможных миров, в которых он существует. Это есть существенные свойства[20]. Среди них будут некоторые свойства, являющиеся тривиально существенными — такими как быть неженатым, будучи холостяком; быть либо шести футов роста либо другого какого-либо роста; быть себе-тождественным и т.п. Другой и более интересный вид существенного свойства может быть объяснен таким образом. Сократ имел свойство курносости. Это свойство, как можно предположить, не является существенным для него; у него мог быть совсем другой нос. Поэтому есть возможные миры, в которых он не является курносым. Пусть W' будет некоторым миром. Если бы W' был действительным миром, Сократ не был бы курносым; то есть Сократ имеет свойство быть некурносым в W'. Потому что сказать, что объект x имеет свойство такого рода — свойство иметь Р в W, где Р есть свойство, а W — возможный мир, — это просто сказать, что x имел бы Р, если бы W был действительным миром. Свойства подобного рода — индекс-мировые свойства[21]. Сократ имеет индекс-мировое свойство быть некурносым в W'. Он имеет это свойство в Кроносе, в действительном мире. С другой стороны, в W' Сократ имеет свойство быть курносым в Кроносе. Действительно, предположим, что W' был действительным миром; тогда, в то время как Сократ не мог бы быть курносым, было бы истинным, что если бы Кронос был действительным миром, Сократ был бы курносым.

Я полагаю очевидным, что если Сократ и в самом деле является курносым в Кроносе, в действительном мире, тогда истинно в каждом мире, что Сократ курнос в Кроносе[22]. Поэтому он имеет свойство быть курносым в Кроносе в каждом мире, в котором он существует. Это свойство, следовательно, существенно для него; нет такого мира, в котором он существует и не обладает этим свойством. В самом деле, как легко видеть, каждое его индекс-мировое свойство будет для него существенным и каждое отсутствующее у него индекс-мировое свойство будет таким, что дополнение этого свойства будет существенным.

Но сколько у него индекс-мировых свойств? Весьма мало. Мы должны заметить, что для любого мира W и свойства Р имеется индекс-мировое свойство имеет Р в W и любое такое индекс-мировое свойство таково, что Сократ имеет либо его, либо его дополнение — свойство не иметь Р в W. Потому что для любых мира W и свойства Р либо верно, что Сократ должен иметь Р, будь W действительным миром, либо ложно, что Сократ должен иметь Р при этом условии. Поэтому каждое индекс-мировое свойство Р таково, что либо Сократ имеет Р существенно, либо его дополнение P̅ является существенным для него.

Теперь предположим, что мы определяем сущность Сократа как множество существенных для него свойств. Его сущность есть множество свойств, каждое из которых существенно для него, и это множество содержит все его индекс-мировые свойства вместе с некоторыми другими. Далее, очевидно, как я полагаю, что никакой другой человек не имеет всех свойств этого множества. Другой человек мог бы иметь некоторые из тех же самых индекс-мировых свойств, что имеет Сократ: он, например, мог бы быть курносым в Кроносе. Но он не мог бы иметь всех индекс-мировых свойств Сократа, потому что в противном случае он просто был бы Сократом. Поэтому нет такого человека, который разделял бы с Сократом его сущность. Но мы можем сделать более сильное утверждение: не может быть вообще такого человека. Потому что он был бы в точности Сократом и, отсюда, вообще не другим человеком. Сущность Сократа, следовательно, есть множество свойств, каждое из которых он имеет существенно. Далее, нет и не могло бы быть такого человека, отличного от Сократа, который имел бы все свойства этого множества. И наконец, сущность Сократа содержит полное множество индекс-мировых свойств — то есть если Р является индекс-мировым свойством, тогда либо Р есть член сущности Сократа, либо таковым является P̅ .[23]

Возвращаясь к Карли, вспомним, что он страдает межмировой греховностью. Этот факт влечет кое-что интересное о сущности Карли, назовем ее Карлиность. Возьмем те миры W, в которых свойства значительно свободен в W и никогда не делает плохого в W входят в сущность Карли. Каждый из этих миров обладает важным свойством, если Карли страдает межмировой греховностью. Каждый из них таков, что Бог не мог бы сотворить или актуализировать его. Это видно из следующего. Предположим, W' есть некоторый мир, такой, что сущность Карли содержит свойство значительно свободен в W', но никогда не делает плохого в W'. То есть W' есть мир, в котором Карли значительно свободен, но всегда делает только правильные вещи. Но, конечно, Карли страдает межмировой греховностью. Это значит, что имеются действие А и максимальный мировой сегмент S' такие, что

(1) S' включает моральную значимость A для Карли

(2) S' включает свободу Карли в отношении A

(3) S' включено в W', но не содержит ни выполнения A, ни отказа от выполнения A

(4) Если S' было бы действительным, Карли совершил бы ошибку в отношении A.

Но тогда (согласно аргументации на с. 48) Бог не мог бы сотворить W' или сделать действительный мир похожим на него. Потому что для этого он должен был бы сделать S' осуществимым; и тогда Карли совершил бы ошибку в отношении A. Так как в W' он всегда поступает правильно, W' не мог бы быть действительным миром. Поэтому если Карли страдает межмировой греховностью, тогда сущность Карли имеет это свойство: Бог не мог бы сотворить такого мира W', что Карлиность содержит свойства значительно свободен в W и всегда поступает правильно в W.

Мы можем использовать эту связь между межмировой греховностью Карли и его сущностью в качестве основания для определения межмировой греховности, применимой скорее к сущности, нежели к личности. Сначала мы должны заметить, что если Е есть сущность личности, тогда эта личность есть проявление Е; эта личность есть вещь, проявляющая каждое свойство в Е. Для того чтобы проявить сущность, Бог творит личность, имеющую эту сущность, и сотворением личности Он проявляет сущность. Теперь мы можем сказать, что

(34) Сущность Е страдает межмировой греховностью, если, и только если, для каждого мира W такого, что Е содержит свойства значительно свободен в W и всегда поступает правильно в W, имеются действие А и максимальный мировой сегмент S' такие, что

(1) S' включает проявление E, проявление E свободно в отношении к А и А морально значимо для проявления Е,

(2) S' включено в W', но не включает ни проявления Е, ни выполнения им действия А, ни отказа от него,

(3) если бы S' было действительным, тогда проявление Е делало бы ошибку в отношении А.

Теперь видно, как я надеюсь, что если сущность Е страдает межмировой греховностью, тогда не во власти Бога актуализировать возможный мир W такой, что Е содержит свойства значительно свободен в W и всегда поступает правильно в W. Отсюда, не во власти Бога сотворить мир, в котором Е имеет проявление, и это проявление значительно свободно, но всегда поступает правильно.

Здесь есть вот какой интересный факт: вполне возможно, что каждая сотворенная сущность — каждая сущность, включающая свойство быть сотворенной Богом, — страдает межмировой греховностью. Предположим, что это истинно. Тогда Бог может сотворить мир, содержащий моральное добро, только путем сотворения значительно свободных личностей. И так как каждая личность есть проявление сущности, Он может сотворить свободные личности только через проявления некоторых сущностей. Но если каждая сущность страдает межмировой греховностью, тогда независимо от того, какие сущности проявляются Богом, получающиеся при этом личности, если они будут свободны в отношении морально значимых действий, будут всегда выполнять по крайней мере одно неверное действие. Если каждая сущность страдает межмировой греховностью, тогда не во власти Бога сотворить миры, содержащие моральное добро, но без морального зла. Он мог бы сотворить миры, в которых моральное зло заведомо перевешивалось бы моральным добром, но не в Его власти сотворить миры, содержащие моральное добро, но без морального зла. И это вопреки тому, что Он является всемогущим. При этих условиях Бог мог бы сотворить мир без морального зла только за счет сотворения мира без значительно свободных личностей. Но есть возможность того, что каждая сущность страдает межмировой греховностью, и поэтому есть возможность того, что Бог не мог бы сотворить мира, содержащего моральное добро, но без морального зла.