Definition of Omnipotence - Definition of Omnipotence x is omnipotent iff for all Z if Z is a possibly-instantiated intrinsic situation-type then x can

Definition of Omnipotence x is omnipotent iff, for all Z, if Z is a possibly-instantiated, intrinsic situation-type, then x can actualize a token of type Z. Here again are som examples of non-intrinsic types: a rock too heavy for God to lift, a rock that God did not create, an action freely chosen by a human creature. It is no lack of omnipotence that God cannot actualize a token of any of these types. To show that God can instantiate a non-intrinsic type T, we must do the following: Find an intrinsic type T', and actual circumstances C, such that if God were actualize a token x of type T' in C, we can prove that x would also be of type T. This is a non-trivial task. Merely invoking omnipotence is not enough. The Three Degrees of Free Will Defense Third-degree free-will defense: free-choice is a non-intrinsic type, one that involves how an action is caused/determined. Free will and causal determinism may be compatible.