Did the Stoics invent propositional logic, and why was it forgotten for centuries?
"If it is day, it is light; it is day; therefore it is light" is a Stoic argument, from a system that was one of antiquity's two great logics and then went missing.
▶ Start the storyLargely, yes: Chrysippus created a system of propositional logic, building on earlier work, and it was then forgotten for centuries. For around five hundred years Stoic logic was one of the two great systems of logic, discussed alongside Aristotle's. Aristotle's logic dealt with relations between terms like "Socrates" or "man". Stoic logic dealt with relations between propositions like "it is day", as in "if it is day, it is light; but it is day; so it is light".
Aristotle: terms
- "Socrates", "man"
- All men are mortal; Socrates is a man; so Socrates is mortal
Stoics: propositions
- "It is day"
- If it is day, it is light; it is day; so it is light
The roots lie in the Megarian school, where Diodorus Cronus and his pupil Philo worked on conditional propositions; Zeno himself studied under the Megarians. Chrysippus seems to have introduced the three main connectives: "if", "and" and "or". Their "or" was exclusive, unlike the inclusive "or" generally used in modern formal logic. Among their basic argument forms are what we now call modus ponens (if p then q; p; therefore q) and modus tollens (if p then q; not-q; therefore not-p).
Why was it forgotten? Aristotle's logic prevailed, partly because it was seen as more practical and partly because the Neoplatonists took it up, and Chrysippus's logical writings are almost entirely lost. Knowledge of Stoic logic as a system stayed lost until the 20th century, when logicians familiar with the modern propositional calculus reappraised the ancient accounts. Before that, the 19th-century historian Carl Prantl called it "dullness, triviality, and scholastic quibbling" and welcomed that the works of Chrysippus no longer survived.
So the modern parallels were largely rediscovered, not inherited, though one scholar now argues a thread may have passed through Prantl to Frege.
Quiz me
0/3
Recap
Stoic logic reasons about whole propositions (if p then q), not about terms like "all men".
💡 A trick to remember it · Aristotle sorts things into boxes; the Stoics link whole sentences with if, and, or.
Surprising fact · A 19th-century historian welcomed the loss of Chrysippus's works, yet a 2021 study argues his book may have carried Stoic logic to Frege.
Connects to
- 🛞 If everything is fated, why did Chrysippus say we are still responsible?
- 📱 What do scholars say today's online "Stoicism" gets wrong?
- 🔥 Why did the Stoics think the universe is a living, rational being that burns up and starts over?
- 🔀 How did a self-taught shoemaker's son invent the math behind computers?
- Stoicism
- Propositional calculus
- Aristotelian logic
- Gottlob frege
Sources (3)
No source, no claim. Every fact in this lesson (19 claims) cites at least one of these.