15.3 Formal Deductions, Syllogisms & Scenario-Based Inferences

Formal Deductions, Syllogisms & Scenario-Based Inferences

While critical reasoning focuses on argument evaluation, probability, and evidence strength, formal deductive logic deals with absolute certainty. In a valid deductive structure, if the premises are accepted as true, the conclusion must follow necessarily—it is logically impossible for the premises to be true while the conclusion is false. On the NTS GAT General, deductive logic appears in two main formats: categorical syllogisms and conditional scenario inferences (including Truth/Lie puzzles).

---

Categorical Syllogisms & Set Theory Relationships

A categorical syllogism is a formal deductive argument consisting of two premises and a conclusion that assert or deny relationships between categories (sets). Categorical statements utilize four standard forms:

Critical Logical Definition: In formal logic, the quantifier "Some" means "at least one" (and potentially up to all). It does not imply "some but not all". If "All $X$ are $Y$" is true, then "Some $X$ are $Y$" is also mathematically true!

Syllogism Validity Rules & Venn Diagram Verification

To determine whether a syllogistic conclusion is valid on the NTS exam:

1. Universal Necessity: A conclusion is valid only if it holds true in every single possible Venn diagram arrangement consistent with the premises. If you can draw even one valid diagram configuration where the conclusion fails, the conclusion is INVALID.
2. The Particularity Trap: You cannot derive a particular conclusion ("Some") strictly from two universal premises ("All" or "No") unless an explicit existential premise asserts that the set is non-empty.
3. Negative Premise Alignment: If either premise is negative ("No" or "Some are not"), any valid conclusion must also be negative.

---

Formal Conditional Logic & Immediate Inferences

Conditional statements form the backbone of analytical logic puzzles. A conditional rule takes the standard form If $P$, then $Q$ ($P \rightarrow Q$), where $P$ is the antecedent (sufficient condition) and $Q$ is the consequent (necessary condition).

Valid Inferences vs. Invalid Fallacies

Given the true conditional rule $P \rightarrow Q$ ("If a candidate scores above 70 on GAT ($P$), then they receive a scholarship ($Q$)"):

$$\text{Fundamental Logical Equivalence: } (P \rightarrow Q) \equiv (\neg Q \rightarrow \neg P)$$

Multi-Step Conditional Chains

When multiple conditional rules are linked ($P \rightarrow Q$ and $Q \rightarrow R$), you can form a valid conditional chain:

$$\text{Chain Rule: } (P \rightarrow Q) \land (Q \rightarrow R) \implies (P \rightarrow R)$$

The contrapositive of the entire chain is equally valid: $\neg R \rightarrow \neg P$.

---

Truth/Lie Analytical Scenario Puzzles

NTS GAT Analytical Reasoning features scenario puzzles involving individuals who belong to specific truth-telling categories: Knights (who ALWAYS speak the truth) and Knaves (who ALWAYS lie).

The Method of Hypotheses (Proof by Contradiction)

To solve Truth/Lie puzzles systematically under exam pressure:

1. Select a Target Character: Identify a speaker whose statement makes an assertion about their own identity or another participant's identity.
2. Assume Case 1 (Truth-Teller): Assume Person A is a Knight (tells the truth).
   • Treat Person A's statement as factual truth.
   • Deduce the identities of other characters based on that statement.
   • Search for logical contradictions (e.g., a Knight uttering a false statement, or a Knave making a true statement).
   • If a contradiction arises, REJECT Case 1.
3. Assume Case 2 (Liar): Assume Person A is a Knave (always lies).
   • Treat Person A's statement as false (negate its content).
   • Deduce the resulting identities.
   • Check for logical contradictions.
4. Identify the Unique Consistent Model: The assignment of identities that produces zero logical contradictions is the definitive correct solution.

---

Step-by-Step Worked NTS Scenarios

Worked Scenario 1: Syllogistic Chain Deduction

Premises:

1. All research fellows are data analysts. ($R \subseteq D$)
2. Some data analysts are econometricians. ($D \cap E \neq \emptyset$)
3. No econometricians are careless observers. ($E \cap C = \emptyset$)

Evaluation of Conclusions:

• Conclusion 1: No research fellows are careless observers.
  • Analysis: INVALID. Research fellows ($R$) are inside Data Analysts ($D$). Econometricians ($E$) overlap with $D$. Econometricians ($E$) have zero overlap with Careless Observers ($C$). However, $R$ could either overlap with $C$ or be separate from $C$. It is not strictly necessary.
• Conclusion 2: Some data analysts are not careless observers.
  • Analysis: VALID. Premise 2 states that some data analysts belong to the set of econometricians. Premise 3 states that no econometrician is a careless observer. Therefore, those specific data analysts who are econometricians cannot be careless observers! They guarantee that "Some data analysts are not careless observers."

---

Worked Scenario 2: Truth/Lie Island Puzzle

Scenario Prompt:

On a remote island, every inhabitant is either a Knight (who always tells the truth) or a Knave (who always lies). You meet two inhabitants, Amir and Tariq. Amir states: "At least one of us is a Knave." What are the true identities of Amir and Tariq?

Systematic Hypothesis Resolution:

• Hypothesis 1: Assume Amir is a Knave (Liar).

  • If Amir is a Knave, his statement must be FALSE.
  • Amir's statement is "At least one of us is a Knave."
  • The logical negation of "At least one is a Knave" is "Neither of us is a Knave" (meaning Both are Knights).
  • But if both are Knights, then Amir must be a Knight!
  • Contradiction: We assumed Amir is a Knave, but the logic forces Amir to be a Knight. Therefore, Hypothesis 1 is IMPOSSIBLE.

• Hypothesis 2: Assume Amir is a Knight (Truth-Teller).

  • If Amir is a Knight, his statement must be TRUE.
  • Amir's statement "At least one of us is a Knave" is therefore true.
  • Since Amir is a Knight (not a Knave), the other person, Tariq, MUST be a Knave to satisfy the truth of Amir's statement!
  • Consistency Check: Amir is a Knight (telling the truth that at least one is a Knave), and Tariq is a Knave. No contradiction exists!

• Final Conclusion: Amir is a Knight, and Tariq is a Knave.