Critical Thinking Lecture 9 The Square of Opposition

1. Critical ThinkingLecture 9The Square of Opposition By David Kelsey

2. The square of opposition: represents the logical relationships that can hold between any two corresponding standard form categorical claims. For any two standard form claims to correspond to each other: The square of opposition:depicts a variety of logical relationships that hold between corresponding A, E, I and O claims. A……….Contraries…………….E . .(cannot both be true) . . . . . . . Contradictories . . (Never the same t-value) . . . . . . . . . . . . . I…………Subcontraries……….O (cannot both be false) The Square of Opposition

3. Corresponding A and E claims are contraries: Both claims can be false or One can be false while the other is true, or vice versa. Contraries cannot both be true. For example Corresponding I and O claims are subcontraries. Both claims can be true or One can be false while the other is true, or vice versa. Subcontraries cannot both be false. For example Contraries &Subcontraries

4. Contradictory claims • Contradictories: • Corresponding A and O claims are contradictories. • And corresponding I and E claims are contradictories. • One true, the other false: For any two contradictory claims, one must be true and the other false. • Never the same T-value:

5. Using the square • Inferring truth values using the square: • Using the square of opposition and given the truth value of any standard form categorical claim one can always infer the truth value of at least one of the other corresponding three standard form claims. • Say the A-claim All monkeys are mammals is true.The square tells us:

6. A true clam at the top of the square of opposition: given this one can infer the truth value of all three of the remaining corresponding claims. Given an A claim is true: And similarly for a true E claim. A false claim at the bottom of the square: from this one can infer the truth value of all three of the remaining corresponding claims. Given an I claim is false: And similarly for a false O claim. What can be inferred from the square

7. What can be inferred inusing the square #2 • Given a false claim at the top of the square of oppositionone can infer the truth value of only one of the three corresponding claims: its contradictory. • Similarly, Given a true claim at the bottom of the square one can infer the truth value of only its contradictory. • Say the A-claim All sharks are monkeys is false: • And similarly for false E claims. • And also similarly for true I or O claims.

8. Three Operations • Conversion, Obversion & Contraposition: • 3 operations that can be performed on any standard form categorical claim. • The operations help us find a new truth value for a new claim… • Conversion: • Finding the converse: find the converse by simply switching the positions of the subject and predicate term (of any standard form cat. claim). • Example: • For any E or I claim, it’s converse is logically equivalent to it. • A and O claims are not logically equivalent to their converses.

9. Obversion • Obversion: guides one to finding the obverse of a claim. • Find the obverse by: • 1) changing it from affirmative to negative or vice versa • Remember that while ______ claims are affirmative, _______ claims are negative. • To change an A claim to negative: • To change an E claim to affirmative: • To change an I claim to negative: • To change an O claim to affirmative: • 2) replacing the predicate term with its complementary term.

10. Complementary terms • A complementary term: • refers to or picks out a complementary class of things. • Two complementary classes: • refers to two different classes of things which together pick out all and only the members of some universe of discourse. • A universe of discourse is the group of things that a claim is about. • Example: Everyone passed the exam.

11. Universe of Discourse • A universe of discourse (UD): contains classes of things within it. • Subsets of a UD: a grouping of the members of the UD that all ___________ • Example: ‘A’ students • Every subset has a complement: for every subset of a UD there is a complement to that class. • Complements to subsets: all the members of the UD that aren’t members of the ___________. • ‘A’ students again: • Complementary classes: (for some UD) pick out all and only the members of that UD. • Complementary terms: refer to complementary classes.

12. Some examples of complementary terms • Replacing a term with its complement: • Non-: Is often as easy as putting ‘non-’ in front of it. • Students and Surfers: • But replacing a term with its complement is sometimes tougher: • People who took the exam: • Looking back at obversion: • The second step to obversion: replace the predicate term with its complement. • Example: Find the obverse of All Presbyterians are Christians. • 1) Change it from Affirmative to negative: • 2) Replacing the predicate term with its complement: • Thus the obverse is:

13. Obversion recap • So to find the obverse of a claim: • change it from affirmative to negative or vice versa and then replace the predicate term with its complement. • No fish are mammals: • 1) Change it to affirmative: ______________ • 2) Replace the predicate term with its complement: __________ • So we get ____________ • All Catholics are Christians: its obverse is • Some contestants are not winners: • Some citizens are voters: • Logically Equivalent: • for any standard form categorical claim, it and its obverse are logically equivalent. • Same T-Value:

14. Contraposition: To find the contrapositive: 1) switch the places of the subject and predicate terms just as in conversion 2) replace both the subject and predicate term with their complements. All Mongolians are Muslims: its contrapositive is Some citizens are not voters: its contrapositive is All A and O claims are logically equivalent to their contrapositives. A and O claims and their contrapositives always have the same __________ E and I claims are not logically equivalent to their contrapositives. Contraposition