Showing posts with label snakes. Show all posts
Showing posts with label snakes. Show all posts

Tuesday, September 2, 2025

Killing coiled and straight snakes

Suppose a woman crushes the head of a very long serpent. If the snake all dies instantly when its head is crushed, then in some reference frame the tail of the snake dies before the woman crushes the head, which seems wrong. So it seems we should not say the snake dies instantly.

I am not talking about the fact that the tail can still wiggle a significant amount of time after the head is crushed, or so I assume. That’s not life. What makes a snake be alive is having a snake substantial form. Death is the departure of the form. If the tail of the headless snake wiggles, that’s just a chunk of matter wiggling without a snake form.

What’s going on? Presumably it’s that metaphysical death—the separation of form from body—propagates from the crushed head to the rest of the snake, and it propagates at most at the speed of light. After all, the separation is a genuine causal process, and we are supposed to think that genuine causal processes happen at the speed of light or less.

So we get a constraint: a part of the snake cannot be dead before light emitted from the head-crushing event could reach the part. But it is also plausible that as soon as the light can reach the part, the part is dead. For a headless snake is dead, and as soon as the light from the head-crushing event can reach a part, the head-crushing event is in the absolute past of the part, and so the part is a part of a headless snake in every reference frame. Thus the part is dead.

So death propagates to the snake exactly at the speed of light from the head-crushing, it seems. Moreover, it does this not along the snake but in the shortest distance—that’s what the argument of the previous paragraph suggests. That means that a snake that’s tightly coiled into a ball dies faster than one that is stretched out when the head is crushed. Moreover, if you have a snake that is rolled into the shape of the letter C, and the head is crushed, the tail dies before the middle of the snake dies. That’s counterintuitive, but we shouldn’t expect reality to always be intuitive.

Friday, May 2, 2025

Snakes and finitude

For years I have thought the finite to be mysterious, and needs something metaphysical like divine illumination or causal finitism to pick it out. Now I am not sure. I think snakes and exact duplicates can help. And if that’s right, then the argument in my other post from today can be fixed.

Here are some definitions, where the first one is supposed to work for snakes that may be in the same or in different worlds:

  • Snake a is vertebrally equal to snake b provided that there is a possible world with exact duplicates of a and b such that in that world it would be possible to line up the two snakes vertebra by vertebra, stretching or compressing as necessary but neither destroying nor introducing vertebra.

  • Snake a is the vertebral successor of snake b provided there is a possble world with exact duplicates of a and b such that in that world it is possible to line up the two snakes vertebra by vertebra with exactly one vertebra of a outside the lineup, again stretching or compressing as necessary but neither destroying nor introducing vertebra.

  • A world w is abundant in snakes provided that w has a snake with no vertebrae (say, an embryonic snake) and every snake in w has a vertebral successor in w.

  • A snake a is vertebrally finite provided that in every world in which snakes are abundant there is a snake vertebrally equal to a.

  • A plurality is finite provided that it is possible to put it in one-to-one correspondence with the vertebrae of a vertebrally finite snake.

These definitions require, of course, that one take metaphysical possibility seriously.