Originally posted by JS357
Put simply, Lemoncello said, quote, "...it is possible that God does not know that I will A." My view is, if you do A, God knows that you do A, eternally. If you don't, God knows that. This is my characterization of God. If yours is that God does not know some truths, then that is yours.
I do not dispute the idea that God is not coercing you by the simple f ...[text shortened]... ng what you will do. But Lem clearly states, "...it is possible that God does not know...".
But, how are you not just falling for precisely the "trap" that prompted my post in the thread referenced by Conrau K? The fatalist objector there brings up the objection that, basically, the conjunction
(1) S will do A
(2) It is possible that G does not know that S will do A
is problematic for the idea that G is a perfect knower. This is more or less exactly your objection as well. But the conjunction (1)&(2) is not problematic in this regard, which was exactly the point of the example discussion between the libertarian theist and fatalist objector (with this being fleshed out more fully in the thread Conrau K referenced).
Lemoncello said, quote, "...it is possible that God does not know that I will A."
Right, that is what the libertarian theist states. He then proceeds to state "But that does not mean it is possible God is mistaken about what I do. It is still necessarily the case that if I end up A-ing, God knows it; just like it is necessarily the case that if I end up not A-ing, God knows it."
The reason for this is the following. Again, the infallibility condition on G's knowledge that this libertarian theist endorses is contained in the following: necessarily (P -> G knows P). Please note here that this does not preclude the conjunction (1)&(2) above, but note also that this amounts to no real strike against the cognitive powers of G: the infallibility condition still basically entails that G cannot be mistaken about what S will or will not do. This is why your inference (from the conjunction (1)&(2) to the idea that such G fails to be a perfect knower or even to the idea that it is
merely possible that G is mistaken or ignorant about what S ends up doing) is flawed, and this is exactly the "trap" that I was trying to highlight in the other thread as an example of what lucifershammer was calling "crazy" talk mentality. Prima facie, it does seem rather crazy to talk about the possibility that a perfect knower does not know P in a world where P is in fact the case. But, again, it turns out to be not crazy at all since a proposition's being possible here just means that it is true in at least some possible world; and because it is one of the libertarian's chief commitments that, despite that P is true, there are possible worlds where P is false. If the libertarian theist is committed to the fact that P obtains (and hence that a perfect knower knows P) but simultaneously also the fact that there are possible worlds where P does not obtain; then he will be committed to the fact that P obtains (and hence a perfect knower knows P) but simultaneously also the fact that there are possible worlds where a perfect knower does not know that P obtains; ergo, he will be committed to the fact that P obtains (and hence a perfect knower knows P) but simultaneously also the fact that it is possible that a perfect knower does not know that P obtains. There is no problem here. In short, the inference from conjunction (1)&(2) to the idea that it is possible that G is mistaken about what S will do, is not valid. This invalid inference, however, seems tempting and that is what makes it an easy "trap".
If you are still not convinced that you have fallen into a trap, consider the following. You state here that your view is "if you do A, God knows that you do A (, eternally)". Well, that seems really weak at face value toward that idea that this 'God' you refer to is a perfect knower since this condition is consistent with its merely
contingently being the case that if you do A, God knows that you do A. I doubt your view would survive much scrutiny in that regard. So, surely, we ought to be able to strengthen your condition on God's knowledge by adding
necessarily in there to make it: "necessarily, if you do A, God knows that you do A (, eternally)". Surely, this could only strengthen your view with respect to the inference that such a God is a perfect knower, correct? But -- guess what -- this strengthened version of your own view is actually the view of the libertarian theist who said correctly, as you quoted, "...it is possible that God does not know that I will A." The upshot: even a substantially stronger version of your own view still admits that such possibilities will co-exist even with the putative cognitive perfection of God.