@ughaibu,
ughaibu;161563 wrote: Well, an agent has free will on occasions when they make and act on a conscious choice from amongst realisable alternatives, logical possibility doesn't come into it, because the physically possible is a proper subset of the logically possible, and the realisable is a proper subset of the physically possible.
Why is what is realisable a subset of what is physically possible? Don't you just assume this? I may be chopping wood because that is physically possible. But that doesn't mean that my not chopping wood is not physically possible while I am chopping wood. So you just assume that my chopping and not-chopping wood is physically possible, but my chopping wood is realisably necessary when I am chopping wood because my not chopping wood is realizably
impossible. I disagree. Until you can show any good reason for thinking otherwise, I don't have to accept that distinction. Besides, it is absurd. If you were realisably chopping wood necessarily, then you would be physically chopping wood all the time. But you are not, so "realized necessity" is false.
ughaibu;161563 wrote: So, there is no inference from the logically possible to the realisable, logical possibility only sets limits, it's irrelevant to the question of free will and determinism.
The only limit to logical possibility is anything that is self-contradictory. So anything that is not contradictory is logically possible. But none of this has to do with determinism which is a thesis about causal sufficiency, not causal necessity.
ughaibu;161563 wrote: In short, unless you can demonstrate that it is possible to realise an alternative to the truth, then compatibilism fails.
That conclusion doesn't logically follow at all. So your argument is a non-sequiter. I can argue back that until you demonstrate that what is true must be the case, there is no reason to suppose everything happens necessarily. It is still true that I may not have been chopping the wood even while I am chopping the wood. There is nothing inconsistent about this. So I don't understand what advantage you have, here.