Definition of Omnipotencex 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 DefenseThird-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.
This is the end of the preview.
access the rest of the document.
Charles, Causality, three degrees, free-will defense