An excellent overview of the problem of free will, reviewed by a philosopher who spent most of his life thinking about it. The book is actually a collection of papers written by Peter van Inwagen at various time of his career.
Peter van Inwagen spends a lot of time defining precisely what is free will. The clearest definition borrows from the style Turing used to define Turing machines : describing a situation where free will must exist for that situation to happen. This is most often a situation where a human being, supposedly endowed with free will, is taking a decision where he could perfectly have taken another, inverse decision.
The author then describes the current and past philosophical battlefield about the topic, which can vary whether the world is proven to be deterministic or non-deterministic. In the deterministic world (Aristotle is a determinist in that sense), there are hard determinists, who contend that free will is not possible in a world whether each event derives from another event just before it, and compatibilists, who say that somehow free will can exist in a deterministic world. There are also incompatibilists, who says that free will is not compatibible with determinism, but is compatible with a undeterministic universe, where we are assumed to live - hopefully.
The contribution brought by the author to this edifice is precisely that free will is incompatible with undeterministic world.
As Peter van Inwagen says himself : "Perhaps the explanation of the fact that both compatibilism and incompatibilism seem to lead to mysteries is simply that the concept of free will is self-contradictory. Perhaps free will is, as the incompatibilists say, incompatible with determinism. But perhaps it is also incompatible with indeterminism, owing to the impossibility of its being up to an agent what the outcome of an indeterministic process will be. If free will is incompatible with both determinism and indeterminism, then, since either determinism or indeterminism has to be true, free will is impossible. And, of course, what is impossible does not exist."
However, we do have a clear impression of free will. Maybe it's real or perhaps neuroscience will explain where this impression comes from, and close the debate.
We might then have to deal with the despair of mourning the free will that never was.