this is just false. period.
all that’s necessary for some state of affairs to be logically possible is that it be logically consistent.
all that’s required for somet state of affairs to be metaphysically possible is that it be actualizable by someone.
We’re agreed so far.
you are simply making the undefended assumption that metaphysical possibility requires that god be capable of actualizing the state of affairs in question. i, for one, reject it (as do most if not all other molinists).
why should anyone believe this assumption of yours?
It’s not “my” assumption. It’s the assumption of classical theism. It’s the classic definition of omnipotence.
Again, I do not deny that you can uphold the free will defense if you deny one of the bedrock assumptions of classical theism. But then, bye-bye Five Ways.
I’ll go through it logically step by step.
- There exist, potentially, metaphysical goods (right choices by free creatures in some metaphysically possible world) which nevertheless God is incapable of actualizing (your assumption).
- There exist, actually, right choices by free creatures in the present world. (premise).
- There exist, actually, metaphysical goods which God has not actualized. (From 1 & 2).
- An actualized good is actualized by something else. (premise)
- There exist metaphysical goods actualized by some other entity than God. (From 3 & 4).
- This entity must be either actualized by God, or some other entity besides itself (from 4).
- If this entity is actualized by God, then the metaphysical goods in 3) are also actualized by God (from transitivity of causation).
- Therefore, this entity is not actualized by God, but by some other entity (3 & modus tollens).
- But this entity must be either actualized by God, or some other entity besides itself (from 4).
- through 9) keeping looping over and over again. Therefore, an infinite regress exists, with no entity in the series actualized by God, and no First Cause.
Or, alternatively, 4) is wrong and there are self-actualizing entities, and thus many different first causes of causal chains besides God. Either way, classical metaphysics, metaphysical proofs for God’s existence, and the God as First Cause are in the trash can.
propositions about free choices are contingent truths that are not up to god to make true.
And if they are not up to god to make true, how are they not necessary truths? It is impossible they be otherwise.
what is impossible is that god actualize any state of affars that contains a free choice that is not his own
Where’s the proof of this? Classical theism says just the opposite.
(more precisely, perhaps, god cannot actualize a state of affars which contains a free choice being actualized by someone other than the chooser; that state of affairs is self-contradictory)…
No, God can actualize things such that the chooser infallibly, though freely, makes the choice. This is the traditional explanation of efficacious grace. And there is no self-contradiction in that.
and you have yet to explain why there cannot be contingent truths that are not up to god to make true; just reiterating your point over and over again does not constitute an explanation.
No, what I keep explaining is that if there are contingent truths that are not up to god to make true, then this goes against the classical idea of omnipotence and God as First Cause.
What is the definition of a contingent truth?
A truth that is only the case in some possible worlds, not all.
What makes a world a possible world? A world actualizable by someone.
But if the world not be actualizable by God, then there are metaphysical goods not actualizable by God, and thus not actualized by God.
no: if A chooses D in circumstances B in some possible world, then the proposition “A would choose C is circumstances B” is ***false ***at that world.
Yes, false,
in that world. But that does nothing whatsoever to establish the truth-value of the counterfactual. Your argument is essentially circular. It goes like this:
God could not create a world in which A chooses C in circumstance B.
Why not?
Because of the counterfactual in which A always chooses ~C.
From whence derives the truth value of the counterfactual?
Because A chooses ~C in circumstance B in world W.
But what about a world W’ in which A chooses C?
It’s impossible for God to actualize because of the counterfactual in which A always chooses ~C.
How is the counterfactual true?
Because A chooses ~C in circumstance B in world W.
Etc…
if a proposition *P *is true in some possible world, W, then the proposition "P is true in W" is true at every possible world.
Don’t be silly. It’s the proposition P not “P is true in W” that you need to have a counterfactual forbidding the creation of world W’ in which P is false.
in the simple modal sense that i have outlined above, no one denies that they “apply” in all possible worlds.
Then there is no possible world in which A chooses C, if the counterfactuals apply in all possible worlds.
there is a possible world where A chooses otherwise, because it ***is ***possible for A to choose otherwise, since A is free; it is possible that ***A ***chose differently than she did. it just happens that A doesn’t choose otherwise, and since (those segments of) possible worlds containing free choices are only capable of being actualized by the beings whose free choices they are, god cannot actualize those world-segments which contain a different choice than was actually made.
You’re putting the actual choice metaphysically and ontologically
prior to God’s actualization of the world segment. Since A doesn’t
in fact choose otherwise, you say, God can not actualize a world-segment in which A chooses otherwise. This is nonsense. A can’t in fact choose otherwise until A is actualized!
sure, if by “contingent truth”, you mean “state of affairs that is actual”; how could god know what’s actual unless it is, in fact, actual?
Then I bid you a grand welcome to open-view theology. God knows our choices as a result of our having made them. This is what you’re saying, right? Traditionally God knows what’s actual as it is what He has willed to actualize (because He is simple His knowing and willing are one and the same thing). But you’re stuck because (in your view) there are actualized things that God has not willed to actualize.
Open-view theology is absolutely irreconciliable with classical theism, where God cannot “learn”.
until you can demonstrate that “possible” can only reasonably mean “capable of being actualized by god”, we cannot usefully continue this discussion.
OK, I’ve demonstrated it, rigorously, above.