⚙️Module 4 — Propositional Logic and the Lekton | 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 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 or 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 system taught in schools for nearly two thousand years was Aristotle's, built 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 an argument's validity, meaning the guarantee that true starting points cannot lead to a false conclusion, can live entirely in the connectives themselves, with no attention paid to what the propositions are about. Aristotle asks about the relation between man and mortal. Chrysippus 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. One is the string of sounds coming out of the mouth, the sheer noise. Another sits out in the world: the actual wet street. And in between hangs what the sentence means, the claim it makes. The Stoics gave that third item a name. They called it the lekton, which translates roughly as the sayable: the meaning a sentence carries, 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 something, 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.
The disjunction instead offers alternatives, joined by or: either it is day or it is night.
Conjunction binds two claims with and: it is day and it is light.
And 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 the fight over it grew so famous that the poet Callimachus, librarian at the great library of Alexandria, joked that even the crows on the rooftops were cawing about which conditionals are true. Several answers circulated in the Megarian and Stoic circle, and the three worth knowing still map onto live disagreements in logic today. The quarrel was personal for Chrysippus too: at least two of his logical books were written as direct responses to books by the first man below.
Philo, a logician of the Megarian circle a generation or two 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 it is clean and easy to compute. It also produces results that feel wrong. On Philo's account, 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 built into the meanings themselves. On this view, if the moon is made of cheese, then grass is green is simply false, because cheese-moons and green grass do not conflict 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.
Finding the Shape: Two Tools to Keep
Everything taught so far condenses into two small tools, and both work on the sentences life actually serves up. Neither needs symbols, special notation, or anything a person would recognize as math. Plain words on paper are the whole equipment.
The first tool is the skeleton, which pulls the logical shape out of any piece of reasoning. It runs in three steps.
Find the simple claims. Hunt through the sentence for the complete statements, the pieces that are true or false all on their own, and underline each one.
Spot the connectives. Mark the if, or, and, not doing the joining, and watch for connectives in costume: unless is usually an or in disguise, and but is an and wearing a frown.
Write the bare shape. Strip the content away and state what is left: if A, then B; either A or B; A and B. Letters are optional. "If the first thing, then the second thing" works exactly as well on paper as any symbol does.
The second tool is the connection test, and it is Chrysippus's own rule for conditionals turned into a pocket instrument. For a first run, the best material is small and near at hand: a headline, an advertisement, a slogan on a package, the kind of claim an ordinary morning serves up by the dozen.
Once the moves feel familiar, the test travels anywhere a conditional does, and weightier claims can keep until the skill is ready to meet them.
State the opposite of the then-part, out loud or on paper.
Hold that opposite against the if-part and ask the one question that matters: do these two genuinely conflict? Could the if-part stand perfectly well while the then-part fails? Until your own words arrive, the working script is simply: what actually connects these halves?
Deliver the verdict, and three are available. Call it a real link when the conflict is genuine and the conditional earns its if. A lucky lineup covers cases where both halves happen to be true but nothing joins them. Or there is no link at all, and the sentence is not doing logic; it is doing persuasion in logic's clothing.
That third verdict is where the tool pays for itself, because the world is full of if-thens built to borrow logic's authority without doing logic's work. Advertising leans on them: if you care about your family, you will buy this. Everyday friction produces them too: if you respected my time, you would not be five minutes late. It is common for the mind to serve them up privately as well, in small forms like if the message has not been answered by noon, something is wrong. Run the connection test and each of these comes apart the same way: the opposite of the then-part sits perfectly comfortably beside the if-part, with no conflict anywhere, only pressure. One honest note completes the tool. Some if-thens are not claims at all but promises or offers, like if the fence gets painted, pizza follows, and the test will not call one true or false. It will, though, reveal the promise for what it is, which is its own kind of clarity.
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, forgotten, and finally dismissed outright. 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 their field from the ground up, beginning with Gottlob Frege and the founders of the mathematical school, 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 built of whole statements joined by if, or, and, not. It was, in its bones, the project Chrysippus had carried out more than two millennia earlier. The material conditional in every modern textbook is Philo's rule under a new name; the Stoic analysis of the connectives is the ancestor of the truth tables in every introductory course, the little charts that compute a complex claim's standing from the standing of its parts. And the 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.
Philosopher's Practice: The If Collector
The Notebook's next page is a field assignment. Title it the If Collector, and give it the week.
Collect five if-then statements from the wild, one per category: news or politics, advertising, conversation, inner talk, and a free choice from anywhere. Keep every specimen light: headlines and slogans, stray remarks, passing thoughts that carry no weight, sentences nobody would miss. Write each down verbatim, as close to the original wording as memory allows.
Then work each one. Skeleton it first, simple claims underlined, connectives marked, bare shape written beneath. Run the connection test on it next and tag the verdict: real link, lucky lineup, or no link. For any specimen that had already been signed for before the test, assented to on arrival in the quick way the assent log from earlier in this course was built to catch, add a small mark beside it; the overlap between fake conditionals and fast assents is one of the most instructive things this notebook will ever show.
Close the page with one line in first person: which kind of if-then fools me most easily? Advertising aimed my way, conditionals from other people, or the quiet kind that comes from inside?
Then keep all five specimens exactly where they are, because they are not done working. The next lesson in this course takes the shapes collected here and shows what Chrysippus built out of them: the five argument forms he claimed all valid reasoning reduces to. The collection made this week becomes the raw material.
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