8.1 Formal Syllogisms, Venn Diagrams & Deductive Logic

8.1 Formal Syllogisms, Venn Diagrams & Deductive Logic

In military staff work and tactical decision-making, an officer must evaluate operational intelligence, mission briefs, and conditional rules with rigorous deductive certainty. Unlike inductive reasoning, which establishes probability from observed samples, deductive reasoning guarantees that if the given premises are true, the valid conclusion must unconditionally follow. On the Ghana Armed Forces (GAF) Officer Cadet Written Examination, syllogisms and deductive logic questions evaluate a candidate's capacity to process complex categorical constraints, separate necessary truths from mere possibilities, and avoid cognitive fallacies under strict examination time limits.

---

The Four Aristotelian Categorical Propositions

A categorical syllogism is a formal deductive argument consisting of three parts: two premises (a major premise and a minor premise) and a conclusion. Every categorical proposition asserts or denies a relationship between two classes: a Subject class ($S$) and a Predicate class ($P$).

Classical Aristotelian logic classifies all standard categorical propositions into four distinct types based on two fundamental attributes:

1. Quantity: Refers to whether the statement applies to all members of the subject class (Universal) or only to an indeterminate portion of the class (Particular).
2. Quality: Refers to whether the proposition asserts class inclusion (Affirmative) or class exclusion (Negative).

The Operational Meaning of "Some"

In ordinary civilian conversation, saying "some soldiers are marksmen" often carries the conversational implicature that "some soldiers are not marksmen." In formal deductive logic, this assumption is completely invalid.

• In formal logic, "Some" strictly denotes "at least one, and possibly all."
• If the statement "Some $S$ are $P$" is established as true, it confirms that the intersection $S \cap P$ contains at least one entity. It does not prove that "Some $S$ are not $P$" is true, nor does it preclude the possibility that "All $S$ are $P$" is true.
• Similarly, "At least one," "A few," "Many," "Almost all," and "Percentages from $1\%$ to $99\%$" are treated logically as Particular propositions ($I$ or $O$).

Immediate Inferences: Conversion and Obversion

Before combining premises into syllogistic chains, an officer candidate must master immediate inferences derived from a single proposition:

1. Conversion (Transposing Subject and Predicate):
   • $E$-Proposition (No $S$ are $P$): Validly converts to "No $P$ are $S$" (Full conversion).
   • $I$-Proposition (Some $S$ are $P$): Validly converts to "Some $P$ are $S$" (Full conversion).
   • $A$-Proposition (All $S$ are $P$): Converts validly only by limitation (per accidens) to "Some $P$ are $S$". It does not convert to "All $P$ are $S$".
   • $O$-Proposition (Some $S$ are not $P$): Does not yield a valid conversion.
2. Obversion (Changing Quality and Negating Predicate):
   • Every categorical proposition can be obverted by changing affirmative to negative (or vice versa) and replacing the predicate with its complement (non-$P$).
   • "All $S$ are $P$" obverts to "No $S$ are non-$P$".
   • "No $S$ are $P$" obverts to "All $S$ are non-$P$".

---

Term Distribution: The Engine of Logical Validity

To determine whether a conclusion follows deductively without constructing extensive geometric diagrams, logicians analyze term distribution.

A term is said to be distributed in a proposition if that proposition makes an assertion about every single member of the class designated by that term. If the proposition makes an assertion about only an unspecified part of the class, the term is undistributed.

---

Formal Rules of Syllogistic Validity

In standard categorical syllogisms, three distinct terms appear, each occurring exactly twice across the argument:

• Major Term ($P$): The predicate of the conclusion.
• Minor Term ($S$): The subject of the conclusion.
• Middle Term ($M$): The term that appears in both premises but never in the conclusion. Its role is to mediate the logical bridge between $S$ and $P$.

Any deductive deduction must satisfy the six core rules of validity:

1. Rule of the Distributed Middle: The middle term ($M$) must be distributed in at least one premise. If the middle term is undistributed in both premises, no bridge exists between $S$ and $P$, resulting in the Fallacy of the Undistributed Middle.
   • Invalid Example: "All commandos ($P$) are disciplined ($M$). All cadets ($S$) are disciplined ($M$). Therefore, all cadets are commandos." Here, $M$ ("disciplined") is the predicate of two $A$-propositions, hence undistributed in both. The syllogism is invalid.
2. Rule of Distributed Terms in the Conclusion: If a term is distributed in the conclusion, it must be distributed in the premise where it originates.
   • If the major term is distributed in the conclusion but undistributed in the major premise, the argument commits the Fallacy of Illicit Major.
   • If the minor term is distributed in the conclusion but undistributed in the minor premise, the argument commits the Fallacy of Illicit Minor.
3. Rule of Two Negative Premises: No valid conclusion can be drawn from two negative premises ($E$ and $E$, $E$ and $O$, or $O$ and $O$). When both premises assert class exclusion, no positive linkage can be established between $S$ and $P$.
4. Rule of a Negative Conclusion: If either premise is negative, the conclusion must be negative. Conversely, a negative conclusion requires that at least one premise be negative.
5. Rule of Two Particular Premises: No valid universal conclusion (and generally no valid syllogistic conclusion) can be drawn from two particular premises ($I$ and $I$, $I$ and $O$, or $O$ and $O$). Two particular premises cannot distribute the middle term while simultaneously satisfying premise distribution rules.
6. Rule of a Particular Conclusion: If one premise is particular, the conclusion must be particular.

---

Venn Diagram Modeling of Categorical Arguments

Venn diagrams provide a visual, foolproof method for verifying deductive validity. For a three-term syllogism involving Subject ($S$), Predicate ($P$), and Middle Term ($M$), draw three overlapping circles yielding eight distinct spatial zones.

Diagramming Protocols

1. Universal Propositions ($A$ and $E$): Model universal statements by shading out regions that are declared empty (null sets).
   • For "All $M$ are $P$", shade all areas of circle $M$ that lie outside circle $P$.
   • For "No $M$ are $S$", shade the entire intersection between circle $M$ and circle $S$.
2. Particular Propositions ($I$ and $O$): Model particular statements by placing an "x" (representing the existence of at least one entity) in the designated non-empty region.
   • Always diagram universal premises before particular premises. Shading may eliminate one of the candidate sub-regions, clarifying where the "x" must reside.
   • If an "x" can logically reside in either of two unshaded sub-regions, place the "x" directly on the boundary line dividing those regions. An "x" on a line signifies that the entity exists in at least one of the two zones, but its exact containment cannot be definitively confirmed.
3. Evaluating the Conclusion: Once both premises are mapped onto the three circles, inspect the diagram for the conclusion. If the conclusion is already fully represented on the diagram without adding any new marks, the argument is valid. If the conclusion requires drawing additional marks, the argument is invalid.

Worked Venn Diagram Deduction Walkthrough:
Premise 1: All armored vehicles (M) are tactical assets (P).   [A-type: Shade M outside P]
Premise 2: Some reconnaissance units (S) are armored vehicles (M). [I-type: Place 'x' in S ∩ M]
Conclusion Evaluation: Does 'Some reconnaissance units are tactical assets' (Some S are P) follow?
Inspection:
1. Premise 1 shades all of M outside P.
2. In Premise 2, the intersection S ∩ M has two compartments: one outside P, one inside P.
3. Because the compartment outside P was shaded out by Premise 1, the 'x' MUST sit in (S ∩ M ∩ P).
4. Inspecting the S and P relationship: An 'x' exists unambiguously inside the intersection S ∩ P.
Conclusion: 'Some reconnaissance units are tactical assets' is DEFINITELY TRUE.

---

'Definitely True' vs. 'Possible / Indeterminate' Verification

A central trap on the GAF Officer Cadet exam is confusing a possible state of affairs with a logically necessary deduction. Candidates must categorize evaluated conclusions into one of three structural tiers:

1. Definitely True: The conclusion holds true across every single mathematically possible Venn diagram representation that satisfies the premises. It cannot be falsified under any valid model.
2. Definitely False: The conclusion directly contradicts the premises and cannot be true in any model.
3. Possible / Indeterminate (Not Necessarily True): The conclusion is true in some valid Venn representations but false in others. In formal deductive testing, any statement that is merely possible is classified as does not follow.

To prove that a candidate conclusion does not follow, a candidate need only construct a single valid counter-model (a "minimal overlap" or "maximal overlap" model) where the premises remain true while the conclusion fails.

---

Complementary Pairs and the 'Either/Or' Condition

When two individual conclusions are both classified as indeterminate (neither is definitely true on its own), they may nevertheless form an Either/Or relationship. Under this condition, the individual statements cannot both be false simultaneously; one of them must be true.

The Three Mandatory Tests for an Either/Or Relation

An examination question yields an "Either Conclusion I or Conclusion II follows" result if and only if all three of the following conditions are simultaneously met:

1. Identical Subject and Predicate Terms: Both candidate conclusions must refer to the exact same two terms ($S$ and $P$) in either identical or convertibly equivalent positions.
2. Individual Indeterminacy: Both conclusions must be doubtful or uncertain when evaluated individually against the premises (neither is definitely true, and neither is definitely false).
3. Complementary Pair: The two conclusions must be related so that they cannot both be false; at least one of them must be true. The standard complementary pairs are:
   • Pair Type 1: Universal Affirmative ($A$) and Particular Negative ($O$) — e.g., "All tanks are amphibious" and "Some tanks are not amphibious".
   • Pair Type 2: Particular Affirmative ($I$) and Universal Negative ($E$) — e.g., "Some radios are digital" and "No radio is digital".
   • Pair Type 3: Particular Affirmative ($I$) and Particular Negative ($O$) — e.g., "Some drones are armed" and "Some drones are not armed" (a subcontrary pair: both can be true together, but they can never both be false, so aptitude-test convention treats it as an Either/Or pair).

---

Worked Multi-Statement Tactical Deduction Problems

Problem 1: Three-Statement Mixed Syllogism

Statements:

1. All radar stations ($R$) are electronic installations ($E$).
2. No electronic installations ($E$) are vulnerable to acoustic decoys ($A$).
3. Some border outposts ($B$) are radar stations ($R$).

Candidate Conclusions:

• Conclusion I: No radar station is vulnerable to acoustic decoys.
• Conclusion II: Some border outposts are electronic installations.
• Conclusion III: Some border outposts are not vulnerable to acoustic decoys.
• Conclusion IV: All border outposts are radar stations.

Step-by-Step Tactical Analysis:

1. Evaluating Conclusion I ($R$ and $A$):
   • Statement 1 ($A$-type): All $R$ are $E$ ($R \subseteq E$).
   • Statement 2 ($E$-type): No $E$ are $A$ ($E \cap A = \emptyset$).
   • Since $R$ is completely contained within $E$, and $E$ has zero intersection with $A$, $R$ can have no intersection with $A$. Therefore, "No $R$ are $A$" is Definitely True.
2. Evaluating Conclusion II ($B$ and $E$):
   • Statement 3 ($I$-type): Some $B$ are $R$ ($B \cap R \neq \emptyset$).
   • From Statement 1, every member of $R$ is also a member of $E$.
   • Thus, the members of $B$ that are in $R$ must also be in $E$. The intersection $B \cap E$ is non-empty. Therefore, "Some $B$ are $E$" is Definitely True.
3. Evaluating Conclusion III ($B$ and $A$):
   • We know from Conclusion II that some members of $B$ are in $E$.
   • From Statement 2, no member of $E$ is in $A$.
   • Therefore, those specific members of $B$ that belong to $E$ cannot belong to $A$.
   • This guarantees that at least some members of $B$ are excluded from $A$. Therefore, "Some $B$ are not $A$" is Definitely True.
4. Evaluating Conclusion IV ($B$ and $R$):
   • Statement 3 states only that "Some $B$ are $R$". As established, a particular affirmative premise does not imply a universal affirmative. Thus, "All $B$ are $R$" is Indeterminate / Does Not Follow.

Final Deduction: Conclusions I, II, and III follow definitely.