What Is a Syllogism?
A syllogism is a form of deductive reasoning consisting of three statements: two premises that lead to a logical conclusion. The structure is fundamental to Western logic since Aristotle's foundational work in the fourth century BCE. Each statement contains two terms, a subject and a predicate, and the three statements together form an argument where the conclusion follows necessarily from the premises if the reasoning is valid.
The three-part structure consists of a major premise (a general statement), a minor premise (a specific statement), and a conclusion. For example: "All philosophers are human; Socrates is a philosopher; therefore, Socrates is human." The middle term, the one appearing in both premises but not in the conclusion, is what connects the two premises. Aristotle identified the syllogism as the basic unit of logical proof, and this framework has remained central to logic, education, and standardized reasoning tests for over 2,000 years.
Categorical Syllogisms: The Most Common Form
Categorical syllogisms work with statements that assign all or some items to categories. There are four standard forms, determined by the quantity and quality of each statement:
- A (All): "All A are B", a universal affirmative statement that includes every member of category A in category B
- E (None): "No A are B", a universal negative statement that excludes all members of category A from category B
- I (Some): "Some A are B", a particular affirmative statement asserting that at least one member of A is in B
- O (Some Not): "Some A are not B", a particular negative statement asserting that at least one member of A is excluded from B
The four standard forms are often called A-E-I-O in classical logic. A categorical syllogism takes one statement of each type (or any valid combination) for the major premise, minor premise, and conclusion. The "figure" of the syllogism refers to which position the middle term occupies in the premises. There are four figures total, and within each figure there are multiple valid "moods", combinations of statement types. In total, there are 256 possible mood-figure combinations, of which only 24 are valid without additional assumptions (reduced to 15 in modern logic, which does not allow empty categories).
Valid vs Invalid Forms
A syllogism is valid when the conclusion follows necessarily from the premises. Invalid forms fail to guarantee the conclusion, even if the premises are true. Understanding the distinction between valid and invalid inference patterns is essential for verbal reasoning tests.
Modus ponens (valid): "If P then Q; P is true; therefore Q is true." Example: "If it rains, the ground gets wet; it is raining; therefore, the ground is wet." This is a conditional form where affirming the antecedent (P) guarantees the consequent (Q). Modus ponens is universally valid in deductive logic.
Affirming the consequent (invalid): "If P then Q; Q is true; therefore P is true." Example: "If it rains, the ground gets wet; the ground is wet; therefore, it rained." This is fallacious because Q could be true for other reasons, the sprinklers could have run, a truck could have passed, or water from another source could have made the ground wet. The conclusion does not follow necessarily from the premises.
Modus tollens (valid): "If P then Q; Q is false; therefore P is false." Example: "If it rains, the ground gets wet; the ground is not wet; therefore, it did not rain." This is valid because if Q is false and P necessarily leads to Q, then P must be false. Denying the consequent guarantees that the antecedent is false.
Denying the antecedent (invalid): "If P then Q; P is false; therefore Q is false." Example: "If it rains, the ground gets wet; it is not raining; therefore, the ground is not wet." This is fallacious because Q could be true without P, the ground could be wet from the sprinklers. The falsity of P does not guarantee the falsity of Q.
How Syllogisms Appear in Verbal Reasoning Tests
Standardized reasoning tests across employers, law schools, and graduate programs regularly feature syllogistic reasoning. The Watson-Glaser Critical Thinking Appraisal, a test administered to thousands of candidates annually across finance, consulting, and public-sector roles, includes a full reasoning section on categorical deduction where test-takers evaluate whether conclusions follow from stated premises. The format requires identifying valid and invalid arguments under time pressure.
The Law School Admission Test (LSAT) includes logical reasoning sections that rely heavily on understanding valid and invalid argument forms. While not exclusively syllogistic, LSAT questions often require recognizing when an argument commits one of the classic fallacies, affirming the consequent, denying the antecedent, or the undistributed middle (covered below). Many large employers' cognitive ability assessments (used by tech companies, consulting firms, and financial institutions) include deductive logic sections with a similar structure.
Common test traps include premises that are subtly different from what the conclusion claims, false dilemmas disguised as syllogisms, and the use of emotionally loaded language to obscure logical structure. Test-makers often present premises in non-standard order, placing the conclusion first to increase cognitive load. Another frequent trap is scope shift, the conclusion expands or narrows the scope beyond what the premises permit. For example, a premise about "some lawyers" cannot justify a conclusion about "all lawyers," yet test-takers under time pressure frequently miss this distinction.
Diagramming Syllogisms: A Practical Method
Several diagramming techniques help visualize logical relationships and test validity:
Venn diagrams represent each category as a circle and show inclusion, exclusion, and overlap. For "All A are B; Some B are C; therefore some A are C," three overlapping circles represent A, B, and C. The statement "All A are B" is shown by the A circle lying entirely within B. "Some B are C" is shown by the overlap between B and C circles. The conclusion "Some A are C" can then be tested by seeing whether the A-C overlap must contain members. Venn diagrams are systematic and reliable but can become visually complex with four or more categories.
Euler diagrams
Labeled line diagrams
The practical rule: use whichever method lets you see the logical structure fastest. For most test-takers, simple labeled diagrams or Euler circles work best under time pressure. Full Venn diagrams are more reliable if you have extra time and want absolute certainty.
Common Syllogism Mistakes and How to Avoid Them
- Undistributed middle: The middle term (the one connecting the two premises) must be distributed, fully referred to, in at least one premise. Failure to do this is a common error. Example (invalid): "All cats are animals; some pets are animals; therefore, some pets are cats." The middle term "animals" is never fully distributed (it's not "all animals" in either premise), so the link between cats and pets is not established. Fix: check that the middle term appears as the complete subject of a universal statement (All... are) or the complete predicate of a negative statement (No... are, Some... are not) in at least one premise.
- Affirming the consequent: A conditional premise "If P then Q" does not let you conclude P just because Q is true. Many test-takers slip into this fallacy under time pressure. Example: "If you study, you pass; you passed; therefore, you studied." This commits affirming the consequent, you could have passed by guessing, prior knowledge, or cheating. Fix: in conditional statements, you can only affirm the antecedent (P) to reach the consequent (Q), or deny the consequent (not Q) to reach the negation of the antecedent (not P).
- Illicit major: The major term (predicate of the conclusion) cannot be distributed (fully referred to) in the conclusion if it was not distributed in the major premise. Example (invalid): "All logicians are careful thinkers; all accountants are careful thinkers; therefore, all accountants are logicians." The major term "logicians" is distributed in the conclusion (it's universal) but was not distributed in the major premise (it's only the subject of "all logicians"). Fix: check that if your conclusion uses a universal claim about a term (All... are X, or No... are X), that term was fully distributed in its premise as well.
- Illicit minor: Similarly, the minor term (subject of the conclusion) cannot be distributed in the conclusion if it was not distributed in the minor premise. Example (invalid): "Some philosophers are women; all women are human; therefore, all philosophers are human." The minor term "philosophers" is universal in the conclusion but only particular in the minor premise. Fix: same check as illicit major, applied to the other direction.
- Mood vs figure confusion: The "mood" is the pattern of statement types (A, E, I, O) in the three statements; the "figure" is the position of the middle term. A given mood may be valid in one figure but invalid in another. Remembering that "Barbara" (AAA-1) is valid but "Felapton" (EAO-3) is not requires drilling valid forms. Fix: if working from memory, prefer modus ponens and modus tollens (conditional forms) which are valid in all contexts, and test categorical syllogisms with diagrams rather than trying to remember mood-figure rules.
- Confusing "some" with "many" or specific instances: In logic, "some" means "at least one." Test-makers exploit this by using "some" in ways that feel awkward but are technically true. "Some doctors are millionaires" is logically true even if only one doctor is a millionaire. Similarly, avoid assuming that because one instance supports a syllogism, the syllogism is therefore valid, the logical structure matters, not real-world frequency. Fix: treat "some" as strictly meaning "at least one," and evaluate validity based on logical structure alone, not on what is typical or common in reality.
- Negation scope errors: "Not all A are B" is different from "No A are B." The first is an I-type ("Some A are not B"); the second is an E-type. Misreading negation scope causes valid syllogisms to be marked invalid. Fix: carefully parse the grammar. "Not all" negates universality; "all...not" or "no" negates membership. Read the statement twice if necessary.
Syllogisms in Context: From Aristotle to Modern Testing
Aristotle's systematic development of syllogistic logic in the 4th century BCE established the framework still used today. Medieval logicians formalized the 24 valid moods and figures. Modern logicians, including Patrick Hurley in his widely-used textbook "A Concise Introduction to Logic" (now in its 14th edition), extended the framework with symbolic logic and decision procedures. Contemporary test makers, from LSAC (which administers the LSAT) to Hogan Assessments (which designs cognitive ability tests used in hiring), rely on these classical forms.
The reason syllogisms remain central to reasoning tests is straightforward: they require understanding the difference between necessary and probable inference, they expose sloppy thinking, and they correlate with broader reasoning ability. A person who can reliably distinguish modus ponens from affirming the consequent, or spot an undistributed middle, has developed the logical discipline needed for law, finance, science, and complex problem-solving generally.
For in-depth study of syllogistic logic, formal validity, and historical development, refer to Hurley's foundational textbook and the Stanford Encyclopedia of Philosophy's entries on Aristotle's logic. For test preparation specifically, the Watson-Glaser Critical Thinking Appraisal official prep materials and LSAT PrepPlus offer realistic practice with syllogistic reasoning under timed conditions. Mastering the forms outlined above, valid modus ponens and modus tollens, invalid affirming the consequent and denying the antecedent, and the rule against undistributed middle, will cover the vast majority of reasoning questions on standardized tests.
Ready to test your verbal reasoning skills across a range of formats and difficulty levels? Explore our comprehensive verbal reasoning assessment to identify strengths and development areas in logical deduction, premise evaluation, and argument analysis.