ADDIS ABABA SCIENCE AND TECHNOLOGY UNIVERSITY
College of Natural and Social
Science Department of Social
Sciences
Individual Assignment for the
course
Logic and Critical Thinking (Phil1009)
WORKED BY:
Fkremariam Fentahun [ETS 0618 /17]
Section - 13
Submitted to: Sec-13 Logic Teacher
Submmision Date: Jan 3 , 2025
The Modern Square of Opposition:
The Modern Square of Opposition is a sophisticated logical framework utilized for examining the
connections among various categories of propositions. This system was developed as a reaction to the
discrepancies found in the traditional Aristotelian Square of Opposition, particularly with the advent of
modern formal logic. Unlike the classical square, which relied significantly on metaphysical assumptions,
the contemporary method streamlines and rectifies these relationships, rendering it more relevant for
today's logical analysis.
Historical Context
Through the Square of Opposition, Aristotle first proposed the concept of logical opposition in order to
make sense of the relationships between four types of propositions that differ in both quantity (universal or
local) and quality (affirmative or negative).Contrariety, sub contrariety, contradiction, and sub alternation
connections between these concepts were outlined by the classical square. However, logicians began to
question the validity of several connections in the classical square when modern logic emerged in the late
19th and early 20th centuries, influenced by thinkers like Gottlob Frege and George Boole. The Modern
Square of Opposition removes uncertainties and concentrates exclusively on contradiction, which is
the most robust logical relationship.
Structure of the Modern Square of Opposition
The contemporary square preserves the four kinds of propositions but alters the connections among them.
These propositions are:
A Proposition (Universal Affirmative):
1. Form: "All S are P"
2. Meaning: Each individual in the subject class (S) is part of the predicate class
(P).
3. Example: "All birds are animals."
E Proposition (Universal Negative):
1. Form: "No S are P"
2. Meaning: No individual in the subject category (S) is part of the predicate
category (P).
3. Example: "No cats are reptiles."
I Proposition (Particular Affirmative):
1. Form: "Some S are P"
2. Meaning: At least one individual from the subject class (S) is part of the
predicate class (P).
3. Example: "Some dogs are pets."
O Proposition (Particular Negative):
1. Form: "Certain S are not P"
2. Meaning: At least one individual of the subject category (S) is not part of the
predicate category (P).
3. Example: "Certain fruits are not apples."
Logical Connections in the Contemporary Square
the contemporary aspects of design and functionality, prioritizing contradiction as the rational connection
between statements. This maintains logical coherence and prevents presuppositions that cannot be
officially validated.
1. Contradiction
Definition Two statements are said to be contradictory if one is true and the other
must be false, and the reverse is also true.
Relationships:
o A (Universal Affirmative) versus O (Particular Negative)
o E (Universal Negative) vs. I (Particular Affirmative)
Examples:
o "All felines are creatures" (A) is in conflict with "Some felines are not creatures"
(O).
o "No birds are mammals" (E) is in opposition to "Some birds are mammals" (I).
Contradiction serves as the basis of the contemporary square since it establishes a distinct and verifiable
connection, in contrast to contrariety,sub contrariety, or sub alternation, which rely on further metaphysical
or contextual presuppositions.
2. Elimination of Other Relationships
Contrariety (A vs. E):
In the traditional square, A and E statements were viewed as contraries, implying they could not be
simultaneously true but might both be false. The contemporary square removes this connection since it is
based on an assumption regarding the existence of the subject, something modern logic steers clear of.
Subcontrariety (I vs. O):
I and O statements were taken into account sub contraries, indicating that it is possible for both to be
accurate while not being able to be false simultaneously. This connection is also eliminated as it does not
hold true in contemporary understandings.
Sub alternation (A → I, E → O):
The traditional square proposed that if a universal statement holds true, then its related particular statement
must also be valid (for instance, "All S are P" leads to "Some S are P"). This connection is not included in
the contemporary square since it assumes the subject class is not vacant, an assumption that is not secure in
formal logic.
Benefits of the Contemporary Square of Opposition
Logical Precision:
Concentrating solely on contradictions, the contemporary square bypasses the ambiguities and
inconsistencies found in the traditional model. It guarantees that every relationship can be examined and
confirmed within formal logic.
Applicability to Modern Logic:
The traditional square depended significantly on existential import (the presumption that the subject class
is not empty). The contemporary square does not necessitate this presumption, rendering it compatible with
symbolic logic and various formal systems.
Simplicity and Clarity:
By removing contrariety, sub contrariety, and sub alternation, the contemporary square turns more
straightforward and simpler to utilize in rational thinking and assessment.
Practical Uses of the Contemporary Square
Syllogistic Reasoning:
The contemporary square is frequently employed in the examination of categorical syllogisms,
guaranteeing that the premises remain consistent with one another.
Formal Proofs:
Contradiction is an essential idea in formal demonstrations, particularly in reductio ad absurdum reasoning.
The contemporary square offers a distinct structure for recognizing contradictory statements.
Computer Science and Artificial Intelligence:
The concepts of the contemporary square are utilized in programming logic, database inquiries, and AI
reasoning frameworks where exact logical connections are essential.
Comparison with the Traditional Square of Opposition
Aspect Classical Square Modern Square
Contradiction, Contrariety, Subcontrariety,
Relationships Contradiction only
Subalternation
No existential import
Assumptions Assumes existential import
assumed
Simpler and more
Complexity More complex
precise
Logical
May lead to inconsistencies Fully consistent
Consistency
Conclusion
The Modern Square of Opposition represents a notable advancement beyond the traditional model by
concentrating solely on contradiction, the strongest logical connection. This enhancement removes
superfluous intricacies and renders the framework more appropriate for contemporary logical and
mathematical evaluation. It serves as a vital instrument in comprehending the logical connections among
categorical propositions and remains a fundamental idea in both theoretical and practical logic.