Transcript The square of opposition - David Kelsey`s Philosophy Home Page

Critical Thinking
Lecture 9
The Square of Opposition
By David Kelsey
The Square of Opposition
•
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)
Contraries &
Subcontraries
•
Corresponding A and E claims
are contraries:
–
–
•
For example
Corresponding I and O claims are
subcontraries.
–
–
Both claims can be false or
One can be false while the other is
true, or vice versa.
Contraries cannot both be true.
–
•
•
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
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:
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:
What can be inferred
from the square
•
•
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.
•
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:
Given an A claim is true:
– And similarly for a true E claim.
– And similarly for a false O
claim.
What can be inferred in
using the square #2
•
Given a false claim at the top of the square of opposition one 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.
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.
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.
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.
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.
Some examples
of complementary terms
•
Replacing a term with its complement:
–
–
•
But replacing a term with its complement is sometimes tougher:
–
•
People who took the exam:
Looking back at obversion:
–
•
Non-: Is often as easy as putting ‘non-’ in front of it.
Students and Surfers:
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:
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:
Contraposition
•
Contraposition:
•
All Mongolians are Muslims:
its contrapositive is
•
To find the contrapositive:
– 1) switch the places of the
subject and predicate terms
•
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.
• just as in conversion
– 2) replace both the subject and
predicate term with their
complements.