Symbolization — Epictetus' Enchiridion in Axioma

EPICTETUS · REVISED STUDY

A source, a model, and a test

What is the Handbook?

The Enchiridion, or Handbook, is a short collection of Stoic practical guidance compiled by Arrian from Epictetus’ teaching. It asks how we should judge events, choose our responses, and live with outcomes we cannot command. You do not need to know Stoicism to read this study: each model now sits beside the passage it interprets. [1]

How to read the comparisons

Read the source on the left, then the translation choices and runnable model on the right. On a narrow screen they appear in that order vertically. The alignment is by claim or argument, not by physical code line: declarations, case facts and tests often have no direct sentence in the source. The result underneath says what the checks establish and what remains open.

The source column reproduces Higginson’s English translation, not the original Greek. This translation is identified as public domain in the United States by Project Gutenberg. Longer chapters have expandable context; theological and historical assumptions are retained there even when the model selects only one claim.

The Handbook was compiled by Arrian from Epictetus’ teaching. We use Higginson’s I–LI numbering, cross-checking selected passages against Oldfather and the Greek. [1–4] This revision reviews the whole short work for coverage and strengthens selected executable models. It does not claim a complete formalization of every sentence.

Each example distinguishes the author’s claim, our reconstruction, and the conclusion computed from it. Examples use invented people and situations. Assertions test both warranted results and results that must not follow. Successful execution is evidence about the model and interpreter; it does not establish the truth of Stoicism or a treatment effect.

Compared with the earlier study, this version corrects unknown-name classification, the direction of IX’s conditional, the identification of proof tiers with psychological states, and the scope of the two handles. It also repairs an interpreter defect: aspect-derived conclusions now track the underlying fact for cascading retraction.

01 · ENCHIRIDION I

A partition is not a dictionary of every possible phrase

The doctrine divides what is ours from what is not. A finite classifier still needs evidence about a particular object. An unrecognized phrase, a typo, or an unclassified instance establishes neither side. Axioma checks the currently registered extent; it does not prove that every possible object has been classified. The named faculties and externals are our encoding of Epictetus’ examples, not a natural-language understanding engine. [1, I]

SOURCE TEXT · ENGLISH TRANSLATION

There are things which are within our power, and there are things which are beyond our power. Within our power are opinion, aim, desire, aversion, and, in one word, whatever affairs are our own. Beyond our power are body, property, reputation, office, and, in one word, whatever are not properly our own affairs.

Enchiridion I · Higginson translation · read the source [1]

Read all of chapter I

There are things which are within our power, and there are things which are beyond our power. Within our power are opinion, aim, desire, aversion, and, in one word, whatever affairs are our own. Beyond our power are body, property, reputation, office, and, in one word, whatever are not properly our own affairs. Now the things within our power are by nature free, unrestricted, unhindered; but those beyond our power are weak, dependent, restricted, alien. Remember, then, that if you attribute freedom to things by nature dependent and take what belongs to others for your own, you will be hindered, you will lament, you will be disturbed, you will find fault both with gods and men. But if you take for your own only that which is your own and view what belongs to others just as it really is, then no one will ever compel you, no one will restrict you; you will find fault with no one, you will accuse no one, you will do nothing against your will; no one will hurt you, you will not have an enemy, nor will you suffer any harm. Aiming, therefore, at such great things, remember that you must not allow yourself any inclination, however slight, toward the attainment of the others; but that you must entirely quit some of them, and for the present postpone the rest. But if you would have these, and possess power and wealth likewise, you may miss the latter in seeking the former; and you will certainly fail of that by which alone happiness and freedom are procured. Seek at once, therefore, to be able to say to every unpleasing semblance, “You are but a semblance and by no means the real thing.” And then examine it by those rules which you have; and first and chiefly by this: whether it concerns the things which are within our own power or those which are not; and if it concerns anything beyond our power, be prepared to say that it is nothing to you.

AXIOMA MODEL · OUR RECONSTRUCTION

Translation choices: The two categories become UpToUs and NotUpToUs; opinion and body are named samples.
Additional assumptions and scope: A finite registered domain is a modeling restriction. A missing classification is not evidence for the opposite class.

epictetus_01.axOpen in Playground ↗

What running this establishes. The tests detect a classification gap. They do not prove Epictetus’ division for every possible thing.

02 · ENCHIRIDION V; I; LI

Derivation, revision, and psychological claims

The following rules reconstruct selected claims; choosing strict or defeasible implication is a modeling decision. A theorem is a strict consequence of supplied premises, not proof of their truth or of someone’s permanent tranquility. Both kinds of consequence can disappear when their last premise is withdrawn. cancel suppresses a conclusion without changing its judgment premise. An empty answer means that this model no longer derives the claim; it does not establish its negation or a clinical result. Independent support matters. [1, V, LI]

SOURCE TEXT · ENGLISH TRANSLATION

But if you take for your own only that which is your own and view what belongs to others just as it really is, then no one will ever compel you, no one will restrict you; you will find fault with no one, you will accuse no one, you will do nothing against your will; no one will hurt you, you will not have an enemy, nor will you suffer any harm.

Enchiridion I · Higginson translation · read the source [1]

Read all of chapter I

There are things which are within our power, and there are things which are beyond our power. Within our power are opinion, aim, desire, aversion, and, in one word, whatever affairs are our own. Beyond our power are body, property, reputation, office, and, in one word, whatever are not properly our own affairs. Now the things within our power are by nature free, unrestricted, unhindered; but those beyond our power are weak, dependent, restricted, alien. Remember, then, that if you attribute freedom to things by nature dependent and take what belongs to others for your own, you will be hindered, you will lament, you will be disturbed, you will find fault both with gods and men. But if you take for your own only that which is your own and view what belongs to others just as it really is, then no one will ever compel you, no one will restrict you; you will find fault with no one, you will accuse no one, you will do nothing against your will; no one will hurt you, you will not have an enemy, nor will you suffer any harm. Aiming, therefore, at such great things, remember that you must not allow yourself any inclination, however slight, toward the attainment of the others; but that you must entirely quit some of them, and for the present postpone the rest. But if you would have these, and possess power and wealth likewise, you may miss the latter in seeking the former; and you will certainly fail of that by which alone happiness and freedom are procured. Seek at once, therefore, to be able to say to every unpleasing semblance, “You are but a semblance and by no means the real thing.” And then examine it by those rules which you have; and first and chiefly by this: whether it concerns the things which are within our own power or those which are not; and if it concerns anything beyond our power, be prepared to say that it is nothing to you.

Men are disturbed not by things, but by the views which they take of things. Thus death is nothing terrible, else it would have appeared so to Socrates. But the terror consists in our notion of death, that it is terrible. When, therefore, we are hindered or disturbed, or grieved, let us never impute it to others, but to ourselves—that is, to our own views. It is the action of an uninstructed person to reproach others for his own misfortunes; of one entering upon instruction, to reproach himself; and one perfectly instructed, to reproach neither others nor himself.

Enchiridion V · Higginson translation · read the source [1]

AXIOMA MODEL · OUR RECONSTRUCTION

Translation choices: confines_concern → free → tranquil reconstructs part of I; a judgment-to-disturbance bridge reconstructs V.
Additional assumptions and scope: The intermediate predicates and strict/defeasible rule choices are ours. Calling a conclusion a theorem describes its derivation, not an observed mental state.

epictetus_02.axOpen in Playground ↗

# Both strict and defeasible consequences can lose their premises.
free(P) <== confines_concern(P)
tranquil(P) <== free(P)
axiom confines_concern("sage")
expect("tranquility derives", {P | P <- tranquil(P)}, {"sage"})
expect("strict grounding", grounding("tranquil", "sage"), "theorem")
refusal: cancel("tranquil", "sage")
expect("direct cancellation is refused", starts_with(refusal, "refused:"), true)
forget_cascade("confines_concern", "sage")
expect("the theorem loses its premise", {P | P <- tranquil(P)}, {})
# Revisability of a premise does not require a defeasible rule.
strict_disturbance(P) <== judgment(P)
assert judgment("novice")
expect("strict disturbance derives", {P | P <- strict_disturbance(P)}, {"novice"})
forget_cascade("judgment", "novice")
expect("strict disturbance also retracts", {P | P <- strict_disturbance(P)}, {})
# Canceling the conclusion is different from changing the judgment.
upset(P) <~~ judges_bad(P)
assert judges_bad("novice")
expect("defeasible disturbance derives", {P | P <- upset(P)}, {"novice"})
cancel("upset", "novice")
expect("cancel did not change the judgment", {P | P <- judges_bad(P)}, {"novice"})
expect("cancel suppresses the conclusion", {P | P <- upset(P)}, {})
# An independent premise can preserve a conclusion after one is removed.
disturbed(P) <~~ judgment_one(P)
disturbed(P) <~~ judgment_two(P)
assert judgment_one("learner")
assert judgment_two("learner")
expect("two supports derive", {P | P <- disturbed(P)}, {"learner"})
forget_cascade("judgment_one", "learner")
expect("one support remains", {P | P <- disturbed(P)}, {"learner"})
forget_cascade("judgment_two", "learner")
expect("no support remains", {P | P <- disturbed(P)}, {})

What running this establishes. Removing a premise withdraws dependent conclusions. It does not make a person’s distress disappear.

03 · ENCHIRIDION I; XXXI; XXXII

Explicit indifference is different from no valuation

Epictetus locates good and evil in the use of choice. Here “indifferent” means an attributed judgment about moral value, not that health or property has no practical use, and not that every modern reader must accept that judgment. An unvalued fact is a different case. This encodes only the axiological part of XXXI; its providence and ritual claims remain outside the model. [1, XXXI–XXXII]

SOURCE TEXT · ENGLISH TRANSLATION

And it is not possible for this to be affected in any other way than by withdrawing yourself from things which are not within our own power, and by making good or evil to consist only in those which are.

Enchiridion XXXI · Higginson translation · read the source [1]

Read all of chapter XXXI

Be assured that the essence of piety toward the gods lies in this—to form right opinions concerning them, as existing and as governing the universe justly and well. And fix yourself in this resolution, to obey them, and yield to them, and willingly follow them amidst all events, as being ruled by the most perfect wisdom. For thus you will never find fault with the gods, nor accuse them of neglecting you. And it is not possible for this to be affected in any other way than by withdrawing yourself from things which are not within our own power, and by making good or evil to consist only in those which are. For if you suppose any other things to be either good or evil, it is inevitable that, when you are disappointed of what you wish or incur what you would avoid, you should reproach and blame their authors. For every creature is naturally formed to flee and abhor things that appear hurtful and that which causes them; and to pursue and admire those which appear beneficial and that which causes them. It is impracticable, then, that one who supposes himself to be hurt should rejoice in the person who, as he thinks, hurts him, just as it is impossible to rejoice in the hurt itself. Hence, also, a father is reviled by his son when he does not impart the things which seem to be good; and this made Polynices and Eteocles [4] mutually enemies—that empire seemed good to both. On this account the husbandman reviles the gods; [and so do] the sailor, the merchant, or those who have lost wife or child. For where our interest is, there, too, is piety directed. So that whoever is careful to regulate his desires and aversions as he ought is thus made careful of piety likewise. But it also becomes incumbent on everyone to offer libations and sacrifices and first fruits, according to the customs of his country, purely, and not heedlessly nor negligently; not avariciously, nor yet extravagantly.

When you have recourse to divination, remember that you know not what the event will be, and you come to learn it of the diviner; but of what nature it is you knew before coming; at least, if you are of philosophic mind. For if it is among the things not within our own power, it can by no means be either good or evil.

Enchiridion XXXII · Higginson translation · read the source [1]

Read all of chapter XXXII

When you have recourse to divination, remember that you know not what the event will be, and you come to learn it of the diviner; but of what nature it is you knew before coming; at least, if you are of philosophic mind. For if it is among the things not within our own power, it can by no means be either good or evil. Do not, therefore, bring with you to the diviner either desire or aversion—else you will approach him trembling—but first clearly understand that every event is indifferent and nothing to you , of whatever sort it may be; for it will be in your power to make a right use of it, and this no one can hinder. Then come with confidence to the gods as your counselors; and afterwards, when any counsel is given you, remember what counselors you have assumed, and whose advice you will neglect if you disobey. Come to divination as Socrates prescribed, in cases of which the whole consideration relates to the event, and in which no opportunities are afforded by reason or any other art to discover the matter in view. When, therefore, it is our duty to share the danger of a friend or of our country, we ought not to consult the oracle as to whether we shall share it with them or not. For though the diviner should forewarn you that the auspices are unfavorable, this means no more than that either death or mutilation or exile is portended. But we have reason within us; and it directs us, even with these hazards, to stand by our friend and our country. Attend, therefore, to the greater diviner, the Pythian God, who once cast out of the temple him who neglected to save his friend. [5]

AXIOMA MODEL · OUR RECONSTRUCTION

Translation choices: Restricting good and evil to what is ours motivates the attributed valuation value_indifferent for wealth.
Additional assumptions and scope: Wealth is our example. The code does not adopt the chapters’ theological or divinatory premises; their full context remains available.

epictetus_03.axOpen in Playground ↗

What running this establishes. An explicitly indifferent valuation differs from the absence of a valuation. Neither is a universal judgment that the object has no practical importance.

04 · ENCHIRIDION XI; technical lifecycle check

Descriptions must remain attached to an existing fact

A qua handle labels a fact; it does not identify who holds the description or when. This example deliberately uses descriptive predicates rather than naming an event “at peace.” Two tags may coexist. Both generic and relation-specific rules depend on the underlying event, so cascading withdrawal removes their unsupported consequences and tags. Plain forget is non-cascading. cancel retains metadata for uncancel; it is not a substitute for premise revision. [1, XI]

AXIOMA MODEL · OUR RECONSTRUCTION

Translation choices: “Lost” and “restored” motivate two descriptions of departed. The code’s label given_back names the second description.
Additional assumptions and scope: The estate is invented; the divine giver is not modeled. Withdrawal of the fact is an interpreter lifecycle test, not an event in Epictetus’ narrative.

epictetus_04.axOpen in Playground ↗

What running this establishes. Descriptions can coexist, but their derived consequences require the underlying event fact.

05 · ENCHIRIDION XI; adaptation of XLIII

A person’s appraisal, an event, and a stage

The loss/return example belongs to XI. We add explicit person and stage arguments and a revisable bridge from appraisal to a prediction. These are modeling additions, not quotations or established psychological laws. An imagined loss alone must not satisfy a rule about an actual loss. A later appraisal must not overwrite another person or an earlier stage. An observed distress report remains even when the model predicts bearability. XI also appeals to a giver and return; that theological premise is not proved by this reconstruction. [1, XI]

SOURCE TEXT · ENGLISH TRANSLATION

Never say of anything, “I have lost it,” but, “I have restored it.” Has your child died? It is restored. Has your wife died? She is restored. Has your estate been taken away? That likewise is restored. “But it was a bad man who took it.” What is it to you by whose hands he who gave it has demanded it again? While he permits you to possess it, hold it as something not your own, as do travelers at an inn.

Enchiridion XI · Higginson translation · read the source [1]

Everything has two handles: one by which it may be borne, another by which it cannot. If your brother acts unjustly, do not lay hold on the affair by the handle of his injustice, for by that it cannot be borne, but rather by the opposite—that he is your brother, that he was brought up with you; and thus you will lay hold on it as it is to be borne.

Enchiridion XLIII · Higginson translation · read the source [1]

AXIOMA MODEL · OUR RECONSTRUCTION

Translation choices: XI’s redescription and XLIII’s handles motivate takes_handle(person,item,stage,handle).
Additional assumptions and scope: Combining these chapters for an estate loss is an extension. The predicted response requires an explicitly adopted hypothetical bridge; observations remain separate.

epictetus_05.axOpen in Playground ↗

# Proposed reconstruction: Ench. XI + XLIII; NOT a quotation or clinical law.
# Each appraisal has a person, event and stage. The event remains independent.
relation departed(item)
relation takes_handle(person,item,stage,handle)
relation distress_observed(person,item,stage)
relation predicted_bearable(person,item,stage)
relation predicted_distress(person,item,stage)
relation adoption(model_id)
hypothesis adoption("handle_response_bridge")
predicted_bearable(P,X,T) <~~ adoption("handle_response_bridge") and departed(X) and takes_handle(P,X,T,"given_back")
predicted_distress(P,X,T) <~~ adoption("handle_response_bridge") and departed(X) and takes_handle(P,X,T,"lost")
assert departed("estate")
assert takes_handle("learner","estate","before","lost")
assert takes_handle("learner","estate","after","given_back")
assert takes_handle("other","estate","after","lost")
assert takes_handle("learner","imagined_loss","after","given_back")
assert distress_observed("learner","estate","after")
expect("before predicts distress", {P | P <- predicted_distress(P,"estate","before")}, {"learner"})
expect("after does not borrow the other person's appraisal", {P | P <- predicted_bearable(P,"estate","after")}, {"learner"})
expect("other person still has a different appraisal", {P | P <- predicted_distress(P,"estate","after")}, {"other"})
expect("a handle without a departed event is insufficient", {P | P <- predicted_bearable(P,"imagined_loss","after")}, {})
expect("a prediction does not erase an observation", {P | P <- distress_observed(P,"estate","after")}, {"learner"})
forget_cascade("takes_handle","learner","estate","after","given_back")
expect("retraction is specific to this appraisal", {P | P <- predicted_bearable(P,"estate","after")}, {})
expect("other person survives revision", {P | P <- predicted_distress(P,"estate","after")}, {"other"})
expect("earlier state survives revision", {P | P <- predicted_distress(P,"estate","before")}, {"learner"})
expect("event survives revision", {X | X <- departed(X)}, {"estate"})
forget_cascade("adoption","handle_response_bridge")
expect("removing the bridge withdraws remaining predictions", {P | P <- predicted_distress(P,"estate","after")}, {})
expect("observations still survive", {P | P <- distress_observed(P,"estate","after")}, {"learner"})

What running this establishes. Changing an appraisal changes a conditional prediction. It does not erase a recorded experience or establish a clinical effect.

06 · ENCHIRIDION XLIII

The brother’s injustice does not disappear

XLIII uses a brother’s injustice and the alternative focus on kinship and shared upbringing. The model retains the wrong act while changing the chosen basis for a response. “Suggested response” is our operational interpretation of a bearable handle; it is neither forgiveness already achieved nor denial that injustice occurred. [1, XLIII]

AXIOMA MODEL · OUR RECONSTRUCTION

Translation choices: The brother’s injustice, kinship, shared upbringing and chosen focus become separate relations.
Additional assumptions and scope: A response follows only when the learner adopts the kinship bridge and directs attention accordingly. The norm is not derived from kinship alone.

epictetus_06.axOpen in Playground ↗

relation wronged(actor,recipient)
relation brother_of(actor,recipient)
relation grew_up_with(actor,recipient)
relation focuses_on(person,other,handle)
relation accepts_bridge(person,name)
relation suggested_response(person,other,response)
assert wronged("brother","learner")
assert brother_of("brother","learner")
assert grew_up_with("brother","learner")
hypothesis accepts_bridge("learner","kinship_handle")
suggested_response(P,Q,"consider_kinship") <~~ wronged(Q,P) and brother_of(Q,P) and grew_up_with(Q,P) and focuses_on(P,Q,"kinship") and accepts_bridge(P,"kinship_handle")
expect("the wrong alone does not choose the response", {R | R <- suggested_response("learner","brother",R)}, {})
assert focuses_on("learner","brother","kinship")
expect("with the bridge and focus, response follows", {R | R <- suggested_response("learner","brother",R)}, {"consider_kinship"})
expect("the injustice remains represented", {Q | Q <- wronged(Q,"learner")}, {"brother"})
forget_cascade("focuses_on","learner","brother","kinship")
expect("response loses the chosen focus", {R | R <- suggested_response("learner","brother",R)}, {})
expect("changing focus does not erase history", {Q | Q <- wronged(Q,"learner")}, {"brother"})

What running this establishes. The suggested response changes while the injustice remains a fact. No test establishes an obligation to tolerate abuse.

07 · ENCHIRIDION XLIV; V

A valid comparison and an invalid inference

Greater wealth supports a comparison of possessions, not personal moral superiority. A missing derivation alone would only show that our program lacks a rule. The finite countermodel additionally demonstrates that the proposed implication is invalid without another premise. The Socrates example makes the same discipline visible: disagreement alone does not refute intrinsic badness. Epictetus supplies a further conditional linking what is terrible to Socrates’ judgment; omitting that bridge changes his argument. This test exposes the need for the bridge, not a refutation of Epictetus. [1, V, XLIV]

SOURCE TEXT · ENGLISH TRANSLATION

These reasonings have no logical connection: “I am richer than you, therefore I am your superior.” “I am more eloquent than you, therefore I am your superior.” The true logical connection is rather this: “I am richer than you, therefore my possessions must exceed yours.” “I am more eloquent than you, therefore my style must surpass yours.” But you, after all, consist neither in property nor in style.

Enchiridion XLIV · Higginson translation · read the source [1]

Men are disturbed not by things, but by the views which they take of things. Thus death is nothing terrible, else it would have appeared so to Socrates. But the terror consists in our notion of death, that it is terrible. When, therefore, we are hindered or disturbed, or grieved, let us never impute it to others, but to ourselves—that is, to our own views. It is the action of an uninstructed person to reproach others for his own misfortunes; of one entering upon instruction, to reproach himself; and one perfectly instructed, to reproach neither others nor himself.

Enchiridion V · Higginson translation · read the source [1]

AXIOMA MODEL · OUR RECONSTRUCTION

Translation choices: The wealth comparison is restricted to possessions. V’s Socrates argument is checked as a separate Boolean entailment.
Additional assumptions and scope: For the Socrates argument, the bridge from objective terribleness to Socrates’ judgment is an additional premise, not a truth of propositional logic.

epictetus_07.axOpen in Playground ↗

# Ench. XLIV: greater possessions do not entail a superior person.
relation wealth(person,amount)
relation richer(left_person,right_person)
relation more_possessions(left_person,right_person)
relation morally_superior(left_person,right_person)
assert wealth("A",20)
assert wealth("B",10)
richer(A,B) <== wealth(A,X) and wealth(B,Y) and X > Y
more_possessions(A,B) <== richer(A,B)
expect("comparison derives the relevant superiority", {P | P <- more_possessions(P,"B")}, {"A"})
expect("moral superiority is not derived", {P | P <- morally_superior(P,"B")}, {})
# Exhaust all four valuations of the two propositions, without a moral bridge.
worlds: [(r,s) | r <- [false,true], s <- [false,true]]
countermodels: [(r,s) | (r,s) <- worlds, r and not s]
expect("there is a countermodel to the proposed implication", countermodels, [(true,false)])
# Ench. V: disagreement alone also does not refute intrinsic badness.
# World: Socrates judges death not terrible, yet intrinsic badness is true.
# It is excluded only by an additional premise linking truth to his judgment.
socrates_judges_terrible: false
intrinsically_terrible: true
expect("the observation is true in the countermodel", not socrates_judges_terrible, true)
expect("the desired conclusion is false there", not intrinsically_terrible, false)
# The passage supplies a further conditional; the countermodel omits it explicitly.

What running this establishes. A countermodel exposes an invalid inference without claiming either the moral superiority or terribleness proposition is false.

08 · ENCHIRIDION X; XXX; XXXII

A situation, a faculty, and a stated norm

X links kinds of trial to faculties, rather than merely listing the faculties. XXX and XXXII connect relationships and duties. Our simplified friend example makes the normative bridge explicit: descriptive facts alone do not establish an obligation, and an obligation does not establish compliance. This is not a complete account of conflicting duties, divination, or the historically specific family obligations in the text. [1, X, XXX, XXXII]

SOURCE TEXT · ENGLISH TRANSLATION

Upon every accident, remember to turn toward yourself and inquire what faculty you have for its use. If you encounter a handsome person, you will find continence the faculty needed; if pain, then fortitude; if reviling, then patience. And when thus habituated, the phenomena of existence will not overwhelm you.

Enchiridion X · Higginson translation · read the source [1]

Duties are universally measured by relations. Is a certain man your father? In this are implied taking care of him, submitting to him in all things, patiently receiving his reproaches, his correction. But he is a bad father. Is your natural tie, then, to a good father? No, but to a father.

Enchiridion XXX · Higginson translation · read the source [1]

Read all of chapter XXX

Duties are universally measured by relations. Is a certain man your father? In this are implied taking care of him, submitting to him in all things, patiently receiving his reproaches, his correction. But he is a bad father. Is your natural tie, then, to a good father? No, but to a father. Is a brother unjust? Well, preserve your own just relation toward him. Consider not what he does, but what you are to do to keep your own will in a state conformable to nature, for another cannot hurt you unless you please. You will then be hurt when you consent to be hurt. In this manner, therefore, if you accustom yourself to contemplate the relations of neighbor, citizen, commander, you can deduce from each the corresponding duties.

When, therefore, it is our duty to share the danger of a friend or of our country, we ought not to consult the oracle as to whether we shall share it with them or not. For though the diviner should forewarn you that the auspices are unfavorable, this means no more than that either death or mutilation or exile is portended. But we have reason within us; and it directs us, even with these hazards, to stand by our friend and our country.

Enchiridion XXXII · Higginson translation · read the source [1]

Read all of chapter XXXII

When you have recourse to divination, remember that you know not what the event will be, and you come to learn it of the diviner; but of what nature it is you knew before coming; at least, if you are of philosophic mind. For if it is among the things not within our own power, it can by no means be either good or evil. Do not, therefore, bring with you to the diviner either desire or aversion—else you will approach him trembling—but first clearly understand that every event is indifferent and nothing to you , of whatever sort it may be; for it will be in your power to make a right use of it, and this no one can hinder. Then come with confidence to the gods as your counselors; and afterwards, when any counsel is given you, remember what counselors you have assumed, and whose advice you will neglect if you disobey. Come to divination as Socrates prescribed, in cases of which the whole consideration relates to the event, and in which no opportunities are afforded by reason or any other art to discover the matter in view. When, therefore, it is our duty to share the danger of a friend or of our country, we ought not to consult the oracle as to whether we shall share it with them or not. For though the diviner should forewarn you that the auspices are unfavorable, this means no more than that either death or mutilation or exile is portended. But we have reason within us; and it directs us, even with these hazards, to stand by our friend and our country. Attend, therefore, to the greater diviner, the Pythian God, who once cast out of the temple him who neglected to save his friend. [5]

AXIOMA MODEL · OUR RECONSTRUCTION

Translation choices: Trials select faculties; relationships and an adopted norm select a recommendation to help.
Additional assumptions and scope: Our friend-in-need case adapts XXX/XXXII. A norm is represented explicitly; recommended conduct and performed conduct are different predicates.

epictetus_08.axOpen in Playground ↗

# Ench. X: explicitly connect the situation and the matching faculty.
relation trial(person,kind)
relation faculty_for(kind,faculty)
relation faculty_to_exercise(person,faculty)
axiom faculty_for("pain","fortitude")
axiom faculty_for("reviling","patience")
assert trial("learner","reviling")
faculty_to_exercise(P,F) <== trial(P,K) and faculty_for(K,F)
expect("the relevant faculty is derived", {F | F <- faculty_to_exercise("learner",F)}, {"patience"})
expect("no trial does not select a faculty", {F | F <- faculty_to_exercise("unmentioned",F)}, {})
# Ench. XXX, XXXII: roles and a normative bridge, not duties from bare facts.
relation friend_of(person,other)
relation needs_help(person)
relation accepts_norm(person,norm_id)
relation duty_to_help(person,other)
relation helped(person,other)
assert friend_of("learner","friend")
assert needs_help("friend")
duty_to_help(P,Q) <== friend_of(P,Q) and needs_help(Q) and accepts_norm(P,"assist_friend")
expect("the descriptive facts alone yield no ought", {Q | Q <- duty_to_help("learner",Q)}, {})
hypothesis accepts_norm("learner","assist_friend")
expect("with the stated norm, duty follows", {Q | Q <- duty_to_help("learner",Q)}, {"friend"})
expect("a duty does not imply compliance", {Q | Q <- helped("learner",Q)}, {})
forget_cascade("accepts_norm","learner","assist_friend")
expect("remove the norm, the duty loses support", {Q | Q <- duty_to_help("learner",Q)}, {})

What running this establishes. The recommended faculty and duty follow under the given rules. Compliance and good consequences do not follow automatically.

09 · ENCHIRIDION IV; VIII; XLV

Observation, assent, and deliberate action

XLV distinguishes observed haste from judging motives or moral quality. Not deriving badness does not prove goodness. IV preserves an undertaking alongside the aim of acting well; read with VIII, acceptance need not mean abandoning action. The final predicate below names their conjunction. It demonstrates a possible compatible state, not a causal theorem that acceptance makes action successful. [1, IV, VIII, XLV]

SOURCE TEXT · ENGLISH TRANSLATION

Does anyone bathe hastily? Do not say that he does it ill, but hastily. Does anyone drink much wine? Do not say that he does ill, but that he drinks a great deal. For unless you perfectly understand his motives, how should you know if he acts ill? Thus you will not risk yielding to any appearances but such as you fully comprehend.

Enchiridion XLV · Higginson translation · read the source [1]

When you set about any action, remind yourself of what nature the action is. If you are going to bathe, represent to yourself the incidents usual in the bath—some persons pouring out, others pushing in, others scolding, others pilfering.

Enchiridion IV · Higginson translation · read the source [1]

Read all of chapter IV

When you set about any action, remind yourself of what nature the action is. If you are going to bathe, represent to yourself the incidents usual in the bath—some persons pouring out, others pushing in, others scolding, others pilfering. And thus you will more safely go about this action if you say to yourself, “I will now go to bathe and keep my own will in harmony with nature.” And so with regard to every other action. For thus, if any impediment arises in bathing, you will be able to say, “It was not only to bathe that I desired, but to keep my will in harmony with nature; and I shall not keep it thus if I am out of humor at things that happen.”

Demand not that events should happen as you wish; but wish them to happen as they do happen, and you will go on well.

Enchiridion VIII · Higginson translation · read the source [1]

AXIOMA MODEL · OUR RECONSTRUCTION

Translation choices: Observed conduct is separated from evaluation. A second model combines acceptance of an outcome with retaining an aim.
Additional assumptions and scope: The bath case is stipulated. Compatibility is defined by co-presence of the two attitudes, not by a tested psychological mechanism.

epictetus_09.axOpen in Playground ↗

# Ench. XLV: the observed manner of an action is not its moral verdict.
relation bathes_hastily(person)
relation acts_badly(person)
relation acts_well(person)
assert bathes_hastily("visitor")
expect("observation is available", {P | P <- bathes_hastily(P)}, {"visitor"})
expect("no badness from haste alone", {P | P <- acts_badly(P)}, {})
expect("absence of badness is not a goodness verdict", {P | P <- acts_well(P)}, {})
# Ench. IV, VIII: accepting an outcome does not imply abandoning action.
relation accepts_outcome(person,context)
relation maintains_aim(person,aim,context)
relation compatible(person,context)
relation completed(person,aim,context)
assert accepts_outcome("learner","crowded_baths")
assert maintains_aim("learner","act_with_care","crowded_baths")
compatible(P,C) <== accepts_outcome(P,C) and maintains_aim(P,"act_with_care",C)
expect("acceptance and deliberate action coexist", {C | C <- compatible("learner",C)}, {"crowded_baths"})
expect("intention does not guarantee an external result", {C | C <- completed("learner","bathe",C)}, {})

What running this establishes. Observation alone yields no moral verdict. Accepting an outcome neither prevents action nor proves successful completion.

10 · ENCHIRIDION IX

“Only if” must not become “if”

“The will is not impeded unless it chooses” restricts impediment: in this propositional abstraction, impeded implies consents. It does not by itself license the converse, consents implies impeded. We enumerate all Boolean valuations of those two predicates. The bodily impediment in the chapter is a different predicate; the formalization must not conclude that physical illness is unreal. [1, IX]

AXIOMA MODEL · OUR RECONSTRUCTION

Translation choices: Let i mean impediment to the will and c mean consent: the proposed necessary condition is i → c.
Additional assumptions and scope: This Boolean abstraction leaves bodily illness and lameness outside its two variables. Reading “unless” as a necessary condition does not license the converse.

epictetus_10.axOpen in Playground ↗

What running this establishes. The enumeration finds consent without impediment consistent with the stated condition; impediment without consent is excluded by that premise.

11 · ENCHIRIDION XLII

It seemed right to him

Epictetus asks the reader to distinguish an offender’s impression from the reader’s own judgment. We can represent that distinction without endorsing the offender’s belief. The chapter then makes stronger claims about harm and a gentle response; those require their own premises. This example tests the attribution boundary first.

SOURCE TEXT · ENGLISH TRANSLATION

When any person does ill by you, or speaks ill of you, remember that he acts or speaks from an impression that it is right for him to do so. Now it is not possible that he should follow what appears right to you, but only what appears so to himself.

Enchiridion XLII · Higginson translation · read the source [1]

Read all of chapter XLII

When any person does ill by you, or speaks ill of you, remember that he acts or speaks from an impression that it is right for him to do so. Now it is not possible that he should follow what appears right to you, but only what appears so to himself. Therefore, if he judges from false appearances, he is the person hurt, since he, too, is the person deceived. For if anyone takes a true proposition to be false, the proposition is not hurt, but only the man is deceived. Setting out, then, from these principles, you will meekly bear with a person who reviles you, for you will say upon every occasion, “It seemed so to him.”

AXIOMA MODEL · OUR RECONSTRUCTION

Translation choices: The offender’s judgment, the observer’s attribution of that judgment, and the stipulated wrongness of an act are represented separately.
Additional assumptions and scope: The case and the bridge for identifying mistaken judgment are ours. Nested contents are explicit stored reports, not an automatic calculus of iterated knowledge.

epictetus_11.axOpen in Playground ↗

# Enchiridion XLII: a judgment can be attributed without endorsing it.
relation right(act)
relation wrong(act)
offender: agent("offender")
observer: agent("observer")
# This is a stipulated case, not proof that every apparent wrong is wrong.
assert wrong("insult")
b: believes(offender, "right", "insult")
right_content: beliefs_of(offender)[1]
expect("the offender's judgment is recorded", grounding("believes", "offender", right_content), "postulate")
expect("belief is not the truth of its content", grounding("right", "insult"), "unknown")
expect("the contrary case fact remains", {A | A <- wrong(A)}, {"insult"})
# A second-order attribution, stored as structured proposition text.
reported: believes(observer, "believes", "offender", right_content)
report_content: beliefs_of(observer)[1]
expect("the observer's attribution is recorded", grounding("believes", "observer", report_content), "postulate")
expect("reporting a belief is not endorsing it", grounding("believes", "observer", right_content), "unknown")
expect("the nested report can be retrieved", believers_of("believes", "offender", right_content), ["observer"])
# Our explicit bridge: belief that this act is right + stipulated wrongness
# licenses 'mistaken in this case'. No rule infers psychological harm or calm.
judgment_mistaken(p) = (right_content in beliefs_of(p)) and ("insult" in {A | A <- wrong(A)})
expect("the offender is mistaken under these premises", judgment_mistaken(offender), true)
expect("the observer is not assigned the offender's error", judgment_mistaken(observer), false)
forget_cascade("wrong", "insult")
expect("without the contrary fact, error is not established", judgment_mistaken(offender), false)
expect("the belief attribution survives that change", grounding("believes", "offender", right_content), "postulate")
expect("no psychological harm has been inferred", grounding("psychologically_hurt", "offender"), "unknown")

What running this establishes. A report of someone’s belief does not endorse its content. Removing the contrary case fact removes the basis for identifying the mistake; no psychological harm or calm is inferred.

SCOPE

The whole Handbook, honestly mapped

The table records the earlier corpus’ coverage and the current revision, including remaining modeling tasks. “Partial” is not “proved”; an inventory or a belief string is not a reconstruction of an argument. The revised examples above add IV/VIII/XLV, X/XXX/XXXII, the actual XLIII case, XLIV’s countermodel, and the corrected IX abstraction. XI gains person, stage, event and observation boundaries. Most remaining passages still need separate models.

Higginson groups the final material into L and LI. Oldfather separates it into 50–53: Higginson L corresponds to Oldfather 50–51, and LI to 52–53. The numbering is edition-dependent. In XVI, the MIT Carter transcription differs on outward sympathy from Higginson, Oldfather and the Greek; it is not our sole textual authority.

Open the 51-section audit

Section	Subject	Earlier coverage	Revision and remaining task
I	Control, ownership and examination of impressions	Partial	Corrected: unknown phrases remain unknown and finite partition gaps are tested. Still partial: agent-relative control and influence versus guaranteed outcomes.
II	Desire and aversion; temporary restraint during training	Stub	Existing file enumerates faculties only. Represent agent, desired object, attainment, training stage and reservation; risk is not identical to inevitable immediate failure.
III	Mortality and fragility of what is loved	Absent	Represent object nature, anticipated loss and the proposed appraisal bridge; do not equate remembering mortality with an observed absence of grief.
IV	Bathing and the second aim of preserving one's moral purpose	Absent	Added a compatibility model with VIII: accepting an outcome can coexist with deliberate action. No causal or guaranteed-serenity conclusion is established.
V	Judgments, disturbance and the Socrates argument	Partial	Corrected proof-tier and revision claims; strict and defeasible support are tested. The Socrates countermodel shows why the additional epistemic bridge is needed. The psychological causal claim remains an adopted premise.
VI	The horse's excellence and one's own use of impressions	Absent	Prevent transfer of an owned object's excellence to its owner; distinguish possession from attribution.
VII	The ship and the summons	Absent	Represent the analogy and priority of a summons; do not turn metaphor into literal universal transport facts.
VIII	Wish events as they occur	Attribution only	Added a compatibility model with IV; acceptance does not infer passivity or successful outcomes. The chapter's promised tranquility is not empirically established.
IX	Bodily impediment versus impediment to moral purpose	Partial	Corrected the necessary condition and tested the converse countermodel. Bodily and moral impediment must remain distinct in further models.
X	Choose the faculty appropriate to the trial	Inventory only	Added trial-to-faculty mapping. The selected faculty is a recommendation, not evidence that it was exercised.
XI	Restored rather than lost	Partial	Corrected event support and added person, stage, hypothetical bridge and independent observations. The divine-giver premise remains a separate interpretive commitment.
XII	The cost of equanimity and modest training cases	Absent	Represent tradeoffs and practice progression; preserve the historical servant setting as the author's setting, not a recommendation by the modeler.
XIII	Progress versus concern for reputation	Absent	Represent competing aims and attention; the claimed incompatibility needs an explicit bridge rather than a syntactic fact.
XIV	Others' lives, desire and dependency	Absent	Distinguish one's choice from controlling another person or a lifespan; model dependence on another's allocation of valued externals.
XV	The banquet analogy	Absent	Represent waiting, moderate taking and foregoing as distinct policies; do not treat divine status as a measured consequence.
XVI	Outward sympathy and inward appraisal	Absent	Separate expressions of sympathy from the internal judgment; cross-check translations, since the MIT transcription conflicts with Higginson and Oldfather here.
XVII	Assigned role and quality of performance	Partial	The companion now connects a particular assigned role, an adopted norm and actual performance. Assignment alone does not establish compliance or justify a social order.
XVIII	Omens and the use of events	Absent	Separate an omen report, predicted external outcome and proposed moral use; recording an omen must not entail its truth.
XIX	Contests, freedom and envy	Absent	Distinguish a conditional strategy from guaranteed success in external contests; restrict the meaning of unconquerable.
XX	Insult, judgment and delaying assent	Absent	Represent sequence and delay, plus bodily assault separately from moral affront; no inference that physical injury is unreal.
XXI	Daily reflection on death and exile	Absent	Represent a prescribed practice and a claimed effect independently; repeated advice is not a causal proof.
XXII	Ridicule and persistence in philosophy	Absent	Represent present ridicule and the forecast of later admiration as distinct claims with temporal scope.
XXIII	Pleasing others versus one's philosophical aim	Absent	Specify what abandoning an aim means; do not infer moral failure from every socially considerate act.
XXIV	Civic usefulness without sacrificing integrity	Duty label only	The current label is not a derivation. Model means, integrity conditions and civic benefit; it limits a fatalistic reading of I and VIII.
XXV	The price of invitations and external goods	Absent	A useful programming/KR case: alternatives, costs, retained goods and chosen tradeoffs, with no invented utility numbers attributed to Epictetus.
XXVI	Consistency between one's own and another's loss	Absent	Compare two appraisals of analogous events; invariance is a normative demand, not an assumption that persons are identical.
XXVII	The target analogy and the status of evil	Absent	Analyze the teleological bridge explicitly; an analogy alone does not prove that evil has no nature. Keep translator's explanatory footnote separate.
XXVIII	Entrusting one's mind to an abuser	Incidental prohibition	The synthesis records a prohibition but does not formalize the bodily/moral analogy or its premises.
XXIX	Consider requirements and consequences before undertaking	Absent	Represent prerequisites, capacity, costs, uncertainty and commitment; undertaking the training does not entail victory.
XXX	Duties arising from relations	Duty inventory	Added a duty from a relationship plus an explicit norm; no compliance is inferred. Conflicts among duties and the full family context remain unmodeled.
XXXI	Piety, providence and relocating good and evil	Partial	Corrected explicit indifference versus no valuation. Providence, blame and ritual conditions remain outside the executable fragment.
XXXII	Divination, uncertainty and prior duty	Duty label only	The shared friend-duty model adds an explicit normative bridge. The standalone file remains a duty inventory; the divination and uncertainty argument still needs its own model.
XXXIII	Many rules of conduct with qualifications	Absent	Requires clause-level work, not one Boolean: silence, speech, oaths, company, provision, sexuality, spectacles, visits and self-display have different conditions.
XXXIV	Delay before pleasure; compare later responses	Absent	Represent alternative trajectories and later appraisal. A hypothetical consequence is not an observed fact.
XXXV	Doing what is right despite public censure	Absent	Keep the correctness condition explicit; believing oneself right is not interchangeable with being right.
XXXVI	Disjunction/conjunction and courtesy at dinner	Absent	Separate the propositional analogy from the social principle; suitability for appetite is not suitability for the shared occasion.
XXXVII	Roles beyond one's capacity	Absent	Represent capability and the opportunity cost of abandoning a feasible role; no duty-compliance inference from the role name alone.
XXXVIII	Guard the ruling faculty in each action	Absent	Differentiate bodily and moral precautions, rather than one undifferentiated harm predicate.
XXXIX	Measure of possessions and escalation	Absent	Model need, fit and excess; the slippery-slope claim needs a stated causal or normative status.
XL	Gendered honor and social incentives	Absent	Preserve attribution and historical context; do not silently universalize the gendered standard as an axiom endorsed by Axioma.
XLI	Bodily maintenance and attention to reason	Absent	Distinguish necessities from excess and resource allocation; it is not a claim that every bodily activity is bad.
XLII	Another person’s impression and mistaken judgment	Absent	Added an explicit two-level belief attribution and a conditional mistake check. Belief, endorsement, case truth and psychological effect remain separate. A general nested-knowledge calculus is not claimed.
XLIII	The brother's injustice and the bearable handle	Partial adaptation	Added the actual brother case, shared upbringing and selected focus. Injustice remains represented when the response changes; no psychological outcome is guaranteed.
XLIV	Invalid inferences from wealth or eloquence to personal superiority	Absent	Added the appropriate possessions comparison and a finite countermodel to moral-superiority inference. This is a small entailment check, not a general moral theory.
XLV	Observation versus judging motives	Mismatched demonstration	Replaced the mismatched cancellation example with observation versus moral verdict; neither badness nor goodness follows from haste alone.
XLVI	Practice rather than proclaiming principles	Absent	Represent the difference between reported knowledge and conduct; saying the doctrine does not prove practicing it.
XLVII	Private training rather than display	Absent	Represent intention, audience and practice; a public report of austerity must not entail virtue.
XLVIII	Signs and stages of progress	Mismatched simplification	The companion now tests two recorded signs and the failure to infer perfect wisdom. The remaining behavioral signs and training dynamics still need models.
XLIX	Interpreting Chrysippus versus following nature	Absent	Separate text comprehension, attribution and behavior. Interpretation can be correct while compliance is absent.
L	Adopted rules, urgency and present effort	Absent	Represent ongoing commitment and missed opportunities; avoid treating one lapse as a proven irreversible loss of all progress.
LI	Practice, justification, logic and closing maxims	Prose only	The companion now separates explaining a norm from following it. The closing maxims and their fate/moral-harm premises remain unformalized.

WHAT THIS TESTS

Where the language still needs pressure

Concept inheritance, finite partitions, explicit attribution, strict and defeasible rules, fact revision, and ordinary enumeration are sufficient for these models. Person and stage are ordinary relation arguments; they do not provide a temporal or psychological semantics automatically. Global qua tags do not themselves represent nested belief, a source’s reliability, or a person changing their mind.

The harder remaining tests include a compositional semantics for nested knowledge beyond XLII’s explicit stored attributions, conflicting duties, XXIX’s uncertain plans, XXXIII’s qualified prescriptions, and XXVII/XXXI’s teleological and theological premises. Historical social and gender assumptions need explicit attribution. The Boolean countermodel proves only a small stated entailment claim; no general theorem about the entire Handbook or the completeness of Axioma’s inference follows.

This provides a reusable method for the later ACT study: preserve source context; label definitions, assumptions and empirical claims; test consequences and counterexamples; revise premises; keep observations separate from predictions. ACT itself is not revised by this study.

SOURCES

References

Epictetus. The Enchiridion. Compiled by Arrian. Translated by Thomas Wentworth Higginson. Liberal Arts Press, 2nd ed., 1955. Project Gutenberg 45109. Primary text for the complete I–LI coverage review.
Epictetus. The Discourses as Reported by Arrian, the Manual, and Fragments, vol. II. Translated by W. A. Oldfather. Loeb Classical Library, 1928. Manual. Selected passage and numbering checks.
Epictetus. The Enchiridion. Translated by Elizabeth Carter. MIT Internet Classics Archive transcription. Consulted comparatively; see the XVI transcription caveat above.
Epictetus. Encheiridion. Edited by Albert Watanabe. Dickinson College Commentaries, 2020. ISBN 978-1-947822-13-9. Greek text and commentary, chapter 16. Check of outward sympathy and inward appraisal.

Philosophy, made executable

A source, a model, and a test

What is the Handbook?

How to read the comparisons

A partition is not a dictionary of every possible phrase

AXIOMA MODEL · OUR RECONSTRUCTION

Derivation, revision, and psychological claims

AXIOMA MODEL · OUR RECONSTRUCTION

Explicit indifference is different from no valuation

AXIOMA MODEL · OUR RECONSTRUCTION

Descriptions must remain attached to an existing fact

AXIOMA MODEL · OUR RECONSTRUCTION

A person’s appraisal, an event, and a stage

AXIOMA MODEL · OUR RECONSTRUCTION

The brother’s injustice does not disappear

AXIOMA MODEL · OUR RECONSTRUCTION

A valid comparison and an invalid inference

AXIOMA MODEL · OUR RECONSTRUCTION

A situation, a faculty, and a stated norm

AXIOMA MODEL · OUR RECONSTRUCTION

Observation, assent, and deliberate action

AXIOMA MODEL · OUR RECONSTRUCTION

“Only if” must not become “if”

AXIOMA MODEL · OUR RECONSTRUCTION

It seemed right to him

AXIOMA MODEL · OUR RECONSTRUCTION

The whole Handbook, honestly mapped

Where the language still needs pressure

References

What follows — and from what?