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;
48 Cards in this Set
- Front
- Back
logic
|
study of methods for evaluating whether the premises of an argument adequately support (provide good evidence for) its conclusion.
|
|
argument
|
set of statements where some of the statements (premises) are intended to support another (conclusion)
|
|
statement
|
declarative sentence that is either true or false
|
|
deductive argument
|
premises are intended to guarantee the conclusion
|
|
inductive argument
|
premises are intended to make the conclusion probable, without guaranteeing it
|
|
Deductive logic
|
study of methods for evaluating whether the premises of an argument guarantee its conclusion
|
|
inductive logic
|
study of methods for evaluating whether the premises of an argument make its conclusion probable, without guaranteeing it
|
|
valid argument
|
if the premises are true then the conclusion is true
|
|
invalid argument
|
it is NOT necessary that if the premises are true then the conclusion is true
|
|
sound argument
|
is a valid argument in which all of the premises are true
|
|
unsound argument
|
either is invalid or has at least 1 false premise
|
|
argument form
|
pattern of reasoning
|
|
modus ponens
|
1. if A, then B
2. A 3. So, B -A and B are variables |
|
substitution instance
|
argument that results from uniformly replacing the variables in that form with statements (or terms)
|
|
valid argument form
|
every substitution instance is a valid argument
|
|
formally valid argument
|
one that is valid in virtue of its form
|
|
conditional statement
|
is an if then statement
|
|
antecedent
|
the if part of the conditional statement
|
|
consequent
|
the then part of the conditional statement
|
|
what else introduces a conditional statement
|
only if
|
|
modus tollens
|
the mode of removing:
1. if A, then B. 2. Not B 3. So Not A |
|
negation
|
the denial of a statement
|
|
hypothetical syllogism
|
1. if A, then B
2. If B, then C. 3. So if A, then C |
|
disjunction
|
is an "either-or" statement
|
|
disjunctive syllogism
|
1. Either A or B OR 1. Either A or B
2. Not A 2. Not B 3. So B 3. So A |
|
"OR"
|
inclusive
|
|
constructive dilemma
|
1. Either A or B
2. If A, then C 3. If B, then D 4. So either C or D |
|
invalid argument form
|
one that has some invalid substitution instances
|
|
counterexample
|
substitution instance in which the premises are true and the conclusion is false
|
|
good counterexample
|
substitution instance the premises are well-known truths and the conclusion is a well-known falsehood
|
|
what is the difference between modus ponens and fallacy of affirming the consequent?
|
The 3rd in modus ponens is So B, BUT in affirming the consequent the 3rd is So A
|
|
term
|
word or phrase that stands for a class of things
|
|
standard form
|
conditional statement is "if A, then B"
|
|
Excess verbiage
|
word or statement that adds nothing to the argument
|
|
discount
|
acknowledgment of a fact or possibility that might be thought to render the argument invalid, weak, unsound, or uncogent
|
|
rhetorical elements
|
elements in an argument that increase its psychological persuasiveness without affecting its validity, strength, soundeness, or cogency
|
|
repetition
|
restatement of a premise or conclusion, perhaps with slightly altered wordling
|
|
assurance
|
statement, word, or phrase that indicates that the author is confident of a premise or inference
|
|
hedge
|
statement, word, or phrase that indicates that the arguer is tentative about a premise or inference
|
|
enthymeme
|
argument with an implicit premise or conclusion
|
|
well crafted arguement
|
argument that is stated in such a way that its important logical features are explicit
|
|
atomic statement
|
one that does not have any other statement as a component
|
|
compound statement
|
one that has at least one atomic statement as a component
|
|
main logical operator
|
in a compound statement is the one that governs the largest component or components of a compound statement
|
|
minor logical operator
|
governs smaller components
|
|
well formed formula (WFF)
|
grammatically correct symbolic experession
|
|
statement variable
|
lowercase letter that serves as a placeholder for any statement
|
|
Operators:
~ . v --> <--> |
not negation
and conjunction or disjunction if-then conditional if and only if biconditional |