@ughaibu,
Here is the skeleton version and I agree this method for showing an argument is far more clear. I hope these definitions are acceptable.
DEFINITIONS:
Free Will - ones ability to make a choice without the constraint of external factors. Where an external factor is anything that is not the will, conscious intent, of the chooser.
Choice - is a selection of exactly one member which is a proper subset of an option set. Or for the purposes of this argument, choice is a thought process where a desire for one option is taken from a group of options.
Desire - is a command to have something. To want or ask for something.
PROPOSITIONS:
1. For free-will to work by definition we cannot be ultimately forced to do something by something outside our will.
2. To make sure we have selected an option from a set of options for our own reasons and not something else we must have specified those reasons or the desire for taking that option. If we did not create the reasons or the desire for the selection then it was put there without our input and this contradicts the definition of free will.
3. To create a desire we must have had options to pick from or else there is only one option for the desire which came to be without our input so the desire is something forced and is determined. So to make sure our will creates the desire, the desire needs to be the result of a choice made by our will.
4. So to be in accord with free will every desire must be the result of a choice made by you. If not, there was only one option for the desire which was not decided by you.
5. Because of (4) there must be a choice for every desire. So when we desire something in a group of options we need to have made a choice for that desire and in that choice there had to be a “desire to desire something” and on and on. So that we get a chain of choices selecting desires without end. For example, “…. I desire to…desire something, I desire to desire something, I desire something and finally pick it.”
6. If (5) is not followed somewhere there will be a beginning to the chain of choices for desires. At that point, the desire originated without input from the chooser and because the desires are dependent on previous desires all following desires will be dictated by the original and the choice will have been ultimately determined by something outside his/her own conscious intent.
7. The problem with having an infinitely long chain of choices picking desires is that human beings cannot make an infinite amount of choices in a finite amount of time. This would be equivalent to being able to make a single choice in zero time. This is what I mean by incompatibility with human experience. It is known from our experiences that choices take time and that we do not use the process I described above and that I argue is necessary to the definition of free will.