Logic is often built on axiomatic starting points like the law of non-contradiction. There is a specific tension in how universal truths relate to particular facts, and understanding this balance is the key to clear reasoning and better analysis.

We discuss the Square of Opposition, an ancient tool used to map the relationships between four types of categorical propositions. By looking at contradictory, contrary, and sub-altern relationships, we can immediately judge the truth value of related claims from a single premise. This episode also breaks down how to transform the meaning of a statement into new, logically equivalent forms.

• The functional difference between contradictory pairs and contrary relationships.
• How the truth of a whole group implies the truth of its subsets through sub-alternation.
• The mechanica ...