Мир, как бы там ни было, содержит огромное число видов морального зла, и все, что мы видели до сих пор, состоит лишь в совместимости существования Бога с некоторым моральным злом. Вероятно, атеолог тут может возобновить спор, говоря, что в любом случае существование Бога несовместимо с огромным числом и разнообразием видов морального зла, которое действительно содержится в мире. Конечно, как будто нет никакого способа измерения морального зла — то есть у нас нет единиц, вроде вольта, фунта или киловатта, использование которых позволило бы нам сказать: «Эта ситуация содержит ровно 35 турпов морального зла». И все же мы можем сравнивать ситуации с точки зрения содержащегося в них зла, и мы часто можем видеть, что одно состояние дел содержит больше морального зла, нежели добра. Вероятно, тут атеолог мог бы утверждать, что, во всяком случае, Бог мог бы сотворить мир, содержащий меньше морального зла, нежели его есть в действительном мире.

Но на самом ли деле это очевидно? Это очевидно, но рассматриваемое само по себе оно не имеет отношения к делу. Бог мог бы сотворить мир без морального зла, просто не сотворив значительно свободных созданий. Более существенен такой вопрос: во власти ли Бога сотворить мир, содержащий лучшее сочетание морального добра и зла, чем имеющееся место в Кроносе — скажем, такой мир, который содержит сколь возможно много добра и сколь возможно мало зла? И здесь ответ вовсе не ясен. Возможно, это не во власти Бога, и это все, что нужно Защитнику Свободы Воли. Это видно вот откуда. Конечно, есть много возможных миров, в которых столько же морального добра, сколько есть его в Кроносе, но меньше морального зла. Пусть W' будет таким миром. Если бы W' был действительным миром, тогда было бы столько же морального добра (в прошлом, настоящем и будущем), сколько его есть на самом деле было и будет, и было бы меньше морального зла. Сейчас в W' проявляется определенное множество S сущностей (то есть имеется множество S сущностей таких, что если W' был бы действительным, тогда каждый член S был бы проявлен). Поэтому для сотворения W' Бог должен был бы сотворить лиц, которые были бы проявлением этих сущностей. Однако вот что может быть. Имеются действие A, максимальный мировой сегмент S' и член E из S такие, что

(a) E содержит свойства: значительно свободен в отношении A в W' и поступает правильно в отношении A в W'

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

и

(c) если бы S' было действительным, проявление E сделало бы ошибку в отношении A.

Если бы эта возможность была действительной, тогда Бог не мог бы актуализировать W'. Для того чтобы сделать это, Он должен был бы осуществить проявление E, вынудить проявление E быть свободным в отношении A и сделать так, чтобы S' было действительным. Но тогда проявление E сделало бы ошибку в отношении A, так что таким образом сотворенный мир не был бы миром W'; потому что проявление E в W' поступает правильно в отношении A.

Более обще, возможно, что каждый мир, содержащий столько морального добра, сколько его есть в действительном мире, но меньше морального зла, напоминает W' в том, что Бог не мог бы сотворить его. Поскольку возможно, что

(37) Для каждого мира W, содержащего столько же морального добра, сколько его есть в Кроносе, но меньше морального зла, имеются по крайней мере одна сущность E, действие A и максимальный мировой сегмент S такие, что

(1) E содержит свойства: свободен в отношении A в W и поступает правильно в отношении A в W

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

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

Суждение (37) возможно. Если оно истинно, тогда не во власти Бога сотворить мир, содержащий столько морального добра, сколько есть его в этом мире, но содержащий меньше морального зла. Поэтому возможно, что это не во власти Бога; но если это так, тогда (1) совместимо с суждением, что имеется столько же морального зла, сколько его есть в Кроносе. И конечно, тезис Защитника Свободы Воли не в том, что (37) истинно; он утверждает только, что оно совместимо с существованием всецело доброго и всемогущего Бога.

Тогда Защита Свободы Воли успешно показывает, что множество А непротиворечиво. Она может быть использована для того, чтобы показать совместимость суждений

(1) Бог всемогущ, всеведущ и морально совершенен

и

(38) Есть столько же морального зла, сколько его есть в Кроносе.

Потому что достаточно ясно, что (1), (37) и

(39) Бог сотворил мир, содержащий столько морального добра, сколько его есть в Кроносе,

совместимы. Но (37) говорит нам, что Бог не мог бы сотворить мир, содержащий больше морального добра, но меньше морального зла, нежели в Кроносе; поэтому эти три суждения влекут (38). Отсюда следует, что (1) и (38) совместимы.