I mean, I’ve given that, and even a mechanism for it, many times before, in the Zeno machine. So far, that’s just been summarily ignored, and then the claim is repeated that nobody has ever given such a definition. But again, all that’s needed is a device that is able to set its own state by infinitely iterating over that same state—this will then be set exclusively due to its own will, i.e. not by anything exterior, while at the same time, not being random, i.e. not determined by a transcendental coin flip. Let’s look at Strawson’s formulation in more detail:
- Interested in free action, we are particularly interested in actions that are performed for a reason (as opposed to ‘reflex’ actions or mindlessly habitual actions).
- When one acts for a reason, what one does is a function of how one is, mentally speaking. (It is also a function of one’s height, one’s strength, one’s place and time, and so on. But the mental factors are crucial when moral responsibility is in question.)
- So if one is to be truly responsible for how one acts, one must be truly responsible for how one is, mentally speaking–at least in certain respects.
- But to be truly responsible for how one is, mentally speaking, in certain respects, one must have brought it about that one is the way one is, mentally speaking, in certain respects. And it is not merely that one must have caused oneself to be the way one is, mentally speaking. One must have consciously and explicitly chosen to be the way one is, mentally speaking, in certain respects, and one must have succeeded in bringing it about that one is that way.
- But one cannot really be said to choose, in a conscious, reasoned, fashion, to be the way one is mentally speaking, in any respect at all, unless one already exists, mentally speaking, already equipped with some principles of choice, ‘P1’ - preferences, values, pro-attitudes, ideals - in the light of which one chooses how to be.
- But then to be truly responsible, on account of having chosen to be the way one is, mentally speaking, in certain respects, one must be truly responsible for one’s having the principles of choice P1 in the light of which one chose how to be.
- But for this to be so one must have chosen P1, in a reasoned, conscious, intentional fashion.
- But for this, i.e. (7), to be so one must already have had some principles of choice P2, in the light of which one chose P1.
- And so on. Here we are setting out on a regress that we cannot stop. True self-determination is impossible because it requires the actual completion of an infinite series of choices of principles of choice.
- So true moral responsibility is impossible, because it requires true self-determination, as noted in (3).
So this sets out very clearly what is necessary for free will: completing the infinite sequence of self-determinations. This the Zeno machine can do: there’s thus a clear and simple model of how free well would work.
Against this, of course, one can hold that such an infinite sequence is possible. Fair enough! I think this aligns with everybody’s intuitions. But then, one is confronted with the question, as no finite sequence of instructions can create random data, how does randomness arise? Believing it does entails just the same belief in trans-finite methods. (And so does creation out of nothing, or trivially the existence of an infinite universe.) (And indeed, if one somehow has a source of randomness, then every behavior of a Zeno machine can be replicated with that and a finite algorithm, so there’s a genuine equivalence here.)
So the other option is that it’s just mechanistic explanation that runs into troubles here. Theories are really just transformations of information (like computations); they can’t account for the creation of novel information, as in random events. But since there are random events, and the universe presumably has been created, maybe we need to question our intuition. But then we find that Strawson’s regress simply ceases to be a problem!
Every search for ‘ultimate’ explanations eventually lands at circularity, regress, or dogma, i.e. deciding the issue by fiat. But that’s just inherent to how explanation works: it takes a pre-existing state of affairs, and deduces some resulting state by means of a finite sequence of steps. Maybe that just doesn’t capture everything going on in the world. After all, nobody has ever promised us that it does!