On the Compatibility of Evil and Freedom

A remark by Gödel in Max Phil XIV says that the ontological proof must be grounded on the concept of value (p better than ∼p) and on four axioms, which are a kind of recursive definition of positive (negative) values. This is of course connected to the concept “positive” as one main constituent of Gödel’s ontological proof: God is defined as possessing all positive properties. Axiom 2 of this proof excludes neutral properties, since it states that either the property or its complement is posi...