@ughaibu,
ughaibu;161588 wrote: Yes, and is it realisable?So realisable possibilities are a proper subset of physical possibilities.
Again, so what? I said this doesn't entail what is in fact taking place is necessarily taking place. P, therefore, necessarily P is invalid. Just because I am chopping would doesn't entail it is not possible I could not have not been chopping wood. Even though I am chopping wood, it is still true that I might not have been chopping wood.
ughaibu;161588 wrote: Whether or not it is particularly a determinist claim is irrelevant, because it is in any case a claim of determinism.
No it isn't. Determinism claims an inital set of conditions and the laws of nature entails a set future state of affairs. It doesn't say these future affairs are necessary, or that one could not possibly have done otherwise if one had chosen differently. In fact, it says the exact opposite: determinism says that
if I had chosen differently, then I
would have done otherwise. This follows from the thesis that every event has a cause. Q.E.D.
P-->Q
P
Therefore, Necessarily Q
is INVALID.
ughaibu;161588 wrote: What matters for free will is actual states of the world,
Why? You just assume this to make your case against free will. You are begging the question. What matters for free will are possible and contingent states of affairs.
ughaibu;161588 wrote: if determinism is the case, then there is only one true statement describing the state of the world at any time.
And this includes possibly and contingently true statements. Determinism is not fatalism. You
rule out possibly and contingently true statements to make a case for fatalism, not determinism. They are not the same philosophical views.
ughaibu;161588 wrote:If an agent can not realise a possibility, ie if that possibility is only logical or physical, then that agent does not have free will regarding that possibility, by definition.
This is a just a tautology. "If an agent cannot realize a possibility, then the agent cannot realize that possibility." This does not logically follow from anything.