Categorical logic

Core idea

Categorical logic is the first formal system in the book and the oldest in the Western tradition — the syllogistic of Aristotle, refined for two thousand years and still in use as a teaching system. Its building block is the categorical proposition, a sentence that says something about the relationship between two classes (all S are P, no S are P, some S are P, some S are not P). From four such forms — labelled A, E, I, O — categorical logic builds the entire machinery of the syllogism: an argument with two premises and one conclusion, each a categorical proposition, sharing terms in a specific pattern.

The novelty here is mechanical evaluation. For the first time you do not need to understand the subject matter to check validity. You can draw a Venn diagram of the three classes, mark what the premises say, and see whether the conclusion is forced. Or you can apply the rules of the syllogism — five formal constraints — and mechanically reject any argument that violates them. Validity has stopped being a judgement call and become an algorithm.

Why it matters

Why this matters as foundation

Categorical logic introduces three habits of mind that survive into the modern systems of later topics: (1) forms are evaluated independently of content, (2) validity has a decision procedure, and (3) structural relations between propositions can be diagrammed. The square of opposition and the Venn diagram are visual prototypes for the truth tables and the predicate-logic semantics that come later.

Why it still matters in practice

Most everyday reasoning that involves quantifiers (all, some, no) is categorical at heart. The medical inference "all patients with symptom X have condition Y; this patient has X; so this patient has Y" is a syllogism. So is half of jury reasoning and most policy debate.

Mental model

The four propositional forms — A, E, I, O

Two binary distinctions generate the four forms. Quantity is universal (all, no) or particular (some). Quality is affirmative or negative. The four combinations are labelled with vowels from the Latin affirmo ("I affirm") and nego ("I deny"): A (universal affirmative), E (universal negative), I (particular affirmative), O (particular negative).

Copy sourceZoom

The square of opposition

The four forms stand in fixed logical relations to each other. Contradictories (diagonal pairs A–O and E–I) cannot both be true and cannot both be false. Contraries (A and E) cannot both be true but can both be false. Subcontraries (I and O) cannot both be false but can both be true. Subalterns (A→I and E→O) go from universal to particular under the traditional reading: if "all S are P", then "some S are P".

Copy sourceZoom

The Venn-diagram test

The Venn test of syllogistic validity uses three overlapping circles — one for each term (S, P, M). Shading a region means "this region is empty"; an X means "at least one thing exists here". Universal claims (A, E) shade; particular claims (I, O) place an X.

Copy sourceZoom

The five rules of the syllogism

A syllogism is valid if and only if it satisfies all five rules. Each rule is a structural constraint on how the three terms are distributed across the premises and conclusion.

1. The middle term must be distributed at least once. Otherwise the premises do not connect the major and minor terms.
2. No term distributed in the conclusion is undistributed in a premise. Otherwise the conclusion says more than the premises license.
3. No syllogism can have two negative premises. Two denials cannot link three classes.
4. A negative premise requires a negative conclusion, and a negative conclusion requires a negative premise.
5. A particular conclusion cannot follow from two universal premises (under the modern reading; the traditional reading differs over existential import).

Practical application

Given any ordinary-language argument that uses quantifiers, the categorical workflow is:

1. Translate. Rewrite each premise and the conclusion as one of the four standard forms (all S are P; no S are P; some S are P; some S are not P). Standardize the subject and predicate.
2. Identify the three terms. Major term (predicate of conclusion), minor term (subject of conclusion), middle term (appears in both premises).
3. Test for validity. Use either the Venn-diagram method or the five rules. Both give the same verdict.

For the rules method, you do not even need to draw anything — just check the five constraints in order. Most invalid syllogisms fail rule 1 or rule 2.

Example

A workplace claim:

• "All engineers are detail-oriented. No detail-oriented people miss meetings. Therefore, no engineers miss meetings."

Translate into standard forms:

• Premise 1: All engineers are detail-oriented. → A (with S = engineers, M = detail-oriented people)
• Premise 2: No detail-oriented people are people-who-miss-meetings. → E (with M = detail-oriented people, P = people-who-miss-meetings)
• Conclusion: No engineers are people-who-miss-meetings. → E (with S, P)

The terms are: major P = people-who-miss-meetings, minor S = engineers, middle M = detail-oriented people.

Apply the five rules:

• Rule 1 — middle term distributed? Yes, M is distributed in premise 2 (the subject of an E proposition is distributed).
• Rule 2 — every term distributed in the conclusion is distributed in a premise? The conclusion (E) distributes both S and P. S is distributed in the conclusion; is it distributed in premise 1? Yes (subject of an A proposition is distributed). P is distributed in the conclusion; is it distributed in premise 2? Yes (predicate of an E proposition is distributed).
• Rule 3 — two negative premises? No, only one.
• Rule 4 — negative parity? Premise 2 is negative; the conclusion is negative. Match.
• Rule 5 — universal premises with particular conclusion? The conclusion is universal, so this does not apply.

All five rules pass. The syllogism is valid.

But notice what validity does not establish: the conclusion is almost certainly false in the real world, because premise 1 is false (not all engineers are detail-oriented) and even premise 2 is false (plenty of detail-oriented people miss meetings for many reasons). A valid argument with false premises is unsound — and this is the exact distinction the topic on what logic is set up. Categorical logic gives you a mechanical check on validity. It is up to you to evaluate the premises.

Related lessons