Chapter 8 Flashcards
Categorical Logic
Based on relations of inclusion and exclusion among classes as stated in categorical claims
Categorical Claim
Says something about class of things
Standard Form
Results from putting name/descriptions of classes into certain structures (AEIO)
Terms
Phrases that go into blanks of standard form
Subject term
First blank
Predicate term
Second blank
Venn Diagram
Circles-classes named by terms; Shaded-empty; X’s-contain at least 1
Affirmative Claims
Include one class (or part of) w/in another (AI)
Negative Claims
Exclude one class (or part of) from another (EO)
Equivalent Claims
True in all and exactly same circumstances (under no circumstances one true and other false)
Contrary Claims
Can both be false, but not both true
Subcontrary Claims
Can both be true, but not both false
Contradictory Claims
Never have same truth value
Converse
Switch position of S + P
Obverse
Change affirm to neg (or vice versa), Replace P w complement
Contrapositive
Switch position of S + P, Replace both w complements
Syllogism
Two-premise deductive argument
Categorical Syllogism
Every claim standard form and 3 terms each occur 2x in two claims
Major term
P of conclusion
Minor term
S of conclusion
Middle term
Not in conclusion-links claims
Rules Method
neg prem. is # neg in conc; middle term must be distributed in at least one prem; any term distributed in conc must be distributed in prem