Perhaps I did misread it. Let me try again. Your proposed definition is not adequate, because if something were constructed to have free will, then it would b

Perhaps I did misread it. Let me try again. Your proposed definition is not adequate, because if something were constructed to have free will, then it would be exhibiting free will because it was constructed that way :-) You first have to show that it is impossible to construct something in a way that it has free will. To show that, however, I think you'd need a definition of "free will" which is not "doing something it wasn't constructed to do" on pain of either circularity or contradiction.