4.1 Categorical Propositions, Syllogistic Forms, and Validity Tests

Categorical Propositions, Syllogistic Forms, and Validity Tests

Symbolic logic is a published analytical topic. Categorical propositions express class inclusion or exclusion. Evaluate an argument’s structure independently of whether its professional vocabulary sounds credible; the examples below use stipulated premises.

---

Standard-Form Categorical Propositions

A categorical proposition asserts or denies that all or some members of one class (the subject term, $S$) are included in another class (the predicate term, $P$). Classical Aristotelian logic classifies all categorical statements into four standard forms based on quantity (universal or particular) and quality (affirmative or negative):

The Doctrine of Distribution

A term is distributed if the proposition makes an assertion about every single member of the class denoted by that term. If the proposition refers only to some members, or leaves the class extension indefinite, the term is undistributed.

• In an A proposition (All ambassadors are presidential appointees), the subject (ambassadors) is distributed because the claim applies to every ambassador without exception. The predicate (presidential appointees) is undistributed because there are other presidential appointees (e.g., cabinet secretaries, bureau directors) who are not ambassadors.
• In an E proposition (No foreign service officers are non-citizens), the subject is separated from the predicate entirely, and the predicate is completely excluded from the subject. Both terms are distributed.
• In an I proposition (Some diplomats are economists), neither class is referred to in its entirety. Both terms are undistributed.
• In an O proposition (Some diplomats are not career officers), the subject is particular (undistributed), but the predicate (career officers) is completely excluded from the specified portion of the subject, making the predicate distributed.

---

The Traditional Square of Opposition

The traditional square below assumes that the subject class has at least one member. Under modern Boolean logic, universal propositions do not assert existence: only the contradictory pairs A–O and E–I retain their unrestricted relations. The contraries, subcontraries, and subalternation rules here need the traditional nonempty-subject assumption.

               CONTRARIES
      [A] --------------------- [E]
       |  \                   /  |
       |   \  CONTRADICTORIES/   |
       |    \               /    |
 SUB-  |     \             /     | SUB-
 ALTERN|      \           /      | ALTERN-
 ATION |       \         /       | ATION
       |        \       /        |
       |         \     /         |
       v          \   /          v
      [I] --------------------- [O]
             SUBCONTRARIES

1. Contradictories (A and O; E and I)

Contradictory propositions have opposite quality and opposite quantity. They cannot both be true, and they cannot both be false simultaneously.

• If All bilateral accords are binding treaties (A) is true, then Some bilateral accords are not binding treaties (O) is immediately false.
• If No sovereign states are subordinate to external tribunals (E) is false, then Some sovereign states are subordinate to external tribunals (I) is immediately true.

2. Contraries (A and E)

Contraries are universal propositions that differ in quality. They cannot both be true, but they can both be false.

• If A is true, E must be false.
• If E is true, A must be false.
• If A is false, E is undetermined (it could be true or false).

3. Subcontraries (I and O)

Subcontraries are particular propositions that differ in quality. They cannot both be false, but they can both be true.

• If I is false, O must be true.
• If O is false, I must be true.
• If I is true, O is undetermined.

4. Subalternation (A to I; E to O)

Subalternation is the relationship between a universal proposition (superaltern) and its corresponding particular proposition of the same quality (subaltern). Under classical Aristotelian logic:

• Truth flows downward: If the universal is true, the particular must be true (If A is true, I is true; if E is true, O is true).
• Falsity flows upward: If the particular is false, the universal must be false (If I is false, A is false; if O is false, E is false).
• Downward falsity and upward truth yield undetermined truth values.

---

Immediate Inferences: Conversion, Obversion, and Contraposition

Immediate inferences derive a second proposition directly from a single premise without an intermediate third term:

1. Conversion: Transposing the subject and predicate terms ($S \leftrightarrow P$).
   • Valid for E (No envoys are spies $\rightarrow$ No spies are envoys) and I (Some diplomats are lawyers $\rightarrow$ Some lawyers are diplomats).
   • Invalid for A (Converting All treaties are pacts to All pacts are treaties commits the fallacy of illicit conversion) and O.
2. Obversion: Changing the quality of the proposition and replacing the predicate with its class complement (non-$P$).
   • Valid for all four propositions: A becomes E (All S are P $\rightarrow$ No S are non-P); E becomes A (No S are P $\rightarrow$ All S are non-P); I becomes O (Some S are P $\rightarrow$ Some S are not non-P); O becomes I (Some S are not P $\rightarrow$ Some S are non-P).
3. Contraposition: Transposing the subject and predicate terms and replacing both with their class complements ($S \leftrightarrow P$ and negate both).
   • Valid for A (All S are P $\rightarrow$ All non-P are non-S) and O (Some S are not P $\rightarrow$ Some non-P are not non-S).
   • Invalid for E and I.

---

Categorical Syllogisms: Structure, Mood, and Figure

A standard-form categorical syllogism is a deductive argument consisting of exactly three categorical propositions containing three distinct terms, each occurring in exactly two constituent propositions.

The Three Terms

• Major Term ($P$): The predicate term of the conclusion.
• Minor Term ($S$): The subject term of the conclusion.
• Middle Term ($M$): The term appearing in both premises, but never in the conclusion.

Premise Ordering

1. Major Premise: Contains the major term ($P$) and the middle term ($M$).
2. Minor Premise: Contains the minor term ($S$) and the middle term ($M$).
3. Conclusion: Asserts a relationship between $S$ and $P$.

Mood and Figure

The mood consists of three letters identifying the types of propositions in order (e.g., AAA, EAE, AII). The figure identifies the spatial placement of the middle term:

  Figure 1          Figure 2          Figure 3          Figure 4
   M - P             P - M             M - P             P - M
   S - M             S - M             M - S             M - S
  -------           -------           -------           -------
   S - P             S - P             S - P             S - P

Out of 256 conceivable syllogistic combinations, only 15 forms are unconditionally valid under modern Boolean logic (such as AAA-1 Barbara, EAE-1 Celarent, AII-1 Darii, EIO-1 Ferio, AEE-2 Camestres, EAE-2 Cesare, AOO-2 Baroco, EIO-2 Festino).

---

The Six Essential Rules of Syllogistic Validity

Use the following rules to detect invalid standard-form syllogisms, keeping the three terms consistent. Passing an incomplete checklist is not proof of validity: also check existential assumptions and verify the conclusion with a set diagram or counterexample.

Rule 1: The Middle Term Must Be Distributed at Least Once

The middle term connects the major and minor terms. If the middle term is undistributed in both premises, no linkage is established.

• Violation: Fallacy of the Undistributed Middle.
• Example: All consular officers are civil servants ($M$ undistributed). All administrative attachés are civil servants ($M$ undistributed). Therefore, all administrative attachés are consular officers. (Invalid!)

Rule 2: Any Term Distributed in the Conclusion Must Be Distributed in Its Premise

A conclusion cannot claim more universal scope than is justified by its premises.

• If the major term is distributed in the conclusion but not in the major premise: Fallacy of Illicit Major.
• If the minor term is distributed in the conclusion but not in the minor premise: Fallacy of Illicit Minor.
• Example of Illicit Major: All career ambassadors are senior executives ($P$ undistributed). No junior attachés are career ambassadors. Therefore, no junior attachés are senior executives ($P$ distributed in E conclusion). (Invalid!)

Rule 3: Two Negative Premises Yield No Valid Conclusion

If both premises are negative (E or O), both classes are excluded from the middle term, preventing any deductive connection between $S$ and $P$.

• Violation: Fallacy of Exclusive Premises.

Rule 4: If Either Premise Is Negative, the Conclusion Must Be Negative

A negative premise asserts separation. An affirmative conclusion asserting inclusion cannot be drawn from premises asserting separation.

• Violation: Fallacy of Drawing an Affirmative Conclusion from a Negative Premise.
• Conversely, a negative conclusion requires at least one negative premise.

Rule 5: If Both Premises Are Affirmative, the Conclusion Must Be Affirmative

Two affirmative premises assert inclusion; they cannot establish the class exclusion required for a negative conclusion.

• Violation: Fallacy of Drawing a Negative Conclusion from Affirmative Premises.

Rule 6: No Particular Conclusion May Be Drawn from Two Universal Premises (Existential Fallacy)

Under the Boolean interpretation of logic, universal statements (A and E) make no claims about the actual existence of objects, whereas particular statements (I and O) assert existence. Deriving an I or O conclusion from universal premises without an explicit existential premise commits the Existential Fallacy.

Existence check: “All envoys are officials” and “No envoys are trainees” can both be true when there are no envoys. They therefore do not establish “Some officials are not trainees” without an existence premise. Draw the class relations, mark a known member only when a premise supplies one, and ask whether the claimed conclusion holds in every permitted arrangement. Two particular premises alone do not yield a valid standard-form categorical conclusion. This check prevents treating a traditional square assumption as a fact supplied by a problem.