Chapter 7: categorical logic Flashcards
What does chapter 7 and 8 cover
¬ Last two chapters examine precise rules of logic that can help to eliminate some of the interpretive aspects of deductive reasoning
¬ These rules of logic do not apply to inductive reasoning or reasoning from analogy, nor do they work with all forms of deductive arguments—in those cases you must rely on the lessons discussed in earlier chapters.
What is the rule of logic used for
only used strictly for determining whether a deductive argument’s premises are sufficiently supportive
Categorical logic
o developed by Aristotle. Deals with the relationship between real or abstract groups.
♣ A subfield of formal logic that looks at the relationships between categories or groups
¬ Categorical logic generates new knowledge. By knowing one thing about the world, you can know more.
Categorical logic deals with categorical statements
Categorical statements
o Categorical statement: a claim about whether the members of one category are, are not, or may be members of another category.
¬ Some categories may overlap and some may only have one member
Subject category
the group that a categorical statement says something about
Predicate category
¬ the group that is related to the subject category in a categorical statement
A statement
¬ a categorical statement of the form “All S are P”. This states that all members of S are members of P. Also called a “universal affirmative”.
How many possible relationships between groups in categorical logic?
Four possible relationships between groups
Statement forms
A, E, I, and O
A statement form:
all S are P
E statement form
No S are P
I statement form
Some S are P
O statement form
Some S are not P
A statement
A categorical statement of the form “All S are P”. This states that all members of S are members of P. Also called a “universal affirmative”.
E statement:
a categorical stamen of the form “no S are P”. This states that no members of S are members of P. Also called a “universal negative”