Can Words Force You to Agree? The Invention of Logic
The Day an Argument Became a Machine
Picture yourself in Athens around 400 BCE. A group of friends is debating whether a certain person broke a promise. Words fly. Someone says, “If she said she would come, then she broke her word. She said she would come. So she broke her word.” Another person objects: “That’s too quick—maybe she was forced to stay away.” What makes the first person’s move feel airtight, and the second’s objection a different kind of move altogether? Ancient thinkers asked exactly these questions. They wanted to know what forces a conclusion to follow from some claims—and what happens when a string of words turns back on itself, telling truth to tangle into a liar’s knot. The story of logic begins when people first tried to turn arguing into something almost mechanical.
The Earliest Detectives of Language
Long before anyone built a system of logic, Greek thinkers were already poking at sentences to see what was inside them. The traveling teachers called Sophists made early lists. Protagoras (about 485–415 BCE) sorted sentences according to their force: you can wish, ask a question, answer, or command. Another Sophist, Alcidamas (4th century BCE), separated assertion, denial, question, and address. This wasn’t yet logic; it was more like labeling tools in a toolbox. But the sorting raised a deeper question: when you assert something, what makes that assertion true?
A surviving scrap of a debate, the Dissoi Logoi (around 400 BCE), shows two views crashing into each other. One side said truth is a property of the sentence at the time it’s spoken—if things match what you say when you say it, the sentence is true; if not, false. The other side said truth belongs to what is said itself, independently of time. That sounds abstract, but it’s like asking: if I say “it is raining,” and later it stops, was the sentence false? Or was it true when I spoke but the thought holds a timeless truth about that moment? The same text also noticed a spooky problem: the idea that a sentence could twist back and talk about its own truth. Before long, the Liar paradox would be running wild in the streets of logic.
Plato (427–347 BCE) took the next big step. In the dialogue Sophist, he carved sentences into two parts: a noun that picks out a subject and a verb that says what it does (or is). “Theaetetus is sitting” works because it hooks a subject to something said about it. A string of nouns alone—“lion stag horse”—or a string of verbs alone—“runs flies rests”—can’t make a statement. Plato also insisted that syntax (“what counts as a statement?”) is separate from semantics (“when is it true?”). He gave a rough picture of truth: a statement is true if it says of what is that it is; false if it says of something else that it is. That’s a deflationist idea—truth isn’t some spooky invisible quality, just a way of saying that things are as the statement claims. He even noticed that negations should be read as negating the predicate, not the whole sentence. For the first time, a single brain was treating language as a structure that could be taken apart and tested.
Aristotle’s Toolbox for Thinking
If Plato gave logic a magnifying glass, Aristotle (384–322 BCE) gave it a full toolbox. He is the first great logician in history. He taught that a declarative sentence—a statement that can be true or false—is different from prayers, questions, or commands. Those don’t have truth-values; statements do. Then he sorted statements by quality (affirmation or negation) and quantity (singular, universal, particular, or indefinite). A universal affirmative like “Every human is mortal” and its denial “No human is mortal” are contraries—they can’t both be true, but both could be false. A universal affirmative and a particular negative (“Some human is not mortal”) are contradictories—one must be true, the other false. These relations form the famous square of opposition, a map of how sentences fight or cooperate.
But Aristotle’s crowning achievement was the syllogistic. He defined a syllogism as an argument where, “certain things having been laid down, something different from what has been laid down follows of necessity because these things are so.” In plain terms: if the premises are true, the conclusion must be true. He restricted the form of the sentences—each one links two terms (like “mortal” and “Greek”) with a copula (“is” or “is not”). Then he arranged arguments into figures based on where the middle term sits.
Imagine a first-figure syllogism: “Mortal belongs to all human. Human belongs to all Greek. Therefore mortal belongs to all Greek.” The middle term (“human”) is subject of the first premise and predicate of the second; it acts like a bridge. Aristotle tested 58 possible premise combinations and found exactly 14 that work. He assumed first-figure syllogisms were complete and obviously valid. The others he proved by conversion (swapping terms: from “No A is B” infer “No B is A”) or by reduction to the impossible (assume the conclusion false, and clash with the premises). His system turned arguments into something like a gearbox—you could crank the handle and see whether the parts meshed. And he used letters instead of real terms, treating them as placeholders. That was a leap toward seeing logical form purely.
Aristotle also noticed a sticky problem about future statements: “There will be a sea-battle tomorrow.” If every statement is true or false now, then the future seems fixed. He may have suggested that such a statement has no truth-value yet, preserving excluded middle (the battle either will or won’t happen) but not bivalence (neither statement is true now). That puzzle still hasn’t been put to bed.
The Stoics: Logic as a Game of Connectives
A hundred years after Aristotle, a new school—the Stoics—re-thought logic from the ground up. Their giant was Chrysippus (about 280–207 BCE), a logician so sharp that ancient writers said if the gods used any logic, it would be his. The Stoics started not with terms and categories, but with sayables (lekta): the underlying meanings of what we say. When you say “It is day,” the words are sounds or ink-marks; the sayable is the thought expressed, which can be true or false at a given time.
A simple assertible (their word for a proposition) just predicates something of a subject: “Dion walks.” Non-simple assertibles are built by combining simpler ones with connectives. The Stoics gave truth-rules for these compounds that look startlingly modern. A conjunction “both p and q” is true only when both parts are true. A negation “not: p” flips the truth-value. A disjunction (“either… or…”) is exclusive and true when exactly one disjunct is true. The conditional (“if p, then q”) was especially important. Chrysippus defined it this way: a conditional is true when the contradictory of the consequent is incompatible with the antecedent. That’s a relation of consequence tighter than mere truth-functionality.
The Stoics organized deduction around five basic indemonstrable argument forms and four thematic rules (inference rules). An indemonstrable is an argument so basic it needs no proof. For example, the first indemonstrable is: from “If the first, then the second” and “the first,” conclude “the second.” That’s the pattern later called modus ponens. The second is modus tollens: from “If the first, then the second” and “not: the second,” conclude “not: the first.” They could take a tangled complex argument and, step by step, reduce it to a chain of indemonstrables using the themata—like showing that a complicated origami figure unfolds from simple creases.
They also recognized many logical principles we take for granted: double negation (“not: not: p” is equivalent to p), the truth of “if p, then p,” and that “either p or not: p” is always true. For the first time, logic worked as a calculus of propositions, not just a classification of term-connections. The Stoic system was so powerful that when modern logicians rediscovered propositional logic in the 20th century, they found the Stoics already standing there.
When Truth Twists: Liars, Heaps, and Tricky “If”s
No good story of logic skips the monsters. The Liar paradox, discovered by Eubulides in the 4th century BCE, runs like this: someone says, “I am lying.” If that statement is true, then they are lying, so what they said is false. If it’s false, then it’s true. The Stoics thought the sentence was ambiguous—hiding two different sayables—but whichever way you slice it, the paradox exposes a crack in our notions of truth and aboutness. Chrysippus may have claimed that in borderline cases of a Sorites series (a heap: if you remove one grain it’s still a heap; repeat; soon you have nothing), the sentence no longer corresponds to a clear assertible. He advised stopping the questioning before haziness hits—a surprisingly modern awareness of vagueness.
Meanwhile, a cluster of thinkers including Diodorus Cronus (later 4th–mid 3rd century BCE) and his pupil Philo zoomed in on the conditional. Philo gave a crisp, truth-functional rule: “If p, then q” is false only when p is true and q false; in all other cases it’s true. That sounds sensible—until you realize it makes “If the moon is made of cheese, then grass is green” true, even though the two are unrelated. Diodorus objected. His conditional was true if it never was nor ever will be possible for the antecedent to be true and the consequent false. That’s much stronger, closer to “p strictly implies q.” The debate between Philonian and Diodorean conditionals is still alive in philosophy of logic, under names like “material implication” and “strict implication.”
Diodorus also sharpened his modal ideas into the Master Argument. He defined “possible” as what either is or will be true, and “necessary” as what is true and never will be false. Those definitions together with seemingly innocent principles forced the shocking conclusion that only the actual is possible—the future is as fixed as the past. He offered a proof (now lost) that set off centuries of resistance. Some philosophers denied that every past truth is necessary; others tinkered with the definition of possibility. Later, the Epicureans handled future contingents by holding that “p” and “not-p” about the future are neither true nor false, leaving the future open. These puzzles showed that logic wasn’t just a tidy game; it had teeth.
Why Arguing Well Still Matters
You might never write a syllogism in the sand. But every time you say, “If it rains, the game is canceled; it’s raining, so the game is canceled,” you’re pulling on the same chain Chrysippus pulled. When you test an argument by asking whether the conclusion could be false if the premises are true, you’re doing what Aristotle did. When you spot a contradiction in someone’s story, you’re living inside the square of opposition.
The ancient logicians gave us the habit of treating arguments as structures—structures that can be checked for validity (if the premises are true, does the conclusion have to be true?) independently of whether you like the conclusion. That skill matters every day: in science, in law, in deciding what to believe when people disagree. The fact that the Liar still teases philosophers, and that the correct understanding of “if… then…” is still under debate, reminds us that logic is not a box of solved puzzles. It’s a set of tools—and a set of open questions—that the Greeks handed us, still sharp.
Think about it
- If a friend says, “Believing something makes it true,” can you use the idea of logical form to show why that claim leads to trouble?
- Imagine a sentence that says about itself: “This sentence is not true.” Is it possible to settle its truth-value? What would happen if you tried?
- When you argue with a friend, what would change if you cared only about whether the conclusion follows from their words, not about what the words mean? Would you ever be convinced?
