Logical problem of evil