If classical theism rules out open theism, then classical theism rules out presentism

If presentism and most, if not all, other versions of the A-theory are true, then propositions change in truth value. For instance, on presentism, in the time of the dinosaurs it was not true that horses exist, but now it is true; on growing block, ten years ago the year 2019 wasn't at the leading edge of reality, but now it is. The following argument seems to show that such views are incompatible with classical theism.

1. God never comes to know anything.

2. If at t₁, x doesn’t know a proposition p but at t₂ > t₁, x knows p, then x comes to know p.

3. If propositions change in truth value, then there are times t₁ < t₂ and a proposition p such that p is not true at t₁ and p is true at t₂.

4. It is always the case that God knows every true proposition.

5. It is never the case that anyone knows any proposition that isn’t true.

6. So, if propositions change in truth value, then there are times t₁ < t₂ and a proposition p such that God doesn’t know p at t₁ but God does know p at t₂. (by 3-5)

7. So, if propositions change in truth value, God comes to know something. (by 2 and 6)

8. So, propositions do not change in truth value. (by 1 and 7)

I think the only controversial proposition is (1). Of course, some non-classical theists—say, open theists—will deny (1). But non-classical theists aren’t the target of the argument.

However, there is a way for classical theists to try to get out of (1) as well. They could say that the content of God’s knowledge changes, even though God and God’s act of knowing are unchanging. The move would be like this. We classical theists accept divine simplicity, and hence hold that God would not have been intrinsically any different had he created otherwise than he did. But had God created otherwise than he did, the content of his knowledge would have been different (since God knows what he creates). So the content of God’s knowledge needs to be partially constituted by created reality. (This could be a radical semantic externalism, say.) Thus, had God created otherwise than he did, God (and his act of knowledge which is identical to God) would have been merely extrinsically different.

But exactly the same move allows one to reconcile the denial of (1) with immutability. The content of God’s knowledge is partially constituted by created reality, and hence as created reality changes, the content of God’s knowledge changes, but the change in God is merely extrinsic, like a mother’s change from being taller than her daughter to being shorter than her daughter solely due to her daughter’s growth.

I agree that denying (1) is compatible with God’s being intrinsically unchanging. For a long time I thought that this observation destroyed the argument (1)-(8). But I now think not. For I am now thinking that even if (1) is compatible with immutability, (1) is a part of classical theism. For it is a part of classical theism that God doesn’t learn in any way, and coming to know is a kind of learning.

Here is one way to see that (1) is a part of classical theism. Classical theists want to reject any open theist views. But here is one open theist view, probably the best one. The future is open and propositions reporting what people will freely do tomorrow are now either false or neither-true-nor-false, but tomorrow they come to be true. An omniscient being knows all true propositions, but it is no shortcoming of omniscience to fail to know propositions that aren’t true. Then, our open theist says, God learns these propositions as soon as they become true. This is all that omniscience calls for.

Now, classical theists will want to reject this open theist view on the grounds of its violating immutability. But they cannot do so if they themselves reject (1). For the presentist (say) classical theist can reject (1) without violating immutability, so can our open theist. Indeed, our open theists can say exactly the same thing I suggested earlier: God changes extrinsically as time progresses, and the content of God’s knowledge changes, but God remains intrinsically the same.

So, what do I think the classical theist should say to our open theist? I think this: that God doesn’t come to know is not just a consequence of the doctrine of immutability, but is itself a part of the doctrine of immutability. A God who learns is mutable in an objectionable way even if this learning is not an intrinsic change in God. But if we say this, then of course we are committed to (1), and we cannot be presentists or accept any other of the theories of time on which propositions change in truth value.

I think the best response on the part of the classical theist who is an entrenched presentist would be to deny (1) and concede that classical theism does not rule out open theism. Instead, open theism is ruled out by divine revelation, and revelation here adds to classical theism. But it seems very strange to say that classical theism does not rule out open theism.