DEV Community

Cover image for Skate or Die: A Serious Logical Inquiry
Regis Wilson
Regis Wilson

Posted on

Skate or Die: A Serious Logical Inquiry

“Skate or die” appears to offer a simple choice. One may skate, or one may die. As slogans go, it is concise, memorable, and apparently decisive.

But does it withstand serious logical scrutiny?

Let:

  • SS : one skates;
  • DD : one dies.

The ordinary logical translation is:

S∨D S \lor D

Unless otherwise stated, ∨\lor is inclusive: “skate, die, or do both.” This matters because people who skate are not generally believed to be exempt from death. Indeed, skating may provide several additional ways of reaching it.

Material implication gives us an equivalent formulation:

S∨D≡¬S→D S \lor D \equiv \neg S \to D

In words:

If one does not skate, then one dies.

That seems close to the intended threat. Unfortunately, it immediately encounters a problem: everyone eventually dies. If DD means “dies at some point,” then DD is always true, and therefore so are S∨DS \lor D and ¬S→D\neg S \to D .

The slogan is true, but in the least useful possible way.

The mortality problem

A material conditional P→QP \to Q is true whenever QQ is true. If everyone dies, then:

¬S→D \neg S \to D

is true whether or not skating has any effect.

The following statements would be equally valid:

  • file taxes or die;
  • eat a sandwich or die;
  • own exactly seven spoons or die;
  • remain completely motionless or die.

None establishes a causal connection between the proposed activity and mortality. They merely append an inevitable outcome to an arbitrary alternative.

As an aside, some people espouse that taxes and death are fixed and permanent; therefore “pay taxes and die” is always considered true but also beyond the scope of the present work.

If DD is universally true, the slogan does not divide humanity into skaters and doomed non-skaters. It divides humanity into people who die after skating and people who die without having skated. The death clause does no persuasive work.

We could object that the slogan means “skate or die now,” or “skate or die sooner,” but those are different propositions. The original slogan specifies neither a deadline nor a causal mechanism. Under strict material implication, eventual mortality is enough.

This appears to dismantle the phrase—but only until we allow DD to vary.

The four states of skate and death

Suppose death is not automatically true. Perhaps immortality is possible, or perhaps DD means death within some relevant period. Skating may extend one’s life through exercise and recreation; it can also shorten one’s life through rapid encounters with pavement.

Not skating is harder to investigate because it is not a single activity and has no natural unit of measurement—more on this later. Nevertheless, we might plot skating exposure on the xx -axis and mortality risk on the yy -axis.

The lower-left region—very little skating and very little death—is substantially unknown and perhaps unknowable, since its most interesting inhabitants are immortal non-skaters whose immortality cannot be established in finite time. This gives the region the appearance, if not the mathematical credentials, of a singularity.

At the upper-right extreme, ever-increasing skating exposure presumably produces increasingly immediate opportunities for death. Somewhere between immortal inactivity and fatal continuous skating lies a curve whose shape remains regrettably unsupported by clinical research.†

Proponents wearing Vans sneakers and ripped trousers might presume the curve is Gaussian—or perhaps governed by a Poisson process—suggesting an optimal middle region in which moderate skating improves life while excessive skating produces rapidly accumulating encounters with pavement. Critics wearing aprons and wielding rolling pins may instead argue for a runaway exponential, under which every additional unit of skating compounds the hazard until death becomes less an outcome than an asymptote approached at considerable speed.

However impossible it is to graph, logically there are four possible states:

Skate? Die? Description
No No Immortal non-skater
No Yes Mortal non-skater
Yes No Immortal skater
Yes Yes Mortal skater

Each row corresponds to a complete conjunction:

  • ¬S∧¬D\neg S \land \neg D : neither skate nor die;
  • ¬S∧D\neg S \land D : do not skate and die;
  • S∧¬DS \land \neg D : skate and do not die;
  • S∧DS \land D : skate and die.

In unconstrained propositional logic, all four conditions are satisfiable. Nothing inherent in SS or DD makes any combination contradictory.

They are mutually exclusive and collectively exhaustive:

(¬S∧¬D)∨(¬S∧D)∨(S∧¬D)∨(S∧D) (\neg S \land \neg D) \lor (\neg S \land D) \lor (S \land \neg D) \lor (S \land D)

Every possible person—or every possible person at the relevant time—must occupy exactly one row.

Now consider which rows satisfy S∨DS \lor D :

State Satisfies “skate or die”?
Immortal non-skater No
Mortal non-skater Yes
Immortal skater Yes
Mortal skater Yes

The slogan excludes exactly one class of being:

The immortal non-skater.

Mortal non-skaters satisfy it by dying. Mortal skaters satisfy it twice over. Immortal skaters satisfy it by skating. Only someone who neither skates nor dies can refute it.

This leads directly to the slogan’s contrapositive.

Immortals must skate

Recall:

S∨D≡¬S→D S \lor D \equiv \neg S \to D

The contrapositive of ¬S→D\neg S \to D is:

¬D→S \neg D \to S

Therefore:

If one does not die, one skates.

Or, more elegantly:

Immortals must skate.

This is not merely compatible with “skate or die.” In classical propositional logic, it is exactly equivalent to it.

The slogan does not establish that skating causes immortality:

S⇏¬D S \not\Rightarrow \neg D

It establishes only that immortality entails skating:

¬D→S \neg D \to S

An immortal may be forced by some deep metaphysical law to skate. Alternatively, all immortals may happen independently to enjoy skating. Material implication does not tell us why.

Nor does the slogan say much about mortals. They may skate or abstain as they please because death satisfies the slogan on their behalf. Its entire substantive content concerns immortal beings.

Hence the proper target audience for “skate or die” is not rebellious mortal youth. It is the undying.

Skate xor die

Perhaps the ordinary-language “or” is intended exclusively: choose one and only one. Then the slogan becomes:

S⊕D S \oplus D

Exclusive or is true when exactly one operand is true:

Skate? Die? Skate xor die?
No No False
No Yes True
Yes No True
Yes Yes False

Expanded:

S⊕D≡(S∧¬D)∨(¬S∧D) S \oplus D \equiv (S \land \neg D) \lor (\neg S \land D)

Under this interpretation, only two classes are permitted:

  • mortal non-skaters;
  • immortal skaters.

Both the immortal couch potato and the mortal skater are forbidden.

We can also write:

S⊕D≡S↔¬D≡D↔¬S S \oplus D \equiv S \leftrightarrow \neg D \equiv D \leftrightarrow \neg S

This is far stronger than inclusive “skate or die.” It tells us that skating is both necessary and sufficient for immortality:

All and only skaters are immortal.

The slogan has transformed from a vague threat into a complete theory of mortality. Skating does not merely improve one’s chances. It perfectly partitions the population into immortal skaters and mortal non-skaters.

This also creates an unfortunate consequence if universal mortality is restored. Add:

D D

Since death already occupies the one permissible side of the exclusive disjunction, skating must be false:

D∧(S⊕D)⊨¬S D \land (S \oplus D) \models \neg S

Thus, if everyone dies and the “or” is exclusive:

Nobody may skate.

A mortal skater makes both SS and DD true and thereby violates the slogan. Under universal mortality, “skate xor die” is logically equivalent to “do not skate.”

The exclusive reading is therefore either a promise of immortality or an anti-skating prohibition, depending entirely upon whether death is optional. Thus the sidewalk policeman believes in eventual death and the rebellious teenager denies it.

Skate if and only if die

The negation of exclusive or is equivalence:

¬(S⊕D)≡S↔D \neg(S \oplus D) \equiv S \leftrightarrow D

This permits the two states that XOR rejects:

(S∧D)∨(¬S∧¬D) (S \land D) \lor (\neg S \land \neg D)

Under this policy:

  • skaters die;
  • non-skaters live forever.

This is the precise logical regime under which skating and death accompany one another. It might be expressed as “skate iff die,” although it is unlikely to sell many boards.

The three principal policies can therefore be summarized:

Policy Permitted inhabitants
Inclusive “skate or die” Everyone except immortal non-skaters
“Skate xor die” Immortal skaters and mortal non-skaters
“Skate iff die” Mortal skaters and immortal non-skaters

Of these, XOR most closely resembles the implied promise behind the original slogan: skating is the route away from death. It is also the version least likely to survive empirical investigation.

What if skating itself causes death?

There is another plausible premise:

S→D S \to D

Skating carries risks, and in some cases it certainly causes death. Suppose, for the sake of argument, we combine this with the original slogan:

¬S→D \neg S \to D

We now have:

(S→D)∧(¬S→D) (S \to D) \land (\neg S \to D)

By excluded middle, either SS or ¬S\neg S . In either case, DD . Therefore:

D D

If skating causes death and not skating causes death, everyone dies.

The contrapositives are more revealing. From “not skating causes death”:

¬D→S \neg D \to S

An immortal must skate.

But from “skating causes death”:

¬D→¬S \neg D \to \neg S

An immortal must not skate.

Together:

¬D→(S∧¬S) \neg D \to (S \land \neg S)

Since S∧¬SS \land \neg S is impossible in classical logic, we conclude:

D D

Thus “skate or die,” combined with “skating kills,” supplies a proof of universal mortality. Immortality would require simultaneous skating and non-skating.

The slogan remains true, but everyone loses.

How much skating counts?

So far, SS has behaved like a simple property. Real skating occurs over time. One can skate for five minutes, five years, or during one ill-advised afternoon in adolescence. Most people who skate eventually stop.

This introduces several distinct meanings of “non-skater”:

  1. someone who has never skated;
  2. someone who is not skating now;
  3. someone who has not skated recently;
  4. someone who skated previously but has stopped;
  5. someone who will never skate again.

The first is a kind of virgin non-skating state: no skating event has yet occurred. But the last is much harder to establish.

Let StS_t mean that a person skates at time tt . To claim at time t0t_0 that the person has permanently stopped means:

Ct0:=∀t≥t0,  ¬St C_{t_0} := \forall t \ge t_0,\; \neg S_t

This proposition concerns the entire future. No finite period of inactivity proves it. Someone who has avoided a skateboard for fifty years could resume tomorrow. Every apparent retirement may merely be an unusually long intermission.

Death changes that. Once a person dies, their future skating history is closed. Only then can we identify their final skating event and establish that they never skated again.

Consequently:

We cannot know that skating has permanently stopped until death arrives.

Death is not merely one of the slogan’s outcomes. It is also the event that makes permanent cessation verifiable.

An immortal non-skater presents a particularly severe epistemic problem. Even after ten thousand years on the couch, the immortal might skate tomorrow. No finite-lived observer can conclusively establish that the immortal has permanently abandoned skating.

The sole counterexample to inclusive “skate or die” may therefore be impossible to recognize through finite observation.

The slogan is protected by its own endpoint: death both satisfies its second disjunct and closes the evidence needed to evaluate the first.

Is one skating event sufficient?

If skating prevents death, we still need a dosage model.

Let cumulative skating exposure by time tt be:

E(t)=∫0tS(τ) dτ E(t) = \int_0^t S(\tau)\,d\tau

Several possibilities arise.

One-shot immunity

Perhaps any positive amount of skating confers immortality:

E(t)>0→¬D E(t) > 0 \to \neg D

Skating then resembles initiation or baptism. Once one has genuinely skated, the benefit is permanent.

This creates immediate disputes over what counts. Is standing motionless on a skateboard enough? Must the wheels rotate? Is accidental downhill movement valid? Does a scooter count?

The slogan provides no sacramental standard.

Threshold immunity

Perhaps one must accumulate a minimum dose θ\theta :

E(t)≥θ→¬D E(t) \ge \theta \to \neg D

The slogan omits θ\theta . Someone who dies after skating for one hundred hours may not refute the theory; defenders can claim that one hundred and one hours were required.

Maintenance skating

Perhaps the effect expires unless refreshed:

∫t−wtS(τ) dτ≥θ \int_{t-w}^{t} S(\tau)\,d\tau \ge \theta

Here one must skate at least θ\theta units during every window of length ww . Immortality becomes a subscription service.

A generous window permits sleep and employment. A narrow window requires nearly continuous skating and makes every pause dangerous.

Continuous skating

At the extreme:

¬St→Dt+Δ \neg S_t \to D_{t+\Delta}

Stopping starts a death timer. “Skate or die” now means “remain continuously in the act of skating.” Leaving the board during a trick may constitute a medically significant interruption.

Without a dose, interval, deadline, and definition of skating, the slogan cannot tell us how much skating is sufficient.

Continued survival proves little. Perhaps skating worked, perhaps death is merely delayed, or perhaps the subject was independently immortal.

Death can show that a proposed dose was insufficient. Continued life can never finally show that it was sufficient, because death may still arrive later.

Are skating deaths better?

Perhaps the phrase is not offering literal immortality. It may instead claim that a life involving skating is preferable to one without it—even if both end in death.

But a universal dominance claim would require something like:

∀ω,U(S,ω)≥U(¬S,ω) \forall \omega,\quad U(S,\omega) \ge U(\neg S,\omega)

where ω\omega ranges over possible circumstances.

This includes the claim that every skating death is at least as good as the corresponding non-skating death. That is implausibly strong. A premature death caused by a skating accident cannot automatically be ranked above a peaceful death after a long non-skating life.

There is also an ontological difficulty in saying that one dead person is “better off” than another. It is safer to compare complete life histories:

U(mortal life with skating)U(mortal life without skating) U(\text{mortal life with skating}) U(\text{mortal life without skating})

That claim is coherent, but personal and contingent. It may hold for someone whose identity and community center on skating. It does not follow for everyone, in every circumstance, from the phrase itself.

The slogan therefore suppresses an enormous preference model. What sounds like a universal command may amount only to:

For some people, under some conditions, a life containing skating is preferable to the relevant alternative.

Accurate, perhaps—but unlikely to fit on a T-shirt.

Final judgment

Under ordinary inclusive logic:

S∨D≡¬S→D≡¬D→S S \lor D \equiv \neg S \to D \equiv \neg D \to S

If everyone dies, the phrase is trivially true and says nothing about skating. If immortality is possible, it excludes only immortal non-skaters and yields its finest result:

Immortals must skate.

Under exclusive or:

S⊕D≡S↔¬D S \oplus D \equiv S \leftrightarrow \neg D

Skating becomes necessary and sufficient for immortality:

All and only skaters are immortal.

But if everyone dies, XOR reverses the slogan and prohibits skating.

Once time is introduced, matters deteriorate further. We do not know whether skating must occur once, continuously, recently, or above some cumulative threshold. Nor can permanent cessation ordinarily be verified before death. The event threatened by the slogan is also the event that closes the record and permits the slogan to be evaluated.

“Skate or die” therefore fails as medical guidance, causal inference, decision theory, and precisely specified temporal policy. Yet it succeeds brilliantly as compressed modal metaphysics. In three words, it raises questions about mortality, immortality, exclusive choice, identity over time, undecidable futures, and the minimum effective dose of skateboarding.

It does not prove that skating will save one’s life.

It proves only that if one intends never to die, one had better keep a skateboard nearby.

Footnotes

† If you are willing to contribute to this research, let me know. ↩

Photo by Oleg Ivanov on Unsplash

This article was written in conjunction with AI.

Top comments (0)

Some comments may only be visible to logged-in visitors. Sign in to view all comments.