Philosophy, made executable

The Enchiridion, formalized

Epictetus dictated the Enchiridion — the “handbook” — around 125 CE. Here its core moves are symbolized: not described, but executed. The dichotomy of control becomes a partition; disturbance, a defeasible inference; the therapy, belief revision; and the sage’s tranquility, a theorem that cannot be argued away. (Distilled from the full synthesis.)

The dichotomy of control — Ench. 1

“Of things, some are up to us and some are not.” Modeled as a genuine partition — provably disjoint and exhaustive, with membership queryable.

Disturbance follows judgment — Ench. 5

“Men are disturbed not by things, but by their judgments about things.” Disturbance is a defeasible consequence of a judgment — so it derives as the weakest, revisable tier: a conjecture.

The Stoic therapy — the cure

Treat the cause, not the symptom: forget_cascade retracts the judgment and every conclusion resting on it (a truth-maintenance system) — and the disturbance lifts on its own.

The indifferents — adiaphora

Wealth, health, reputation are indifferents — positively judged neither-good-nor-bad, which is not the same as a fact never valued at all (indifferent ≠ neutral).

The two handles — Ench. 11

“Never say of anything ‘I have lost it’, but ‘I have given it back’.” One fact, gripped by two qua framings — and the consequences diverge. The same fact appears in both result sets.

Grounding is the therapy — the asymmetry

The novice’s disturbance is a conjecture (defeasible — it can be talked away). The sage’s tranquility is a theorem (a strict consequence) — and cancel refuses to defeat it. “Anytus and Meletus can kill me, but they cannot harm me.”