⚙️ Module 4 — Propositional Logic and the Lekton | Chrysippus Course
Updated: Sep 6
Free Course by Everything IFS Academy | Stoicism 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 is read by AI
Module 4 — Propositional Logic and the Lekton
A person running late does a small piece of logic without noticing. If the meeting starts at three, then leaving by two-thirty is cutting it close. The meeting starts at three. So two-thirty is cutting it close. Nobody calls that an argument, but it is one, and it has a shape. The shape is what makes it work, not the meeting and not the clock. Swap in any other if-then and the same move holds: if the package shipped Monday, it arrives by Friday; it shipped Monday; so it arrives by Friday.
For most of Western history, the official study of logic could not quite handle reasoning like this. The logic taught in schools for nearly two thousand years was Aristotle's, and Aristotle built his system around terms, the categories that words pick out, in arguments like all men are mortal, Socrates is a man, so Socrates is mortal. That machinery is powerful, but it runs on the relationships between classes of things: men, mortals, Socrates. It has no clean way to handle an argument whose pieces are whole statements joined by if and then. Chrysippus saw the gap, and he built the logic that fills it. He was the first thinker in the West to work out, in rigorous detail, a logic of statements rather than terms.
What It Is: Propositional Logic
What Chrysippus built is now called propositional logic, and the name says what it is. Its basic units are not terms but propositions: complete statements that are either true or false. The street is wet. Plato is walking. The package shipped Monday. Each is a whole claim that stands as true or false on its own, and propositional logic studies how such claims combine and what follows when they do.
The combining is done by a small set of connecting words, and nearly all of reasoning runs through them: if, or, and, not. Out of simple propositions and these connectives, every complex claim is built.
If the street is wet, it rained. Either the alternator is dead or the battery is. It is not the case that the store is open. The decisive insight, the one that separates Chrysippus from Aristotle, is that the validity of an argument can live entirely in these connectives, in the if and the or and the not, with no attention paid to what the propositions are about. Aristotle's logic asks about the relation between man and mortal. Chrysippus's logic asks about the relations between whole statements, whatever their content happens to be. Both are real logics. They simply take hold of reasoning at different joints, and for two thousand years only one of them was remembered.
The Lekton (the Sayable)
Underneath the propositions sits one of the strangest and most original ideas in all of Stoic thought, and it is worth slowing down for. When someone says the street is wet, three different things are in play. There is the string of sounds coming out of the mouth, the noise. There is the actual wet street out in the world, the thing. And there is, in between, what the sentence means, the claim it makes. The Stoics gave that third thing a name. They called it the lekton, which translates roughly as the sayable: the meaning expressed by a sentence, as distinct from the words that express it and the object it is about.
The reason they needed it becomes clear with a moment's pressure on the alternatives. The meaning cannot just be the words, because two different sentences, one in Greek and one in English, can carry the very same meaning while sharing no sounds at all. And the meaning cannot just be the object, because a sentence can be perfectly meaningful while being false, when there is no matching object in the world to point to. The street is wet means something definite even on a dry day, which is exactly why it can be checked and found false. So the meaning is a third thing, neither the noise nor the street. The Stoics held that lekta are real but incorporeal: they do not exist as bodies the way a street or a sound does, yet they are genuinely there, the things that thoughts are about and that arguments are made of. A proposition, in their precise sense, is one particular kind of lekton, the kind that is true or false. When Chrysippus reasoned about how propositions combine, he was reasoning about how these sayables combine, and that gave his logic a depth a logic of mere words could never reach.
Simple and Complex Sayables
With the lekton in hand, the building blocks fall into a clear order. Some sayables are simple. Plato walks is simple: a single subject doing a single thing, true or false on its own, with no inner parts. Others are complex, assembled out of simpler ones by the connectives. If Plato walks, then Plato moves is complex, built from the two simple claims Plato walks and Plato moves, bound together by if and then.
Each connective makes a different kind of complex sayable, and the Stoics studied each one carefully.
A conditional joins two claims with if and then: if it is day, it is light. The if-part has a technical name, the antecedent, and the then-part is the consequent.
A disjunction joins two claims with or: either it is day or it is night.
A conjunction joins two claims with and: it is day and it is light.
A negation puts a single claim under a not: it is not day.
This looks almost too simple to matter, and that impression is the trap. The whole power of the system comes from the fact that the truth of a complex sayable depends, in a precise and statable way, on its parts and on which connective binds them. Pin down exactly when each kind of complex claim is true, and the rules of valid reasoning follow from it. Of the connectives, one gave the Stoics far more trouble than the rest, and the argument over it ran for generations.
The Great Debate Over "If"
The connective that caused the trouble was the humblest looking one: if. The question sounds almost childish. When is an if-then statement true. But it turns out to be genuinely hard, and three Megarian and Stoic thinkers gave three different answers that still map onto live disagreements in logic today.
Philo, a logician of the generation before Chrysippus, gave the simplest answer. An if-then is true, he said, except in the single case where the if-part is true and the then-part is false. If it is day, then I am talking comes out true, on Philo's account, as long as it is not currently day while I happen to be silent. This is exactly the rule modern logicians call the material conditional, and the Stoic circle knew it twenty-two centuries before it appeared in a modern textbook. It is clean and easy to compute. It also produces results that feel wrong. On Philo's rule, if the moon is made of cheese, then grass is green counts as true, simply because the if-part is false, even though the two halves have nothing to do with each other.
Diodorus, Philo's own teacher, found that too loose and tightened it. For Diodorus, an if-then is true only if it could never lead from a true if-part to a false then-part at any time, not merely right now. This rules out the accidental, momentary truths Philo allowed, but it ties truth to the passage of time in a way that breeds its own puzzles.
Chrysippus took a third path, and it is the one that best matches how people actually use the word. For him, an if-then is true when the opposite of the then-part genuinely conflicts with the if-part. If it is day, then it is light is true because day cannot coexist with not-light; the connection is real, built into the meanings themselves. On this view, if the moon is made of cheese, then grass is green is simply false, because there is no conflict between cheese-moons and green grass, no real connection at all. Chrysippus demanded that an if-then track a genuine link between its parts, not a lucky lineup of truth values. That intuition, that a real conditional needs a real connection, was set aside by the logic that won out in the modern era, and it is only now being recovered by logicians trying to capture exactly what he was after.
Why This Was Two Thousand Years Early
The scale of what Chrysippus did here is easy to miss, because the result was buried for so long. After antiquity, Stoic logic was neglected, then forgotten, then actively dismissed. Aristotle's term logic became the logic, taught with little change from the ancient world straight through the Middle Ages and into the nineteenth century. The standard verdict, repeated for centuries, was that the
Stoics had produced a handful of pedantic curiosities and nothing of lasting worth.
That verdict was wrong, and the twentieth century proved it. When modern logicians rebuilt logic from the ground up, beginning with Gottlob Frege and the founders of mathematical logic, the system they arrived at, the propositional logic that now underlies mathematics, computer science, and the circuits inside every digital device, turned out to be the logic of whole statements joined by if, or, and, not. It was, in its bones, the project Chrysippus had carried out more than two thousand years earlier. His school's material conditional was Philo's; his analysis of the connectives was the ancestor of the truth tables in every introductory course. And his stranger idea, the lekton, the sayable that is neither word nor thing, anticipated questions about meaning that philosophers of language would not seriously take up again until Frege drew his famous distinction between the sense of an expression and the object it refers to. A logician whose books were all lost, and whose work was written off as trivial for the better part of two thousand years, had been standing at the start of the road the entire time. That is the measure of the mind this course is following, and propositional logic is only the first room of the structure he built.
Below this lesson, you'll find a practice built around one of the teachings you just explored, along with a few ways to begin noticing it in everyday life this week.
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