⚙️Module 5 — The Five Indemonstrables and the Logical Paradoxes | Chrysippus Course
Updated: 7 days ago
Free Course by Everything IFS Academy | Philosophers Series
Help us reach the people who may need this most by sharing this free course with friends, family, colleagues, online communities, social media or on your own website.
🎧 Audio - Listen on the Go: Daniel
⚙️Module 5 — The Five Indemonstrables and the Logical Paradoxes
Everyone has been on the losing end of an argument that felt rigged. The other person's reasoning moved fast, each step sounded fine, and the conclusion was something nobody sane would accept, yet there was no obvious place to push back. A trick had clearly been played, but naming the exact spot where it happened felt impossible. Chrysippus set out to close that distance between sensing faulty reasoning and pinpointing where the bad step occurred. His logic was never designed to win debates. It existed to make the structure of an argument so explicit that a false move could be caught in the act and named.
The Five Indemonstrables
Chrysippus's starting point was a short list of argument forms so basic that their validity is not in question and does not need to be proved. He called them the indemonstrables, the arguments that cannot be demonstrated because there is nothing more obvious to demonstrate them from. They are the atoms of valid reasoning. There are five, and each is built from the connectives of ordinary speech: if, or, and not.
The first works from a conditional by affirming its if-part. If it rained, the street is wet. It rained. So the street is wet. Logicians later named this modus ponens, and it is the single most common move in all of reasoning.
The second takes the same kind of conditional and denies its then-part. If it rained, the street is wet. The street is not wet. So it did not rain. This one is modus tollens, the engine of every test that rules a theory out by checking its consequences.
The third starts from a denial that two things hold together. The keys are not both in the drawer and on the hook. They are in the drawer. So they are not on the hook.
The fourth moves through an either-or by affirming one side. Either the bill is due Monday or it is due Tuesday, and not both. It is due Monday. So it is not due Tuesday.
The fifth closes an either-or by eliminating. Either the report is in the inbox or in the sent folder. It is not in the inbox. So it is in the sent folder. This last form, reasoning by ruling options out until one remains, will matter again shortly.
These five are not meant to be impressive on their own. They are meant to be bedrock. Chrysippus's claim, and the part that took real genius, was that every valid argument, however long and tangled, can be broken down and shown to be nothing more than these five forms chained together. To prove it he added four higher rules, called the themata, that work like instructions for reducing any complicated argument step by step back to the indemonstrables. The details of the themata are among the casualties of the lost library and are only partly recoverable now. The ambition behind them is perfectly clear: to show that the whole of valid reasoning rests on a handful of moves simple enough that no one could seriously doubt them.
Valid vs True
There is a distinction hidden in those five forms that is worth dragging into the open, because missing it is the source of an enormous amount of bad thinking. The forms are about validity, not truth. An argument is valid when its conclusion really does follow from its premises, meaning the shape itself is sound. Whether those premises are actually true is a separate question entirely. A valid argument can be built from false premises and reach a false conclusion, yet the reasoning remains valid, correctly shaped from start to finish. And, more dangerously, an argument can have true premises and a true conclusion and still be invalid, because the conclusion does not actually follow. Truth is about the world. Validity is about the form. Chrysippus's whole project was the study of form, asking when a conclusion is forced regardless of content.
This is exactly where the most common reasoning traps live, and the indemonstrables expose them cleanly. Compare two arguments. If it rained, the street is wet; it rained; so the street is wet. That is the first indemonstrable, and it is airtight. Now turn it around. If it rained, the street is wet; the street is wet; so it rained. This feels almost identical, and it is wrong. The street could just as easily be wet from a burst pipe, someone's garden hose, or the passing street cleaner. Affirming the then-part gives no licence to work backward to the if-part. The mistake has a name, affirming the consequent, and once the shape is seen it becomes impossible to unsee.
Its twin deserves naming in the same breath, because the two counterfeits travel together. If it rained, the street is wet; it did not rain; so the street is not wet. Wrong again, and for the same hose. A conditional promises that its if-part is enough for its then-part; it never promises that the if-part is the only road there. Denying the if-part and concluding against the then-part is called denying the antecedent, and side by side they form the great convincing counterfeits, the arguments that almost match a valid shape. A great deal of persuasive but faulty reasoning, in advertising, debates, and private worry at three in the morning, is one of these two moves dressed up. The reason this is the usable core of Chrysippus's logic is simple. Master the five valid shapes and the impostors that imitate them become easy to spot.
Running the Check
The five forms and the two counterfeits condense into a procedure, and it runs best on small game: a sales pitch, yesterday's headline, an ad promising exactly two options, the kind of claim that costs nothing to get wrong. Once the check becomes second nature there, it will carry itself to weightier arguments in its own time. Four steps.
Skeleton it. Pull out the simple claims and the connectives and write the bare shape, exactly as the skeleton tool from earlier in this course does it. Most arguments shrink alarmingly at this step.
Match it against the five. When the shape is one of the indemonstrables, the reasoning itself is sound, and that is worth knowing precisely, because it moves the whole dispute to where it belongs: the premises. A valid argument with a rotten premise is a rotten argument in good shape, and the correct response is not "that doesn't follow" but "that if-then is false" or "those aren't the only options."
Check for the counterfeits. A near-miss, meaning a shape that almost matches a conditional form, calls for one question: is this argument running the conditional forward, from if-part to then-part, or backward and upside-down? Backward is affirming the consequent. Upside-down is denying the antecedent. Until your own words arrive, the working script is: the if promises one road in, not the only road in.
Pressure-test the or. For an argument built on an either-or, the third, fourth, or fifth form, ask whether the list of options is honestly complete and if they truly exclude each other. An elimination argument is only as strong as its list, and an either-or hiding a third choice has its own name, the false dilemma, the favorite tool of everyone selling exactly two options.
That is the whole check, and it does what the module's opening promised: it turns the vague feeling of "something is off here" into a pointed finger. Not "I disagree" but "that's backward," or "that's not the full list." Naming the move is the power.
Chrysippus's Dog
The most charming thing Chrysippus ever said about logic involved a dog, and it has been retold for two thousand years. Picture a hunting dog following a scent. The animal arrives at a fork where three paths split off and sniffs the first: nothing. A pass over the second turns up nothing either. Then, without bothering to check the third at all, the dog tears straight down it at full speed.
Chrysippus pointed at that dog and said it had just performed the fifth indemonstrable. The animal had reasoned, in effect: the quarry went down the first path, or the second, or the third; not the first; not the second; therefore the third. It is the eliminating form, ruling out options until one is left, carried out on four legs and a nose. Notice, too, the quiet condition that makes the dog's leap sound: at a three-way fork, three paths really are all the paths. The quarry had nowhere else to go. Elimination earns its conclusion only when the list is complete, which is exactly the pressure-test from the check above, demonstrated by an animal that would never dream of running a false dilemma.
The point Chrysippus drew from the dog is the deep one. Logic is not some human invention laid on top of thought; it is the shape good reasoning takes wherever it happens, so plain and so basic that even an animal tracking dinner falls into it. Nor did philosophers simply agree on the valid forms as arbitrary rules. They are the natural joints of inference itself.
The dog has kept philosophers arguing ever since, which is part of its charm. Some have taken the story to prove that animals genuinely reason. Others have taken it to prove the opposite, that if a dog can do it, then this kind of inference is mere instinct and nothing grand. Sextus Empiricus, who preserved the tale, was careful with his words and said only that the dog reasons in effect, as if it were using the fifth indemonstrable, leaving open whether anything like conscious logic runs behind the wet nose. The honest position is that the story was never really about dogs. It was Chrysippus's vivid way of insisting that the forms he had isolated were not a game. They were the bones of reasoning, and he was confident enough in that claim to go looking for them in an animal at a crossroads.
The Sorites (the Heap)
Chrysippus did not only build reasoning up. He also studied the places where it breaks, and he spent a great deal of effort, by the ancient accounts more than any logician before him, on a problem that still has no agreed solution. It is called the Sorites, from the Greek word for a heap, and it was inherited from Eubulides, a puzzle-maker of the Megarian school, the same rival circle this course met earlier sharpening traps for unwary logicians.
It begins with something obvious. A single grain of sand is not a heap. And adding one grain to something that is not a heap surely cannot turn it into one, since one grain is far too small to make that kind of difference. But those two harmless-looking claims, put together and repeated, lead somewhere absurd. If one grain is not a heap, then two are not, because adding a single grain changed nothing. If two are not, then three are not, by the very same step. Run the move enough times and the conclusion is that ten thousand grains are not a heap, and neither is any number at all. The same trap runs in reverse: a million grains are clearly a heap, removing one still leaves a heap, and step by step the argument forces the verdict that one lone grain is a heap. Each individual step looks unarguable. The conclusion is plainly false. Something has gone wrong, and it is genuinely hard to say what.
The reason this is more than a parlor trick is that the world is full of vague words, terms lacking any sharp boundary, and the same structure traps every one of them. There is no exact grain where sand becomes a heap, just as a head goes bald without one nameable hair doing the damage, and afternoon slides into evening while the clock refuses to say which minute made the difference. That shape also drives a familiar pattern of self-defeat. One small purchase will not wreck the budget, which is true; but neither will the next, by identical reasoning, nor the one after that, and the logic of one more will not hurt walks a person grain by grain to a place no single step ever seemed to lead. The Sorites is the formal skeleton of every slippery slope.
Chrysippus's Strategy: Falling Silent
What did Chrysippus do about it. His answer was characteristically severe, and at first it sounds almost like a dodge. When someone walks a person through a Sorites, asking at every grain whether a heap has formed yet, his advice was to stop answering before reaching the dangerous middle ground. Fall silent, he said. Go quiet well before the borderline, rather than keep nodding along into the trap.
This is not a refusal to think. On one influential modern reading, Chrysippus held that there really is a fact about where a heap begins, a precise point where enough grains become enough, but that nobody can ever locate it. Vagueness, on this account, is not a flaw in the world but a limit on what minds can access, and if the boundary is real yet permanently out of reach, the honest response in the borderline zone is to withhold judgment, since any confident answer there would claim a certainty no one possesses. It should be said plainly that scholars still argue over whether this was truly his view; the fragments are thin, and serious interpreters read them differently. Where they do agree is on the strategy itself: he taught people to stop asserting before the trap closes.
And whatever its theoretical basis, the strategy converts directly into a tool worth owning. Since the borderline cannot be located from inside the slide, the move is to draw a line before entering the zone at all, in daylight, while judgment is still clear, and to go no further. That line will not be the true boundary; nobody knows where that is, and Chrysippus least of all claimed to. It only needs to sit safely on the near side. This is what a spending cap amounts to in modern dress, and the same goes for a fixed quitting time or a hard limit set before the evening starts: a pre-drawn silence, placed early on purpose, so that no single persuasive grain ever gets to ask the question. It is a strategy, not a cure. The Stoics classed the Sorites, along with the puzzle that follows, as insoluble, aporos, problems they could keep from being trapped by but could not make finally vanish. There is something fitting in the admission. The most rigorous logician of the ancient world met the heap, worked at it harder than anyone before him, and concluded that the wise move was to know exactly when to stop talking.
The Liar, Briefly
The companion puzzle, the one the Stoics also gave up as insoluble, is the Liar, another Eubulides invention, and it can be stated in a single breath. A man says, I am lying. Is what he says true or false. If it is true, then he is lying, so it is false. If it is false, then he is not lying, so it is true. The sentence flips between true and false and will not settle on either, and there is no third option to escape into.
The ancients did not treat this as a toy. A story was told, and it should wear the legend tag this course taught earlier, that the scholar Philetas of Cos studied the Liar so obsessively that it ruined his health, and that his epitaph blamed the puzzle for his death. Legend or not, the epitaph tradition says something true about how seriously the problem was taken. For the Stoics it struck at something their whole logic depended on, the principle that every proposition is either true or false, with nothing in between. A sentence that can be neither, while looking like a perfectly ordinary statement, threatens the very foundation the indemonstrables were built on. Chrysippus attacked it with everything he had: the ancient catalog of his writings lists a dozen separate works on the Liar by one count, and not one survives. What endures is the lesson the Liar teaches about the reach and the limits of language: the rules for building a correct sentence are not the same ones that decide truth and falsehood, and language can produce grammatical, well-formed strings that the machinery of truth cannot process. It is a humbling discovery for a thinker devoted to making reasoning airtight, and it stands to Chrysippus's credit that he looked straight at the one place his own system could not fully close, named it insoluble, and kept working anyway.
Philosopher's Practice: The Argument Bench
The Notebook's next page puts last week's fieldwork on the workbench. Title it the Argument Bench, and open the If Collector page beside it, because those five specimens are the raw material now.
First, pick a sturdy everyday specimen, one tagged a real link, and build with it. Write out, in three plain lines each, a working first indemonstrable (affirm its if-part and draw the conclusion) and a working second (deny its then-part and draw that conclusion). Then build the counterfeit on purpose: write the backward version, the one that affirms the then-part and leaps to the if-part, and label it in the margin by name. Constructing a counterfeit by hand, once, teaches the eye to catch it forever.
Second, sweep the other four specimens with the check. Name the counterfeit beside any that arrived inside a backward or upside-down argument, and audit the options for completeness wherever an either-or lurks in the collection.
Third, run the dog's form on something live. Pick one elimination problem from the current week, a nuisance rather than a blow, perhaps a lost item, something that will not work, or a choice between two ordinary plans. Work it on paper: list every option, confirm the lineup is honestly complete, strike whichever ones the evidence rules out, with the reason beside each strike, and see whether the fifth indemonstrable hands over the answer. Where it refuses to, the culprit is almost always a missing option, and the most useful line on the whole page is the one where that overlooked candidate finally gets written down.
Last, the heap. Choose one place where the logic of one more has been running lately, and keep it day-sized: an extra episode past bedtime, a purchase that keeps repeating, an endlessly unrolling feed. Draw the line in daylight: write the stopping point, chosen now, well before the borderline, and beside it one sentence of Chrysippus's reasoning in your own words for why the line sits early on purpose. That sentence is the thing to reread later, at the exact moment a single persuasive grain starts asking its very reasonable question. The same line-drawing will serve on steeper slopes one day, in its own time.
Close the page in first person with one line: which counterfeit had already been living in my notebook without a label?
Disclaimer:
Everything IFS Academy is an independent educational platform and is not affiliated with, endorsed by, or connected to the IFS Institute. While we strive for accuracy, errors can occur, and users are encouraged to cross-reference critical information. These courses present the ideas of historical Stoic philosophers for educational and self-reflection purposes only. They describe what these thinkers taught and argued and do not constitute an endorsement of any philosophical position, nor do they constitute religious instruction or professional advice of any kind. They do not constitute therapy, mental health treatment, clinical training, or crisis support, and they should not be used as a substitute for professional mental health care.
Crisis Support: 🚨 If you are experiencing a mental health crisis, feel unsafe, feel at risk of harming yourself or someone else, or feel too overwhelmed to safely use self-directed practices, please pause this material and reach out for immediate support. Contact a licensed mental health professional, call or text 988 in the U.S. or Canada, or use your local emergency or crisis resources.
Comments