2.1 Categorical Syllogisms & Venn/Euler Diagrams

Categorical Syllogisms & Venn/Euler Diagrams

Investigative Context: Diplomatic Security Service (DSS) Special Agents frequently process complex intelligence dossiers, background investigation affidavits, and visa application data. Evaluating whether conclusions follow strictly from established premises—without making unstated assumptions—is a core analytical competency tested on federal law enforcement assessments.

Overview of Categorical Logic

Categorical logic is the system of formal logic based on the relations of inclusion and exclusion among classes of objects. A categorical proposition makes an assertion about the relationship between two categories: a Subject class (S) and a Predicate class (P). A categorical syllogism is a formal deductive argument consisting of exactly three categorical propositions containing three distinct terms, each of which appears in exactly two of the propositions.

---

The Four Standard-Form Categorical Propositions

Every categorical proposition has a quantity (universal or particular) and a quality (affirmative or negative). Medieval logicians assigned the letters A, E, I, and O to these four standard forms (derived from the Latin AffIrmo and nEgo):

Understanding Term Distribution

A term is distributed if the proposition makes an assertion about every member of the class designated by that term:

• Type A (All S are P): Distributes S because it makes a statement about every single member of S (they are all inside P). It does not distribute P, because it does not assert that every member of P is in S.
• Type E (No S is P): Distributes both S and P because it completely separates the two classes. Every member of S is excluded from P, and every member of P is excluded from S.
• Type I (Some S are P): Distributes neither term because it only asserts that at least one member of S is shared with P, without claiming anything about all members of S or all members of P.
• Type O (Some S are not P): Distributes P because it asserts that at least one member of S is completely excluded from the entirety of class P.

---

Anatomy of a Categorical Syllogism

A standard-form categorical syllogism contains three propositions:

1. Major Premise: Contains the Major Term (the predicate of the conclusion).
2. Minor Premise: Contains the Minor Term (the subject of the conclusion).
3. Conclusion: Expresses the relationship between the Minor Term (Subject) and Major Term (Predicate).

The Middle Term (M) appears in both premises but must never appear in the conclusion. Its sole function is to link the subject and predicate terms.

Mood and Figure

• Mood: A three-letter string representing the types of propositions in order (Major Premise, Minor Premise, Conclusion). For example, AAA, EIO, or AII.
• Figure: The arrangement of the Middle Term (M) in the premises:
  • Figure 1: M-P / S-M (M is subject of major, predicate of minor)
  • Figure 2: P-M / S-M (M is predicate of both premises)
  • Figure 3: M-P / M-S (M is subject of both premises)
  • Figure 4: P-M / M-S (M is predicate of major, subject of minor)

Out of 256 possible mood/figure combinations, exactly 15 forms are valid under modern Boolean logic.

---

The Five Rules of Syllogistic Validity

To determine if a syllogism is valid without drawing diagrams, test it against these five mandatory rules:

1. Rule of the Middle Term (Distribution): The middle term must be distributed in at least one premise. Failure to do so results in the Fallacy of the Undistributed Middle.
2. Rule of Conclusion Distribution (Illicit Process): If a term is distributed in the conclusion, it must be distributed in the premise where it occurs. Violating this yields either Illicit Major or Illicit Minor.
3. Rule of Negative Premises: A valid syllogism cannot have two negative premises (Type E or O). Doing so causes the Fallacy of Exclusive Premises.
4. Rule of Negative Conclusions: If either premise is negative, the conclusion must be negative. Conversely, if the conclusion is negative, exactly one premise must be negative.
5. Existential Rule (Boolean Logic): From two universal premises (A or E), no particular conclusion (I or O) can be validly drawn. Doing so causes the Existential Fallacy.

---

Venn and Euler Diagrams

Euler Diagrams

Euler diagrams represent actual set relationships using circles that nest, intersect, or remain detached:

• Nested Circles (Containment): "All Special Agents (S) are Federal Law Enforcement Officers (P)" is drawn with circle S inside circle P.
• Disjoint Circles (Exclusion): "No Cleared Personnel (S) are Unvetted Foreign Nationals (P)" is drawn as two non-touching circles.
• Overlapping Circles (Intersection): "Some Diplomatic Couriers (S) are Foreign Service Officers (P)" is drawn as two intersecting circles.

Venn Diagrams for Syllogisms

Venn diagrams use three overlapping circles representing S, P, and M, creating 7 distinct sub-regions. They use precise notation:

• Shading a region indicates that the region is empty (contains zero items).
• Placing an 'X' in a region indicates that the region contains at least one item.

Step-by-Step Validation Walkthrough

Argument:

• Major Premise: All high-threat embassy posts (M) require armored vehicle escorts (P).
• Minor Premise: Some African diplomatic missions (S) are high-threat embassy posts (M).
• Conclusion: Some African diplomatic missions (S) require armored vehicle escorts (P).

Validation Steps:

1. Draw 3 overlapping circles: S (African missions), P (Armored escorts), M (High-threat posts).
2. Diagram Universal Premise first: "All M are P". Shade out the portion of M that lies outside P.
3. Diagram Particular Premise: "Some S are M". Place an X in the region where S and M overlap. Since the part of M outside P is shaded out, the X must be placed in the region shared by S, M, and P.
4. Inspect the conclusion: Does the diagram show an X inside the intersection of S and P? Yes! The argument is valid (Mood AII-1).

---

Worked Example: Detecting Fallacies in Intelligence Reports

Investigative Scenario: A DSS analyst reviews a security threat assessment:

• Premise 1: All active hostile intelligence officers (P) utilize encrypted satellite communications (M).
• Premise 2: Suspect Kovacs (S) utilizes encrypted satellite communications (M).
• Fallacious Conclusion: Suspect Kovacs is an active hostile intelligence officer.

Formal Analysis:

• Type of Premise 1: Type A ("All P are M"). Subject P is distributed; Predicate M is undistributed.
• Type of Premise 2: Type A ("S is M"). Subject S is distributed; Predicate M is undistributed.
• Flaw: The middle term M ("utilizes encrypted satellite communications") is undistributed in both premises. Commercial journalists, aid workers, and foreign diplomats also use encrypted communications. This is a classic Fallacy of the Undistributed Middle.