PHI-DSC-201 (Logic I): Unit 2: Existential Import and Boolean Square of Opposition

Contact Hours: 60 | Full Marks: 100 (ESE=70/CCA=30)

Table of Contents

  1. Existential Import
  2. Boolean Square of Opposition
  3. Exercises based on Square of Opposition

Existential Import

Existential Import refers to the question of whether a categorical proposition implies the existence of members in the class or classes referred to by its subject term.

Traditional (Aristotelian) vs. Modern (Boolean) View

The concept of Existential Import is the key difference between the traditional Aristotelian logic and modern Boolean logic.

Proposition Type Aristotelian View (Traditional) Boolean View (Modern)
A (Universal Affirmative: All S is P) Asserts existence of S. (S exists and S is P) Denies existence of S that is not P. (No S exists that is not P). Does not assert existence of S.
E (Universal Negative: No S is P) Asserts existence of S. (S exists and S is not P) Denies existence of S that is P. (No S exists that is P). Does not assert existence of S.
I (Particular Affirmative: Some S is P) Asserts existence of S and P. (At least one S exists and is P) Asserts existence of S that is P. (At least one S exists and is P).
O (Particular Negative: Some S is not P) Asserts existence of S. (At least one S exists and is not P) Asserts existence of S that is not P. (At least one S exists and is not P).

Exam Focus: The Difference

In modern (Boolean) logic, Universal Propositions (A and E) DO NOT assert existence, while Particular Propositions (I and O) DO assert existence. This eliminates the logical relationships of Subalternation and leads to the **Boolean Square**.

Boolean Square of Opposition

The Boolean interpretation, which denies existential import to universal propositions, simplifies the Square of Opposition. It retains only the relationships based on logical necessity (contradiction) and eliminates those based on existence (subalternation, subcontrary, contrary).

The Only Valid Relationship: Contradiction

In the Boolean Square, the only formally valid relation is **Contradiction**.

Simplified Inference Rule: The truth/falsity of a contradictory proposition can be immediately determined from the given proposition.

Exercises based on Square of Opposition

Mastery of the Square involves practicing immediate inferences to determine the truth value of related propositions.

Immediate Inference Practice (Boolean)

Given: 'All Philosophers are Logicians' (A) is TRUE.

  1. I (Some Philosophers are Logicians): Cannot be determined (Undetermined/Unknown). Why? The truth of A does not guarantee the existence required for I.
  2. E (No Philosophers are Logicians): False (Contradictory of A).
  3. O (Some Philosophers are not Logicians): False (Contradictory of A).

Mnemonic for Boolean Square

When solving problems under the Boolean framework, remember the **No Existential Leap** rule. You cannot infer Particulars (I/O) from Universals (A/E) if the premises are true. The only safe inference is Contradiction.

Key Takeaway for Unit 2:

The core concept is the Rejection of Existential Import in Universal Propositions by modern logic. This changes the entire structure of the Square of Opposition, validating only the contradictory relations.