The Scholastic-Patristic idea of simplicity is the type (3) predication of positive predicates not said relative to creatures. Because predicates count as “properties” and type (3) predicates express identity, it is possible to understand divine simplicity as Analytic Philosophers do. viz that God is identical to his properties. But because predicates that involve relation to creatures are set aside, it is impossible to set up a conflict between divine simplicity and the free choice to create, to redeem, etc.
But chances are that the Analytic philosophers that insist on a contradiction between simplicity and free choice will not be content in what appears to be my mere defining it out of existence. For all that, I want to show that their arguments are not formally against divine simplicity but logically require a prior denial of the existence of God.
Bill Vallicella, commenting on a response to an argument by Robert Mullins, puts the conflict like this:
There is a tension between divine simplicity and divine freedom.
1) If God is simple, then he is pure act (actus purus) and thus devoid of unexercised powers and unrealized potentials. He is, from all eternity, all that he can be. Given that God is simple, there can be no real distinction in him between potency and act. This is necessarily true because God exists of metaphysical necessity and is essentially pure act.
2) As it is, God freely created our universe from nothing; but he might have created a different universe, or no universe at all. Had he created no universe, then his power to create would have gone unexercised. In that case he would not be pure act: he would harbor an unactualized potential.
My response requires a paragraph of set-up. Consider the following premise:
G = What changes another need not change itself.
You might become convinced of G because your mind wandered off to considering knowledge, which involves objects actualizing a cognitive power without themselves changing or coming to be. Or maybe you wandered off to considering things loved, which can cause love in others without having to become something else. Or maybe you thought about relations, which allow for Socrates to be shorter than Plato not because Socrates changed by shrinking but because Plato changed by growing. Or maybe you were considering what Aristotle takes to be the paradigm case of efficient causality – giving advice – the whole idea of which is that the one who gets it should change while the one who gives it doesn’t need to.
Now consider the second sentence in Vallicella’s (2)
Had [God] created no universe, then his power to create would have gone unexercised.
Presumably, Vallicella thought this was just axiomatic or obvious, though this is logically equivalent to taking G as self-evidently false, and that’s just a mistake. More to the point, the proof by which one establishes the existence of purus actus (not its simplicity, but its existence) requires that there be something that causes change in another without changing itself. This is precisely what “purus actus” means. “Pure” is the opposite of “mixed” and a mixed act is an actualizer that is itself actualized or a changer that is itself changed.
Put another way, the supposed dilemma between simplicity and freedom is not on objection to divine simplicity, but an assertion that God’s existence is self-evidently false, at least as this existence is understood by the defenders of divine simplicity. I don’t mean this in the obvious sense that if you affirm “God is not simple” you also affirm “no simple God exists”, but rather in the sense that the objection against divine simplicity is downstream from an unexamined assumption that a purus actus or unmoved mover or uncreated creator is impossible. That unexamined assumption is devastating to theism, and though we might be willing to throw Scholasticism under the bus, patristic thought would go with it, along with any idea of a biblical theology or Christology of the one through whom all things which were made, were made. I suppose a Mormon god or the Olympians might remain, which is exactly where the logic of denying divine simplicity tends.