4.1 Categorical Syllogisms and Deductive Reasoning

4.1 Categorical Syllogisms and Deductive Reasoning

The Logical Reasoning component of the General Scholastic Aptitude (GSA) battery measures your capacity for rigorous, analytical deduction. Unlike reading comprehension or general knowledge tests, deductive reasoning questions present self-contained logical worlds governed strictly by formal rules. To achieve a top-tier percentile rank, you must master categorical syllogisms, term distribution mechanics, diagrammatic validation techniques, and the translation of natural language quantifiers into formal propositions.

---

The Deductive Reasoning Paradigm

Reasoning in cognitive aptitude assessments is broadly bifurcated into two modalities:

1. Deductive Reasoning (Pasaklaw): Moves from general premises of universal or defined scope to a specific, necessary conclusion. If the premises are true and the inferential form is valid, the conclusion is guaranteed to be true. There is zero probability of the conclusion being false if the premises hold. $\text{True Premises} + \text{Valid Deductive Form} = \text{Sound Argument (Guaranteed Conclusion)}$

2. Inductive Reasoning (Pabuod): Moves from specific empirical observations or trends to broad generalizations. Inductive conclusions are at best probable, plausible, or likely, but they are never logically guaranteed. $\text{Observed Patterns} + \text{Extrapolation} = \text{Probable Conclusion (Vulnerable to Counterexamples)}$

On the CB-NCAE, questions that ask "Which of the following must be true?" or "Which conclusion logically follows from the statements above?" demand deductive certainty. If an option could possibly be false under any imaginable scenario consistent with the premises, it must be eliminated immediately.

---

The Four Standard Categorical Propositions

Formal categorical logic, pioneered by Aristotle and refined into modern Boolean set theory, analyzes relationships between classes (sets) of objects. A categorical proposition asserts or denies that all or part of the subject class ($S$) is included within the predicate class ($P$).

There are exactly four standard categorical forms, designated by the traditional vowel labels A, E, I, and O (derived from the Latin verbs AffIrmo [I affirm] and nEgO [I deny]):

The Operational Meaning of "Some"

In standard conversational English, "some" often implies "some, but not all." However, in formal logic, "some" means strictly "at least one." It makes no assertion whatsoever about whether the rest of the group is included or excluded. Therefore:

• If "All $S$ are $P$" is true, it is also logically true that "Some $S$ are $P$" (provided that class $S$ actually has existing members).
• Knowing that "Some $S$ are $P$" does not logically prove that "Some $S$ are not $P$." The remaining members could be $P$ or might not be $P$; logic remains agnostic until an explicit premise is provided.

---

Term Distribution: The Engine of Syllogistic Validity

The single most critical concept in categorical deduction is term distribution. A term in a proposition is said to be distributed if the proposition refers to every single individual member of the class denoted by that term.

Rules of Distribution

1. Universal statements distribute their subjects:

   • In A (All $S$ are $P$), we make a complete assertion about every member of $S$. Thus, $S$ is distributed. However, we make no exhaustive claim about all members of $P$ (there may be members of $P$ that are not $S$). Thus, $P$ is undistributed.
   • In E (No $S$ are $P$), we assert that every single member of $S$ is excluded from $P$. Thus, $S$ is distributed.

2. Negative statements distribute their predicates:

   • In E (No $S$ are $P$), every single member of $P$ is also completely separated from $S$. Thus, $P$ is distributed.
   • In O (Some $S$ are not $P$), the specific sub-group of $S$ being discussed is completely excluded from the entire class of $P$. Thus, $P$ is distributed, while the subject $S$ is undistributed.

3. Particular statements leave their subjects undistributed:

   • In I (Some $S$ are $P$) and O (Some $S$ are not $P$), we refer only to an unspecified portion of $S$. Thus, $S$ is undistributed in both.

---

Rules of Syllogistic Validity and Formal Structural Fallacies

A standard-form categorical syllogism is a deductive argument consisting of exactly three categorical propositions containing three distinct terms, each of which appears in exactly two propositions:

• Major Term ($P$): The predicate of the conclusion.
• Minor Term ($S$): The subject of the conclusion.
• Middle Term ($M$): The term appearing in both premises, but never in the conclusion. Its function is to act as the logical bridge between $S$ and $P$.

To determine whether a syllogism is valid without drawing elaborate diagrams, test it against the Six Classic Rules of Syllogistic Validity:

1. Rule of Three Terms

A valid syllogism must contain exactly three terms, each used with the exact same meaning throughout the argument. When a term is used in two different senses, it commits the Fallacy of Four Terms (Quaternio Terminorum), usually via semantic equivocation.

2. Distribution of the Middle Term

The middle term ($M$) must be distributed at least once in either the major premise or the minor premise. If the middle term is undistributed in both premises, it commits the Fallacy of the Undistributed Middle.

• Invalid Example:
  • Premise 1: All Grade 11 STEM learners ($P$) take Pre-Calculus ($M$). [A: $P$ distributed, $M$ undistributed]
  • Premise 2: All members of the research club ($S$) take Pre-Calculus ($M$). [A: $S$ distributed, $M$ undistributed]
  • Flawed Conclusion: Therefore, all members of the research club are Grade 11 STEM learners. [Invalid! The middle term $M$, "take Pre-Calculus", is the predicate of two A-propositions, so it is undistributed in both premises. The two groups could be entirely separate subsets of $M$.]

3. Distribution in the Conclusion (No Illicit Process)

If a term is distributed in the conclusion, it must have been distributed in its corresponding premise.

• If the major term ($P$) is distributed in the conclusion but was undistributed in the major premise, the argument commits the Fallacy of Illicit Major.
• If the minor term ($S$) is distributed in the conclusion but was undistributed in the minor premise, the argument commits the Fallacy of Illicit Minor.

4. Rule of Negative Premises (No Exclusive Premises)

No valid conclusion can be drawn from two negative premises (E or O). If both premises are negative, they assert mutual separation from the middle term, providing no common set intersection to bridge $S$ and $P$. Violating this commits the Fallacy of Exclusive Premises.

5. Negative Premise / Negative Conclusion Correspondence

• If either premise is negative (E or O), the conclusion must be negative.
• If the conclusion is negative, at least one premise must be negative. Deriving an affirmative conclusion from a negative premise commits the Fallacy of Drawing an Affirmative Conclusion from a Negative Premise.

6. The Existential Rule (Boolean Interpretation)

In modern formal logic, two universal premises (A or E) cannot yield a particular conclusion (I or O) unless an additional premise explicitly guarantees that the subject class actually has existing members. Inferring a particular statement from purely universal premises without existential import commits the Existential Fallacy.

---

Euler and Venn Diagram Validation Techniques

When evaluating multi-premise arguments on scratch paper (where the testing room allows it) or in your head, visual diagramming provides an infallible check.

The Three-Circle Venn Diagram Setup

To evaluate a three-term syllogism, draw three overlapping circles labeled $S$ (bottom left), $P$ (bottom right), and $M$ (top center). These circles carve the logical universe into eight distinct regions.

1. Diagramming Universal Premises ($A$ and $E$): Always shade out impossible regions. Shading means "this region is empty; no members exist here."
   • For "All $M$ are $P$": Shade the entire portion of circle $M$ that lies outside circle $P$.
   • For "No $S$ are $M$": Shade the entire intersection between circle $S$ and circle $M$.
2. Diagramming Particular Premises ($I$ and $O$): Place an '$X$' to indicate "at least one member exists here."
   • If a region is divided into two sub-compartments and neither is shaded, place the '$X$' directly on the dividing boundary line. This signifies that the member exists in one compartment or the other, but we cannot be certain which.
3. Inspection of the Conclusion: After diagramming both premises, inspect the circles representing $S$ and $P$. Do not diagram the conclusion. If the conclusion is already clearly depicted in the diagram, the argument is deductively valid. If the conclusion requires additional shading or forces an '$X$' off a boundary line into a specific zone, the argument is invalid.

Euler Diagrams (Nested Circles)

Euler diagrams use circles that depict only the actual spatial relationships asserted by the premises (concentric circles for subsets, disjoint circles for mutual exclusions, intersecting circles for overlaps). While faster for simple universal arguments, Euler diagrams require sketching multiple alternative configurations when particular quantifiers appear. If even one counterexample configuration satisfies the premises but falsifies the conclusion, the argument is invalid.

---

Non-Standard Quantifiers and Natural Language Translations

Test stems often wrap formal categorical propositions in colloquial or non-standard syntax. You must translate these expressions into their canonical forms:

---

Step-by-Step Worked Syllogisms

Worked Example 1: Dissecting an Undistributed Middle

Premises:

• Premise 1: All accredited Tech-Pro workshops ($P$) are equipped with three-phase electrical safety cutouts ($M$).
• Premise 2: The newly built automotive laboratory ($S$) is equipped with three-phase electrical safety cutouts ($M$).
• Candidate Conclusion: Therefore, the newly built automotive laboratory is an accredited Tech-Pro workshop.

Step-by-Step Validity Audit:

1. Identify the terms from the conclusion first:
   • Minor Term ($S$), the subject of the conclusion: "the newly built automotive laboratory"
   • Major Term ($P$), the predicate of the conclusion: "accredited Tech-Pro workshops"
   • Middle Term ($M$), the term in both premises but not in the conclusion: "equipped with three-phase electrical safety cutouts"
2. Check the distribution of the middle term:
   • Premise 1 is an A-proposition (All $P$ are $M$). Its subject $P$ is distributed; its predicate $M$ is undistributed.
   • Premise 2 treats the single laboratory as a class with one member, so it is also an A-proposition (All $S$ are $M$). Again the predicate $M$ is undistributed.
   • Because $M$ is undistributed in both premises, knowing that two groups both sit inside $M$ tells us nothing about whether they overlap.
3. Deductive Verdict: Invalid. The argument commits the Fallacy of the Undistributed Middle. The laboratory could belong to a college or an industrial training centre that also installs safety cutouts without being an accredited Tech-Pro workshop.

Worked Example 2: Resolving Non-Standard Quantifiers

Premises:

• Premise 1: None but certified medical technologists ($T$) are authorized to operate the automated immunoassay analyzer ($A$).
• Premise 2: Some provincial public health scholars ($H$) are authorized to operate the automated immunoassay analyzer ($A$).
• Question: What valid deduction necessarily links provincial public health scholars and certified medical technologists?

Step-by-Step Validity Audit:

1. Translate Premise 1:
   • "None but $T$ are $A$" translates to: All $A$ are $T$ (All individuals authorized to operate the analyzer are certified medical technologists). This is an A-type proposition.
2. Translate Premise 2:
   • "Some $H$ are $A$" (Some provincial public health scholars are authorized to operate the analyzer). This is an I-type proposition.
3. Analyze the Syllogism (mood AII in the first figure, called Darii):
   • Major Premise: All $A$ are $T$ ($A$ is distributed, $T$ is undistributed).
   • Minor Premise: Some $H$ are $A$ ($H$ is undistributed, $A$ is undistributed).
   • Middle Term: $A$ ("authorized operators"), the term that appears in both premises. In the major premise, $A$ is the subject of a universal proposition, so it is distributed! Rule 2 is satisfied.
4. Derive the Valid Conclusion:
   • Because one premise is particular (I), the conclusion must be particular.
   • Since $H$ is undistributed in the minor premise, $H$ must remain undistributed in the conclusion.
   • Thus, the valid conclusion is an I proposition: Some $H$ are $T$ (Some provincial public health scholars are certified medical technologists).
   • Deductive Verdict: Valid. The conclusion is deductively certain.