A syllogism is a form of formal reasoning in which a conclusion is drawn from two or more premises. Traditionally described as a kind of deduction, it belongs to the family of logical argument forms where the conclusion follows by virtue of the premises alone. Each statement invoked in a syllogism is a proposition, and the initial claims on which the conclusion depends are called premises. The systematic study of syllogisms is commonly traced to Aristotle, who analyzed how certain configurations of premise and term lead necessarily to particular conclusions.
Structure and components
In its classical, categorical variety a syllogism has three parts: a major premise, a minor premise and a conclusion. Each of those parts mentions two of three terms: the major term, the minor term and the middle term (which appears in both premises but not in the conclusion). In Aristotelian treatments the categorical propositions typically employ a copula — a form of the verb 'to be' — as in statements like “All A are B” or “Some A are not B.” The archetypal example is:
- Major premise: All humans are mortal.
- Minor premise: Socrates is a human.
- Conclusion: Therefore, Socrates is mortal.
Types and examples
Beyond categorical syllogisms, logicians recognize other related deductive patterns such as hypothetical syllogisms (conditional chains) and disjunctive syllogisms (based on alternatives). Short examples:
- Categorical: All birds have feathers; a penguin is a bird; therefore a penguin has feathers.
- Hypothetical: If it rains, the ground will be wet; it is raining; therefore the ground is wet.
- Disjunctive: Either the light is on or it is off; the light is not on; therefore it is off.
Classical syllogistics also classifies forms by mood and figure (arrangements of universal/particular and affirmative/negative propositions). Some valid syllogistic forms are universally valid whether the particular terms name people, objects or abstract kinds; others are invalid unless particular existential assumptions hold.
History, limits and modern view
Aristotle’s Prior Analytics laid out the original theory, and medieval and Renaissance logicians expanded and systematized syllogistic rules. By the 19th and 20th centuries, developments in symbolic and predicate logic revealed both the power and the limits of syllogisms: modern first-order logic can express relations and nested quantification that classical syllogistics cannot capture compactly. Nevertheless, syllogisms remain an important pedagogical tool for teaching validity, the distinction between validity and soundness, and the mechanics of deductive inference.
Uses, distinctions and notable facts
Syllogistic reasoning appears across philosophy, legal argumentation, rhetoric and basic logical training. Distinctions to note: a valid syllogism is one whose conclusion follows from its premises, while a sound syllogism is valid and has true premises. An enthymeme is a rhetorically shortened syllogism omitting an explicit premise. Contemporary systems in mathematics, computer science and formal semantics often translate syllogistic patterns into predicate logic when greater expressive precision is needed.
For further introductory material and historical context see treatments of classical deduction and syllogistic analysis by standard logic texts and resources. Helpful starting points include surveys of deductive methods (deduction) and encyclopedic entries on formal argumentation (logical, argument). For primary historical context consult summaries of Aristotle and his works. General discussions of propositions and premises can be found under proposition and premises, and specific notes on categorical copulas under the verb 'to be'.