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.

This is the end of the preview.
Sign up
to
access the rest of the document.
- Fall '09
- JorgeRigol
- Charles, Causality, three degrees, free-will defense
-
Click to edit the document details