Syllogism Types

Why This Matters

Syllogisms form the backbone of deductive reasoning. They're the formal structures that let you move from premises to conclusions with certainty. In Formal Logic I, you're tested on your ability to recognize these argument forms, identify their components, and evaluate whether they're valid. Understanding syllogism types means understanding how logical inference actually works, from the categorical relationships Aristotle identified to the conditional reasoning that powers modern logic.

Don't just memorize the names and definitions here. For each syllogism type, know what logical relationship it exploits, what makes it valid, and how it differs from similar forms. Exam questions will ask you to identify argument forms in natural language, construct valid syllogisms, and explain why certain inference patterns work while others fail.

---

Categorical Syllogisms: Reasoning About Classes

These syllogisms work by establishing relationships between categories (classes) of things. The underlying principle: if we know how two categories each relate to a shared middle term, we can deduce how they relate to each other.

Categorical Syllogism

A categorical syllogism consists of exactly three categorical statements: a major premise, a minor premise, and a conclusion. These three statements connect exactly three terms through claims about class membership.

• Quantifiers determine the type of claim: "all" and "no" express universal claims; "some" expresses particular claims. The combination of quantifiers across the premises constrains which conclusions are valid.
• The middle term is the logical bridge. It appears in both premises but never in the conclusion. It's what connects the subject term (minor term) to the predicate term (major term).

For example: "All mammals are warm-blooded. All dogs are mammals. Therefore, all dogs are warm-blooded." Here, mammals is the middle term linking dogs to warm-blooded.

Sorites

A sorites is a chain of categorical syllogisms compressed into a sequence of statements. The predicate of one statement becomes the subject of the next, building toward a final conclusion.

• Each step eliminates an intermediate category (a middle term), until only the first subject and the last predicate remain.
• To evaluate a sorites, you reconstruct the implicit syllogisms hidden within the chain. Exam questions commonly ask you to identify these implicit premises.

For example: "All A are B. All B are C. All C are D. Therefore, all A are D." Two syllogisms are compressed here, with B and C both serving as middle terms that drop out.

Polysyllogism

A polysyllogism also chains multiple syllogisms together, but the mechanism is different: the conclusion of one syllogism becomes a premise in the next.

• Unlike sorites, each component syllogism is complete and explicit, not compressed into a streamlined chain.
• You may be asked to break a polysyllogism into its component syllogisms and evaluate each one independently.

---

Conditional Syllogisms: If-Then Reasoning

These forms exploit the logical relationship between antecedents and consequents in conditional ("if...then") statements. The key principle: a conditional creates a one-way logical dependency that constrains what you can validly infer.

Hypothetical Syllogism

Hypothetical syllogism chains conditional statements together using the transitivity of implication: if $P \rightarrow Q$ and $Q \rightarrow R$, then $P \rightarrow R$.

• The consequent of the first conditional becomes the antecedent of the second, preserving the logical connection across the chain.
• The pure form uses only conditionals. No categorical claims appear; the premises and conclusion are all if-then statements.

Conditional Syllogism

A conditional syllogism mixes a conditional premise with a categorical premise. One premise states an if-then relationship; the other asserts or denies something about the antecedent or consequent.

• This is the general category that includes modus ponens and modus tollens as its two valid forms.
• The specific way you interact with the conditional (affirming vs. denying, antecedent vs. consequent) determines which inference rule applies and whether the reasoning is valid.

Modus Ponens

Modus ponens affirms the antecedent to derive the consequent:

1. Given $P \rightarrow Q$ (if P, then Q)
2. Assert $P$ (P is true)
3. Conclude $Q$ (therefore Q is true)

This is the most intuitive valid conditional inference. If the sufficient condition holds, the necessary condition must follow. Watch out for its invalid lookalike: affirming the consequent (asserting $Q$ and concluding $P$) reverses the direction of the implication and is a formal fallacy.

Modus Tollens

Modus tollens denies the consequent to deny the antecedent:

1. Given $P \rightarrow Q$ (if P, then Q)
2. Assert $\neg Q$ (Q is false)
3. Conclude $\neg P$ (therefore P is false)

This is contrapositive reasoning: if the necessary condition fails, the sufficient condition cannot have held. It's especially powerful for falsification, since one false prediction can invalidate an entire hypothesis. Its invalid lookalike is denying the antecedent (asserting $\neg P$ and concluding $\neg Q$), which is another formal fallacy.

---

Disjunctive Syllogisms: Eliminating Alternatives

These syllogisms work by process of elimination. The underlying logic: when you have a true disjunction, ruling out one option confirms the other.

Disjunctive Syllogism

Disjunctive syllogism exploits "or" statements:

1. Given $P \lor Q$ (either P or Q)
2. Assert $\neg P$ (P is false)
3. Conclude $Q$ (therefore Q is true)

For this inference to be valid, the disjunction must be genuinely exhaustive. If there are other possibilities beyond P and Q that the "or" statement doesn't capture, the inference fails. This is a common source of error: always check whether the alternatives truly cover all the cases.

Note that in standard logic, "or" is inclusive ($P \lor Q$ is true when both are true). But disjunctive syllogism still works with inclusive or, because if $\neg P$ and $P \lor Q$, then $Q$ must hold regardless.

---

Incomplete and Extended Forms: Real-World Reasoning

Formal logic meets practical argumentation in these forms, which either compress or expand the standard syllogistic structure. Understanding these helps you analyze arguments as they actually appear in texts and speech.

Enthymeme

An enthymeme is a syllogism with a missing premise. One statement is implied rather than explicitly stated, and the audience is expected to fill in the gap from context or shared knowledge.

• Identifying the hidden premise is a core skill for argument analysis. To find it, ask: what unstated claim would make this argument valid?
• Exam questions often present an enthymeme and ask you to supply the missing premise. Reconstruct the full syllogism first, then check whether the hidden premise is actually true.

For example: "Socrates is mortal because he's a man." The unstated major premise is "All men are mortal."

Epicheirema

An epicheirema is a syllogism where one or both premises include their own justification. Rather than simply asserting "All A are B," the arguer says "All A are B, because..."

• This adds evidential support directly into the syllogistic structure, making the argument more persuasive.
• When analyzing an epicheirema, separate the core syllogism from the supporting reasons attached to each premise. Evaluate both layers: is the syllogism valid, and do the supporting reasons actually justify the premises?

---

Quick Reference Table

---

Self-Check Questions

1. What logical feature do modus ponens and modus tollens share, and what distinguishes their inference patterns?

2. You encounter an argument that states: "Either the system is consistent or it is complete. It is not complete. Therefore, it is consistent." Which syllogism type is this, and what must be true about the disjunction for the inference to be valid?

3. Compare sorites and polysyllogism: how does each handle the connection between multiple syllogistic inferences?

4. An editorial argues: "Democracies don't go to war with each other, so expanding democracy will bring peace." What type of syllogism is this, and what unstated premise does it rely on?

5. If an FRQ presents the argument "If inflation rises, interest rates will increase; interest rates have not increased," which inference rule should you apply, and what conclusion follows?