What Is a Syllogism? Structure & Examples

Direct Answer

A syllogism is a deductive argument consisting of exactly three categorical propositions: a major premise, a minor premise, and a conclusion. The premises share a middle term that is not present in the conclusion, and the conclusion's terms are the subject of the minor premise and the predicate of the major premise. The canonical example is:

• All men are mortal. (major premise)
• Socrates is a man. (minor premise)
• Therefore, Socrates is mortal. (conclusion)

Two features define syllogistic reasoning. First, it is deductive: if the premises are true, the conclusion must be true — the argument is valid or it is not, and no further evidence can repair an invalid form. Second, its validity is a matter of form, not content. The argument "All dogs are mammals; all mammals are animals; therefore all dogs are animals" is valid because of its shape (AAA in the first figure, known in the medieval mnemonic as Barbara), not because of what dogs and mammals happen to be.

Categorical propositions come in four forms, the classic A-E-I-O square: A ("All S are P"), E ("No S are P"), I ("Some S are P"), and O ("Some S are not P"). A valid syllogism selects one form for each of its two premises and conclusion; Aristotle identified the valid combinations among 256 possible patterns and reduced them to 24 valid moods arranged in four figures.

Historical Context

The syllogism was systematized by Aristotle in the Prior Analytics (c. 350 BCE), the first work in history to present inference as a formal system rather than a matter of rhetorical persuasion. Aristotle identified the three figures of the syllogism by the position of the middle term, defined the four categorical forms, and showed which premise combinations yield valid conclusions — the first deductive "calculus" in the Western tradition.

Medieval logicians extended the system with the famous mnemonic names — Barbara, Celarent, Darii, Ferio — each vowel encoding which of the A-E-I-O forms appears in the argument. The syllogism became the centerpiece of the scholastic curriculum, and its dominance was so complete that Immanuel Kant declared in the eighteenth century that logic "has not been able to advance a single step" since Aristotle — a claim that would soon be refuted by the algebraic logic of George Boole and the predicate calculus of Gottlob Frege.

Philosophical Significance

The syllogism matters philosophically because it is the purest example of deductive necessity: the conclusion adds nothing that is not already implicit in the premises, yet it makes that content explicit in a way that compels assent. For Aristotle, the syllogism was the instrument of episteme — demonstrative knowledge — because its conclusions are guaranteed by their premises rather than merely probable.

The limits of syllogistic logic are equally instructive. Aristotle's system cannot represent relations between multiple objects ("John loves Mary"), nested quantifiers ("Every number has a successor"), or inferences that depend on the internal structure of terms — precisely the reasoning mathematics requires. Frege's predicate logic, developed in 1879, absorbed the syllogism as a special case while vastly exceeding its expressive power. The study of the syllogism therefore marks both the beginning of formal logic and the boundary that motivated its modern successor.

Examples

The classic valid pattern, Barbara (AAA-1): All M are P; All S are M; therefore All S are P.

• All humans are mortal.
• All Greeks are humans.
• Therefore, all Greeks are mortal.

A second valid pattern, Celarent (EAE-1): No M are P; All S are M; therefore No S are P.

• No reptiles are mammals.
• All snakes are reptiles.
• Therefore, no snakes are mammals.

An invalid example: All dogs are animals; all cats are animals; therefore all dogs are cats. Here the middle term "animals" is the predicate in both premises — it is never distributed — so no connection between dogs and cats is established. This is the fallacy of the undistributed middle.

Venn diagrams, devised by John Venn in 1880, test these arguments visually: draw three overlapping circles for the three terms, shade the regions the premises rule out, and check whether the conclusion's claim is forced. Syllogistic validity is exactly what the diagram method makes transparent.

Related Concepts

The syllogism is the paradigm of deductive reasoning, so it connects directly to what an argument is and to the distinction between validity and soundness. It belongs to the broader study of logic and deductive reasoning. Its historical development runs from Aristotle through Boole's algebraic logic to the modern predicate calculus, and its testing tools — the square of opposition and Venn diagrams — remain staples of critical thinking.

Further Learning

For the primary source, read Aristotle's Prior Analytics. The Stanford Encyclopedia of Philosophy's entry "Aristotle's Logic" gives a rigorous overview of the syllogistic, and the Internet Encyclopedia of Philosophy's "Syllogism" entry is an accessible introduction with worked examples. For the visual method, Venn's Symbolic Logic (1881) and Lewis Carroll's playful Symbolic Logic (1896) show how diagrammatic and puzzle-based approaches extend the classical theory.