7.2 Classical Square of Opposition, Categorical Propositions & Connotation/Denotation

Classical Square of Opposition & Categorical Propositions

Quick Answer: The four categorical propositions (A, E, I, O) differ by quantity (universal/particular) and quality (affirmative/negative). Term distribution is governed by the mnemonic ASEBINOP. The Classical Square of Opposition establishes exact inferential relationships: Contradictories (A-O, E-I) have opposite truth values, Contraries (A-E) cannot both be true, Subcontraries (I-O) cannot both be false, and Subalternation dictates truth flows downward while falsehood flows upward.

---

1. The Four Categorical Propositions

A categorical proposition asserts or denies that all or some members of one category (the Subject class, $S$) are included within another category (the Predicate class, $P$). Standard-form categorical propositions are structured with four components: Quantifier + Subject Term + Copula + Predicate Term.

[ Quantifier ]  [ Subject Term ]    [ Copula ]    [ Predicate Term ]
     All             philosophers        are           mortal
     No               reptiles           are          mammals
    Some             scientists          are           poets
    Some             politicians       are not         honest

---

2. Distribution of Terms: The ASEBINOP Rule

A term is distributed if the proposition refers to all members of the class designated by that term; it is undistributed if it refers to only some members.

                Universal Propositions distribute the SUBJECT
                                    │
                                    ▼
                   ┌───────────────┬───────────────┐
                   │   A (All S)   │   E (No S)    │
Negative ─────────►│  Subject Only │     BOTH      │◄──────── Negative
Propositions       ├───────────────┼───────────────┤          Propositions
distribute the     │   I (Some S)  │  O (Some S)   │          distribute the
PREDICATE          │    NEITHER    │Predicate Only │◄──────── PREDICATE
                   └───────────────┴───────────────┘
                                    ▲
                                    │
               Particular Propositions do NOT distribute Subject

The Distribution Matrix

• A (All S are P): Distributes Subject only. It makes a claim about every $S$, but not about every $P$.
• E (No S are P): Distributes Both Subject and Predicate. Every member of $S$ is excluded from all of $P$, and every member of $P$ is excluded from all of $S$.
• I (Some S are P): Distributes Neither. It refers only to an overlapping intersection of at least one member.
• O (Some S are not P): Distributes Predicate only. It asserts that the members of $S$ referred to are excluded from the entire class of $P$.

[!TIP] Exam Mnemonic — ASEBINOP:

• A distributes Subject
• E distributes Both
• I distributes Neither
• O distributes Predicate

3. Four Core Relations in the Square of Opposition

Under the classical Aristotelian framework (which assumes existential import—that classes are non-empty), four distinct logical relations govern categorical propositions sharing the same Subject ($S$) and Predicate ($P$):

1. Contradictories (A $\leftrightarrow$ O, and E $\leftrightarrow$ I)

• Position: Diagonals connecting universal propositions to their diagonally opposite particular propositions.
• Rule: Contradictory statements always have opposite truth values. They cannot both be true, and they cannot both be false at the same time. $\text{If } A \text{ is True} \implies O \text{ is False}$ $\text{If } A \text{ is False} \implies O \text{ is True}$ $\text{If } E \text{ is True} \implies I \text{ is False}$ $\text{If } E \text{ is False} \implies I \text{ is True}$

2. Contraries (A $\leftrightarrow$ E)

• Position: Top horizontal axis connecting the two universal propositions.
• Rule: Contrary propositions cannot both be true simultaneously, but they can both be false (if intermediate particular propositions are true). $\text{If one is True} \implies \text{the other is necessarily False}$ $\text{If one is False} \implies \text{the other is Undetermined / Doubtful}$

3. Subcontraries (I $\leftrightarrow$ O)

• Position: Bottom horizontal axis connecting the two particular propositions.
• Rule: Subcontrary propositions cannot both be false simultaneously, but they can both be true. $\text{If one is False} \implies \text{the other is necessarily True}$ $\text{If one is True} \implies \text{the other is Undetermined / Doubtful}$

4. Subalternation (A $\rightarrow$ I, and E $\rightarrow$ O)

• Position: Vertical axes connecting universal propositions to their corresponding particular propositions of the same quality.
• Rules of Directional Deduction:
  • Truth Flows Downward: If the universal ($A$ or $E$) is True, the corresponding particular ($I$ or $O$) is necessarily True.
  • Falsehood Flows Upward: If the particular ($I$ or $O$) is False, the corresponding universal ($A$ or $E$) is necessarily False.
  • Reverse directions are Undetermined: If a universal is False, the particular is Doubtful; if a particular is True, the universal is Doubtful.

Master Truth-Value Deduction Table

---

4. Immediate Inferences: Conversion, Obversion, Contraposition

An immediate inference is an argument where a conclusion is drawn directly from a single premise without the mediation of a middle term.

Conversion

• Operation: Transpose (swap) the Subject and Predicate terms ($S \leftrightarrow P$). Quality remains unchanged.
• Valid Conversions:
  • E proposition: "No S are P" $\equiv$ "No P are S" (Full conversion)
  • I proposition: "Some S are P" $\equiv$ "Some P are S" (Full conversion)
  • A proposition: Valid only by limitation / per accidens under Aristotelian logic: "All S are P" $\rightarrow$ "Some P are S".
  • O proposition: Conversion of an O proposition is strictly invalid.

Obversion

• Operation: Change the quality of the proposition (affirmative to negative, or negative to affirmative) and replace the predicate term with its class complement ($\text{non-}P$).
• Valid Obversions: Obversion is valid for all four standard forms:
  • A: "All S are P" $\equiv$ "No S are non-P"
  • E: "No S are P" $\equiv$ "All S are non-P"
  • I: "Some S are P" $\equiv$ "Some S are not non-P"
  • O: "Some S are not P" $\equiv$ "Some S are non-P"

Contraposition

• Operation: Replace the Subject term with the complement of the Predicate term ($\text{non-}P$), and replace the Predicate term with the complement of the Subject term ($\text{non-}S$).
• Valid Contrapositions:
  • A proposition: "All S are P" $\equiv$ "All non-P are non-S"
  • O proposition: "Some S are not P" $\equiv$ "Some non-P are not non-S"
  • E proposition: Valid only by limitation / per accidens: "No S are P" $\rightarrow$ "Some non-P are not non-S".
  • I proposition: Contraposition of an I proposition is strictly invalid.

---

5. Connotation and Denotation of Terms

The Unit 6 syllabus lists "Connotations and denotations of terms" in the same bullet as the classical square, because both concern the logical behaviour of terms rather than of whole arguments.

Every general term carries two distinct kinds of meaning:

The Law of Inverse Variation

As the connotation of a term increases, its denotation decreases, and conversely. Adding a defining attribute narrows the class of objects that satisfy the definition:

  university                    -> largest class, fewest attributes
  central university            -> attribute added, class narrowed
  central university in Delhi   -> attribute added, class narrowed further
  central residential university in Delhi -> narrowest class, most attributes

[!WARNING] The inverse relation is not strictly mathematical. It holds for ordered series of terms where each successive term adds an attribute to the previous one. It fails in edge cases: a term may gain attributes without losing any denotation if the added attribute is already implied (adding "rational" to "human being" changes the connotation but not the class), and terms with null denotation — "a square circle", "a unicorn" — have rich connotation with an empty extension. Options asserting a strict, exceptionless proportionality are therefore distractors.

Why It Matters for the Square

The square operates on categorical propositions, which relate a subject class to a predicate class. Those classes are denotations; the definitions that fix which objects belong to them are connotations. A term used with a shifting connotation across an argument produces the informal fallacy of equivocation (Section 7.3), which is why precise definition is treated as a prerequisite to formal evaluation rather than a preliminary courtesy.

[!NOTE] Connotation in logic vs. connotation in communication. In logic, connotation is the defining set of attributes — an objective, public property of the term. In everyday and communication usage (Section 5.3), "connotation" means the emotive or associative overtone of a word, as distinct from its literal dictionary meaning. Paper 1 tests both senses, and the correct reading is fixed by the unit the question sits in: a Unit 6 item means intension and extension, a Unit 4 item means emotive overtone.