Your formula is obviously true. That some people don’t understand this is what baffles me. It seems so obvious as to be uncontroversial!
However, it doesn’t seem to necessarily follow that we don’t have any free will at all. God can know what we will do and actively sustain our essence as we do things, (and therefore incurs some responsibility) but we can still be somewhat responsible for our acts even in this case.
To use Bradski’s example, the gun store owner is certainly responsible but that doesn’t let the gunman off the hook! They’re both guilty. God is responsible for creating Stalin and should have to answer for it (and I believe he has, and will), but that doesn’t have to mean Stalin “gets off scot-free” or bears no responsibility does it?
Also, don’t forget the power of ignorance. Even if the future is infallibly known to God, we’re ignorant of it and therefore experience “freedom” as a result of this ignorance. We, I think, are morally responsible for our actions because for all we know we are the cause of those actions. I don’t think it is possible to intuit how God’s will precisely effects us in the present or in the future. We only know God’s will by looking backward (in my opinion).
I feel like my response to this got skipped over in the amount of posts this thread has had in the past few days, but I was trying to make a somewhat similar point. We don’t act with the knowledge God has, we act based on our own knowledge, attitude, and perspective. Regardless of whether the situation I find myself in is the ultimately due to God or just the people around me and the quantum fluctuations of life or whatever, I’m still acting from my own present point in time. My decision in any hypothetical situation reflects the results of all of the situations I’ve either found myself in previously, or studied, or read about, or watched, etc etc.
I really struggle with understanding the idea that the gun vendor bears responsibility phrased in such a way that it seems to excuse the buyer. Regardless of whether the gun vendor can and just won’t, or can’t, or just doesn’t want to stop the buyer from killing someone, the person buying the gun is still at fault here. If they didn’t buy a gun, would they have used a knife? Their bare hands? A shoelace? Say the gun vendor decides to
refuse to sell the gun. Either way, the buyer’s intent was to actually kill someone. Even if stopped, the immoral intentions are still in place in that person’s mind.
It’s also a bit disingenuous to stop the analogy with the gun vendor is at fault because a person died since they did nothing to stop the murderer. This assumes that death is a permanent end result. Obviously I’m not saying that death and being murdered are not a negative, because they are, but from the perspective of God and the saints, death is barely even the beginning of our lives, much less the end. We’re looking at this from a living human perspective, obviously death is bad to us, being murdered even more so.
But God is aware of what awaits us in Heaven, which (though not doctrine) several locutions have asserted that one instant in Heaven is better than all the sufferings of one’s mortal life combined. We naturally view things in comparisons, but the joy of Heaven is incomparable to anything on Earth. From a soul in Heaven’s perspective, even the most brutal and horrific deaths are virtually nothing when compared to the peace and joy in Heaven. We don’t know this because we have never died, but from a Catholic perspective, the point of this life isn’t to live as long as possible with as little suffering as possible for as long as we can. The purpose of this life is to reach that point which brings us closest to God, and gives us the understanding that God’s mercy far outweighs any sin we could possibly commit.