Chapter 9 Flashcards
categorical logic
logic based on the relations of inclusion and exclusion among classes (or “categories”) as stated in categorical terms
-useful in clarifying and analyzing deductive arguments
category
In logic, a c ategory is a group or a class or a population; any bunch of things can serve as a category for our purposes
terms
Terms are noun phrases, like “dogs,” “cats,”
“Christians,” “Arabs,” “people who read logic books,” and so on. These terms are
labels for categories or classes.
-NOUNS
subject term (S)
subject of the conclusion
-goes in the first blank (All __ are __.)
predicate term (P)
predicate of the conclusion
-goes in the second blank (All __ are __.)
A-claims
ALL metals are conductors
- general law
- affirmative claim
E-claims
NO metals are conductors
- general law
- negative claim
I-claims
SOME metals are conductors
(this metal is a conductor)
-observational law
-affirmative claim
O-claims
SOME metals are NOT conductors
(this metal is not an conductor)
-observational law
-negative claim
venn diagramms
illustrations of categorical claims
- p.246 in critical thinking (newest edition)
equivalent claims
if, and only if, they would be true in all and exactly the same circumstances— that is, under no circumstances could one of them be true and the other false
“only”
The word “only,” used by itself, introduces the predicate term of an
A-claim.
The phrase “the only” introduces the subject term of an A-claim.
“only matinees are half-price shows” as well as “matinees are the only half-price shows” can be translated to:
“all half-price shows are matinees”
square of opposition
shows the logical relationships of categorical claims that correspond with each other
p. 254
- very interesting, I
corresponding claims
claims who have the same subjects and the same predicates.
NOTE: S = S and P = P is CORRECT/CORRESPONDING
S=P and P=S is NOT CORRECT/NOT CORRESPONDING
contrary claims
can both be false but not both be true
-A and E claims (general laws) are contrary
subcontrary claims
can both be true but cannot not both be false
-I and O claims (observational laws) are subcontrary
contradictory claims
never have the same truth value
- A and O are contradictory, as well as E and I
e. g. if A is true, O cannot be true
conversion
switching S and P
E and I claims are equivalent to their converses
A and O claims are not
universe of discourse
a closed system in which a discourse takes place
e.g. if the professor says: “everybody passed the exam” the universe of discourse are all the students. Your mother didn’t pass the exam.
complementary class/term
contains everything in the universe of discourse that is not part of the first class
-e.g. student and nonstudents
an obversion
- change a claim from affirmative to negative or vice versa
- change the predicate term to its complementary
- all categorical claims are equal to their obversion
All pairs of terms (S and P) of a true e-claim are complementary terms.
True or false?
False, but all complementary terms are pairs of terms of a true e-claim
contra-positive
- converse the claim (switch S and P)
- replace both terms with complementary terms
All A- and O-claims, but not E- and I-claims, are equivalent to their contrapositives
Some mosquitoes carry West Nile virus. So it must be
that there are some that don’t.
Is this necessarily true?
No, The only way to get an I-claim from an O-claim is by obverting the O-claim.