Skip to main content Skip to Search Box

Definition: syllogism from The Hutchinson Unabridged Encyclopedia with Atlas and Weather Guide

Set of philosophical statements devised by Aristotle in his work on logic. It establishes the conditions under which a valid conclusion follows or does not follow by deduction from given premises. The following is an example of a valid syllogism: ‘All men are mortal, Socrates is a man, therefore Socrates is mortal.’


Summary Article: syllogism
from The Columbia Encyclopedia

a mode of argument that forms the core of the body of Western logical thought. Aristotle defined syllogistic logic, and his formulations were thought to be the final word in logic; they underwent only minor revisions in the subsequent 2,200 years. Every syllogism is a sequence of three propositions such that the first two imply the third, the conclusion. There are three basic types of syllogism: hypothetical, disjunctive, and categorical. The hypothetical syllogism, modus ponens, has as its first premise a conditional hypothesis: If p then q; it continues: p, therefore q. The disjunctive syllogism, modus tollens, has as its first premise a statement of alternatives: Either p or q; it continues: not q, therefore p. The categorical syllogism comprises three categorical propositions, which must be statements of the form all x are y,no x is y,some x is y, or some x is not y. A categorical syllogism contains precisely three terms: the major term, which is the predicate of the conclusion; the minor term, the subject of the conclusion; and the middle term, which appears in both premises but not in the conclusion. Thus: All philosophers are men (middle term); all men are mortal; therefore, All philosophers (minor term) are mortal (major term). The premises containing the major and minor terms are named the major and minor premises, respectively. Aristotle noted five basic rules governing the validity of categorical syllogisms: The middle term must be distributed at least once (a term is said to be distributed when it refers to all members of the denoted class, as in all x are y and no x is y); a term distributed in the conclusion must be distributed in the premise in which it occurs; two negative premises imply no valid conclusion; if one premise is negative, then the conclusion must be negative; and two affirmatives imply an affirmative. John Venn, an English logician, in 1880 introduced a device for analyzing categorical syllogisms, known as the Venn diagram. Three overlapping circles are drawn to represent the classes denoted by the three terms. Universal propositions (all x are y, no x is y) are indicated by shading the sections of the circles representing the excluded classes. Particular propositions (some x is y, some x is not y) are indicated by placing some mark, usually an "X," in the section of the circle representing the class whose members are specified. The conclusion may then be read directly from the diagram.

The Columbia Encyclopedia, © Columbia University Press 2017

Related Articles


Full text Article syllogism
Dictionary of World Philosophy

From the Greek syn, i.e. “together,” and logizesthai, i.e. “to reckon” or “to conclude by reasoning,” the term syllogism denotes a form of...

Full text Article syllogism
The Macmillan Encyclopedia

A form of deductive argument, rules for the validity of which were developed by Aristotle . Each syllogism must be composed of three...

Full text Article syllogism
Philip's Encyclopedia

Logical argument consisting of three categorical propositions: two premises and a conclusion. It was devised by Aristotle to establish the...

See more from Credo