At first I believed you had a handle on modal logic.
I do.
Here it is briefly: <> Possibility
[] Necessarily
<>Bob wore a red shirt (possible)
[] Bob did not wear any other color
[] Bob wore a shirt
It doesn't prove that Bob wore a red shirt but it eliminates the 'objections.'
Again, this assumes that it was possible that Bob wore another color. If Bob is a robot who is perfectly constructed and programmed to wear a red shirt which is in his possession, then, for Bob, wearing the red shirt is necessary, because he
cannot do otherwise. He MUST wear the red shirt.
You see, something that is "possible" must have a possible "not" contingent.
Apparently you are the one who needs the lesson in modal logic.
We know that Bob wore a shirt and that it wasn't any other color.
We don't know 100% that he wore a red shirt, but we know the objections are untenuable.
But you've assumed that it is possible for Bob to do something other than wear the red shirt. You actually need to establish contingent for Bob's wearing of a red shirt.
The links I gave show that the OV argument is likewise untenuable
Except that you segregate these items from the remainder of the argument, leaving the question of necessity or possibility in question.
<> Foreknowledge doesn't eliminate choices
[] We have choices
[] We cannot build logical objection once duration is eliminated which is the proposition (either by a literal definition of prognosis or by an almanac somehow coming back in time)
This simply doesn't follow from anything you've said. You've left far too many holes in your argument for it to stand, whereas the necessity of God and His attributes are clear and unopposed.
Well, let's test this:
If foreknowledge is eternal, at what point could it have been otherwise?
In fact, given that God is both necessary and eternal and His foreknowledge is eternal, the logical conclusion is that foreknowledge MUST be necessary, as I've demonstrated before.
[]If God foreknows X then X
If God necessarily foreknows X then X, necessarily
God is necessary.
God's eternal foreknowledge is necessary (it cannot be otherwise.)
Therefore, X is necessary.
It's not complicated.
Foreknowledge isn't logically contradictory either. It is applying 'duration' logical to atemporal proposition that creates the logical fallacy. Your mind is going unidirectional logically when we are talking about multidirectional capacity according to the literal definition of foreknowledge (knows beforehand).
You and I must wade through duration to know if a preconception is proved true or not (the very definition of knowledge is only actualized by us 'after' the fact).
No. Foreknowledge is logically contradictory to free will. God's eternal existence doesn't run into a logical contradiction with some other doctrine.
Fair enough, and maybe I'll need you to really break this down.
In my mind x=choice. I mention y=foreknowledge because the thing you are arguing requires it. They are two different things and you are trying to show that there is a logical problem with y (at least as I see it).
X can be anything. Doesn't matter what it is.
And there is no 'Y'. I mention foreknowledge directly in the proof, and demonstrate its necessity. Why change it?
I believe 1) they have shown that logical argument against it is presumptuous
2) that they have given good reasons for compatibility that satisfy logical demands
The Aristotelian solution:
One response to the dilemma of infallible foreknowledge and free will is to deny that the proposition T has a truth value, nor does any proposition about the contingent future or its negation have a truth value.
Eliminates Foreknowledge
The Boethian solution:
The way Boethius describes God's cognitive grasp of temporal reality, all temporal events are before the mind of God at once.
Which seems to be your tack.
This requires another argument.
the Ockhamist solution
Adams argues that God's existence in the past and God's past beliefs about the future are not strictly past because they are facts that are in part about the future.
Adams's argument was unsuccessful since, among other things, her criterion for being a hard fact had the consequence that no fact is a hard fact (Fischer 1989, introduction), but it led to a series of attempts to bolster it by giving more refined definitions of a “hard fact” and the type of necessity such facts are said to have — what Ockham called “accidental necessity” (necessity per accidens).
The Molinist solution
Discussed at length, here. The issue here is that God chooses which choices we make when He actualizes.
The Frankfurtian/Augustinian solution
Black, an evil neurosurgeon, wishes to see White dead but is unwilling to do the deed himself. Knowing that Mary Jones also despises White and will have a single good opportunity to kill him, Black inserts a mechanism into Jones's brain that enables Black to monitor and to control Jones's neurological activity. If the activity in Jones's brain suggests that she is on the verge of deciding not to kill White when the opportunity arises, Black's mechanism will intervene and cause Jones to decide to commit the murder. On the other hand, if Jones decides to murder White on her own, the mechanism will not intervene. It will merely monitor but will not affect her neurological function. Now suppose that when the occasion arises, Jones decides to kill White without any “help” from Black's mechanism. In the judgment of Frankfurt and most others, Jones is morally responsible for her act. Nonetheless, it appears that she is unable to do otherwise since if she had attempted to do so, she would have been thwarted by Black's device.
The problems, here, are evident, albeit convoluted. In the end, if the neurological device kicks in because Jones chose not to kill, then free will no longer exists.
If you can't explain it, then you cannot contradict it. That's all I'm saying about choice and foreknowledge as well.
False dichotomy. I said that we cannot explain it exactly. There are elements that we DO understand, and we can deal with those.
I think there are contradictions to finite being's logic (not really contradictions, but limitations on our ability to comprehend and/or acquiesce). The question "How can God have never had a beginning?" usually starts pointing in that direction.
Yes, but that falls under unexplainable, not under contradicts other doctrine.
If it records accurately what 'happened' then those things necessarily will happen, not because the Almanac 'predicts' it, but because it accurately records it. It already assessed what man's greatest choice inclinations were. Because man is the determinitive factor, man will have already chosen.
But in going back in time, those same individuals will have an opportunity to make a free choice again. Even if everything remains identical, if free will is true, it is almost certain that things will not happen exactly the same way.
If your almanac were 100% accurate, then free will does not exist.
I'm going to try to equate here and feel free to correct me because I really want to try and understand your objection:
If you no longer have freewill over the past, did you really have it to begin with?
I'm trying to understand the difference in your mind between an inescapable past and your objection to an inexcapable future. In my thinking, I don't think we have free choice in the future either. It is only the 'now' where we can actually make a choice and it is for the briefest of duration. Because foreknowledge deals with 'future' I see these logical problems similarly and need much clarification from OVer's about the specific differences. I'm not tracking on your wave-length for disagreement.
Well, I cannot remake a decision from the past right now, and I cannot make a decision that I don't know I'll have to make in the future, can I? I can only make decisions that I have in front of me right now.
Now, future decisions (without foreknowledge) are still contingent, and I will freely make them. Past decisions are now-necessary, since they cannot be otherwise. That's the difference between the past and the future.
And we can go off on proof-texting from our perspective advantages, but as I said, if it is logically impossible in your mind, the only option is to explain away the verses (like you also believe we do, so it is important to get from impossible to possible or vise versa). If OV could prove the point, I'd become a convert but I really believe we are discussing something that no 8 year old would readily grasp.
I wouldn't expect an 8 year old to grasp it. These are complex theological and philosophical issues.
And there is no "explaining away" of anything.
I agree with this assessment, but not for the whole book. There are figurative and literal explications. When John says he spoke with the elder, it seems properly literal to me. I don't see 'elder' as a symbolic figure.
Then you don't really understand the apocalyptic genre.
Muz