Modal details in Unger's argument against his existence

Unger famously argues that he doesn’t exist, by claiming a contradiction between three claims (I am quoting (1) and (2) verbatim, but simplifying (3)):

1. I exist.

2. If I exist, then I consist of many cells, but a finite number.

3. If I exist and I consist of many but a finite number of cells, then removal of the least important cell does not affect whether I exist.

Unger then says:

these three propositions form an inconsistent set. They have it that I am still here with no cells at all, even while my existence depends on cells. … One cell, more or less, will not make any difference between my being there and not. So, take one away, and I am still there. Take another away: again, no problem. But after a while there are no cells at all.

But taken literally this is logically invalid. Premise (2) says that I consist of many but a finite number of cells. But to continue applying premise (3), Unger needs that premise (2) would still be true no matter how many cells were taken away. But premise (2) does not say anything about hypothetical situations. It says that either I don’t exist, or I consist of a large but finite number of cells. In particular, there are no modal operators in (2).

Now, no doubt this is an uncharitable objection. Presumably (2) is not just supposed to be true in the actual situation, but in the hypothetical situations that come from repeated cell-removals. At the same time, we don’t want (2) to be ad hoc designed for this argument. So, probably, what is going on is that there is an implied necessity operator in (2), so that we have:

4. Necessarily, if I exist, then I consist of many cells, but a finite number.

The same issue applies to (3), since (3) needs to be applied over and over in hypothetical situations. Another issue with (3) is that to apply it over and over, we need to be told that removal of the cell is possible. So now we should say:

5. Necessarily, if I exist and I consist of many but a finite number of cells, then removal of the least important cell is possible and does not affect whether I exist.

Now, I guess, we can have a valid argument in S4.

Is this a merely technical issue here? I am not sure. I think that once we’ve inserted “Necessarily” into (4) and (5), our intuitions may start to shift. While (2) is very plausible if we grant the implied materialism, (4) makes us wonder whether there couldn’t be weird situations where I exist but don’t consist of many but a finite number of cells. First, it’s not obviously metaphysically impossible for me to grow an infinitely long tail? That, however, is a red herring. The argument can be retooled only to suppose that I necessarily have many cells and I actually have a finite number. But, second, and more seriously, is it really true that there is no possible world where I exist with only a few cells? In fact, perhaps, I once did exist with only a few cells in this world!

Similarly about (5). It’s clear that right now I can survive the loss of my least important cell. But it is far from clear that this is a necessary truth. It could well be metaphysically possible that I be reduced to some state of non-redundancy where every cell is necessary for my existence, where removal of any cell severs an organic pathway essential to life. I would be in a very different state in such a case than I am right now. But it’s far from clear that this is impossible.

Perhaps, though, the modality here isn’t metaphysical modality, but something like nomic modality. Maybe it’s nomically impossible for me to be in a state where every cell is non-redundant. Maybe, but even that’s not clear. And it’s also harder to say that the removal of the least important cell has to (in the nomic necessity sense) be nomically possible. Couldn’t it be that nomically the only way the least important cell could be removed would be by cutting into me in ways that would kill me?

Furthermore, once we’ve made our modal complications to the argument, it becomes clear that of the three contradictory premises (1), (4) and (5), premise (1) is by far the most probable. Premise (1) is a claim about my own existence, which seems pretty evident to me, and is only a claim about how things actually are now. Premises (4) and (5) depend on difficult modal details, on how things are in other worlds, and on metaphysical intuitions that are surely more fraught than those in the cogito.

(One of the things I’ve discovered by teaching metaphysics to undergraduates, with a focus on formulating logically valid arguments, is that sometimes numbered arguments in published work by smart people are actually quite some distance from validity, and it’s hard to see exactly how to make them valid without modal logic.)