Kavka's toxin puzzle¶

Kavka's toxin puzzle is a thought experiment about the possibility of forming an intention to perform an act which, following from reason, is an action one would not actually perform.

Version: v1 · 2026-09-28 · History
Domain-specific #: 10230
Domain group: Humanities
Origin domain: Philosophy
Subdomains: Decision Theory, Philosophy of Action → Philosophy

Core Idea¶

Kavka's toxin puzzle is treated here as the recurring decision theory identity summarized by this source-grounded definition: Kavka's toxin puzzle is a thought experiment about the possibility of forming an intention to perform an act which, following from reason, is an action one would not actually perform.

Kavka's toxin puzzle is a thought experiment about the possibility of forming an intention to perform an act which, following from reason, is an action one would not actually perform. It was presented by moral and political philosopher Gregory S. Kavka in "The Toxin Puzzle" (1983), and grew out of his work in deterrence theory and mutual assured destruction.

The thought experiment involves a vial of poison. According to Kavka: Drinking the poison is never to your advantage regardless of whether you are paid. All you have to do is ... intend at midnight tonight to drink the stuff tomorrow afternoon.

For Kavka's toxin puzzle, the abstraction is narrower than the article's general subject matter: a positive case must preserve Kavka's toxin puzzle is a thought experiment about the possibility of forming an intention to perform an act which, following from reason, is an action one would not actually perform. Retaining only the name, a familiar example, or a downstream effect is insufficient. The specialist roles and tests remain anchored in decision theory, which is why this identity is domain-specific rather than prime.

Structural Signature¶

Sig role-phrases:

Defining carrier — The paradoxical nature can be stated in many ways, which may be useful for understanding analysis proposed by philosophers.
Constitutive relation — Since the pain caused by the poison would be more than off-set by the money received, we can sketch the pay-off table as follows.
Operating condition — Thus a reasonable person must intend to drink the toxin by the first argument, yet if that person intends to drink the toxin, he is being irrational by the second argument.
Recognition evidence — It was presented by moral and political philosopher Gregory S.
Admissible variation — An eccentric billionaire places before you a vial of toxin that, if you drink it, will make you painfully ill for a day, but will not threaten your life or have any lasting effects.
Characteristic consequence — The billionaire will pay you one million dollars tomorrow morning if, at midnight tonight, you intend to drink the toxin tomorrow afternoon.
Failure boundary — He emphasizes that you need not drink the toxin to receive the money; in fact, the money will already be in your bank account hours before the time for drinking it arrives, if you succeed.

What It Is Not¶

Not the whole field of decision theory. The node requires the specific identity stated by Kavka's toxin puzzle is a thought experiment about the possibility of forming an intention to perform an act which, following from reason, is an action one would not actually perform.
Not an over-broad reading. An eccentric billionaire places before you a vial of toxin that, if you drink it, will make you painfully ill for a day, but will not threaten your life or have any lasting effects.
Not an over-broad reading. He emphasizes that you need not drink the toxin to receive the money; in fact, the money will already be in your bank account hours before the time for drinking it arrives, if you succeed.
Not an over-broad reading. You are perfectly free to change your mind after receiving the money and not drink the toxin.
Not automatically Natural Experiment. Retrieval proximity does not establish equivalence; the two identities must be compared by carrier, operation, and failure boundary.

Scope of Application¶

Kavka's toxin puzzle applies literally inside decision theory wherever the source-defined carrier and relation can be established. Its documented habitats include:

Paradox. Since the pain caused by the poison would be more than off-set by the money received, we can sketch the pay-off table as follows.
Puzzle. An eccentric billionaire places before you a vial of toxin that, if you drink it, will make you painfully ill for a day, but will not threaten your life or have any lasting effects.
Puzzle. The billionaire will pay you one million dollars tomorrow morning if, at midnight tonight, you intend to drink the toxin tomorrow afternoon.
Puzzle. He emphasizes that you need not drink the toxin to receive the money; in fact, the money will already be in your bank account hours before the time for drinking it arrives, if you succeed.
Puzzle. All you have to do is ... intend at midnight tonight to drink the stuff tomorrow afternoon.
Puzzle. You are perfectly free to change your mind after receiving the money and not drink the toxin.

Outside decision theory, the name should be retained only when these same operational conditions survive; otherwise the comparison belongs to the broader parent Pattern or should be marked as analogy.

Clarity¶

A clear use of Kavka's toxin puzzle names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is Kavka's toxin puzzle is a thought experiment about the possibility of forming an intention to perform an act which, following from reason, is an action one would not actually perform. The strongest recognition evidence in the frozen account is: It was presented by moral and political philosopher Gregory S. A report should distinguish that evidence from a proxy, consequence, or common implementation. It should also state the qualification An eccentric billionaire places before you a vial of toxin that, if you drink it, will make you painfully ill for a day, but will not threaten your life or have any lasting effects. so that a reader can reproduce the classification rather than infer it from topical resemblance.

Manages Complexity¶

Kavka's toxin puzzle compresses multiple decision theory details into a stable diagnostic relation. The source shows both the central mechanism—since the pain caused by the poison would be more than off-set by the money received, we can sketch the pay-off table as follows.—and the practical consequence—the billionaire will pay you one million dollars tomorrow morning if, at midnight tonight, you intend to drink the toxin tomorrow afternoon. This compression makes cases comparable while leaving parameters, conventions, exceptions, and evidential quality explicit. It is lossy by design: local history and implementation details may be omitted only when they do not alter the defining relation.

Abstract Reasoning¶

Type the carrier. Identify the decision theory entities to which the claim applies.
State the relation. Use the source-grounded identity: Kavka's toxin puzzle is a thought experiment about the possibility of forming an intention to perform an act which, following from reason, is an action one would not actually perform.
Check operation and conditions. Thus a reasonable person must intend to drink the toxin by the first argument, yet if that person intends to drink the toxin, he is being irrational by the second argument.
Demand recognition evidence. It was presented by moral and political philosopher Gregory S.
Test variation. Change an implementation or setting while preserving an eccentric billionaire places before you a vial of toxin that, if you drink it, will make you painfully ill for a day, but will not threaten your life or have any lasting effects.
Run the collapse test. Remove the defining operation; if the label still seems equally apt, only a topic or correlate was retained.
Reduce cautiously. When the specialist conditions cannot be carried, route the residual comparison to Pattern.

Knowledge Transfer¶

Within the home domain. Knowledge about Kavka's toxin puzzle transfers literally when a new case preserves the same carrier type, relation, and recognition test. Since the pain caused by the poison would be more than off-set by the money received, we can sketch the pay-off table as follows. An eccentric billionaire places before you a vial of toxin that, if you drink it, will make you painfully ill for a day, but will not threaten your life or have any lasting effects.

Beyond the home domain. No canonical parent is asserted for Kavka's toxin puzzle. An outside case receives the specialist name only when the same typed roles and rejection conditions can be filled literally; otherwise the comparison remains an analogy pending later graph densification.

Examples¶

Canonical¶

An eccentric billionaire places before you a vial of toxin that, if you drink it, will make you painfully ill for a day, but will not threaten your life or have any lasting effects. This case is canonical because it supplies a concrete carrier and lets the defining relation be checked rather than merely named.

Mapped back: carrier → the entities in the documented case; operation → Kavka's toxin puzzle is a thought experiment about the possibility of forming an intention to perform an act which, following from reason, is an action one would not actually perform; recognition evidence → It was presented by moral and political philosopher Gregory S

Applied / In Practice¶

The billionaire will pay you one million dollars tomorrow morning if, at midnight tonight, you intend to drink the toxin tomorrow afternoon. The applied case shows how the identity is used under a second setting or qualification while keeping the same operative relation.

Mapped back: changed setting → Puzzle; invariant → Kavka's toxin puzzle is a thought experiment about the possibility of forming an intention to perform an act which, following from reason, is an action one would not actually perform; boundary → the case exits the class when an eccentric billionaire places before you a vial of toxin that, if you drink it, will make you painfully ill for a day, but will not threaten your life or have any lasting effects

Structural Tensions¶

T1 — Stable identity versus admissible variation. An eccentric billionaire places before you a vial of toxin that, if you drink it, will make you painfully ill for a day, but will not threaten your life or have any lasting effects. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Which changes preserve the defining relation, and which replace it?

T2 — Recognition versus proxy. He emphasizes that you need not drink the toxin to receive the money; in fact, the money will already be in your bank account hours before the time for drinking it arrives, if you succeed. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Does the cited evidence establish the identity or only a correlated sign?

T3 — Definition versus implementation. You are perfectly free to change your mind after receiving the money and not drink the toxin. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Is the observed implementation constitutive, optional, or merely common?

T4 — Scope versus overextension. Similarly in line with Newcomb's paradox; Kavka's claim, that one cannot intend what one will not do, makes pay-off mechanism an example of reverse causation. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Can every claimed application fill the same typed roles without metaphor?

T5 — Transfer versus domain accent. The paradoxical nature can be stated in many ways, which may be useful for understanding analysis proposed by philosophers. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: Does the receiving case instantiate Kavka's toxin puzzle literally, co-instantiate Pattern, or only resemble it?

T6 — Autonomy versus reduction. Since the pain caused by the poison would be more than off-set by the money received, we can sketch the pay-off table as follows. The tension matters because emphasizing only one side either dissolves the identity or overstates what the evidence and domain conventions warrant.

Diagnostic: What does Kavka's toxin puzzle distinguish that the broader parent Pattern leaves together?

Structural–Framed Character¶

Kavka's toxin puzzle is mixed or framed-leaning. Its structural side is the repeatable organization summarized by Kavka's toxin puzzle is a thought experiment about the possibility of forming an intention to perform an act which, following from reason, is an action one would not actually perform. Its framed side is the decision theory vocabulary that fixes the carrier, evidence, exceptions, and admissible transformations.

Evaluative weight: the identity can be stated descriptively even when applications carry practical stakes. Human-practice dependence: the source-grounded carrier determines whether the relation exists independently or is constituted by a practice. Institutional origin: disciplinary conventions stabilize the name and test. Vocabulary portability: Thus a reasonable person must intend to drink the toxin by the first argument, yet if that person intends to drink the toxin, he is being irrational by the second argument. Import versus recognition: literal transfer requires the same mechanism; shape alone is analogy.

Its portable skeleton is Pattern. Its character: a recurring specialist identity whose thin organization can be abstracted, while its operational meaning remains domain-bound.

Structural Core vs. Domain Accent¶

What is skeletal. Kavka's toxin puzzle is a thought experiment about the possibility of forming an intention to perform an act which, following from reason, is an action one would not actually perform. The stable skeleton is the typed relation expressed in that definition and the entry's recognition and collapse tests. The source identifies these operative conditions: The paradoxical nature can be stated in many ways, which may be useful for understanding analysis proposed by philosophers. Since the pain caused by the poison would be more than off-set by the money received, we can sketch the pay-off table as follows. It further constrains recognition and variation through: Thus a reasonable person must intend to drink the toxin by the first argument, yet if that person intends to drink the toxin, he is being irrational by the second argument. It was presented by moral and political philosopher Gregory S.

What is domain-bound. decision theory supplies the operative entities, technical vocabulary, warrants, and exceptions that make Kavka's toxin puzzle literal. Its documented scope includes the condition that Since the pain caused by the poison would be more than off-set by the money received, we can sketch the pay-off table as follows. Another bounded application condition is that An eccentric billionaire places before you a vial of toxin that, if you drink it, will make you painfully ill for a day, but will not threaten your life or have any lasting effects. These are not decorative examples; they determine which carrier and evidence can fill the abstraction's roles.

Why no parent is asserted. Removing those specialist details does not currently yield one live catalog node that is a necessary genus for every instance. The entry is therefore approved as unparented rather than attached by topical resemblance. Its collapse evidence remains specific—An eccentric billionaire places before you a vial of toxin that, if you drink it, will make you painfully ill for a day, but will not threaten your life or have any lasting effects.—and future graph densification may discover a defensible relation only if it preserves that boundary.

This entry is a kind of Thought Experiment.

Approved unparented node. No current live node supplies a defensible necessary genus or structural prerequisite for Kavka's toxin puzzle. The reviewed identity is: Kavka's toxin puzzle is a thought experiment about the possibility of forming an intention to perform an act which, following from reason, is an action one would not actually perform. The accelerated suggestion was declined because topical or lexical similarity does not establish hierarchy; the node is admitted without a parent pending later graph densification.
Related reasoning operations. Evidence, representation, comparison, classification, transformation, or evaluation may participate in particular cases, but participation does not make any one of them a necessary parent of every instance.

Relationships to Other Abstractions¶

Current abstraction Kavka's toxin puzzle Domain-specific

Parents (1) — more general patterns this builds on

Kavka's toxin puzzle is a kind of Thought Experiment Prime

Kavka's toxin puzzle is a thought experiment about intending an action one expects not to perform.

Hierarchy paths (2) — routes to 2 parentless roots

Kavka's toxin puzzle → Thought Experiment → Counterfactual Reasoning

Show alternative path (1)

Neighborhood in Abstraction Space¶

Kavka's toxin puzzle sits in a sparse region of the domain-specific corpus (65^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Legal & Moral Philosophy Principles (16 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

Pattern. The parent omits the specialist differentia. Tell: Can the case establish Kavka's toxin puzzle is a thought experiment about the possibility of forming an intention to perform an act which, following from reason, is an action one would not actually perform?
Natural Experiment. A design that borrows the RCT's identification logic from a real-world process — a policy, boundary, or lottery — judged plausibly as-good-as-random, where the as-if-random assumption must be substantively defended rather than guaranteed by protocol. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Monty Hall problem. A worked three-door puzzle in which switching wins ⅔ of the time because the host's reveal was constrained by what he knew — drilling the move of updating on the protocol that produced an observation, not on its bare surface. Tell: Which entry's carrier, operation, and failure condition are satisfied?
Frustration–Aggression Hypothesis. A social-psychological theory in which interference with expected goal attainment produces frustration or negative affect that increases readiness for aggressive responding, while attribution, inhibition, competing responses, situational cues, and target availability govern whether aggression is expressed or displaced. Tell: Which entry's carrier, operation, and failure condition are satisfied?
A measurement, proxy, or consequence. Those may provide evidence without being the identity. Tell: Would Kavka's toxin puzzle remain present if the detector or downstream effect changed?
A metaphorical analogue. A similar shape outside decision theory lacks the specialist mechanism. Tell: Do the native roles transfer literally, or only the parent Pattern?

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Kavka%27s_toxin_puzzle (revision 1343050941).
Preserved source candidate: https://ssrn.com/abstract=1441339

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.