The Evolutionary Journey of Logic and Propositions

Logic is one of the oldest intellectual disciplines in human history – and at its very core lies a deceptively simple question: what makes a statement true or false, and how do statements connect to produce valid conclusions? The answer to that question didn’t arrive all at once. It was built, brick by brick, over centuries, beginning with Aristotle’s systematic analysis of propositions in ancient Greece, continuing through the Stoics’ revolutionary shift toward propositional logic, and reaching a medieval peak in the clarifying work of Peter Abelard. Each chapter of this story reshaped how thinkers understood reasoning itself.

Before the system: the problem logic had to solve 🔗

Long before there were formal rules, people reasoned – argued, debated, and drew conclusions in courts, assemblies, and philosophical schools. But reasoning without structure is vulnerable to error and manipulation. What was needed was a science of valid inference: a way to determine, independent of the subject matter, whether a conclusion genuinely follows from its premises. The history of logic is, at its core, the story of how that science developed – from the ancient Greeks through the medieval scholastics and beyond. The concept of the proposition – a statement that is either true or false – sits right at the center of that story.

Aristotle: the founding architect of logical propositions 🔗

The systematic study of logic begins with Aristotle (384-322 BCE). Although Plato used dialectic as a method of reasoning, it was Aristotle who established the first formal system of rules and strategies for valid reasoning. His logical works, collected and labeled the Organon (Greek for “tool”) by later commentators, represent the earliest surviving formal study of logic in the Western tradition.

The Organon covered the logical structure of propositions, the proper construction of arguments (syllogisms), the difference between induction and deduction, and the nature of scientific knowledge. Aristotle treated logic not as a subject in itself but as a tool – an instrument for careful thinking applicable across all disciplines.

What Aristotle meant by a proposition 🔗

For Aristotle, a proposition involves two terms – a subject and a predicate – and can be either universal or particular, and either affirmative or negative. This produced four fundamental types of categorical proposition, later designated by the vowels A, E, I, and O in the medieval tradition:

• Universal affirmative (A): “All humans are mortal.”
• Universal negative (E): “No humans are immortal.”
• Particular affirmative (I): “Some humans are philosophers.”
• Particular negative (O): “Some humans are not philosophers.”

Aristotle explored how these four forms relate to one another in his work On Interpretation (De Interpretatione), showing that certain pairs of propositions are contraries (both cannot be true together, but both can be false) while others are contradictories (one must be true and the other false). This gave birth to the famous Square of Opposition, one of the most enduring diagrams in the history of philosophy.

The syllogism: reasoning with propositions 🔗

Aristotle’s most influential logical contribution was the syllogism – a deductive argument consisting of three categorical propositions: a major premise, a minor premise, and a conclusion. A syllogism is an argument made up of three categorical propositions, two premises that set out the evidence, and a conclusion that follows logically from them. The classic example runs: “All humans are mortal; Socrates is a human; therefore, Socrates is mortal.”

Crucially, Aristotle was the first to analyze logical syntax – the formal properties of arguments that permit valid inferences, independent of what the argument is actually about. In doing so, he introduced the formal study of what is now known as formal logic, concerned with the form rather than the content of statements. His logic focused on the relationship between terms (such as “Socrates” or “mortal”), which is why it is often called term logic or predicate logic.

Aristotle also observed an important principle about propositions and truth: exactly one member of any contradictory pair is true and one is false – they cannot both be true, and they cannot both be false. This principle of non-contradiction became a cornerstone of Western logic for two millennia.

The Stoics: shifting from terms to propositions 🔗

While Aristotle’s logic dominated ancient thought, a second and quite different tradition was developing – one that would eventually prove just as foundational to modern logic. This was Stoic logic, and its central innovation was shifting the basic unit of analysis from terms to whole propositions.

The Stoic tradition of logic originated in the 4th century BCE with the Megarian school, particularly through Diodorus Cronus and his pupil Philo of Megara, who developed early theories of modality and conditional propositions. Their work influenced the founder of Stoicism, Zeno of Citium. But the towering figure in the development of Stoic logic was Chrysippus of Soli (c. 279-206 BCE), the third head of the Stoic school, who is often described as the greatest logician of antiquity.

Propositions as the basic unit 🔗

Along with Aristotelian term logic, the system of propositional logic developed by the Stoics was one of the two great systems of logic in the classical world. The key difference from Aristotle lay in what each system took as its basic unit. Where Aristotle analyzed the relationships between terms, Chrysippus analyzed the relationships between propositions. In Aristotelian logic, the key connectives are “all,” “some,” “is,” and “is not.” In Chrysippus’s logic, the key connectives are “if,” “or,” “and,” and “not.”

The Stoics called their basic units assertibles (axiomata) – complete, self-standing sayables that are either true or false. The smallest unit in Stoic logic is an assertible, a proposition which either affirms or denies and which is either true or false. From these simple assertibles, the Stoics built complex ones using connectives: conditionals (“if p, then q”), conjunctions (“both p and q”), and disjunctions (“either p or q”).

Importantly, the Stoics also distinguished between utterance (phone), which may be meaningless, and discourse (logos), which is meaningful – making the Stoics the origin of the idea that there are truth-bearing entities expressed by meaningful sentences, a concept that became central to modern analytic philosophy’s notion of “propositions.”

Chrysippus and the five indemonstrables 🔗

Chrysippus systematized Stoic propositional logic around five basic valid argument forms, which he called indemonstrables – argument patterns so self-evidently valid that they required no proof. Unlike Aristotle, who typically formulated his syllogisms as conditional propositions, the Stoics regularly presented principles of logical inference in the form of schematic arguments, using ordinal numerals as variables replacing whole propositions (e.g., “the first,” “the second”), not terms. This is recognizably closer to how modern propositional logic is written.

The first two indemonstrables correspond directly to rules still used today: modus ponens (“If the first, then the second; but the first; therefore the second”) and modus tollens (“If the first, then the second; but not the second; therefore not the first”). The Stoics believed all other valid arguments could ultimately be reduced to these five basic forms.

The debate over conditional propositions 🔗

One of the Stoics’ most significant contributions was their analysis of the conditional proposition – the “if…then” statement. This turned out to be far from simple. Philo of Megara held that a conditional is true if and only if it does not currently have a true antecedent and a false consequent – exactly the modern notion of material implication. Diodorus, by contrast, held that a true conditional must never at any point in time have a true antecedent and false consequent.

Chrysippus took an even stricter position: to him, a conditional is true only if the denial of the consequent is logically incompatible with the antecedent – what modern logicians recognize as the strict conditional. This debate over the truth conditions of “if…then” statements anticipates issues that remain active in philosophical logic today.

Chrysippus wrote 750 books, if the list given by Diogenes can be trusted, covering virtually every topic that logic today concerns itself with, including conditionals, negations, disjunctions, logical consequence, valid argument forms, modal logic, and tense logic. Almost none survived. His system had to be reconstructed from fragments and later testimonies – yet even from those fragments, its depth is unmistakable.

The medieval turn: Peter Abelard and logical consequence 🔗

After the collapse of the classical world, much of ancient logic was either lost or reduced to a narrow set of texts. When the study of logic resumed after the Dark Ages, the main source was the work of Boethius, who was familiar with some of Aristotle’s logic but almost none of the Stoics. Medieval scholars worked with what survived – but one of them, Peter Abelard, managed to transform even these limited resources into something genuinely new.

Peter Abelard (1079-1142) is widely considered the first great medieval logician, a scholar who wrote commentaries on Aristotle’s logical works and pushed their analysis well beyond anything his predecessors had attempted. He has been praised as the greatest logician between the ancients and William of Ockham.

The force and content of propositions 🔗

One of Abelard’s most important contributions was his analysis of the relationship between the force and the content of a proposition. As part of his philosophy of language, Abelard developed a theory of propositional content that distinguished between the force and the content of propositions – the same propositional content may appear under different forces: an assertion (“Socrates is sitting”) and a question (“Is Socrates sitting?”) share the same content but differ in force.

This distinction, which Gottlob Frege is typically credited with introducing in the 19th century, was in fact present in Abelard’s work some 700 years earlier. Abelard was the greatest logician since antiquity: he devised a purely truth-functional propositional logic, recognizing the distinction between force and content we associate with Frege.

Refining logical consequence 🔗

Abelard’s most consequential contribution was his rigorous analysis of entailment – the logical relationship in which one proposition necessarily follows from another. For Abelard, a valid consequence was not simply one where it was impossible for the antecedent to be true and the consequent false. That requirement, he recognized, was too loose – it generated what we now call the paradoxes of strict implication.

Abelard clearly saw that the liberal definition of consequence gives rise to paradoxes – in particular, the principle later called “Ex impossibili quodlibet” (from an impossibility, anything follows). He rejected this. For a consequence to be genuine, he argued, the understanding expressed by the antecedent must inherently contain or require the understanding expressed by the consequent. In other words, the connection must be conceptual and necessary, not merely accidental.

Abelard’s account of inference distinguishes between complete and incomplete entailment. A complete entailment, such as a traditional Aristotelian categorical syllogism, is one in which the conclusion is contained in the premises and the inference survives uniform substitution. This is what we would now call formal validity. An incomplete entailment, by contrast, holds because of substantive truths about the world – for example, that being human necessarily involves being an animal.

Abelard also clarified something that had caused confusion: conditionals do not assert the truth of either the antecedent or the consequent, but rather affirm the connection between the two propositions. This seems obvious now, but separating the assertion from the propositional content was a conceptual breakthrough that made genuine propositional logic possible. Abelard was the first medieval logician to make this point systematically.

What this history reveals about logic itself 🔗

Taken together, these three chapters – Aristotle, the Stoics, Abelard – reveal something important: logic did not emerge fully formed. It was built through a process of problem-solving. Aristotle provided the first formal system for reasoning with terms and constructed a theory of categorical propositions that held authority for two millennia. The Stoics identified its limits and shifted the focus to whole propositions and their logical connections, producing the first true propositional calculus. Abelard, working from fragmentary sources in a transformed intellectual world, nonetheless sharpened the concept of logical consequence in ways that anticipate modern formal logic.

Stoic propositional logic was much studied during the Middle Ages and Renaissance, representing the forefront of logical scholarship until the introduction in the 19th century of Gottlob Frege’s predicate logic. And Abelard’s innovations on entailment and propositional content, which we now associate with Bolzano and Frege, were there in embryonic form as early as the twelfth century. The history of logic is, in large part, a history of propositions – of careful, sometimes revolutionary thinking about what it means to say something true, and what it means for one truth to follow from another.

What do you think? If the Stoics had developed a complete system of propositional logic centuries before the modern era, why do you suppose their work was largely forgotten in favor of Aristotle’s – and what might logic look like today if that history had been different? And given how much of Abelard’s work anticipated ideas we credit to Frege and others, does it change how we think about the attribution of intellectual “discoveries” in the history of philosophy?

References

1. https://en.wikipedia.org/wiki/History_of_logic
2. https://www.britannica.com/topic/history-of-logic/Aristotle
3. https://iep.utm.edu/aristotle-logic/
4. https://www.newworldencyclopedia.org/entry/History_of_logic
5. https://plato.stanford.edu/entries/aristotle-logic/
6. https://www.britannica.com/topic/history-of-logic/The-Megarians-and-the-Stoics
7. https://en.wikipedia.org/wiki/Stoic_logic
8. https://iep.utm.edu/chrysippus/
9. https://medium.com/@gobthor/from-aristotle-to-russell-how-logic-has-improved-from-ancient-greece-f0cbcb0bdc19
10. https://en.wikipedia.org/wiki/Chrysippus
11. https://www.historyoflogic.com/logic-stoics.htm
12. https://en.wikipedia.org/wiki/Peter_Abelard
13. https://plato.stanford.edu/entries/abelard/
14. https://iep.utm.edu/abelard-logic/
15. https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/medieval-european-logic
16. https://figsinwintertime.substack.com/p/from-ancient-to-new-stoicism-iistoic