The Square of Opposition is a diagram representing different relationships between certain types of categorical propositions in classical logic. Developed in ancient philosophy, particularly by Aristotle, the Square illustrates how propositions relate to one another in terms of their truth values. The square is arranged with four corners representing four standard types of categorical propositions: 1. **A Proposition (universal affirmative)**: "All S are P" 2.
New to topics? Read the docs here!