Philosophy●●●●●Difficulty 5 of 5

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 story

Largely, 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".

Two ancient logics

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

  1. 1.What is the main difference between Aristotle's logic and Stoic logic?
  2. 2.What did Chrysippus reportedly reject in the Master Argument?
  3. 3.Why did Stoic logic drop out of view for so long?

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.

Sources (3)

No source, no claim. Every fact in this lesson (19 claims) cites at least one of these.

  1. [1]Stoicism · Wikipedia
  2. [2]Chrysippus · Wikipedia
  3. [3]Stoicism · Stanford Encyclopedia of Philosophy
More lessons in 🤔 Philosophy (3) See all philosophy lessons →

One more light on your map.

Get one lesson like this every day, about the things you love. Free, in two or five minutes.

Get the share card for this lesson ↗