Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
25 Cards in this Set
- Front
- Back
Categorical Syllogism
|
arguments composed entirely of categorical statements. has 2 premises and 1 conclusion.
|
|
categorical statement
|
they come in four basic forms: All S are P, No S are P, Some S are P, Some S are not P
|
|
A
|
universal affirmative
|
|
E
|
universal negative
|
|
I
|
Particular affirmative
|
|
O
|
particular negative
|
|
(x)
|
for any individual thing
|
|
symbol used with universal affirmatives
|
arrow
|
|
(Ex)
|
existential quantifier, "There is at least one x that"
|
|
symbol used with particular affirmatives
|
dot
|
|
Finite universe method
|
an argument is invalid if it is possible for its conclusion to be false while all the premises are true
|
|
1. (x)(Hx-->Mx)
2. Hs .: Ms |
Universal Instantiation (UI)
|
|
1. (Ex)Fx
2. .: |
I, Existential instantiation (EI)
|
|
1. (x)Fx
2. Fx 1, UI 3. (y)Fy 2, x |
Universal Generalization (UG)
|
|
1. Ka
2. (Ey)Ky 1, x |
Existential Generalization (EG)
|
|
Syntax
|
the way words are put together to form phrases
|
|
semantics
|
meanings of the symbols and signs in a sentence
|
|
syllogism
|
the conclusion is inferred from the 2 premises, cateogorical logic
|
|
Method of agreement
|
whenever have a cause, look for presence of the cause
|
|
method of difference
|
try to disprove causal relationship
|
|
joint method
|
combine agreement and difference to improve
|
|
method of residues
|
effect caused by multiple causes
|
|
abductive reasoning
|
inference to the best explanation
|
|
induction
|
reasoning from the past
|
|
Consistentcy
|
One line of truth table all the same truth value
|