The word 'syllogism' names what may be the single most important intellectual invention in the history of Western civilization: the formal structure of valid deductive reasoning. Greek 'syllogismos' (συλλογισμός) meant a reckoning together, a computation, or a drawing of conclusions. It derived from the verb 'syllogizesthai' (to reckon together, to conclude), composed of 'syn-' (together, with) and 'logizesthai' (to reckon, reason, calculate), from 'logos' (λόγος, word, reason, proportion, account).
The PIE root *leǵ- (to gather, collect) that underlies 'logos' also appears in 'syllogism' through 'logizesthai.' A syllogism is literally a 'gathering together' of propositions — an act of collecting premises and extracting what follows from them. The same root produces 'logic,' 'analogy' (a gathering according to proportion), 'dialogue' (a gathering through conversation), and 'catalogue' (a complete gathering).
Aristotle invented the syllogism — or rather, he was the first to analyze and systematize the patterns of valid deductive argument that people had been using informally since the dawn of reasoning. In his 'Prior Analytics' (c. 350 BCE), Aristotle defined the syllogism as 'a discourse in which, certain things being stated, something other than what is stated follows of necessity from their being so.' He identified the basic structure: two premises sharing a 'middle term,' from which a conclusion about the relationship between the remaining terms necessarily follows.
The canonical example — 'All men are mortal; Socrates is a man; therefore, Socrates is mortal' — is actually a medieval invention, not one of Aristotle's own examples. Aristotle preferred abstract formulations: 'If A belongs to all B, and B belongs to all C, then A belongs to all C.' This abstraction was deliberate: by using letters instead of specific terms, Aristotle showed that validity depends on the form of the argument, not on its content. A valid syllogism is valid regardless of what it is about.
This insight — that the correctness of reasoning can be analyzed independently of the subject matter — was revolutionary. Before Aristotle, arguments were evaluated by their content, their rhetorical power, or their plausibility. After Aristotle, arguments could be evaluated by their structure alone. The syllogism provided a mechanical test for validity: if the premises are true and the form is correct, the conclusion must be true. This was the birth of formal logic.
Aristotelian syllogistic dominated Western logic for over two thousand years — an intellectual reign unmatched by any other single framework. The medieval university curriculum made the study of syllogisms a required foundation for all other learning. Peter Abelard, Thomas Aquinas, William of Ockham, and generations of scholastic philosophers refined and extended Aristotelian logic, developing elaborate classification systems for the various valid and invalid syllogistic forms.
The decline of the syllogism as the central framework of logic came in the nineteenth century with the development of mathematical logic by George Boole, Gottlob Frege, and Bertrand Russell. Frege's predicate calculus (1879) showed that Aristotelian syllogistic was a fragment of a much larger logical system — valid but incomplete, covering only a small portion of the patterns of valid reasoning. Modern formal logic has largely superseded the syllogism as a research tool, though the syllogism remains the standard introduction to deductive reasoning in education.
In modern English, 'syllogism' retains its technical logical sense but has also developed a broader meaning: any argument that follows a step-by-step deductive pattern, whether or not it conforms to Aristotelian form. Politicians, lawyers, and journalists use 'syllogism' (and 'syllogistic') to describe chains of reasoning that claim to derive inevitable conclusions from accepted premises — often with the implication that the reasoning is too neat, that reality is being crammed into a logical mold that distorts it.
The word's enduring cultural presence testifies to the power of Aristotle's original insight: that the validity of an argument can be assessed by examining its structure alone. This principle — formalized in the syllogism, extended in mathematical logic, and embedded in every computer program — remains one of the foundations of rational inquiry.