Monday, April 14, 2025

Grim Reapers and logical impossibility

The main objection to the Grim Reaper paradox as an argument against infinite causal sequences is the Unsatisfiable Pair (UP) objection that notes that paradox sets up an impossible situation—and that’s why it’s impossible!

I’m exploring a response that distinguishes metaphysical and (narrowly) logical unsatisfiability. The Grim Reaper situation is not logically unsatisfiable. The UP objection (well, really, Unsatisfiable Quadruple) notes that the following cannot all be true:

  1. For all n > 0, the nth reaper wakes up at 60/n minutes after 10 am and kills Fred if and only if Fred is alive.

  2. Fred is alive at 10 am.

  3. There are no possible causes of Fred’s death other than those described in (1).

  4. There are no possible causes of Fred’s resurrection.

But all that’s needed to have these four claims hold is for each reaper to kill Fred and then have Fred causelessly come back to life before the next one kills him. And while I think causeless resurrections are metaphysically impossible, they are (narrowly) logically coherent.

In other words, for the UP objection to work, the unsatisfiability must be metaphysical, not merely narrowly logical. But this, I think, negatively affects the force of the UP objection. For instance, in my Infinity book I consider Grim Reapers with adjustable wake-up times, and I note that for some wake-up time settings (say, the nth reaper wakes up 60/n minutes before noon) there is no paradox, and I ask what metaphysical force prevents the wake-up time settings from being the paradoxical ones. Daniel Rubio in a review of the book responds (in the context of a parody) that “no metaphysical thesis is required to explain this impossibility; the fact that it would lead to a contradiction is enough.” But in fact a metaphysical thesis is required to explain the impossibility, since there is no contradiction (in the narrowly logical sense) in (1)–(4).

Perhaps this is not a big deal. After all the metaphysical thesis here, that causeless events are impossible, is one that I do accept. But nonetheless it is a metaphysical thesis, as such on par with causal finitism, and hence when we consider the explanation of the impossibility of the Grim Reaper story and the impossibility of various other of the causal paradoxes that I discuss, there is something appealing about seeing the case as nonetheless offering support for causal finitism, which explains all of them, while the thesis about causeless events being impossible does not.

1 comment:

Xavier Burt said...

Dr. Pruss, what other resources do you recommend in responding to the UP? Joe Schmidt has some interesting stuff on the UP/UPD and I'm thinking about looking into it more.