Syllogism

A syllogism is a form of deductive reasoning traditionally comprising two premises and a conclusion. In its best-known form, the categorical syllogism, three terms express relationships between classes: the premises connect two terms through a shared third term, allowing a conclusion about their relationship. Developed systematically by Aristotle, syllogistic theory became a foundational part of logic. Aristotle’s own concept of syllogismos was broader than the familiar three-statement pattern: it concerned arguments in which something follows necessarily from what has been assumed. (plato.stanford.edu)

Historical development

Aristotle presented his systematic treatment of syllogistic inference in the Prior Analytics, written in the fourth century BCE in ancient Greece. He distinguished valid patterns from unsuccessful premise combinations, using deductions to establish the former and counterexamples to reject the latter. He also investigated syllogisms involving necessity and possibility, an early contribution to modal logic. (plato.sydney.edu.au)

During the Middle Ages, logicians extended and reorganized this theory. They developed mnemonic names for valid forms, investigated hypothetical and modal arguments, and examined how syllogistic reasoning related to broader theories of logical consequence. Although Aristotle organized categorical deductions into three figures, later treatments commonly distinguished four. Some medieval authors instead treated the fourth as a variation of the first. (plato.stanford.edu)

Terms, premises, and conclusion

A standard categorical syllogism contains exactly three terms, each occurring twice. The minor term, conventionally represented by S, is the subject of the conclusion. The major term, P, is its predicate. The middle term, M, occurs in both premises but not in the conclusion. The major premise contains P; the minor premise contains S. These labels describe structural roles, not the relative importance of the statements. (plato.stanford.edu)

For example:

• All mammals are animals.
• All dogs are mammals.
• Therefore, all dogs are animals.

Here “dogs” is S, “animals” is P, and “mammals” is M. The inference depends on the pattern of inclusion, not on these particular subjects. In set theory, it illustrates the transitivity of the subset relation: if S is contained in M and M in P, S is contained in P. (stat.berkeley.edu)

Categorical propositions

Traditional syllogistic uses four standard forms of categorical proposition, identified by the letters A, E, I, and O. Their quantity is universal or particular; their quality is affirmative or negative. (iep.utm.edu)

In modern interpretations, “some” means at least one, rather than “some but not all.” Using first-order logic, A can be expressed as ∀x(Sx → Px), while I becomes ∃x(Sx ∧ Px). E excludes objects belonging to both classes, and O asserts an S that is not P. This interpretation makes explicit the statements’ semantics, especially their commitments concerning existence. (stat.berkeley.edu)

Mood and figure

A syllogism’s mood records the proposition types of its major premise, minor premise, and conclusion, in that order. Its figure records the positions of the middle term in the premises. With the conclusion fixed as S–P, the four conventional figures are: (plato.stanford.edu)

The example about dogs is AAA–1, traditionally named Barbara. Other first-figure forms include Celarent (EAE–1), Darii (AII–1), and Ferio (EIO–1). The vowels in these mnemonic names identify the three proposition types. Mood and figure classify an argument’s form; they do not by themselves establish its validity. (plato.sydney.edu.au)

Validity and methods of assessment

Logical validity concerns whether true premises can accompany a false conclusion. It differs from soundness: a sound argument is valid and also has true premises. Thus, assessing a syllogism’s form is distinct from checking its factual claims. (iep.utm.edu)

One assessment method uses a three-circle Venn diagram. Each circle represents a term’s class; shading marks empty regions, and an existence marker indicates at least one member. After representing the premises, the conclusion must already be forced by the diagram. Alternatively, a counterexample disproves validity by making the premises true and the conclusion false. (stat.berkeley.edu)

For instance, “All dogs are mammals; all cats are mammals; therefore, all cats are dogs” commits a fallacy. Membership in a common larger class does not establish inclusion between its subclasses. Aristotle also established valid forms through conversion of propositions and proof by contradiction, reducing less immediately evident inferences to accepted forms. (stat.berkeley.edu)

Existential assumptions and broader usage

Existential import is a crucial difference between traditional and modern interpretations. In modern logic, universal statements do not imply that their subject classes contain members: “All unicorns are animals” can be true when the unicorn class is the empty set. Consequently, two universal premises cannot alone establish a particular conclusion. Some traditionally accepted forms require additional nonemptiness assumptions. (stat.berkeley.edu)

The term also appears in propositional logic. A disjunctive syllogism infers q from “p or q” and “not p.” Related conditional reasoning includes modus ponens, which infers q from “if p, then q” and p. Such rules of inference operate on whole propositions rather than on the three class terms characteristic of categorical syllogisms. (iep.utm.edu)